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

Giả sử . Sau đó, một đối số đơn giản cho thấy . Chúng ta có thể tiến thêm một bước và nhận không? Đối số đơn giản làNP=PPNP=PPNP=PPPHPP=NPPHPP=NPPH^{PP}=NPPPPP=NPPPPP=NPPP^{PP}=NP Định lý Nếu thì .NP=PPNP=PPNP=PPPHPP=NPPHPP=NPPH^{PP}=NP Bằng chứng được đóng dưới bổ sung (do Gill), do đó . Lấy bất kỳ cấp …

8 cc.complexity-theory  counting-complexity  conditional-results 

Được #P giới thiệu lần đầu tiên trong [1] ? [1] Valiant, Leslie G. "Sự phức tạp của tính toán vĩnh viễn." Khoa học máy tính lý thuyết 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

Tôi có thể đang thiếu một cái gì đó rõ ràng nhưng tôi không thể tìm thấy tài liệu tham khảo về sự phức tạp của việc đếm các kết quả khớp (không phải là khớp hoàn hảo) trong các biểu đồ lưỡng cực. Đây là vấn đề chính thức: …

8 counting-complexity  matching  bipartite-graphs 

Theo Bổ đề bắt tay: bất kỳ đồ thị vô hướng nào có đỉnh có độ là số lẻ phải có một số đỉnh khác có độ là số lẻ. Quan sát này có nghĩa là nếu chúng ta được đưa ra một biểu đồ và một đỉnh độ lẻ …

8 complexity-classes  counting-complexity  ppad 

Trong [1] có ghi rằng "Vẫn còn một câu hỏi mở là liệu mọi chức năng trong có mạch T C 0 hay không (mặc dù ít nhất được biết rằng không phải tất cả các chức năng # P đều có mạch T C 0 thống nhất DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Có thể tìm cách giảm đếm từ #SAT xuống #HornSAT không? Tôi chưa tìm thấy câu hỏi này được đăng ở đây, vì vậy quyết định kiểm tra xem có ai có câu trả lời nào không. Hãy để tôi giải thích những gì tôi có nghĩa là bằng cách …

8 cc.complexity-theory  complexity-classes  sat  counting-complexity  reductions 

Những thuật toán / kỹ thuật toán học nào có sẵn cho chính xác / xấp xỉ số lượng các bộ độc lập? Là / Có một tài liệu tham khảo tốt / tài liệu tham khảo tốt về chủ đề này? Tôi quan tâm đến đồ thị thường xuyên.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Đặt là một ma trận vuông đã cho. Có bằng chứng nào cho thấy việc đánh bại các giới hạn bậc hai đối với sao cho có thể khó không?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Có bất kỳ phỏng đoán hợp lý nào ngụ ý rằng việc chứng minh giới hạn dưới là …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent