Схемы и формулы для клики

Question

правильно, чтобы сказать, что проблема клики в $ p $ IFF существует семейство логических цепей $C $ , чтобы решить клику, размеры которых ограничены полиномиалом?И на основе Этот вопрос Подразумевает ли это, что существует эквивалентный набор логических формул $ F $ , чтобы решить клику, размеры которых ограничены полиномиалом?И если есть такой $ f $ , будут ли правильные выделимы на основе пропозициональных логических аксиом от любого элемента $ f$ к соответствующему Большая наивная формула для клики ?

Answer 1

Боюсь, что ответ на все ваши вопросы неверно:

.
• есть языки, определяемые цепями постоянного размера, которые не являются удаленными.
• предположительно, что $ \ mathsf {nc ^ 1} \ neq \ mathsf {p} $ .
• Гнаторинг, что $ \ mathsf {np} \ neq \ mathsf {conp} $ .