Questions sur les problèmes de décision qui peuvent être résolus sur des machines de Turing non déterministes en temps polynomial dans la longueur de l'entrée.
Existe-t-il des problèmes NP-complets pour lesquels des algorithmes sous-exponentiels ont fait leurs preuves? Je demande des informations générales sur les cas, je ne parle pas de cas particuliers traitables ici. Par sub-exponentielle, j'entends un ordre de croissance supérieur aux polynômes, mais moins qu'exponentiel, par exemple .nlognnlognn^{\log n}
Un de mes collègues et moi-même venons de tirer quelques notes d’un de nos professeurs. Les notes indiquent qu'il existe des tâches qu'il est possible de résoudre en temps polynomial (appartiennent à la classe de PF) mais qui ne sont PAS vérifiables en temps polynomial (ne font pas partie de …
Il est apparu à beaucoup que dans toutes les preuves de complétude que j'ai lues (dont je me souviens), il est toujours trivial de montrer qu'un problème se trouve dans , et de montrer qu'il s'agit de -hard est la partie ... difficile. Quels sont les problèmes compliqués par dont …
J'aimerais commencer la question en disant que je suis programmeur et que je n'ai pas beaucoup d'expérience en théorie de la complexité. Une chose que j'ai remarquée est que bien que de nombreux problèmes soient NP-complets, lorsqu'ils sont étendus à des problèmes d'optimisation, certains sont beaucoup plus difficiles à estimer …
Je comprends donc l'idée que le problème de décision est défini comme Existe-t-il un chemin P tel que le coût soit inférieur à C? et vous pouvez facilement vérifier que cela est vrai en vérifiant le chemin que vous recevez. Cependant, que se passe-t-il s'il n'y a pas de chemin …
Le théorème de Galois dit effectivement que l'on ne peut pas exprimer les racines d'un polynôme de degré> = 5 en utilisant des fonctions rationnelles de coefficients et de radicaux - ne peut-on lire pour dire que, étant donné un polynôme, il n'y a pas d'algorithme déterministe pour trouver les …
Y a-t-il eu des recherches sur la complexité de la preuve d'une résolution du problème P = NP? Sinon, étant donné le manque de progrès sur le problème, serait-il déraisonnable de supposer que toute preuve qui résout le problème P = NP nécessitera un nombre d'étapes super-polynomial?
Mon conférencier a fait la déclaration Tout problème fini ne peut pas être NP-Complete Il parlait de Sudoku à l'époque en disant quelque chose dans le sens que pour un Sudoku 8x8, il existe un ensemble fini de solutions, mais je ne me souviens pas exactement de ce qu'il a …
J'ai vu dans ce post sur stackoverflow qu'il existe des algorithmes relativement rapides pour tamiser un intervalle de nombres pour voir s'il y a un nombre premier dans cet intervalle. Cependant, cela signifie-t-il que le problème de décision global de: (Existe-t-il un nombre premier dans un intervalle?) Est en P. …
J'ai lu sur NPC et sa relation avec PSPACE et je souhaite savoir si les problèmes NPC peuvent être résolus de manière déterministe en utilisant un algorithme avec un espace polynomial dans le pire des cas, mais prenant potentiellement un temps exponentiel (2 ^ P (n) où P est polynomial). …
Je viens de lire quelques pages du livre de Sipser Introduction à la théorie du calcul sur le problème de la correspondance postérieure, et je pense que PCP est en fait dans NP. Le certificateur est la suivante : pour une configuration de pile d'entrée concaténer t 1 , t …
J'ai cette "preuve" très simple pour NP = CoNP et je pense que j'ai fait quelque chose de mal quelque part, mais je ne trouve pas ce qui ne va pas. Est-ce que quelqu'un peut m'aider? Soit A un problème dans NP, et soit M le décideur de A. Soit …
J'ai un problème et je suppose que c'est NP-difficile, mais je ne peux pas le prouver. Voici un graphique de calque, où le calque 0 est le calque le plus chaud et le calque L le plus bas. il y a un bord dirigé entre les couches, où un bord …
J'ai récemment lu une entrée de blog très intéressante de Google Research Blog sur le réseau neuronal. Fondamentalement, ils utilisent ces réseaux de neurones pour résoudre divers problèmes comme la reconnaissance d'image. Ils utilisent des algorithmes génétiques pour "faire évoluer" les poids des axones. Donc, fondamentalement, mon idée est la …
Cette question est en quelque sorte l'inverse d' une question précédente sur les ensembles formés à partir d'opérations sur les ensembles NP-complets: Si l'ensemble résultant de l'union, de l'intersection ou du produit cartésien de deux ensembles décidables et L 2 est NP-complet, au moins l'un de L 1 , L …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.