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

1

Giảm không gian log từ mạch Parity-L sang CNOT?

Câu hỏi. Trong bài báo của họ Cải tiến mô phỏng các mạch ổn định , Aaronson và Gottesman tuyên bố rằng mô phỏng mạch CNOT là ⊕L -complete (dưới mức giảm logspace). Rõ ràng là nó được chứa trong ⊕L ; làm thế nào để giữ kết quả độ …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

---

3

Làm cách nào tôi có thể hiển thị sự cố Gap-P nằm ngoài #P

Có một số vấn đề trong lý thuyết biểu diễn tổ hợp và hình học đại số mà không có công thức tích cực nào được biết đến. Có một vài ví dụ tôi đang nghĩ đến, nhưng hãy để tôi lấy hệ số Kronecker làm ví dụ. Thông thường, …

14 cc.complexity-theory  counting-complexity  lower-bounds 

---

4

Đếm số lượng đỉnh của đỉnh: khi nào thì khó?

Hãy xem xét bài toán hoàn thành # P về việc đếm số lượng đỉnh của một đồ thị đã cho .G=(V,E)G= =(V,E)G = (V, E) Tôi muốn biết liệu có bất kỳ kết quả nào cho thấy độ cứng của vấn đề đó thay đổi như thế nào với …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

---

2

# Vấn đề hoàn thành P có phiên bản quyết định trong P

1) Có thể giảm đáng kể từ vấn đề # P-Complete #A sang vấn đề đếm #B khi (phiên bản quyết định) A hoàn thành NP và B ở P không? Ví dụ: có thể có một mức giảm đáng kể từ #SAT xuống #B, khi B ở P không? …

14 cc.complexity-theory  complexity-classes  counting-complexity 

---

3

Sự phức tạp của việc kiểm tra xem hai CNF có cùng số lượng giải pháp không

Đưa ra hai CNF, nếu chúng có cùng số lượng bài tập để biến chúng thành đúng, hãy trả lời "Có", nếu không thì trả lời "Không". Thật dễ dàng để thấy nó có trong , vì nếu chúng ta biết chính xác số lượng giải pháp cho hai CNF …

14 cc.complexity-theory  complexity-classes  counting-complexity 

---

2

Giới hạn dưới trên #SAT?

Vấn đề #SAT là vấn đề # P-đầy đủ. Đây là một vấn đề chức năng chứ không phải là một vấn đề quyết định. Nó hỏi, đưa ra một công thức boolean trong logic mệnh đề, có bao nhiêu bài tập thỏa mãn . Giới hạn dưới tốt nhất …

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

---

2

Sự phức tạp của Median-SAT là gì?

Hãy là một công thức với CNF n biến và m khoản. Hãy t ∈ { 0 , 1 } n đại diện cho một nhiệm vụ khác nhau và f φ ( t ) ∈ { 0 , ... , m } đếm số lượng các điều khoản thoả …

14 cc.complexity-theory  sat  counting-complexity 

---

2

Đếm số lượng bài tập thỏa mãn trong CNF-SAT TÍCH CỰC

Chúng tôi biết vấn đề đếm số lượng bài tập thỏa mãn trong một công thức boolean chung nhất định (CNF-SAT), một công thức DNF nhất định hoặc thậm chí một công thức 2SAT đã cho là một vấn đề # P- Complete. Bây giờ, hãy xem xét một CNF-SAT …

13 sat  counting-complexity  polynomial-time  monotone 

---

1

Chẵn lẻ-L so với NL

Parity-L, còn được gọi là L, là tập hợp các ngôn ngữ được công nhận bởi một máy Turing không xác định, chỉ có thể phân biệt giữa một số chẵn hoặc số lẻ của các đường dẫn "chấp nhận". Một câu hỏi liên quan gần đây đã được Niel …

13 cc.complexity-theory  counting-complexity 

---

1

Là đếm các nhóm tối đa trong một biểu đồ không thể so sánh # P-Complete?

Câu hỏi này được thúc đẩy bởi một câu hỏi MathOverflow của Peng Zhang . Valiant đã chỉ ra rằng việc đếm các nhóm tối đa trong một biểu đồ chung là # P-đầy đủ, nhưng điều gì sẽ xảy ra nếu chúng ta hạn chế các biểu đồ không …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

---

6

Bất kỳ vấn đề thuật toán có một sự phức tạp thời gian chi phối bằng cách đếm?

Điều tôi đề cập đến khi đếm là vấn đề bao gồm việc tìm số lượng giải pháp cho một hàm. Chính xác hơn, được cung cấp một hàm (không nhất thiết phải là hộp đen), gần đúng .f: N→ { 0 , 1 }f:N→{0,1}f:N\to \{0,1\}# { x ∈ N| …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

---

4

Về phương pháp Pfaffian trong đếm và kết hợp

Gần đây, tôi đã đi qua phần giới thiệu về Thuật toán ba chiều. Tôi bắt gặp một số đối tượng kết hợp được gọi là Pfaffians. Tôi không thực sự biết nhiều về những thứ đó vào lúc này và đã tìm thấy một số cách sử dụng đáng …

13 reference-request  co.combinatorics  counting-complexity 

---

2

Đếm các giải pháp của công thức Monotone-2CNF

Công thức Monotone-2CNF là một công thức CNF trong đó mỗi mệnh đề được cấu tạo bởi chính xác 2 nghĩa đen. Bây giờ, tôi có một giọng đều đều-2CNF công thức . Đặt là tập hợp các bài tập thỏa mãn củaTôi cũng có một orory có thể cung …

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

---

3

Độ phức tạp của các đường đếm trong đồ thị

Cho một đồ thị có hướng với n nút sao cho mỗi đỉnh có chính xác hai cạnh đi và một số tự nhiên N được mã hóa ở dạng nhị phân, hai đỉnh s và t, Tôi muốn đếm số lượng đường dẫn (không nhất thiết đơn giản) từ …

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

---

2

Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối

Đặt G là đồ thị được kết nối. Độ phức tạp của việc đếm tất cả các sơ đồ con được kết nối nếu G thuộc các loại sau? G là chung. G là mặt phẳng. G là lưỡng cực. Tôi không quan tâm đến bất kỳ cấu trúc nào …

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

---