Sabemos que P = NP implica NP = coNP. A implicação inversa é válida? NP igual coNP implica que P é igual a NP? Se não, por que não?
Pesquisei no Google, mas não encontrei a resposta.
Sabemos que P = NP implica NP = coNP. A implicação inversa é válida? NP igual coNP implica que P é igual a NP? Se não, por que não?
Pesquisei no Google, mas não encontrei a resposta.
Respostas:
O caso em que é possível. A razão pela qual implica é que é fechado no complemento e, portanto, se , o deve ser fechado no complemento.
Uma classe sendo encerrada sob complemento não implica necessariamente nada sobre sua contraparte determinística. Por exemplo, sabemos que está fechado sob complemento, mas não sei se .