«circuit-complexity» 태그된 질문

회로 복잡도는 자원이 제한된 회로와 그러한 회로에 의해 계산 된 기능에 대한 연구입니다.

4
다음과 같은 직접 합 속성이있는 함수가있는 것으로 알려져 있습니까?
이 질문은 부울 회로의 회로 복잡성 프레임 워크 나 대수 복잡성 이론의 프레임 워크 또는 다른 많은 설정에서 질문 할 수 있습니다. 인수를 세면 기하 급수적으로 많은 게이트가 필요한 N 개의 입력에 부울 함수가 있음을 쉽게 알 수 있습니다 (물론 명백한 예는 없습니다). 총 입력 수가 MN이되도록 M 개의 개별 …
1
랜덤 모노톤 기능
6 페이지 의 Razborov-Rudich의 Natural Proofs 논문에서 그들은 " 단조 회로 모델 에 대한 강력한 하한 증거 "가 있으며 그림에 어떻게 적용되는지에 대해 토론합니다 . 여기서 문제는 구성 성이 아닙니다. 이러한 증명에 사용 된 속성은 모두 가능하지만 큰 조건에 대한 공식적인 유사체가없는 것으로 보입니다. 특히, "무작위 모노톤 함수"의 실행 가능한 …
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 나는 이것이 약간 재미있는 질문이라는 것을 알고 있지만이 문제의 회로 복잡성에서 가장 잘 알려진 상한은 무엇입니까? 이 함수를 계산 하는 단일 …
1
열대 세미 링에 대한 다항식의 VC 치수는?
BPP\mathbf{BPP}P\mathbf{P}poly\mathrm{poly} ( 최대 , + ) (max,+)(\max,+)( 최소 , + )(min,+)(\min,+) 반반 지로 하자 . 제로 패턴 시퀀스 의 다항식 인 집합 있는 존재 및 에서 모든 에 대해 iff 입니다. 즉, 갖는 정확하게 다항식 의 그래프는 의 포인트 도달해야합니다 . 조건 는 으로 대체 될 수 있으므로 "영점 패턴" …
1
기초 대칭 다항식의 모노톤 산술 회로의 복잡성?
kkk 번째 기본 대칭 다항식 Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) 모두의 합 의 제품 구별 변수. 이 다항식 의 모노톤 산술 회로 복잡성에 관심이 있습니다. 간단한 동적 프로그래밍 알고리즘 (아래 그림 1)은 게이트 가있는 회로를 제공합니다 .(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) 질문 : 하한이 알려져 있습니까? Ω(kn)Ω(kn)\Omega(kn) 회로는 스큐 각 제품 게이트의 두 입력들 중 적어도 하나가 가변 …
2
일반 대 TC0
Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} 없는 의 문제점에 대한 후보 가 있습니까?RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} 암시하는 조건부 결과가 있습니까 ( 예 : , ?Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1} \not\subseteq \mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0}
2
모노톤 함수를 계산하려면 몇 개의 부정이 필요합니까?
Razborov는 모노톤 함수 매칭이 mP 가 아님을 증명했습니다 . 그러나 몇 가지 부정으로 다항식 크기 ​​회로를 사용하여 일치를 계산할 수 있습니까? 와 P / 폴리 회로 거기에 O(nϵ)O(nϵ)O(n^\epsilon) 을 계산하여 매칭이 있음을 부정? 부정의 수와 일치하는 크기의 균형은 무엇입니까?
1
DAG에서 모든 긴 경로를 파괴하는 것이 얼마나 비쌀까요?
우리는 하나 개의 소스 노드있는 DAG (방향성 비순환 그래프) 고려 들ss 및 하나 개의 타겟 노드 t를tt ; 동일한 정점 쌍을 연결하는 평행 모서리가 허용됩니다. Kkk - 컷 에지 제거 가지는 모든 파괴 Sss - t의tt 이상 경로 (K)를kk ; 더 짧은 sss - ttt 경로와 긴 "내부"경로 ( sss …
1
SAT의 NP-hardness에 필요한 최소 감소 깊이는 얼마입니까?
모두가 아시다시피, SAT는 대한 완료 다항식 시간 많은 한 감소를 WRT. 여전히 wrt 많은 일 감소입니다.N P엔피\mathsf{NP}C0ㅏ씨0\mathsf{AC^0} 내 질문은 축소에 필요한 최소 깊이는 얼마입니까? 더 공식적으로 최소한의 무엇입니까 SAT가되도록 -hard WRT 많은 일 감소?디디dN P엔피\mathsf{NP}C0디ㅏ씨디0\mathsf{AC^0_d} 나에게 보인다 충분해야한다? 누구든지 참조를 알고 있습니까?C02ㅏ씨20\mathsf{AC^0_2}
1
ACC 크리 큐트의 Beigel-Tarui 변환
Arora 및 Barak의 Computational Complexity 책 에서 NEXP의 ACC 하한에 대한 부록을 읽고 있습니다. http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf 핵심 정리 중 하나는 회로에서 다항식 차수 및 준 다항식 계수를 갖는 정수에 대한 다중 선 다항식으로 변환하는 것입니다. 동등하게, 회로 클래스 . 이것은 폴리 폴리 알릭스 팬인 (polylogarithmic fan-in)과 함께 최하위에 준 폴리 노 …
1
하나는 증명할 수
결과 1 : Linial-Mansour-Nisan 정리에 따르면 회로에 의해 계산 된 함수의 푸리에 가중치 는 작은 크기의 부분 집합에 높은 확률로 집중되어 있다고합니다 .AC0AC0\mathsf{AC}^0 (2) 결과 : 공동 효율적인 정도에 집중된 푸리에 중량 갖는 . nPARITYPARITY\mathsf{PARITY}nnn 질문 : 결과 1과 2를 통해 회로에서 를 계산할 수 없음을 증명할 수있는 방법이 있습니까?A …
1
의 기계 특성
에스C나는에스ㅏ씨나는SAC^i 는 무한 팬인 OR 및 경계 팬인 AND 게이트 가있는 깊이 회로 제품군으로 해결할 수있는 결정 문제 클래스입니다 . 부정은 입력 레벨에서만 허용됩니다. 대한 는 보수로 닫히고 은 닫히지 않는 것으로 알려져 있습니다. 또한 이므로 기계 특성이 있습니다. LogCFL 은 공간 경계 및 다항식 시간 경계 보조 PDA에 의해 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.