Câu hỏi được gắn thẻ «cc.complexity-theory»

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 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 

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 

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 

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 

(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 

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 

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 

Có đúng là có các vấn đề trong hệ thống phân cấp đa thức có thể giải quyết được trong thời gian (bởi một máy Turing xen kẽ ở một mức độ nào đó của hệ thống phân cấp đa thức) không thể giải quyết được trong trong bất kỳ …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Lý thuyết phức tạp dường như nắm bắt được một cái gì đó cơ bản về cấu trúc của vũ trụ, trong đó nó chính thức hóa quan niệm trực quan rằng một số vấn đề khó hơn những vấn đề khác. Scott Aaronson dự đoán , "Giả định độ …

18 cc.complexity-theory  soft-question  big-picture 

Tôi có đúng không khi hiểu rằng việc chứng minh NP hoàn thành là một nghiên cứu thành công? Nếu vậy tại sao?

18 cc.complexity-theory  np-hardness  big-picture 

Tôi quan tâm đến một hàm Boolean rõ ràng với thuộc tính sau: nếu không đổi trên một không gian con affine của , thì kích thước của không gian con này là .f:0 , 1n→0 , 1f:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}fff o ( n )0 , 1n0,1n\\{0,1\\}^no ( n …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Gần đây, Watrous et al đã chứng minh rằng QIP (3) = PSPACE là một kết quả đáng chú ý. Đây là một kết quả đáng ngạc nhiên với bản thân tôi để nói ít nhất và nó làm tôi suy nghĩ ... Tôi tự hỏi điều gì sẽ xảy …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs