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

Rào cản chứng minh tự nhiên của Razborov và Rudich nói rằng theo các giả định về mật mã đáng tin cậy, người ta không thể hy vọng tách NP khỏi P / poly bằng cách tìm các thuộc tính tổ hợp của các hàm có tính xây dựng, lớn …

12 cc.complexity-theory  circuit-complexity 

Ngôn ngữ Dyck được xác định bởi ngữ pháp sau S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) trên tập các biểu tượng { ( 1 , ... , ( k , ) 1 , ... , ) k } . Ngôn ngữ Dyck trực giác là ngôn ngữ của dấu ngoặc đơn cân …

12 reference-request  fl.formal-languages  circuit-complexity  ho.history-overview  context-free 

Chúng ta có biết rằng hệ thống phân cấp không sụp đổ ( cho tất cả ) không?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Mục Zoo choTC0TC0\mathsf{TC^0} chỉ đề cập đến sự tách biệt giữa độ sâu 2 và 3. Ngoài ra có một tài liệu tham khảo tiêu chuẩn cho thực tế rằng …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Trọng lượng |x||x||x|của một chuỗi nhị phân x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n là số lượng các chuỗi trong chuỗi. Điều gì xảy ra nếu chúng ta quan tâm đến việc tính toán một hàm đơn điệu trên đầu vào với một vài cái? Chúng ta biết rằng quyết định nếu một đồ thị có …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

là loại mạch có kích thước đa thức có độ sâu không đổi có cổng KHÔNG và cổng quạt và OR không giới hạn, trong đó đầu vào và cổng cũng có quạt không giới hạn.AC0AC0AC^0 Bây giờ hãy xem xét một lớp mới, gọi nó là giống như A …

12 cc.complexity-theory  circuit-complexity 

Razborov chứng minh rằng mỗi mạch đơn điệu mà tính chức năng phù hợp hoàn hảo cho đồ thị hai phía phải có ít nhất cửa (ông gọi nó là "logic vĩnh viễn"). Đã có một giới hạn thấp hơn tốt hơn cho cùng một vấn đề đã được chứng …

12 cc.complexity-theory  circuit-complexity  matching 

Bằng cách đếm các đối số, người ta có thể chỉ ra rằng tồn tại đa thức bậc n trong 1 biến (nghĩa là có dạng có độ phức tạp mạch n. Ngoài ra, người ta có thể chỉ ra rằng một đa thức như x n yêu cầu ít …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Tối thiểu cây chiều rộng của một mạch qua là gì {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} để tính MAJ? Ở đây MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} xuất ra 1 iff ít nhất một nửa số đầu vào của nó là 111 . Tôi chỉ quan tâm đến kích thước của mạch (phải là đa thức) …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Giả sử rằng đầu vào của chúng tôi là nhị phân và chúng tôi phải xuất , trong đó là một số nguyên không đổi. Đây chỉ là một sự thay đổi nếu là lũy thừa của hai, nhưng còn các số khác thì sao? Chúng ta có thể làm …

11 cc.complexity-theory  circuit-complexity  ac0 

Tôi đang đọc bài báo nổi tiếng của Impagliazzo và Wigderson năm 1997. Vì tôi mới tham gia vào lĩnh vực này và bài báo là một phiên bản hội nghị ngắn gọn, tôi gặp khó khăn khi làm theo các bằng chứng của họ. Đặc biệt, một số định …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators 

Tôi có một vài câu hỏi liên quan đến việc đánh lừa các mạch độ sâu không đổi. Người ta biết rằng sự độc lập theo chiều dọc của là cần thiết để đánh lừa các mạch A C 0 có độ sâu d , trong đó n là kích …

11 cc.complexity-theory  cr.crypto-security  circuit-complexity  derandomization  pseudorandom-generators 

Những loại định lý phân cấp có độ sâu mạch? Tuyên bố như g( n ) ∈ o ( f( n ) )g(n)∈o(f(n))g(n) \in o(f(n))f( n ) ∈ nÔ ( 1 )f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Trong một bài viết về tính toán tương đối hóa logspace, Ladner và Lynch xây dựng một nhà tiên tri liên quan đến . Có một số ví dụ bệnh lý hơn trong tĩnh mạch này trong tài liệu. Tôi đã đọc một số bài báo về các lớp không …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Một định lý sản phẩm trực tiếp, một cách không chính thức, nói rằng tính toán thể hiện của hàm f khó hơn so với tính toán f một lần.kkkffffff Các định lý sản phẩm trực tiếp điển hình (ví dụ, Bổ đề XOR của Yao) xem xét độ phức …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Trong khi một sinh viên EE, tôi đã tham dự một số bài giảng trình bày một đặc điểm tốt đẹp của các mạch boolean về số lượng các vòng lặp lồng nhau mà họ có. Trong sự phức tạp, các mạch boolean thường được coi là dags, nhưng trong …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture