L'informatique p-vs-np

7

Quelle est la définition de P, NP, NP-complet et NP-difficile?

Je suis un cours d' informatique et de complexité et je suis incapable de comprendre la signification de ces termes. Tout ce que je sais, c'est que NP est un sous-ensemble de NP-complete, qui est un sous-ensemble de NP-hard, mais je n'ai aucune idée de ce qu'ils signifient réellement. Wikipedia …

249 complexity-theory terminology complexity-classes p-vs-np reference-question

5

Comment ne pas résoudre P = NP?

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 …

97 complexity-theory reference-request history p-vs-np reference-question

9

Quelles seraient les implications réelles d'une preuve constructive ?

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 preuve constructive incontestable de , …

56 complexity-theory p-vs-np

6

Si tout le monde croit P ≠ NP, pourquoi tout le monde est-il sceptique quant aux tentatives de preuve de P P NP?

Beaucoup semblent croire que , mais beaucoup pensent aussi qu'il est très improbable que cela soit prouvé. N'y a-t-il pas une certaine incohérence à cela? Si vous estimez qu'une telle preuve est improbable, vous devez également croire que les arguments solides en faveur de font défaut. Ou bien existe-t-il de …

55 complexity-theory p-vs-np

4

Y a-t-il des problèmes NP, pas en P et pas NP Complete?

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 , …

34 complexity-theory np-complete p-vs-np

3

Pourquoi la relativisation est-elle un obstacle?

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 …

29 complexity-theory proof-techniques p-vs-np relativization

3

Est implique que?

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 = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

20 complexity-classes p-vs-np

7

Est-ce que prouver P ≠ NP serait plus difficile que prouver P = NP?

Considérons deux possibilités pour le problème P vs. NP: P = NP et P NP.≠≠\neq Soit Q l'un des problèmes NP-difficiles connus. Pour prouver P = NP, nous devons concevoir un seul algorithme polynomial de temps A pour Q et prouver que A résout correctement Q. Pour prouver P NP, …

20 complexity-theory p-vs-np

1

Pourquoi les théorèmes de Shaefer et Mahaney n'impliquent-ils pas P = NP?

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 …

14 complexity-theory np-complete satisfiability p-vs-np

2

Comment P =? NP améliore la factorisation entière

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 NP}

14 complexity-theory computability np-complete p-vs-np factoring

1

Limites d'exécution sur les algorithmes de problèmes complets de NP en supposant P ≠ NP

Supposons .P ≠ N PP≠NPP\neq NP Que pouvons-nous dire sur les limites d'exécution de tous les problèmes NP-complete? c'est-à-dire quelles sont les fonctions les plus étroites pour lesquelles nous pouvons garantir qu'un algorithme optimal pour tout problème NP-complet s'exécute dans un temps d'au moins et au plus sur une entrée …

13 complexity-theory time-complexity np-complete p-vs-np

3

Prouver P = NP sans instructions mathématiques / programme informatique

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. Je suis conscient …

13 complexity-theory p-vs-np

2

Comment prouver P

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. …

12 complexity-theory p-vs-np

2

Pourquoi le théorème de Schaefer ne prouve-t-il pas que P = NP?

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 …

12 np-complete satisfiability p-vs-np

5

Un défaut dans mon NP = CoNP Proof?

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 …

12 complexity-theory p-vs-np check-my-proof np

Questions marquées «p-vs-np»