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

Tôi đã đọc rằng ban đầu, Giáo hội đề xuất -calculus như là một phần trong bài viết Định đề Logic của ông (đây là một bài đọc dày đặc). Nhưng Kleene đã chứng minh "hệ thống" của mình không nhất quán sau đó, Church đã trích xuất những điều …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Trong chủ đề này , bằng chứng đã cố gắng của Norbet Blum bị từ chối một cách ngắn gọn bằng cách lưu ý rằng hàm Tardos là một ví dụ cho Định lý 6.P≠NPP≠NPP \neq NP Định lý 6 : Đặt là bất kỳ hàm Boolean đơn điệu nào. …

22 cc.complexity-theory  np-hardness  complexity-classes 

Tôi đang đọc bài viết Những bước đầu tiên trong lý thuyết tính toán tổng hợp của Andrej Bauer . Trong phần kết luận, ông lưu ý rằng Phép tiên đề của chúng tôi có giới hạn của nó: nó không thể chứng minh bất kỳ kết quả nào trong …

22 computability  relativization 

Tiếp theo từ một câu hỏi trước đó , giới hạn không gian hiện tại tốt nhất cho SAT là gì? Với một không gian giới hạn thấp hơn ở đây tôi có nghĩa là số lượng ô làm việc được sử dụng bởi máy Turing sử dụng bảng chữ …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Trong bài báo "TÍNH TOÁN CỦA VẤN ĐỀ SATISFIABILITY" của Thomas J. Schaefer, tác giả đã đề cập rằng This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Đây là một loại câu hỏi mở - mà tôi xin lỗi trước. Có ví dụ nào về các câu lệnh (dường như) không liên quan gì đến độ phức tạp hoặc máy Turing không nhưng câu trả lời trong đó có nghĩa là ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Hãy xem xét một mạng điện được mô hình hóa như một đồ thị phẳng G, trong đó mỗi cạnh đại diện cho điện trở 1Ω. Làm thế nào nhanh chóng chúng ta có thể tính toán điện trở hiệu quả chính xác giữa hai đỉnh trong G? Tương tự, …

22 ds.algorithms  graph-theory  planar-graphs  physics 

Tôi đang thiết kế một ngôn ngữ lập trình hàm đơn giản gõ như một kinh nghiệm học tập. Dường như hệ thống loại tôi đã triển khai cho đến nay có thể (với một chút công việc phụ) kết hợp các loại giao cắt và kết hợp, ví dụ: …

22 type-theory  functional-programming  type-inference  language-design 

Tôi đang tìm các đồ thị vô hướng, không trọng số, được kết nối , trong đó với mỗi cặp , có một đường dẫn duy nhất nhận ra khoảng cách .G = ( V, E)G= =(V,E)G=(V,E)u , v ∈ Vbạn,v∈Vu,v \in Vu → vbạn→vu \rightarrow vd( u , v …

22 graph-theory 

Tôi đã làm việc để giới thiệu một số kết quả từ sự phức tạp tính toán vào sinh học lý thuyết, đặc biệt là tiến hóa & sinh thái học , với mục tiêu là thú vị / hữu ích cho các nhà sinh học. Một trong những khó …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Nhiều vấn đề đồ thị thuật toán có thể được giải quyết trong thời gian đa thức cả trên đồ thị không trọng số và trọng số. Một số ví dụ là đường đi ngắn nhất, cây bao trùm tối thiểu, đường dẫn dài nhất (trong biểu đồ chu kỳ …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Tôi đang tìm kiếm một văn bản giới thiệu ngắn gọn về các thuật toán với lý thuyết tỷ lệ cao Nó nên bắt đầu ngay từ đầu nhưng sau đó tiến triển nhanh chóng mà không mất quá nhiều thời gian cho các ví dụ trong thế giới thực, …

22 ds.algorithms 

Trong thử nghiệm thuộc tính đồ thị, thuật toán truy vấn đồ thị đích cho sự hiện diện hay vắng mặt của các cạnh và cần xác định liệu mục tiêu có thuộc tính nhất định hay -far không có thuộc tính. (Một thuật toán có thể được yêu cầu …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Theo kết quả của khoảng cách gần đây ở kết quả độ sâu 3 (trong số những thứ khác mang lại mạch số học độ sâu 3 cho số xác định trên ), tôi có câu hỏi sau: Grigoriev và Karpinski đã chứng minh một thấp hơn bị ràng buộc …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

Có nhiều kết quả không thể gần đúng dựa trên phỏng đoán trò chơi độc đáo. Ví dụ, Giả sử các phỏng đoán trò chơi độc đáo, NP-hard khó tính gần đúng vấn đề cắt tối đa trong một yếu tố R cho bất kỳ R > R GW không …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture