Khoa học máy tính lý thuyết

Một cách tiếp cận gần đây để tạo ra một loại tiền tệ trực tuyến phi tập trung, được gọi là Bitcoin , đã tạo ra một số lợi ích. Mục tiêu là có một cách để chuyển tiền mà không cần cơ quan trung ương và không có chi …

18 reference-request  cr.crypto-security 

(n+1)(n+1)(n + 1) điểm được yêu cầu để xác định duy nhất một đa thức bậc; ví dụ, hai điểm trong một mặt phẳng xác định chính xác một dòng.nnn Có bao nhiêu điểm được yêu cầu để xác định duy nhất một hàm tính toán , với độ dài …

18 cc.complexity-theory  computability 

Ở đây, mục tiêu là giảm một vấn đề SAT tùy ý xuống còn 3-SAT trong thời gian đa thức bằng cách sử dụng số lượng mệnh đề và biến số ít nhất. Câu hỏi của tôi được thúc đẩy bởi sự tò mò. Ít chính thức hơn, tôi muốn …

18 cc.complexity-theory  sat  reductions 

Làm việc trực tiếp với độ phức tạp thời gian hoặc giới hạn mạch thấp hơn là đáng sợ. Do đó, chúng tôi phát triển các công cụ như độ phức tạp truy vấn (hoặc độ phức tạp của cây quyết định) để xử lý các giới hạn thấp hơn. …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

8 tuổi của tôi đã chán việc tạo ra các mê cung thông thường và đã tạo ra các biến thể trông như thế này: Ý tưởng là bắt đầu từ x và đạt o thông qua các quy tắc thông thường. Ngoài ra, bạn có thể "nhảy" từ bất …

18 ds.algorithms  optimization  puzzles 

Đây có thể được coi là một câu hỏi ngu ngốc. Tôi cũng không phải là chuyên ngành khoa học máy tính (và tôi cũng chưa phải là chuyên ngành toán học), vì vậy xin vui lòng cho tôi biết nếu bạn nghĩ rằng những câu hỏi sau đây cho …

18 automated-theorem-proving 

Tôi nghĩ rằng tôi không hiểu nó, nhưng -conversion nhìn tôi như một -conversion không làm gì cả, một trường hợp đặc biệt của -conversion trong đó kết quả chỉ là thuật ngữ trong trừu tượng lambda vì không có gì cả để làm, loại chuyển đổi vô nghĩa .beta …

18 lo.logic  lambda-calculus  extensionality 

Năm 1979, Freivalds đã chỉ ra rằng việc xác minh các sản phẩm ma trận trên bất kỳ trường nào có thể được thực hiện trong thời gian ngẫu nhiên . Chính thức hơn, với ba ma trận A, B và C, với các mục từ một trường F, vấn …

18 ds.algorithms  linear-algebra  matrix-product 

Tôi đang xem lại Sổ tay tính toán lấy cảm hứng từ thiên nhiên và sáng tạo cho SIGACT News. Đó là một bài đọc rất thú vị. Mặc dù vậy, mỗi chương đều có hương vị, "Đây là lĩnh vực nghiên cứu của tôi và thật tuyệt vời!" Vì …

18 soft-question 

Có cách nào để chứng minh định lý sau trong Coq không? Theorem bool_pirrel : forall (b : bool) (p1 p2 : b = true), p1 = p2. EDIT : Một nỗ lực để đưa ra một lời giải thích ngắn gọn cho "sự không liên quan bằng chứng là …

18 lo.logic  type-theory  proof-assistants  coq 

Tôi nghĩ rằng một định lý phân cấp kích thước cho độ phức tạp của mạch có thể là một bước đột phá lớn trong khu vực. Đó có phải là một cách tiếp cận thú vị để tách lớp? Động lực cho câu hỏi là chúng ta phải nói …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

Bất cứ ai cũng có thể giải thích ngắn gọn (nếu có thể!) Hoặc giới thiệu cho tôi một tài liệu tham khảo, tóm tắt sự khác biệt giữa phép tính lambda chưa được đánh dấu và phép tính lambda được gõ phổ biến hơn? Tôi đặc biệt tìm kiếm …

18 lo.logic  type-theory  lambda-calculus 

Đây là một sự cải tổ của các chương trình ngữ pháp? hỏi trước bởi Vag và với nhiều lời đề nghị từ các bình luận viên. Bằng cách nào một ngữ pháp có thể được xem là chỉ định một mô hình tính toán? Ví dụ, nếu chúng ta …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Khi chúng tôi xem xét một thuật toán gần đúng cho một vấn đề tối thiểu hóa, khoảng cách tích phân của một công thức IP cho vấn đề này đưa ra giới hạn thấp hơn của tỷ lệ gần đúng cho một loại thuật toán nhất định (chẳng hạn …

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

Người ta biết rằng nếu thì hệ thống phân cấp đa thức sụp đổ và .P = P HP=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} Điều này có thể dễ dàng được hiểu theo cách sử dụng máy orory. Câu hỏi là - tại sao chúng ta không thể tiếp tục quá trình quy nạp vượt …

18 cc.complexity-theory  polynomial-hierarchy  intuition