Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

128
Problèmes entre P et NPC

La factorisation et l'isomorphisme des graphes sont des problèmes dans NP qui ne sont connus ni pour P ni pour NP-Complete. Quels autres problèmes naturels (suffisamment différents) partagent cette propriété? Les exemples artificiels directement issus de la démonstration du théorème de Ladner ne...

67
Quels théorèmes intéressants dans TCS s'appuient sur l'axiome du choix? (Ou bien, l'axiome de la détermination?)

Les mathématiciens s’inquiètent parfois de l’axiome du choix (AC) et de l’axiome de la détermination (AD). Axiom of Choice : Compte tenu de toute collection des ensembles non vides, il y a une fonction qui, étant donné un ensemble dans , retourne un membre de . f S C SCC{\cal C}FffSSSCC{\cal C}SSS...

66
Les problèmes complets

À l' heure actuelle, la résolution soit une problème -complete ou un P S P A C E problème -complete est impossible dans le cas général pour les grandes entrées. Cependant, les deux peuvent être résolus en temps exponentiel et en espace polynomial.NPNPNPPSPUn cEPSPACEPSPACE Puisque nous ne pouvons...

47
NP-problèmes difficiles sur les arbres

Plusieurs problèmes d'optimisation connus pour être NP-difficiles sur les graphes généraux peuvent être résolus de manière triviale en temps polynomial (certains même en temps linéaire) lorsque le graphe en entrée est un arbre. Les exemples incluent la couverture de vertex minimale, le jeu maximum...