회로 복잡도에 대한 크기 계층 정리가이 분야에서 큰 돌파구가 될 수 있다고 생각합니다. 수업 분리에 대한 흥미로운 접근법입니까? 질문의 동기는 우리가 말해야한다는 것입니다 크기 회로로 계산할 수없고 f ( n ) < o ( g ( n ) ) 인 크기 g ( n ) 회로 로 계산할 수있는 기능이 …
6 페이지 의 Razborov-Rudich의 Natural Proofs 논문에서 그들은 " 단조 회로 모델 에 대한 강력한 하한 증거 "가 있으며 그림에 어떻게 적용되는지에 대해 토론합니다 . 여기서 문제는 구성 성이 아닙니다. 이러한 증명에 사용 된 속성은 모두 가능하지만 큰 조건에 대한 공식적인 유사체가없는 것으로 보입니다. 특히, "무작위 모노톤 함수"의 실행 가능한 …
자연 증명 은 부울 함수의 회로 복잡성에 대한 하한을 증명하는 데 장애가됩니다. 이들은 직접에 하한을 증명하기 그러한 장벽을 의미하지는 않는다 회로 복잡성. 그러한 장벽을 식별하는 데 진전이 있습니까? 모노톤 설정에 다른 장벽이 있습니까?monotonemonotonemonotone