나는 Buhrman와 호머의 종이 읽고 있었다 "Superpolynomial 회로, 대부분의 스파 스 오라클과 지수 계층 구조" . 2 페이지의 맨 아래에서 Kannan의 결과는 NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} 다항식 크기 회로가 없음을 암시합니다 . 지수 시간 계층에서 NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} 는 단지 Σ2EXPΣ2EXP\Sigma_2EXP 이며 Kannan의 결과는 ∀c ∃L∈Σ2P∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P 이므로 L∉Size(nc)L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset …
부울 회로가 있다고 가정하십시오. CCC 함수를 계산합니다 . 회로가 최대 2 개의 팬인 및 팬 아웃을 갖는 AND, OR 및 NOT 게이트로 구성되어 있다고 가정합니다.f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\} 하자 주어진 입력 될. 와 주어지면 단일 비트 위치 에서 와 다른 입력 에 대해 를 평가하고 싶습니다 . 즉, 값 동일하다 그 …