«circuit-families» 태그된 질문

1980 년대에 Razborov는 계산을 위해 기하 급수적으로 많은 AND 및 OR 게이트를 필요로하는 명시 적 모노톤 부울 함수 (예 : CLIQUE 함수)가 있음을 유명하게 보여주었습니다. 그러나 부울 도메인 {0,1}에 대한 기본 {AND, OR}은 보편적으로 부족한 흥미로운 게이트 세트의 한 예일뿐입니다. 이것은 내 질문으로 이어진다. 회로 크기의 지수 하한이 알려진 (단락에 …

40 lower-bounds  circuit-complexity  circuit-families 

라이언 윌리엄스 (Ryan Williams) 는 무한한 팬인 (fan-in)과 게이트를 가진 일정한 깊이 회로를 가지고 있으며 가능한 모든 m에 대해 AND, OR, NOT 및 MOD_m을 갖는 문제의 클래스 인 ACC 에 자신의 하한을 게시했습니다 . MOD_m 게이트의 특별한 점은 무엇입니까? 링 Z_m에 대한 산술을 시뮬레이션 할 수 있습니다. Ryan의 결과가 나오기 …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

QiCheng이 대답하지 않은 채로 주어진 주어진 NC 0 회로가 순열을 계산 하는지 결정 하는 문제의 특별한 경우에 대해 묻고 싶습니다 . 부울 회로는 NC라고 0 K의 각 출력 게이트 구문 이하인 경우에 따라 달라 회로 (K)의 입력 게이트. (우리는 출력 게이트라고 g이 구문에 따라 입력 게이트 g '로부터 직접 경로가있을 …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

1941 년 Emil Post가 기술 한 Post 's lattice 는 기본적으로 단일 톤 함수, GF (2)를 통한 선형 함수 및 모든 함수와 같이 구성으로 닫히는 부울 함수 세트의 완전한 포함 다이어그램입니다. (포스트는 상수 0과 1을 무료로 사용할 수 있다고 가정하지 않았기 때문에 격자가 다른 것보다 훨씬 복잡해졌습니다.) 내 질문은 Toffoli …

22 circuit-families 

하자 맵핑 함수 될 -gate 회로 의 비트들과 비트 스트링 에 . 회로가 할당의 비순환 시퀀스 로 인코딩되었다고 가정합니다 . 는 와이어 레이블입니다.CircuitEvals,nCircuitEvals,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC(x)C(x)C(x)k:=g(i,j)k:=g(i,j)k := g(i, j)i,j,ki,j,ki, j, k 나는 이것이 약간 재미있는 질문이라는 것을 알고 있지만이 문제의 회로 복잡성에서 가장 잘 알려진 상한은 무엇입니까? 이 함수를 계산 하는 단일 …

14 cc.complexity-theory  circuit-complexity  circuit-families 

하자 대부분의 기능 즉, 수 F ( X ) = 1 경우에만, Σ N 난 = 1 X I > N / 2 . 다음 사실에 대한 간단한 증거가 있는지 궁금합니다 ( "단순"이란 Valiant 84와 같은 확률 적 방법이나 네트워크 정렬에 의존하지 않음을 의미합니다. 바람직하게는 회로의 명시적이고 간단한 구성을 제공합니다).에프: …

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

간단히 말해서 : oracles가있는 Turing 기계와 oracles가있는 균일 한 회로 제품군 간의 대응 관계는 무엇입니까? 주어진 오라클 튜링 머신에 대해 동일한 계산 모델을 얻기 위해 후자는 어떻게 정의됩니까? 이것은 기본적인 질문 일지 모르지만 어디에서 볼 것인지는 분명하지 않으며, 나는 나의 기초가 양질의 박격포를 사용하고 있는지 확인하는 것을 좋아하는 사람입니다. 표준 …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

정확한 양자 알고리즘에 대한 아이디어를 고려하고 있습니다. 특히, 임의의 유한 게이트 세트를 통해 다 시간 균일 양자 회로 제품군에 의해 정확하게 결정될 수있는 언어로 구성된 한계를 고려 하고 있습니다.EQPEQP\mathsf{EQP} 의해 주어진 양자 푸리에 변환 (QFT) 는 양자 계산 이론의 유명한 부분입니다. 의 경우에는 의 존재 잘 알려진 분해 Hadamards, SWAP …

11 quantum-computing  circuit-families