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

Trong khảo sát "Mạch lượng tử độ sâu nhỏ" của D. Bera, F. Green và S. Homer (trang 36 của ACM SIGACT News, tháng 6 năm 2007 tập 38, số 2) , tôi đọc câu sau: Phiên bản cổ điển của (trong đó cổng A N D và O R …

23 cc.complexity-theory  circuit-complexity 

Theo kết quả của khoảng cách gần đây ở kết quả độ sâu 3 (trong số những thứ khác mang lại mạch số học độ sâu 3 cho số xác định trên ), tôi có câu hỏi sau: Grigoriev và Karpinski đã chứng minh một thấp hơn bị ràng buộc …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

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 

Khi giới hạn 000 - 111 đầu vào, mỗi {+,×}{+,×}\{+,\times\} -circuit F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n) tính một số chức năng F:{0,1}n→NF:{0,1}n→NF:\{0,1\}^n\to \mathbb{N} . Để có được hàm boolean , chúng ta chỉ cần thêm một cổng ngưỡng fanin-1 làm cổng đầu ra. Khi nhập a∈{0,1}na∈{0,1}na\in\{0,1\}^n , ngưỡng kết quả {+,×}{+,×}\{+,\times\} -mạchsau đó kết …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

Đó là một kết quả kinh điển mà mỗi mạch trong 2 AND-OR-NOT tính toán PARITY từ các biến đầu vào có kích thước ít nhất là và điều này là sắc nét. (Chúng tôi xác định kích thước là số lượng cổng AND và OR.) Bằng chứng là bằng …

21 cc.complexity-theory  circuit-complexity  parity 

Sử dụng thuật toán carry look front chúng ta có thể tính toán bổ sung bằng cách sử dụng một mạch có kích thước đa thức độ sâu 5 (hoặc 4?) . Có thể giảm độ sâu? Chúng ta có thể tính toán việc cộng hai số nhị phân bằng …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

Hãy xem xét các lý do sau đây: Gọi biểu thị độ phức tạp Kolmogorov của chuỗi x . Định lý bất toàn Chaitin nói rằngK(x)K(x)K(x)xxx cho bất kỳ hệ thống chính thức phù hợp và đủ mạnh mẽ , có tồn tại một hằng số T (chỉ phụ thuộc …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Cổng AND & OR là một cổng được đưa ra hai đầu vào và trả về AND và OR của chúng. Có phải các mạch chỉ được tạo ra từ cổng AND & OR, không có quạt, có khả năng tính toán tùy ý không? Chính xác hơn, logspace tính …

21 cc.complexity-theory  circuit-complexity 

Như chúng ta đã biết, hàm -clique C L I Q U E ( n , k ) lấy một sơ đồ con ( bao trùm ) G ⊆ K n của một đồ thị n -vertex hoàn chỉnh K n và xuất ra 1 iff G chứa một k …

21 cc.complexity-theory  optimization  circuit-complexity 

Có bất kỳ giả thuyết phức tạp / mật mã hợp lý nào có thể loại trừ khả năng các mạch kích thước đa thức có kích thước phụ (ví dụ với ) giới hạn độ sâu ( ) mạch? ϵ < 1 d = O ( 1 )2Ô ( …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

O ( log c n ) O ( n k ) c k n c 2 n k kN CNC\mathsf{NC} nắm bắt ý tưởng về khả năng song song hiệu quả và một cách giải thích về nó là các vấn đề có thể giải quyết được trong thời gian …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Lời nói đầu Các hệ thống bằng chứng tương tác và các giao thức Arthur-Merlin đã được Goldwasser, Micali và Rackoff và Babai giới thiệu vào năm 1985. Lúc đầu, người ta cho rằng cái trước mạnh hơn cái sau, nhưng Goldwasser và Sipser cho thấy chúng có cùng sức …

21 cc.complexity-theory  lower-bounds  circuit-complexity 

Chúng tôi biết rất nhiều về những hạn chế của (kích thước đa thức) mạch độ sâu không đổi. Do các công thức độ sâu không đổi (kích thước đa thức) là một mô hình tính toán bị hạn chế hơn nữa, nên tất cả các vấn đề được biết …

21 cc.complexity-theory  circuit-complexity  lower-bounds 

. giới hạn.) Giả sử chúng ta có đồng tiền giống hệt nhau với bias . Mục đích là để mô phỏng một lần tung đồng xu duy nhất trong khi giảm thiểu sai lệch.δ = P [ H e a d ] - P [ T a i l …

21 cc.complexity-theory  circuit-complexity  pr.probability 

Hai câu hỏi liên quan về tính toán độ sâu giới hạn: 1) Giả sử rằng bạn bắt đầu với n bit và để bắt đầu với bit i có thể là 0 hoặc 1 với một số xác suất p (i), độc lập. (Nếu nó làm cho vấn đề …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth