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

Người ta có thể nói chuyện của treewidth của một mạch Boolean, xác định nó như là treewidth của "moralized" đồ thị trên dây (đỉnh) thu được như sau: dây kết nối mộtaa và bbb khi bbb là sản phẩm của một cái cổng có mộtaa như là đầu vào …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

Adman đã chỉ ra vào năm 1978 rằng : nếu một hàm boolean của biến có thể được tính bằng một mạch boolean có xác suất có kích thước , thì cũng có thể được tính bởi một xác định mạch boolean có kích thước đa thức tính bằng và …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

Được biết, nếu sau đó hệ thống cấp bậc đa thức sụp đổ để Σ P 2 và M Một = Một M .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Sụp đổ mạnh nhất được biết đến xảy ra nếu là gì ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

P / poly là lớp các vấn đề quyết định có thể giải quyết được bởi một họ các mạch Boolean có kích thước đa thức. Ngoài ra, nó có thể được định nghĩa là một máy Turing đa thời gian nhận chuỗi tư vấn có kích thước đa thức …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Với một thuật toán chạy trong thời gian , chúng ta có thể chuyển đổi nó thành một nhóm mạch thống nhất "tầm thường" cho cùng một vấn đề về kích thước nhiều nhất là .≈ t ( n ) log t ( n )t ( n )t(n)t(n)≈ t ( …

13 cc.complexity-theory  circuit-complexity  uniformity 

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

Được biết nếu vấn đề đánh giá mạch có trong không? Làm thế nào về (thống nhất )? N C 1 A L o g T i m e N C 1NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Chúng ta biết rằng các mạch có độ sâu có thể được đánh giá bằng các mạch có …

13 cc.complexity-theory  reference-request  circuit-complexity 

Đặt là hàm Boolean của biến Boolean. Đặt là giá trị mong đợi của khi thu được từ bằng cách lật từng tọa độ với xác suất .n g ( x ) = T ϵ ( f ) ( x ) f ( y ) y x ϵ / 2fffnnng( …

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

Có một số kết quả giới hạn kích thước mạch nổi tiếng dựa trên các hạn chế ngẫu nhiên và Bổ đề chuyển đổi .A C0AC0\mathsf{AC^0} Chúng ta có thể phát triển kết quả Bổ đề chuyển đổi để chứng minh kích thước giới hạn dưới cho các mạch T …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

N L o g T i m e L H A C 0 L HD L o g T i m eDLogTTôime\mathsf{DLogTime} và là hai trong số các lớp phức tạp nhỏ nhất chúng ta có. (Lưu ý rằng hệ thống phân cấp thời gian logarit bằng với và đây …

13 cc.complexity-theory  circuit-complexity 

Nhiều lớp phức tạp được định nghĩa với máy Turing có định nghĩa về các mạch đồng nhất. Ví dụ, P cũng có thể được xác định bằng cách sử dụng các mạch kích thước đa thức đồng nhất và tương tự như BPP, NP, BQP, v.v. có thể được …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

Giả sử chúng ta có một mạng nơ ron chuyển tiếp nguồn cấp một lớp với k đầu vào và một đầu ra. Nó tính toán một hàm từ , khá dễ dàng để thấy rằng điều này có ít nhất sức mạnh tính toán tương tự như A C …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

Hãy xem xét một hàm tính bởi một mạch boolean với đầu vào có kích thước trên cơ sở (với indegree 2 cho các cổng ).C n s ( n ) = p o l y ( n ) { X O R , A N D , N O …

12 circuit-complexity  circuits 

Tôi đang xem xét ngôn ngữ của tất cả các công thức logic mệnh đề thỏa đáng, SAT (để đảm bảo rằng điều này có một bảng chữ cái hữu hạn, chúng tôi sẽ mã hóa các chữ cái mệnh đề theo một cách phù hợp [sửa: các câu trả …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Hãy biểu thị kích thước tối thiểu của một (không-monotone) số học ( + , × , - ) mạch tính toán một cho đa tuyến đa thức f ( x 1 , ... , x n ) = Σ e ∈ E cMột ( f)Một(f)A(f)( + , × , …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits