Questions marquées «complexity-classes»

Questions sur les relations entre les classes de complexité.

3
Est
Supposer ΠΠ\Pi est un problème de décision décidable. Est-ce que Π ∉ NPΠ∉NP\Pi\not \in NP impliquer ΠΠ\Pi est NPNPNP-Difficile? Edit: si l'on suppose qu'il existe Π ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPalors nous avons terminé. Pouvons-nous réfuter la réclamation sans hypothèses inconnues?
2
Pourquoi exige-t-on souvent une constructibilité de l'espace dans le théorème de Savitch?
Lorsque le célèbre théorème de Savitch est énoncé, on voit souvent l'exigence que soit constructible dans l'espace (ce qui est intéressant, il est omis dans Wikipedia). Ma question simple est: pourquoi en avons-nous besoin? Je comprends l'exigence que soit dans , ce qui ressort clairement de la preuve. Mais aucune …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.