coNP-complete 문제에 하위 지수 크기 인증서가 있습니까?

13

NP! = coNP라고 가정하면 coNP-complete 문제에 대한 다항식 크기 인증서가 없습니다. 그러나 하위 지수 크기 인증서는 어떻습니까? 특히 coSAT의 경우 수식이 만족스럽지 않다는 것을 증명하기 위해 지수 이하의 크기 증명이 있습니까? 그렇지 않다면 부정적인 증거는 무엇입니까? 감사

cc.complexity-theory proof-complexity

— 시 우
소스

cstheory.stackexchange.com/questions/22022/…

— Igor Shinkar

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-complete 문제를 나타내는 어려움이 지수가 작은 크기 증명을 가지고 있기 때문에 귀하의 답변을 해석하는 경향이 있습니다.

— Xi Wu