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

Tôi tin rằng các câu trả lời cho câu hỏi này đưa ra các lớp sao cho tất cả các đa thức , có một vấn đề trong lớp không có mạch có kích thước p ( n ) . Tuy nhiên, tôi đang hỏi về kích thước mạch ωpppp …

9 circuit-complexity  lower-bounds 

Kết quả tốt nhất cho số lượng cổng trong một mạch nhân hai số nguyên n bit là gì? Phương thức rõ ràng tạo ra cổng . Có tốt hơn phương pháp tiếp cận với θ ( n log n log log n ) và θ ( n log n …

9 cc.complexity-theory  circuit-complexity 

Giả sử chúng ta có hàm Boolean và chúng tôi áp dụng hạn chế -random trên . Ngoài ra, giả sử rằng cây quyết định tính toán co lại thành kích thước là kết quả của hạn chế ngẫu nhiên. Điều này có nghĩa là có tổng ảnh hưởng rất …

9 cc.complexity-theory  co.combinatorics  circuit-complexity  boolean-functions 

Đặt xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} cho i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , với lời hứa rằng x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (trong đó tổng là trên ZZ\mathbb{Z} ). Vậy thì độ phức tạp của việc xác định nếu x=1x=1x = 1 gì? ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]}x≡1modmx≡1modmx \equiv 1\bmod{m}x=1x=1x = 1AC0AC0\mathsf{AC}^0

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

Thuật toán Berkowitz cung cấp một mạch kích thước đa thức với độ sâu logarit để xác định ma trận vuông sử dụng công suất ma trận. Thuật toán ngầm sử dụng hủy bỏ. Là hủy bỏ cần thiết để đạt được một mạch có kích thước đa thức với …

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Câu hỏi của tôi là về lý thuyết mô hình hữu hạn / độ phức tạp mô tả, do đó, sẽ có nghĩa là "thứ tự đầu tiên trên các từ nhị phân hữu hạn, sử dụng các biến vị ngữ R và một vị từ P đơn vị đúng …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

DLOGTIME được định nghĩa tại http://en.wikipedia.org/wiki/DLOGTIME được định nghĩa tại http://en.wikipedia.org/wiki/L_%28complexity%29 NC và NC n được xác định tại http: // en .wikipedia.org / wiki / NC_% 28 độ linh hoạt% 29LL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME dường như là nhỏ nhất có thể hoạt động. Tôi đã đọc ở nhiều nơiL ⊆ …

9 cc.complexity-theory  circuit-complexity 

Gần đây, Craig Gentry đã xuất bản sơ đồ mã hóa khóa công khai đầu tiên (trên không gian văn bản {0,1}) hoàn toàn đồng hình, nghĩa là người ta có thể đánh giá AND và XOR một cách hiệu quả và gọn gàng trên các bản rõ được mã …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Đây quả bởi Tavenas, Koiran và những người khác chứng minh rằng mọi đa thức tính bằng một mạch kích thước Sss được tính bằng độ sâu-4 mạch đồng nhất kích thước Sd√sds^{\sqrt{d}} . Có bất kỳ kết quả tương tự cho các mạch Boolean hay chúng ta có biết …

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Có ai đã khám phá sự phức tạp mạch của các vấn đề quyết định cổ điển như Số nguyên tố hoặc Đồ thị đẳng hình cho kích thước đầu vào không?NNN Trong khi hầu hết mọi người đang quan tâm đến những cách thức mở rộng quy mô diễn …

9 cc.complexity-theory  reference-request  circuit-complexity 

Định lý phân cấp thời gian cho phép người ta chỉ ra rằng, ví dụ, có những vấn đề trong P không thể giải quyết kịp thời ít hơn const * n ^ 2 bằng máy Turing. Nhưng hãy cho máy Turing một số lời khuyên và tất cả các …

9 cc.complexity-theory  lower-bounds  circuit-complexity  advice-and-nonuniformity  separation 

Từ Wikipedia : VPVP\mathsf{VP} : Lớp VP là tương tự đại số của P; đó là lớp đa thứcfff có bậc đa thức có mạch kích thước đa thức trên một trườngKKK cố định. VNPVNP\mathsf{VNP} : Lớp VNP là tương tự của NP. VNP có thể được coi là lớp …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

Savický và Woods (Số lượng hàm Boolean được tính theo công thức có kích thước cho trước) chứng minh kết quả sau. Định lý [SW98]: Với mỗi hằng số k>1k>1k>1 , hầu như tất cả các hàm boolean có độ phức tạp công thức nhiều nhất nknkn^k đều có độ …

8 cc.complexity-theory  circuit-complexity  nondeterminism 

Như đã trình bày trong bài báo "Mạch đơn điệu cho hàm đa số", có thể xây dựng mạch boolean đơn điệu cho hàm đa số trên n biến có kích thước O (n ^ 3) và độ sâu 5,3 log (n) + O (1). http://link.springer.com/ch CHƯƠNG / 10.1007/11830924_38 Câu …

8 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-depth 

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