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

Vấn đề sau đây xuất hiện trong danh sách Mười thách thức bán lớn của Aaronson cho Lý thuyết tính toán lượng tử . Là B Q P = B P PB Q N CBQP= =BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Nói cách khác, phần "lượng tử" của bất kỳ thuật toán lượng tử nào …

15 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

Điều gì xảy ra nếu chúng ta định nghĩa P P A DPPAD{\bf PPAD} sao cho thay vì mạch Turing-machine / polysize polytime, logspace Turing-machine hoặc mạch A C 0AC0{\bf AC^0} mã hóa vấn đề? Gần đây đưa ra các thuật toán nhanh hơn cho Circuit satisfiability cho mạch nhỏ …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

Tôi muốn hỏi đề xuất cho các văn bản tốt giới thiệu sự phức tạp mạch. Bất kỳ con trỏ đến những tiến bộ gần đây và các vấn đề mở trong lĩnh vực này cũng sẽ hữu ích.

15 circuit-complexity 

Một ngôn ngữ nằm trong nếu tồn tại máy Turing logspace quyết định ngôn ngữ với số lượng lời khuyên đa thức.L/polyL/polyL/poly Xem tại đây để biết thêm: https://en.wikipedia.org/wiki/L/poly Câu hỏi Hậu quả của gì?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Hãy xem xét mô hình mạch đơn điệu đơn giản sau đây: mỗi cổng chỉ là một OR nhị phân. Độ phức tạp của hàm f ( x ) = A xf(x)=Axf(x)=Ax trong đó AAA là ma trận Boolean với 0's? Nó có thể được tính bằng các mạch OR …

14 ds.algorithms  circuit-complexity  upper-bounds 

Đặ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 

Như trong này câu hỏi, tôi đang quan tâm đến các vs / vấn đề cho nhiệt đới và mạch. Câu hỏi này giảm để hiển thị giới hạn trên cho kích thước đa thức của VC đối với các bán dẫn nhiệt đới (xem Định lý 2 dưới đây). …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

Các -thứ tiểu đối xứng đa thức là tổng của tất cả sản phẩm của biến rõ rệt. Tôi quan tâm đến độ phức tạp của số học đơn điệu (+, \ lần) của đa thức này. Một thuật toán lập trình động đơn giản (cũng như Hình 1 bên …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Theo sở thú phức tạp , và chúng tôi biết rằng không thể đếm được vì vậy . Tuy nhiên, nó không nói nếu \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} hay không. Vì chúng tôi không biết \ mathsf {NC ^ 1} \ not \ subseteq …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

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 xem xét các DAG (đồ thị chu kỳ có hướng) với một nút nguồn sss và một nút mục tiêu ttt ; các cạnh song song nối cùng một cặp đỉnh được cho phép. Một kkk - cut là một tập hợp các cạnh mà việc loại bỏ …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Như mọi người đều biết, SAT hoàn thành cho việc giảm nhiều lần một đa thức wrt. Nó vẫn hoàn thành wrt A C 0 nhiều giảm một.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Câu hỏi của tôi là độ sâu tối thiểu cần thiết cho việc giảm là gì? Chính thức hơn, Nhất là gì …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

Tôi đang đọc phần phụ lục về giới hạn thấp hơn của ACC cho NEXP trong cuốn sách Tính phức tạp tính toán của Arora và Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Một trong những bổ đề quan trọng là sự chuyển đổi từ A CC0MộtCC0ACC^{0} mạch để đa thức đa tuyến so …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

Kết quả 1: Định lý Linial-Mansour-Nisan nói rằng trọng số phạm vi của các hàm được tính toán bởi các mạch AC0AC0\mathsf{AC}^0 tập trung vào các tập con có kích thước nhỏ với xác suất cao. Kết quả 2: PARITYPARITY\mathsf{PARITY} có trọng lượng phạm vi tập trung vào hệ số …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

là lớp các vấn đề quyết định có thể giải quyết được bởi một họ cácmạch độ sâu O ( log i n ) với các cổng OR không giới hạn OR và giới hạn-fanin AND. Tiêu cực chỉ được phép ở cấp đầu vào. Được biết, S Một C …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits