En recherchant le système d'information sur les classes de graphes et leurs inclusions , j'ai trouvé plusieurs classes de graphes pour lesquelles le problème du cycle hamiltonien est NP-complet alors que la complexité des problèmes de chemin hamiltonien n'est PAS connue. Certaines de ces classes sont des graphiques bipartites de …
Suite à la suggestion de Josh Grochow, je convertis mon commentaire d'une question précédente en une nouvelle question. Quelles preuves avons-nous pour ?U P ≠ N PUP≠NP\mathsf{UP} \neq \mathsf{NP} Ici est la classe de langages reconnaissable par les machines de Turing non déterministes à temps polynomial qui ont un chemin …
Supposons que je considère la variante suivante de BPP, qui appelons E (xact) BPP: Une langue est en EBPP s'il y a un TG aléatoire polynomial qui accepte chaque mot de la langue avec exactement 3/4 de probabilité et chaque mot qui n'est pas dans la langue avec exactement 1/4 …
Je fais une revue de la littérature sur le problème d'isomorphisme graphique. La plupart des articles que je lis sont écrits par EM Luks et Laszlo Babai. Ces articles utilisent les connaissances de haut niveau de la théorie des groupes et de la théorie de la complexité. Comme je suis …
Considérons le problèmeQQQ suivant Q : On nous donne un entier et k intervalles [ l i , r i ] avec 1 ≤ l i ≤ r i ≤ 2 n . On nous donne également 2 n entiers d 1 , … , d 2 n ≥ 0 …
Une chose que les ordinateurs quantiques peuvent faire (peut-être même avec seulement des circuits quantiques BPP + log-depth) est d'échantillonner approximativement la transformée de Fourier d'une fonction booléenne évaluée en P.±1±1\pm 1 Ici et ci-dessous quand je parle d'échantillonner la transformée de Fourier, je veux dire choisir x selon . …
Récemment, j'ai rencontré la variante suivante de coloration des bords. Étant donné un graphe connexe non orienté, trouvez une coloration des arêtes qui utilise le nombre maximal de couleurs tout en satisfaisant également la contrainte selon laquelle, pour chaque sommet , les arêtes incidentes à utilisent au plus deux couleurs.vvvvvv …
Lorsqu'on essaie de convaincre les économistes de la pertinence de la théorie de la complexité dans la presse écrite, existe-t-il une référence standard à citer? Je connais le billet de blog de Noam Nisan , l'enquête de Tim Roughgarden et le chapitre 11 de l'essai de Scott Aaronson . Ces …
Je recherche des exemples naturels d' algorithmes efficaces (ie en temps polynomial) st leur exactitude et leur efficacité peuvent être prouvées de manière constructive (par exemple en ou ), maisPR APRUNEPRAHUNEHUNEHA aucune preuve utilisant uniquement des concepts efficaces n'est connue (c'est-à-dire que nous ne savons pas prouver leur exactitude et …
La complexité des circuits en profondeur bornée est l'un des principaux domaines de recherche de la théorie de la complexité des circuits. Cette rubrique a des origines dans des résultats comme "la fonction de parité n'est pas dans " et "la fonction mod n'est pas calculée par ", où est …
Version courte. La preuve originale que # 2-SAT est #P -complete montre, en fait, que les instances de # 2-SAT qui sont à la fois monotones (n'impliquant la négation d'aucune variable) et bipartites (le graphique formé par les clauses sur le est un graphe bipartite) sont #P -hard. Ainsi, les …
J'ai enseigné bornes inférieures aujourd'hui, et l'un des étudiants a demandé la raison du nom . L'explication officielle est que le "A" signifie "Alternance".AC0AC0AC^0ACACAC Je me souviens vaguement, il y a de nombreuses années, que Nick Pippenger Steve Cook a nommé après Nick Pippenger (la classe de Nick), et plus …
Les graphes planaires ont le genre zéro. Les graphiques embarquables sur un tore ont un genre au maximum 1. Ma question est simple: Y a-t-il des problèmes qui peuvent être résolus polynomialement sur les graphes planaires mais NP-dur sur les graphes du genre un? Plus généralement, y a-t-il des problèmes …
J'ai récemment lu une preuve qui avait pour but de montrer qu'un problème était fortement NP-difficile, simplement en le réduisant (en temps polynomial) à partir d'un problème fortement NP-difficile. Cela n'avait aucun sens pour moi. J'aurais pensé que vous deviez montrer que tous les nombres utilisés dans la réduction et …
La méthode de l'adversaire négatif ( ) est un SDP qui caractérise la complexité des requêtes quantiques. Il s'agit d'une généralisation de la méthode de l'adversaire largement utilisée ( ), et surmonte les deux obstacles qui ont entravé la méthode de l'adversaire:A D V±UNEréV±ADV^\pmA D VUNEréVADV La barrière des tests …
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.