Схемы и формулы для клики
-
29-09-2020 - |
Вопрос
правильно, чтобы сказать, что проблема клики в $ p $ IFF существует семейство логических цепей $C $ , чтобы решить клику, размеры которых ограничены полиномиалом?И на основе Этот вопрос Подразумевает ли это, что существует эквивалентный набор логических формул $ F $ , чтобы решить клику, размеры которых ограничены полиномиалом?И если есть такой $ f $ , будут ли правильные выделимы на основе пропозициональных логических аксиом от любого элемента $ f$ к соответствующему Большая наивная формула для клики ?
Решение
Боюсь, что ответ на все ваши вопросы неверно:
- .
- есть языки, определяемые цепями постоянного размера, которые не являются удаленными.
- предположительно, что $ \ mathsf {nc ^ 1} \ neq \ mathsf {p} $ .
- Гнаторинг, что $ \ mathsf {np} \ neq \ mathsf {conp} $ .
Не связан с cs.stackexchange