«natural-proofs» 태그된 질문


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

1
랜덤 모노톤 기능
6 페이지 의 Razborov-Rudich의 Natural Proofs 논문에서 그들은 " 단조 회로 모델 에 대한 강력한 하한 증거 "가 있으며 그림에 어떻게 적용되는지에 대해 토론합니다 . 여기서 문제는 구성 성이 아닙니다. 이러한 증명에 사용 된 속성은 모두 가능하지만 큰 조건에 대한 공식적인 유사체가없는 것으로 보입니다. 특히, "무작위 모노톤 함수"의 실행 가능한 …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.