Le théorème de
Rice généralise le théorème que le problème d’arrêt est insoluble . Il indique que pour toute propriété non triviale, il n’y a aucune procédure de décision générale qui, pour tous les programmes, décide si la fonction partielle mise en uvre par le programme d’entrée a cette propriété.
Quel problème est le problème NP?
np est un ensemble de problèmes qui peuvent être résolus par une machine de turing non déterministe en temps polynomial . P est un sous-ensemble de NP (tout problème qui peut être résolu par la machine déterministe en temps polynomial peut également être résolu par la machine non déterministe en temps polynomial) mais p. Np.
Qu’est-ce que le problème NP-dur avec l’exemple?
Un exemple de problème NP-durs est Le problème de somme du sous-ensemble de décision : Compte tenu d’un ensemble d’entiers, un sous-ensemble non vide d’entre eux s’additionne-t-il à zéro? C’est un problème de décision et se trouve être NP-Complete.
Comment savez-vous s’il s’agit d’un problème NP?
Un problème est appelé NP (polynôme non déterministe) si sa solution peut être devinée et vérifiée en temps polynomial ; Le non-déterministe signifie qu’aucune règle particulière n’est suivie pour faire la supposition. Si un problème est NP et que tous les autres problèmes de NP sont réductibles en temps polynomial, le problème est NP-Complete.
Comment prouvez-vous des problèmes d’arrêt?
Preuve: Supposons pour atteindre une contradiction qu’il existe un Halt du programme (p, i) qui résout le problème d’arrêt , Halt (P, i) revient vrai si et seul p s’arrête sur I. Le programme donné pour le problème d’arrêt, nous pourrions construire la chaîne / code suivant Z: Programme (chaîne x) Si Halt (x, x) puis Loop Forever Else Halt.
le problème d’arrêt sera-t-il jamais résolu?
Le problème d’arrêt est peut-être le problème le plus connu qui s’est avéré indécidable; Autrement dit, il n’y a pas de programme qui peut résoudre le problème d’arrêt pour des programmes informatiques suffisants.
Le problème de l’équivalence est-il du NP-dur?
Clairement, c’est np-hard . Si nous avions une boîte noire qui résolvait le sum-abset de recherche en temps unitaire, il serait facile de résoudre le sous-ensemble.
est le vendeur en voyage NP-complete?
L’optimisation des vendeurs itinérants (TSP-OPT) est un problème NP-Dury et Recherche de vendeurs itinérants (TSP) est NP-Complete . Cependant, TSP-OPT peut être réduit à TSP car si le TSP peut être résolu en temps polynomial, alors le TSP-OPT (1).
Pourquoi le problème du sac à dos np-dur?
Le temps nécessaire augmente du terme exponentiel, c’est donc un problème de PNJ. En effet
NP est-il égal à p?
Les problèmes
NP-durs sont ceux au moins aussi durs que les problèmes NP; c’est-à-dire que tous les problèmes de NP peuvent être réduits (en temps polynomial). … Si un problème NP-Complete est dans P, il suivrait que p = np . Cependant, de nombreux problèmes importants se sont révélés être NP-Complete, et aucun algorithme rapide pour l’un d’eux n’est connu.
Pourquoi le problème d’arrêt est-il indécidable?
Le problème d’arrêt est indécidable: preuve
Puisqu’il n’y a aucune hypothèse sur le type d’entrées que nous attendons, l’entrée D à un programme P pourrait elle-même être un programme. Les compilateurs et les éditeurs prennent tous deux des programmes comme entrées.
Un ordinateur quantique peut-il résoudre le problème d’arrêt?
Non, les ordinateurs quantiques (tels que comprises par les scientifiques traditionnels) ne peuvent pas résoudre le problème d’arrêt . Nous pouvons déjà simuler des circuits quantiques avec des ordinateurs normaux; Cela prend juste beaucoup de temps lorsque vous obtenez un nombre décent de qubits impliqués. (L’informatique quantique fournit des accélérations exponentives pour certains problèmes.)
Quel est le problème d’arrêt un exemple de?
Le problème d’arrêt est un exemple précoce de un problème de décision , et aussi un bon exemple des limites du déterminisme en informatique.
Quelles sont les conséquences du problème d’arrêt?
Si nous faisons référence au problème d’arrêt des machines Turing, cela signifierait que nous pouvons décider de la cohérence des systèmes axiomatiques d’aujourd’hui uniquement . C’est-à-dire que les mathématiques peuvent évoluer radicalement si un algorithme qui résout le problème d’arrêt pour les machines Turing a été inventé.
Quels sont les problèmes indécidables donner l’exemple?
Exemples – Ce sont quelques problèmes importants indécidables: si un CFG génère toutes les chaînes ou non ? Comme un CFG génère des chaînes infinies, nous ne pouvons jamais atteindre la dernière chaîne et donc elle est indécidable. Si deux CFG L et M égalisent?
Pourquoi l’arrêt du problème est-il important?
Le problème d’arrêt nous permet de raisonner sur la difficulté relative des algorithmes . Cela nous permet de savoir que, il existe des algorithmes qui n’existent pas, que parfois, tout ce que nous pouvons faire est de deviner un problème, et ne sait jamais si nous l’avons résolu.
Harting Problem est-il énumérable récursivement?
L’arrêt du langage correspondant au problème d’arrêt est énumérable récursivement , mais pas récursif. En particulier, le TM universel accepte l’arrêt, mais aucun TM ne peut décider de s’arrêter. Il y a des langues qui ne sont pas récursivement énumérables, en particulier la langue qui dans la preuve.
Comment prouvez-vous qu’un problème se trouve dans np?
Le moyen le plus simple de prouver qu’un problème est en NP est en utilisant le certificat Defititon de NP mentionné dans d’autres réponses . La définition non déterministe du NP n’est généralement pas très utile pour montrer qu’un problème appartient au np.
Comment prouvez-vous un problème NP-Hard?
pour prouver que le problème a est dur NP, réduisez un problème NP-dur connu à A. En d’autres termes, pour prouver que votre problème est difficile, vous devez décrire un algorithme écient pour résoudre un problème diérent , ce que vous savez déjà difficile, en utilisant un algorithme émotion hypothétique pour votre problème comme sous-programme noir.
Pourquoi devons-nous prouver l’exhaustivité NP?
prouver un problème NP-complete est un succès de recherche car il vous libère de la recherche d’une solution efficace et exacte pour le problème général que vous étudiez .
Que représente P vs NP?
p est l’ensemble des problèmes dont les temps de solution sont proportionnels aux polynômes impliquant des N. … NP (qui représente le temps polynomial non déterministe ) est l’ensemble de problèmes dont les solutions peuvent être vérifiées en temps polynomial. Mais pour autant que quiconque puisse le voir, beaucoup de ces problèmes prennent du temps exponentiel pour résoudre.
Que se passerait-il si P NP était résolu?
Si P est égal à NP, chaque problème NP contiendrait un raccourci caché , permettant aux ordinateurs de trouver rapidement des solutions parfaites. Mais si P n’égale pas NP, il n’existe pas de tels raccourcis et les pouvoirs de résolution de problèmes des ordinateurs resteront fondamentalement limités et permanentes.