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

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 

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 

Trong công thức CNF đọc hai lần đối lập, mỗi biến xuất hiện hai lần, một lần dương và một lần âm. Tôi quan tâm đến vấn đề , bao gồm tính toán tính chẵn lẻ của số lượng bài tập thỏa mãn của công thức CNF đọc hai lần.⊕ …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

Đối với một vấn đề tìm kiếm cục bộ đa thức , chúng tôi biết rằng ít nhất một giải pháp (tối ưu cục bộ) phải tồn tại. Tuy nhiên, còn nhiều giải pháp nữa có thể tồn tại, việc đếm số lượng giải pháp cho một vấn đề hoàn …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

Tôi đoán nó sẽ được gọi là # P-Space nhưng tôi chỉ tìm thấy một bài báo mơ hồ đề cập đến nó. Làm thế nào về phiên bản đếm của các vấn đề EXP-TIME-Complete, NEXP-Complete cũng như EXP-SPACE-Complete? Có bất kỳ công việc nào trước đây mà người ta …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Điều gì được biết về quá trình chuyển pha trong các vấn đề # P-Complete? Cụ thể, có tồn tại một giai đoạn chuyển tiếp khác nhau cho # DNF-k-SAT và # CNF-k-SAT không? Cập nhật: Như chúng ta đã biết, có một giai đoạn chuyển tiếp trong Random k-SAT …

11 cc.complexity-theory  counting-complexity  phase-transition 

CÂU HỎI NGẮN HẠN: MAJ-3CNF có phải là vấn đề hoàn chỉnh PP theo nhiều mức giảm không? PHIÊN BẢN DÀI HẠN: Người ta biết rằng MAJSAT (quyết định xem phần lớn các bài tập của câu mệnh đề có thỏa mãn câu không) có hoàn thành PP theo nhiều …

10 counting-complexity  complexity  probabilistic-complexity 

Tôi quan tâm đến vấn đề sau. Chúng tôi được cung cấp dưới dạng "hoán vị mục tiêu" , cũng như danh sách các chỉ số . Sau đó, bắt đầu với danh sách (nghĩa là hoán vị danh tính), tại mỗi thời điểm bước chúng ta trao đổi phần …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

Tôi đã xem qua bài báo chuyên đề của Les Valiant và tôi đã có một thời gian khó khăn với Dự luật 4.3 trên trang 10 của bài báo. Tôi không thể hiểu tại sao nếu có một trình tạo có các giá trị nhất định cho với cơ …

10 ds.algorithms  counting-complexity  survey 

Câu hỏi này đã xuất hiện trong đầu tôi sau khi đọc những đóng góp của András Salamon và Colin McQuillan cho câu hỏi trước đây của tôi Đếm các giải pháp của công thức Monotone-2CNF . EDIT 30 ngày tháng 3 năm 2011 gia tăng câu hỏi n ° …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Phép đồng hình từ đồ thị sang đồ thị là ánh xạ từ đến sao cho nếu và liền kề trong thì và liền kề trong . Một phép biến hình của đồ thị là sự đồng hình từ đến chính nó; nó là điểm không cố định nếu không …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

Hãy xem xét vấn đề # P-đầy đủ cổ điển # 3SAT, nghĩa là, để đếm số lượng định giá để tạo ra 3CNF với biến thỏa đáng. Tôi quan tâm đến tính gần đúng phụ gia . Rõ ràng, có một thuật toán tầm thường để đạt được 2 …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Hãy xem xét một công thức 3CNF Monotone có cả hai hạn chế bổ sung sau: Mỗi biến xuất hiện trong đúng mệnh đề.222 Cho mệnh đề bất kỳ , chúng chia sẻ tối đa biến.222111 Tôi muốn biết làm thế nào là khó khăn để đếm các bài tập …

9 cc.complexity-theory  sat  counting-complexity 

Đặt là đồ thị. Đặtlà một số nguyên. Gọi là số đồ thị con cảm ứng cạnh của có đỉnh và số cạnh lẻ. Gọi là số đồ thị con cảm ứng cạnh của có đỉnh và số cạnh chẵn. Đặt . Vấn đề ODD EVEN DELTA bao gồm tính …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

Trong một câu hỏi trước đây Thuật toán tham số hóa tìm kiếm xe đạp , tôi đã hỏi liệu có thuật toán tham số nhanh nào để tìm -biclique trong đồ thị đỉnh và biết rằng nó đã mở nếu đó là FPT wrt . Là như nhau đúng …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity