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.
Il y a beaucoup de tentatives pour prouver soit ou , et naturellement beaucoup de gens réfléchissent à la question, ayant des idées pour prouver la direction dans laquelle ils veulent aller.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P ≠ N PP≠NP\mathsf{P} \neq \mathsf{NP} Je sais qu'il a été prouvé...
J'ai une compréhension de haut niveau du problème et je comprends que s'il était absolument "avéré" d'être vrai avec une solution fournie, cela ouvrirait la porte à la résolution de nombreux problèmes du domaine de l'informatique.P=NPP=NPP=NP Ma question est la suivante: si quelqu'un publiait une...
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...
Existe-t-il des problèmes connus dans (et non dans ) qui ne sont pas terminés? Je crois comprendre qu'il n'y a actuellement aucun problème connu dans ce cas, mais cela n'a pas été exclu comme une possibilité. NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} S'il y a un problème qui est (et non ) mais pas...
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 la...
Lorsque j'expliquais la preuve de Baker-Gill-Solovay qu'il existe un oracle avec lequel nous pouvons avoir, , et un oracle avec lequel nous pouvons avoir à un ami, une question s'est posée pour savoir pourquoi de telles techniques sont mal adaptées pour prouver le problème , et je n'ai pas pu...
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 les vérificateurs...
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...
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 qui correspond à ces...
Est-il possible que et la cardinalité de soit la même que la cardinalité de ? Ou signifie-t-il que et doivent avoir des cardinalités différentes?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not =
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
Si est en fait égal à , comment cela améliorerait-il nos algorithmes pour factoriser les entiers plus rapidement. En d'autres termes, quel genre d'information cela nous donnerait-il pour mieux comprendre la factorisation des nombres entiers?PP{\sf P}NPNP{\sf
Je suis sûr que quelqu'un a pensé à cela avant ou immédiatement rejeté, mais pourquoi la théorie de la dichotomie de Schaefer avec le théorème de Mahaney sur les ensembles clairsemés n'implique-t-elle pas P = NP? Voici mon raisonnement: créer un langage qui est égal à SAT intersecté par un ensemble...
Ceci est mon premier article après avoir été un utilisateur passif depuis un certain temps maintenant. Je voudrais poser quelques questions si vous le permettez. Je ne suis pas mathématicien mais ma question concerne le domaine des mathématiques / informatique. En particulier, le problème P vs NP....
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 dit. J'ai écrit la note...
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...
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 B le complément, c'est-à-dire que B est dans CoNP....
Je suis conscient que cela semble une question très stupide (ou trop évidente à énoncer). Cependant, je suis confus à un moment donné. Nous pouvons montrer que P NP=== si et seulement si nous pouvons concevoir un algorithme qui résout une instance donnée de problème dans NP en temps polynomial....
C'est probablement une question stupide, mais je ne comprends tout simplement pas. Dans une autre question, ils ont proposé le théorème de dichotomie de Schaefer . Pour moi, il semble que cela prouve que chaque problème CSP est soit en P soit en NP-complet, mais pas entre les deux. Étant donné que...