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

Tôi nghĩ rằng sẽ là một ý tưởng tốt để lập một danh sách các định lý nói rằng P không bằng NP nếu và chỉ khi thoát và như vậy, một số lớp phức tạp được chứa trong một lớp phức tạp khác và cứ thế.

18 cc.complexity-theory  big-list  p-vs-np 

OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO Tuy nhiên, tôi chỉ thấy một vài người đưa ra lời giải thích "trực tiếp" cho lý do tại sao kết quả không tương đối hóa và câu trả lời thông thường là "tính toán". Khi kiểm tra bằng chứng về …

18 cc.complexity-theory  interactive-proofs  relativization 

Tôi thấy rất nhiều nghiên cứu về siêu tính toán trong những năm 1990, nhưng trong những năm gần đây dường như có rất ít công việc về chủ đề này. Có đúng là nghiên cứu trong lĩnh vực này đã chết? Nếu vậy, những lý do cho nó là …

18 reference-request  computability  hypercomputation 

Đặt là Công thức CNF thỏa đáng với biến và mệnh đề . Đặt là không gian giải pháp của . n m S F 1 F 1F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 Hãy xem xét vấn đề xác định, đưa ra , một Công thức CNF khác có cùng bộ biến như , với …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

Tôi đã nhìn xa và rộng cho các ứng dụng như vậy và hầu hết đã xuất hiện ngắn. Tôi có thể tìm thấy rất nhiều ứng dụng của cấu trúc liên kết và các cấu trúc tương tự trên các tập hợp đếm được (hoặc không đếm được), nhưng …

18 co.combinatorics  big-picture 

XORification là kỹ thuật để làm cho hàm Boolean hoặc công thức khó hơn bằng cách thay thế mọi biến bằng XOR của biến khác biệt . k ≥ 2 x 1 ⊕ ... ⊕ x kxxxk ≥ 2k≥2k\geq 2x1⊕ ... ⊕ xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Tôi nhận thức …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

Có thuật toán nào để giải SAT không dựa trên DPLL không? Hoặc tất cả các thuật toán được sử dụng bởi người giải SAT đều dựa trên DPLL?

18 ds.algorithms  reference-request  sat 

Những gì được biết về độ phức tạp chính xác của vấn đề siêu dây ngắn nhất? Nó có thể được giải quyết nhanh hơn so với O∗(2n)O∗(2n)O^*(2^n) ? Có các thuật toán đã biết giải quyết siêu chuỗi ngắn nhất mà không giảm xuống TSP không? CẬP NHẬT: O∗(⋅)O∗(⋅)O^*(\cdot) …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

Có vô số thuật toán có thể phân tích cú pháp ngữ pháp không ngữ cảnh trong thời gian . Sử dụng phép nhân ma trận, người ta thậm chí có thể đi nhanh hơn bất thường.O(n3)O(n3)O(n^3) Tuy nhiên, tất cả các thuật toán để phân tích cú pháp CFG …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Hoạt động bỏ phiếu đa số xuất hiện khá thường xuyên ở khả năng chịu lỗi (và không nghi ngờ gì ở những nơi khác), trong đó hàm xuất ra một bit bằng với giá trị từng xuất hiện thường xuyên nhất trong giá trị của các bit đầu vào. …

18 co.combinatorics 

Vì tò mò, nếu tính toán cổ điển là về ma trận hoán vị và điện toán lượng tử là về ma trận đơn vị (trong đó ma trận hoán vị là một nhóm con), thì liệu có bất kỳ mô hình tính toán nào ngoài ma trận đơn nhất …

18 quantum-computing  philosophy 

Tôi là một nhà vật lý học, và vì vậy tôi nghĩ Máy tính lượng tử một chiều là tuyệt vời. Cụ thể, Máy tính lượng tử dựa trên đo lường trạng thái đồ thị (MBQC) đã là một sự phát triển thực sự tốt đẹp trong nghiên cứu Điện …

18 quantum-computing 

EDIT (ngày 22 tháng 8 năm 2011): Tôi tiếp tục đơn giản hóa câu hỏi và đặt tiền thưởng cho câu hỏi. Có lẽ câu hỏi đơn giản hơn này sẽ có một câu trả lời dễ dàng. Tôi cũng sẽ vượt qua tất cả các phần của câu hỏi …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

Là định lý tự động chứng minh và tìm kiếm bằng chứng dễ dàng hơn trong logic tuyến tính cấu trúc tuyến tính và đề xuất khác mà không co lại? Tôi có thể đọc thêm về định lý tự động chứng minh trong các logic này và vai trò …

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Độ phức tạp (trên RAM số nguyên tiêu chuẩn) của việc tính toán biến đổi Fourier rời rạc tiêu chuẩn của một vectơ số nguyên là gì?nnn Thuật toán cổ điển cho các biến đổi Fourier nhanh , không phù hợp [1] được quy cho Cooley và Tukey, thường được …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis