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

Lớp NCiNCi\textrm{NC}^i là các hàm lớp được tính toán bởi các họ mạch có giới hạn quạt, kích thước nO(1)nO(1)n^{O(1)} và độ sâu O(logi(n))O(logi⁡(n))O(\log^i(n)) . Các NCNC\textrm{NC} -hierarchy là sự kết hợp của những lớp học. Có nghiên cứu nào về biến thể kích thước tuyến tính của hệ thống …

10 cc.complexity-theory  circuit-complexity 

Tôi đang quan tâm trong việc xác định mức độ phức tạp của vấn đề quyết định sau đây: Cho hai số nguyên và l 2 (mỗi với ít nhất bit m), quyết định xem bit quan trọng nhất của nhân l 1 ⋅ l 2 là 1 (hiển thị …

10 cc.complexity-theory  circuit-complexity 

Đặt là lớp phức tạp và là đối tác ngẫu nhiên của được định nghĩa làCC\mathcal{C}BP-CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C} đối với P . Chính thức hơn, chúng tôi cung cấp nhiều bit ngẫu nhiên và chúng tôi chấp nhận đầu vào nếu xác suất chấp nhận là hơn 2BPPBPP\textrm{BPP}PP\textrm{P} .2323\frac{2}{3} Được biết, đối …

10 circuit-complexity  randomized-algorithms 

Hãy xem xét vấn đề sau: Cho một ma trận chúng tôi muốn tối ưu hóa số lượng bổ sung trong thuật toán nhân cho tính toán v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Tôi thấy vấn đề này thú vị vì mối quan hệ của nó với …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Tối thiểu hóa mạch là vấn đề để giảm thiểu kích thước của một mạch nhất định. Có bất cứ điều gì tương tự cho các chương trình chung? Cụ thể câu hỏi của tôi là - Có tồn tại các thuật toán để giảm thiểu # hướng dẫn cho …

10 pl.programming-languages  optimization  circuit-complexity  semantics  compilers 

Xét một ngôn ngữ không trống của các chuỗi nhị phân có độ dài n . Tôi có thể mô tả L với mạch Boolean C với n đầu vào và một đầu ra sao cho C ( w ) là đúng iff w ∈ L : điều này là …

10 fl.formal-languages  circuit-complexity 

Các câu dưới đây có liên quan đến tối ưu của Bellman-Ford sss - ngắn nhất thuật toán lập trình con đường năng động (xem bài này cho một kết nối). Ngoài ra, một câu trả lời tích cực sẽ ngụ ý rằng kích thước tối thiểu của chương trình …

10 graph-theory  circuit-complexity  lower-bounds 

Câu hỏi của tôi là tại sao giới hạn dưới cho độ sâu 3 mạch Boolean có cổng "và" và "xor" cho định thức không bao hàm các giới hạn dưới giống nhau cho các mạch số học trên ?ZZ\mathbb{Z} Có gì sai với đối số sau: Đặt là một …

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

Công thức CNF đơn điệu với m thuật ngữ trên n biến ( ) là một công thức có dạng f (x_1, \ ldots, x_n) = \ bigwedge C_i , trong đó mỗi C_i là một OR của một số tập hợp con của các biến x_1, \ ldots, x_n …

10 cc.complexity-theory  circuit-complexity  formulas 

Lý lịch Độ phức tạp của mạch được định nghĩa là tập hợp các họ mạch (tức là các chuỗi mạch, một cho mỗi kích thước đầu vào) có độ sâu giới hạn và kích thước đa thức được xây dựng bằng cách sử dụng quạt không giới hạn AND, …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

Giả sử tôi có một mạch boolean tính toán một số hàm f : { 0 , 1 } n → { 0 , 1 } . Giả sử mạch bao gồm các cổng AND, OR và KHÔNG có quạt vào và ra nhiều nhất là 2.CCCf: { 0 , …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

Câu hỏi của tôi là về các chức năng tính toán hiệu quả tính toán. Không chính thức tôi quan tâm đến: Nếu một mệnh đề có thể tính toán được trong thời gian đa thức, chúng ta có thể tính toán nó bằng một số đa thức của cổng …

10 circuit-complexity  permutations  reversible-computing 

Tôi tò mò về những cách mà bạn đã thấy tính không đồng nhất có ích trong tính toán. Một cách là sự ngẫu nhiên, như trong , và một cách khác là các bảng tra cứu được sử dụng để cho thấy rằng tất cả các ngôn ngữ đều …

9 circuit-complexity  advice-and-nonuniformity 

Đặt là một lớp phức tạp và là đối tác ngẫu nhiên của được định nghĩa theo cách tương tự như được định nghĩa theo . Chính thức hơn, chúng tôi cung cấp nhiều bit ngẫu nhiên và chúng tôi chấp nhận đầu vào nếu xác suất chấp nhận vượt …

9 circuit-complexity  randomized-algorithms  derandomization 

Phương pháp gần đúng của Razborov là gì? Ai đó có thể đưa ra một cái nhìn tổng quan cấp cao và trực giác đằng sau nó?

9 cc.complexity-theory  circuit-complexity