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

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1. Tuy nhiên, việc thu được kết quả giới hạn cụ thể trên các mạch độ sâu đa giác dường như nằm ngoài tầm với bằng cách sử dụng các phương pháp cổ điển như hạn chế đầu vào và xấp xỉ đa thức trên các trường hữu hạn. Tôi …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

Như đã biết, PARITY không thể được thực hiện trong các mạch có độ sâu không đổi đa kích thước, và trên thực tế, các mạch const-dept yêu cầu số lượng cổng EXP. Còn mạch QUANTUM thì sao? a) PARITY có thể được thực hiện với một mạch lượng tử …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

Chúng tôi biết (hiện tại khoảng 40 năm, cảm ơn Adman, Bennet và Gill) rằng sự bao gồm BPP P / poly, và một tổ chức P / poly BPP / poly thậm chí còn mạnh hơn . "/ Poly" có nghĩa là chúng ta làm việc không đồng đều …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization 

Một số công việc về độ nhạy so với độ nhạy khối đã nhằm mục đích kiểm tra các hàm với khoảng cách càng lớn càng tốt giữa s(f)s(f)s(f) và bs(f)bs(f)bs(f) để giải quyết phỏng đoán rằng bs(f)bs(f)bs(f) chỉ lớn hơn về mặt đa thức hơn s(f)s(f)s(f) . Còn hướng …

16 circuit-complexity  boolean-functions 

Số lượng cổng nhị phân tối thiểu cần thiết để tính toán AND và OR của bit đầu vào là bao nhiêu? Giới hạn trên tầm thường là . Tôi tin rằng điều này là tối ưu, nhưng làm thế nào để chứng minh điều này? Kỹ thuật loại bỏ …

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

Một lỗ hổng mà tôi luôn nhận thức được rằng tôi không thực sự hiểu là giữa độ phức tạp tính toán không đồng nhất và đồng nhất trong đó độ phức tạp mạch đại diện cho phiên bản không đồng nhất và máy Turing là những thứ đồng nhất. …

16 cc.complexity-theory  circuit-complexity 

Bức tranh nổi tiếng về thế giới của Neil Immerman là như sau (bấm vào để phóng to): Lớp "Thực sự khả thi" của anh không bao gồm lớp nào khác; Câu hỏi của tôi là: Vấn đề AC 0 được coi là không thực tế là gì và tại …

16 cc.complexity-theory  circuit-complexity 

Lý lịch Công thức đọc một lần trên một tập hợp các cổng (còn được gọi là cơ sở) là một công thức trong đó mỗi biến đầu vào xuất hiện một lần. Các công thức đọc một lần thường được nghiên cứu trên cơ sở De Morgan (có cổng …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

Vấn đề bảo trì đơn hàng (hoặc "duy trì trật tự trong danh sách") là để hỗ trợ các hoạt động: singleton: tạo một danh sách với một mục, trả về một con trỏ tới nó insertAfter: đưa ra một con trỏ tới một mục, chèn một mục mới vào …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Câu hỏi này có thể được hỏi hoặc trong khuôn khổ độ phức tạp của mạch Boolean, hoặc trong khuôn khổ của lý thuyết phức tạp đại số, hoặc có thể trong nhiều cài đặt khác. Thật dễ dàng để hiển thị, bằng cách đếm các đối số, tồn tại …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Trong bài viết Bằng chứng tự nhiên của Razborov-Rudich , trang 6, trong phần họ thảo luận rằng có "bằng chứng mạnh mẽ chống lại các mô hình mạch đơn điệu " và cách chúng phù hợp với hình ảnh, có những câu sau: Ở đây, vấn đề không phải …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

Bằng chứng tự nhiên là một rào cản đối với việc chứng minh các giới hạn thấp hơn về độ phức tạp mạch của các hàm boolean. Họ không trực tiếp ngụ ý bất kỳ rào cản như vậy trong việc chứng minh các giới hạn thấp hơn về độ …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

Trong độ phức tạp của mạch, chúng ta có sự phân tách giữa các quyền hạn của các mô hình mạch khác nhau. Trong độ phức tạp của bằng chứng, chúng ta có sự phân tách giữa các quyền hạn của các hệ thống chứng minh khác nhau. Nhưng trong …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

Giả sử chúng ta được cung cấp một tập hợp n biến boolean x_1, ..., x_n và một tập hợp các hàm y y_1 ... y_m trong đó mỗi y_i là XOR của một tập hợp con (đã cho) của các biến này. Mục tiêu là tính toán số lượng …

15 circuit-complexity  approximation-hardness  approximation  matrix-product 

Mỗi mạch số học đơn điệu , tức là một mạch {+,×}{+,×}\{+,\times\} , tính toán một số đa thức với các hệ số nguyên không âm. Cho một đa thức , mạchf ( x 1 , Mạnh , x n )F(x1,…,xn)F(x1,…,xn)F(x_1,\ldots,x_n)f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n) tính nếu giữ cho tất cả ; F ( …

15 circuit-complexity  lower-bounds  arithmetic-circuits  cc-complexity-theory