Чи має проблема, пов’язана з coNP, субекспоненціальним розміром?

13

Якщо припустити NP! = CoNP, тоді не існує сертифіката розміру полінома для завдання, повного coNP. А як же сертифікат субекспоненціального розміру? Зокрема, що стосується coSAT, чи є субекспоненціальний доказ розміру для доказу формули незадовільним? Якщо ні, то які негативні докази? Спасибі

cc.complexity-theory proof-complexity

— Сі Ву
джерело

cstheory.stackexchange.com/questions/22022/…

— Ігор Шинкар

12

Це тема докази складності, тобто розмір сертифікатів для завдання ( ). $\mathbf{co\text{-}NP}\text{-}complete$ $TAUT$ $= coSAT$

Коротка відповідь: вона відкрита.

$Frege$ $TAUT$

$\mathbf{coNP} \subseteq NTime(2^{o(n)})$

— Каве
джерело

1

Спасибі. Тоді яка загальна віра до цієї проблеми? Я думаю, громада зробила певні «здогадки» про результат.

— Xi Wu

c o N P ⊈ N T i m e (2^{o (n)})

$\mathbf{coNP} \not \subseteq NTime(2^{o(n)})$

c o N P = N P

$\mathbf{coNP}=\mathbf{NP}$

c o N P ⊈ N T i m e (2^{o (n)})

$\mathbf{coNP} \not \subseteq NTime(2^{o(n)})$

7

$NEXP \nsubseteq P/poly$

— Рампрасад
джерело

Спасибі. Я схильний інтерпретувати вашу відповідь як складність показати проблему, повну для coNP, має субекспоненціальне підтвердження розміру, тому що ми маємо приємне розлучення.

— Xi Wu