Sappiamo che P = NP implica NP = coNP. L'implicazione inversa vale? NP equivale a CoNP implica che P è uguale a NP? Se no, perché no?
Ho cercato su Google ma non ho trovato la risposta.
Sappiamo che P = NP implica NP = coNP. L'implicazione inversa vale? NP equivale a CoNP implica che P è uguale a NP? Se no, perché no?
Ho cercato su Google ma non ho trovato la risposta.
Risposte:
Il caso è quello è possibile. La ragione per cui implica è questo è chiuso sotto complemento, e quindi se , deve essere chiuso anche sotto complemento.
Una classe chiusa sotto complemento non implica necessariamente nulla della sua controparte deterministica. Ad esempio, lo sappiamo è chiuso sotto complemento, ma non so se .