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

R P= NPRP= =NPRP = NP được phỏng đoán rộng rãi là sai. Nhưng hãy tưởng tượng trong một khoảnh khắc rằng nó là sự thật. Trong trường hợp như vậy, khả năng như thế nào?P= NPP= =NPP = NP Nói cách khác: trong một thế giới nơi , điều …

12 cc.complexity-theory  complexity-classes  conditional-results 

Tôi đọc trong SP Jordan, D. Gosset, PJ Love " vấn đề -complete cho Hamilton stoquastic và ma trận MarkovQ MMộtQMMộtQMA " mà nó không chắc rằng .Q MMột ⊆ A MQMMột⊆MộtMQMA \subseteq AM Tôi đã ngạc nhiên về khẳng định này. Vậy mối quan hệ đúng đắn giữa và …

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Trong khi thực hiện một dự án có liên quan đến Suresh, gần đây tôi đã tình cờ thấy một số công việc được thực hiện bởi Page và Opper về các hệ thống có thể kết hợp với người dùng và một phần công việc của họ đã thảo …

12 cc.complexity-theory  complexity-classes 

Kết quả Baker-Gill-Solovay cho thấy câu hỏi P = NP không tương đối hóa, theo nghĩa là không có bằng chứng tương đối hóa (không nhạy cảm với sự hiện diện của một nhà tiên tri) có thể giải quyết câu hỏi P = NP. Câu hỏi của tôi là: …

12 cc.complexity-theory  complexity-classes 

Bởi http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Nếu là ngôn ngữ hoàn chỉnh PSPACE, .AAAPA=NPAPA=NPAP^{A}=NP^{A} Nếu là một nhà tiên tri thời gian đa thức xác định, (giả sử ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP PPPPPP là lớp các vấn đề quyết định tương tự cho và ,#P#P\#PP⊆PP⊆PSPACEP⊆PP⊆PSPACEP\subseteq PP\subseteq PSPACE nhưng không biết hay . Nhưng có thật …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Giấy Lauri Hella và José María Turull-Torres, Tính toán các truy vấn với logic bậc cao hơn , TCS 355 197 Tiết214, 2006. doi: 10.1016 / j.tcs.2006.01.009 đề xuất logic VO, logic thứ tự biến. Điều này cho phép định lượng trên các đơn đặt hàng qua các biến. VO …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Những vấn đề khác ngôn ngữ khác với đẳng cấu đồ thị là trong ? Bạn có thể cho một số tài liệu tham khảo?NP∩ c o A MNP∩coMộtMNP\cap coAM Cập nhật: Tôi quên đề cập rằng tôi quan tâm đến các ngôn ngữ không được biết đến trong .c …

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Một số khẳng định (không nổi tiếng) là gì nếu đúng, PH phải sụp đổ? Các câu trả lời có chứa một xác nhận cấp cao ngắn với (các) tham chiếu được đánh giá cao. Tôi đã cố gắng tìm kiếm ngược mà không gặp nhiều may mắn.

12 cc.complexity-theory  complexity-classes  big-list 

Tối thiểu cây chiều rộng của một mạch qua là gì {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} để tính MAJ? Ở đây MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} xuất ra 1 iff ít nhất một nửa số đầu vào của nó là 111 . Tôi chỉ quan tâm đến kích thước của mạch (phải là đa thức) …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Chúng ta biết rằng nếu thì toàn bộ PH sụp đổ. Điều gì xảy ra nếu hệ thống phân cấp đa thức sụp đổ một phần? (Hoặc làm thế nào để hiểu rằng PH có thể sụp đổ trên một điểm nhất định chứ không phải bên dưới?)P=NPP=NPP=NP Nói cách …

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Câu hỏi sau đây sử dụng các ý tưởng từ mật mã được áp dụng cho lý thuyết phức tạp. Điều đó nói rằng, đó là một câu hỏi lý thuyết hoàn toàn phức tạp và không có kiến ​​thức về tiền điện tử nào được yêu cầu để trả …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Hãy xem xét trò chơi sau đây trên đồ thị có trọng số GGG với một con chip tại một số nút. Tất cả các nút của GGG được đánh dấu bởi A hoặc B. Có hai người chơi Alice và Bob. Mục tiêu của Alice (Bob) là chuyển chip …

12 cc.complexity-theory  complexity-classes  gt.game-theory 

Tôi có một phần trong nỗ lực chứng minh của . Nỗ lực chứng minh bao gồm một giảm Karp từ vấn đề -complete VERTEX BÌA 3 THƯỜNG XUYÊN để thi SAT. ⊕ P ⊕⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Cho một đồ thị khối , phần giảm tạo ra công …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Từ định lý phân cấp không gian, người ta biết rằng nếu fff là không gian có thể xây dựng thì DSPACE ( 2f(n)2f(n)2f(n) ) không bằng DSPACE ( f(n))f(n))f(n)) . Ở đây, bởi DSPACE ( f(n))f(n))f(n)) Tôi có nghĩa là lớp của tất cả các vấn đề có thể …

11 cc.complexity-theory  complexity-classes 

Là ? Hay nói chung hơn là ?NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}}NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly}

11 complexity-classes