«hierarchy-theorems» 태그된 질문

2
회로 크기에 대한 계층 정리
회로 복잡도에 대한 크기 계층 정리가이 분야에서 큰 돌파구가 될 수 있다고 생각합니다. 수업 분리에 대한 흥미로운 접근법입니까? 질문의 동기는 우리가 말해야한다는 것입니다 크기 회로로 계산할 수없고 f ( n ) < o ( g ( n ) ) 인 크기 g ( n ) 회로 로 계산할 수있는 기능이 …


1
공간 계층 정리는 비 균일 계산으로 일반화됩니까?
일반적인 질문 공간 계층 정리는 비 균일 계산으로 일반화됩니까? 몇 가지 더 구체적인 질문이 있습니다. 가 ?L / P O 패 Y⊊ P에스피C이자형/ polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly 모든 공간 구성 가능 함수 에프( n )f(n)f(n) 에 대해 D S피C이자형( o ( f( N ) ) ) / P O 패 Y⊊ …


1
의 위에
우리는 알고 L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. 사 비치 정리에서NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Space Hierarchy Teorem에서 L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. 우리가 알지 못하는 것처럼L≠PL≠P\mathcal L\neq\mathcal P, 우리는 모른다 L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P또는 우리는 그것을 알고 있습니까 L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? 아무도 그것을 증명하려고 노력 했습니까?L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P? 이런 식으로 최신 결과 또는 노력은 무엇입니까? 이 주제에 대한 설문을 작성하려고했지만 관련성이 없습니다. 또한 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.