Questions marquées «p-vs-np»

Questions sur ou liées à P vs NP

1
Donne une approche à la «détermination discrète de Borel»
Gowers a récemment souligné un problème, qu'il appelle «la détermination discrète de Borel», dont la solution est liée à la vérification des limites inférieures du circuit. Pouvez-vous fournir un résumé de l'approche adaptée à un public de théoriciens de la complexité? Que faudrait-il pour que cette approche prouve quoi que …

1
Obstacles à afficher
Nous savons tous que montrer a des barrières. Nous avons tous étudié ces barrières parce que nous croyons .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Cependant, supposez et il y a des gens sages qui croient que cette possibilité existe . Si c'est effectivement le cas, le fait même que nous n'ayons pas vu …
15 p-vs-np  barriers 





1
Solveurs NP optimaux
Fixer un problème de recherche NP-complet, par exemple le formulaire de recherche de SAT. La recherche de Levin fournit un algorithme L pour résoudre X qui est optimal dans un certain sens. Plus précisément, l'algorithme est "Exécute tous les programmes P possibles en queue d'aronde sur l'entrée x , une …

10
Ressources pour en savoir plus sur le problème P vs. NP
On m'a récemment rappelé le problème vs comme expliqué par Stephen A. Cook sur Clay Mathematics Institute.N PPP\mathsf{P}N PNP\mathsf{NP} Cela a piqué mon intérêt et j'aimerais en savoir plus. La première étape serait d'acquérir une compréhension plus approfondie du problème et une compréhension du domaine en général. Pouvez-vous recommander des …

2
Réduction de P vs NP à SAT
La question suivante utilise des idées de cryptographie appliquées à la théorie de la complexité. Cela dit, il s'agit d'une question purement théorique, et aucune connaissance cryptographique n'est requise pour y répondre. J'écris délibérément cette question de manière très informelle. Manquant de détails, il est peut-être mal énoncé. N'hésitez pas …

2
Sur la prouvabilité de P versus NP
Tout d'abord, ma compréhension du théorème d'incomplétude de Gödel (et de la logique formelle en général) est très naïve, tout comme mes connaissances en informatique théorique (c'est-à-dire qu'un seul cours de troisième cycle est suivi pendant que je suis encore étudiant), donc cette question peut être très naïf. Pour autant …



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.