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

Gần đây tôi đã được nhắc nhở về vấn đề so với N P như được giải thích bởi Stephen A. Cook trên Viện Toán học Clay.PP\mathsf{P}NPNP\mathsf{NP} Nó đã khơi gợi sự quan tâm của tôi và tôi muốn tìm hiểu thêm về nó. Bước đầu tiên sẽ có được …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Bằng cách đếm các đối số, người ta có thể chỉ ra rằng tồn tại đa thức bậc n trong 1 biến (nghĩa là có dạng có độ phức tạp mạch n. Ngoài ra, người ta có thể chỉ ra rằng một đa thức như x n yêu cầu ít …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Điều tôi đặc biệt thắc mắc là liệu có một điều kiện thú vị về tỷ lệ phần trăm bài tập thỏa mãn công thức 3SAT để đảm bảo rằng các vấn đề đó có thể xử lý được. Giả sử ví dụ lớp các bài toán 3SAT mà của …

12 cc.complexity-theory  ds.algorithms  sat  np 

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 

Lại một vấn đề phân vùng cạnh có độ phức tạp mà tôi tò mò, được thúc đẩy bởi một câu hỏi trước đây của tôi . Đầu vào: đồ thị khối G=(V,E)G=(V,E)G=(V,E) Câu hỏi: là có một phân vùng của vào E 1 , E 2 , ... , …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

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 

Một công thức tương đương của định lý PCP là: Đối với Max 3-SAT nó là -Hard để phân biệt giữa công thức satisfiable và công thức mà nhiều nhất là -fraction của các mệnh đề satisfiable (đối với một số ).NPNPNPrrrr<1r<1r\lt 1 Có bất kỳ định lý phân đôi …

12 cc.complexity-theory  pcp  csp 

Đặt { 0 , . . . , N - 1 } và ∘ : S × S → S . Tôi muốn để tính toán mức độ phức tạp của giao tiếp quyết định ∘ là liên kết.S= =S= =S=0 , . . . , n - 10,...,n-10,...,n-1∘ : …

12 cc.complexity-theory  communication-complexity 

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 

Tôi đang đọc bằng chứng từ đây và tôi vấp phải một vấn đề kỹ thuật (nhưng rất quan trọng). Tôi biết điều này khá cụ thể và bối cảnh có vấn đề, nhưng tôi không thể tự mình tìm ra. Trong trang 51 và 55, sau khi trình bày …

12 cc.complexity-theory  pcp 

Một quan sát dễ dàng là nếu một vấn đề có thể được quyết định bởi một chương trình không xác định thời gian đa thức sử dụng các bit không đặc trưng (nghĩa là tất cả các nhân chứng đều có độ dài logarit), thì .AAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} …

12 cc.complexity-theory 

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 

Xác định là lớp ngôn ngữ có thể được chấp nhận bởi một máy Turing (multitape) trong thời gian . (" " chỉ để đơn giản hóa ký hiệu và tránh nhầm lẫn.) Lưu ý rằng không có xung quanh .DTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + 1 Có đúng là không?DTIME(n)=DTIME(2n)DTIME(n)=DTIME(2n)\mathsf{DTIME}(n) …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy