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

Vào những năm 1980, Razborov nổi tiếng đã chỉ ra rằng có các hàm Boolean đơn điệu rõ ràng (như hàm CLIQUE) yêu cầu nhiều cổng AND và OR theo cấp số nhân để tính toán. Tuy nhiên, cơ sở {AND, OR} trên miền Boolean {0,1} chỉ là một ví …

40 lower-bounds  circuit-complexity  circuit-families 

Ryan Williams vừa đăng giới hạn dưới của mình lên ACC , loại vấn đề có mạch độ sâu không đổi với các cổng và cổng không giới hạn VÀ, HOẶC, KHÔNG và MOD_m cho tất cả các m có thể. Có gì đặc biệt về cổng MOD_m? Chúng cho …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

Tôi muốn hỏi về một trường hợp đặc biệt của câu hỏi Quyết định nếu một mạch NC 0 đã cho tính toán một hoán vị bởi QiCheng đã không được trả lời. Mạch Boolean được gọi là mạch NC 0 k nếu mỗi cổng đầu ra về mặt cú …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Mạng của Post , được mô tả bởi Emil Post vào năm 1941, về cơ bản là một sơ đồ bao gồm đầy đủ các bộ hàm Boolean được đóng theo thành phần: ví dụ, các hàm đơn điệu, các hàm tuyến tính trên GF (2) và tất cả các …

22 circuit-families 

Đặt là hàm ánh xạ mạch -gate trên n bit và chuỗi n -bit x đến C (x) . Giả sử rằng các mạch được mã hóa dưới dạng một chuỗi các bài tập k: = g (i, j) trong đó i, j, k là các nhãn dây. sCnnxC(x)k:=g(i,j)i,j,kC i …

14 cc.complexity-theory  circuit-complexity  circuit-families 

Đặt là hàm đa số, tức là f ( x ) = 1 khi và chỉ khi . Tôi đã tự hỏi nếu có một bằng chứng đơn giản về thực tế sau đây (bởi "đơn giản", ý tôi là không dựa vào phương pháp xác suất như Valiant 84 …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

Nói một cách đơn giản: sự tương ứng giữa các máy Turing với các nhà tiên tri và các họ mạch thống nhất với các nhà tiên tri là gì? Làm thế nào cái sau được định nghĩa để có được mô hình tính toán tương tự, cho một máy …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Tôi đang xem xét ý tưởng về các thuật toán lượng tử chính xác. Cụ thể, tôi đang xem xét các hạn chế có khả năng của , bao gồm các ngôn ngữ có thể quyết định chính xác bởi các họ mạch lượng tử đồng nhất đa thời gian …

11 quantum-computing  circuit-families