Considérons la tâche de calcul suivante: Nous voulons échantillonner une formule 3-SAT de variables (une variante: n variables m clauses) par rapport à la distribution de probabilité uniforme, conditionnée à ce que la formule soit satisfiable:nnnnnnmmm Q1: Cela peut-il être réalisé efficacement par un ordinateur classique (avec des bits aléatoires)? …
Quelles sont les raisons impérieuses de croire ? L est la classe des algorithmes de l'espace de journal avec des pointeurs vers l'entrée.L≠PL≠PL\neq P Supposons que L = P pour le moment. À quoi ressemblerait un algorithme d'espace de journalisation pour un problème P-complet dans ses grandes lignes?
Considérez les problèmes d'optimisation de la forme suivante. Soit une fonction calculable en temps polynomial qui mappe une chaîne en un nombre rationnel. Le problème d'optimisation est le suivant: quelle est la valeur maximale de sur les chaînes à bits ?x f ( x ) n xf(x)f(x)f(x)xxxF( x )F(X)f(x)nnnXXx Disons …
Il y a clairement une réduction de CLIQUE à k-Color car ils sont tous deux NP-Complete. En fait, je peux en construire un en composant une réduction de CLIQUE à 3-SAT avec une réduction de 3-SAT à k-Color. Je me demande s'il y a une réduction directe raisonnable entre ces …
Récemment, j'ai vu plusieurs articles sur arxiv qui se réfèrent à un système de preuve appelé somme des carrés. Quelqu'un peut-il expliquer ce qu'est une preuve de somme des carrés et pourquoi ces preuves sont importantes / intéressantes? Comment sont-ils liés à d'autres systèmes de preuve algébriques? S'agit-il d'une sorte …
Certains d'entre vous ont peut-être suivi cette question , qui a été fermée en raison d'un niveau de recherche insuffisant. J'extrais donc la partie de la question qui se situe au niveau de la recherche. Au-delà des techniques "plus simples", telles que la réduction au tri ou un problème EXPTIME-complet, …
On sait que le cycle hamiltonien (jambon en abrégé) est NP-complet et que le cycle planaire du jambon est NP-complet. La preuve pour Planar Ham Cycle n'est pas de Ham Cycle. Existe-t-il un joli gadget qui, étant donné un graphe G, remplacera tous les croisements par un gadget plan afin …
Que sait-on de la complexité de trouver des circuits minimaux qui calculent SAT jusqu'à la longueur ? nnn Plus formellement: quelle est la complexité d'une fonction qui, étant donnée en entrée, sort un circuit minimal C tel que pour toute formule φ avec | φ | ≤ n , C …
Dans l'enquête "Small Depth Quantum Circuits" de D. Bera, F. Green et S. Homer (p. 36 de ACM SIGACT News, juin 2007 vol. 38, no. 2) , j'ai lu la phrase suivante: La version classique de (dans laquelle les portes et ont un fanout au plus constant) est manifestement plus …
Cette question est liée à une réponse que j'ai postée en réponse à une autre question. Le problème des 3 partitions est le problème suivant: Instance : entiers positifs a 1 ,…, a n , où n = 3 m et la somme des n entiers est égale à mB, …
La largeur de l'arbre mesure la proximité d'un graphique avec un arbre. Il est difficile de calculer la largeur de l'arbre NP. L' algorithme d' approximation le plus connu atteint le facteur .O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Le théorème de Courcelle stipule que toute propriété de graphes définissables en logique monadique du second ordre …
Cela fait plus d'un an depuis sa rétractation et sa correction de janvier 2017. Y a-t-il des nouvelles? Sinon, est-ce normal que la validation prenne autant de temps? Je m'attendrais à ce qu'il retienne beaucoup d'attention Quelqu'un de remarquable a-t-il parlé pour soutenir / douter du résultat quasi polynomial?
Motivé par le commentaire de Fortnow sur mon article, Preuve que le problème d'isomorphisme graphique n'est pas completNPNPNP G I N P N P P G I P , et par le fait que est un candidat principal pour le problème intermédiaire (pas complet ni en ), je suis intéressé …
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.