clique 및 화합물을위한 수식

Question

가족 문제가 $ p $ IFF가있는 경우 부울 회로 가족이 있습니다 $c $ 크기가 다항식에 의해 경계 된 다항이있는 다항을 결정할 수 있습니까?이 질문 ,이는 다항식에 의해 경계가있는 다항식이있는 파벌을 결정하기 위해 부울 수식 $ F $ 의 등가 세트가 존재한다는 것을 의미합니까?그리고 $ f $ 이있는 경우 $ f$ 해당 Clique for Clique

Answer 1

모든 질문에 대한 답변이 거짓 인 것을 두려워합니다.

• 디지털이 아닌 일정한 크기의 회로로 결정된 언어가 있습니다.
• $ \ mathsf {nc ^ 1} \ neq \ mathsf {p} $ 을 추진합니다.
• $ \ mathsf {np} \ neq \ mathsf {conp} $ 을 추진합니다.