Questions marquées «np»

NP signifie temps polynomial non déterministe.

1
Conditions de tractabilité de la satisfaction 3SAT
Ce que je me demande précisément, c'est s'il existe une condition intéressante sur le pourcentage d'affectations qui satisfont à une formule 3SAT pour garantir que ces problèmes sont traitables. Supposons par exemple la classe de problèmes 3SAT que des 2 n affectations possibles satisfont la formule booléenne; pouvons-nous trouver efficacement …
3
Deux variantes de NP
Voici deux variantes de la définition de NP. Ils définissent (presque certainement) des classes de complexité distinctes, mais ma question est: existe-t-il des exemples naturels de problèmes qui correspondent à ces classes? (Mon seuil pour ce qui compte comme naturel ici est un peu plus bas que d'habitude.) Classe 1 …
3
Représentation graphique des restrictions théoriques aux preuves dans la théorie de la complexité des preuves
La complexité de la preuve est l'un des domaines les plus élémentaires de la théorie de la complexité informatique. Un objectif ultime de ce domaine est de prouver , c'est-à-dire que tout prouveur ne peut pas fournir une preuve d'insatisfiabilité d'une formule d'entrée donnée. NP≠ c o NPNP≠coNPNP\neq coNP Un …
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.