«circuit-families» 태그된 질문

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

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

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

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

1
회로 평가 문제를위한 작은 회로
하자 맵핑 함수 될 -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 나는 이것이 약간 재미있는 질문이라는 것을 알고 있지만이 문제의 회로 복잡성에서 가장 잘 알려진 상한은 무엇입니까? 이 함수를 계산 하는 단일 …

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

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

1
차수 의 모든 QFT를 정확하게 실현할 수있는 유한 한 단일 게이트 세트가 있습니까?
정확한 양자 알고리즘에 대한 아이디어를 고려하고 있습니다. 특히, 임의의 유한 게이트 세트를 통해 다 시간 균일 양자 회로 제품군에 의해 정확하게 결정될 수있는 언어로 구성된 한계를 고려 하고 있습니다.EQPEQP\mathsf{EQP} 의해 주어진 양자 푸리에 변환 (QFT) 는 양자 계산 이론의 유명한 부분입니다. 의 경우에는 의 존재 잘 알려진 분해 Hadamards, SWAP …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.