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

Trạng thái kiến ​​thức của chúng tôi về các mạch số học nói chung dường như tương tự như trạng thái hiểu biết của chúng tôi về các mạch Boolean, tức là chúng tôi không có giới hạn thấp. Mặt khác, chúng ta có giới hạn kích thước theo cấp …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Là vấn đề sau trong PTIME, hay coNP-hard: Cho hai biểu thức Boolean và trong các biến , không có phủ định (nghĩa là các biểu thức được xây dựng hoàn toàn thông qua và ). Quyết định xem , nghĩa là chúng có cùng giá trị cho tất cả …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Razborov đã chứng minh rằng chức năng khớp đơn điệu không có trong mP . Nhưng chúng ta có thể tính toán kết hợp bằng cách sử dụng một mạch kích thước đa thức với một vài phủ định không? Có một P / poly mạch với phủ nhận rằng …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

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 

P / poly là lớp các vấn đề quyết định có thể giải quyết được bởi một họ các mạch Boolean có kích thước đa thức. Ngoài ra, nó có thể được định nghĩa là một máy Turing đa thời gian nhận chuỗi tư vấn có kích thước đa thức …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Trọng lượng |x||x||x|của một chuỗi nhị phân x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n là số lượng các chuỗi trong chuỗi. Điều gì xảy ra nếu chúng ta quan tâm đến việc tính toán một hàm đơn điệu trên đầu vào với một vài cái? Chúng ta biết rằng quyết định nếu một đồ thị có …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone