Cette question concerne l'intersection de la théorie des probabilités et de la complexité de calcul. Une observation clé est que certaines distributions sont plus faciles à générer que d'autres. Par exemple, le problème Étant donné un nombre nnn , renvoyer un nombre uniformément distribué iiiavec...
Je me demandais si ce problème avait un nom: Étant donné un graphique simple dont les bords sont colorés en rouge, bleu et vert, , existe-t-il une coloration vertex telle que chaque bord a un point final avec la même couleur?G = ( V, B ∪ R ∪ G )g=(V,B∪R∪g)G=(V,B\cup R\cup G)c : V→ { B , R , G...
Valiant et Vazirani ont prouvé que la SAT est réductible à la SAT UNIQUE sous des réductions probabilistes randomisées du temps polynomial. Calabro et al . a montré que UNIQUE k-SAT est aussi dur que k-SAT. Maintenant, la question est, si quelqu'un montre que k-SAT UNIQUE est dans P, cela...
Comment pouvons-nous nous assurer que nous continuons à faire des déclarations solides et valables sur les classes de complexité lors de l'utilisation d'Oracle Turing Machines? Selon ma compréhension (sur la base des définitions données dans les manuels d'introduction sur le sujet), les machines...
Considérez le problème suivant: Entrée : liste des entiersX,YX,YX,Y Objectif : déterminer s'il existe un entier qui figure dans les deux listes.xxx Supposons que les deux listes soient de taille . Existe-t-il un algorithme déterministe à temps linéaire pour ce problème? En d'autres termes,...
Inverse une matrice dans la classe Complexity ?PP\text{P} À partir de l'exécution, je dirais oui mais la matrice inversée peut contenir des entrées où la taille n'est pas limitée polynomialement par l'entrée?O
À ma connaissance, il n'existe pas d' algorithme pire des cas qui résout le problème suivant:O( n )O(n)O(n) Étant donné une séquence de longueur composée d'entiers finis, trouvez la permutation où chaque élément est inférieur ou égal à son successeur.nnn Mais existe-t-il une preuve de son...
J'ai un ensemble de points qui sont définis dans un espace métrique - donc je peux mesurer une «distance» entre les points mais rien d'autre. Je veux trouver le point le plus central de cet ensemble, que je définis comme le point avec la somme minimale des distances à tous les autres points. Le...
J'ai posté ceci sur MathUnderflow mais je n'ai reçu aucune réponse, alors j'ai pensé l'essayer ici, Je lis l'ancien article de Rabin et Fischer [publiera un lien si possible] où, entre autres, la complexité doublement exponentielle de l'arithmétique Presburger est prouvée. La preuve repose sur...
Je sais que les problèmes de sac à dos 2D et 3D sont des NPC, mais existe-t-il un moyen de les résoudre dans un délai raisonnable si les instances ne sont pas très compliquées? La programmation dynamique fonctionnerait-elle? Par sac à dos 2D (3D), je veux dire que j'ai un carré (cube) et une liste...
Disons FFF est un oracle pour un problème NPNP\mathbb{NP}, mais je ne peux pas appeler cet oracle avec une instance d'entrée. Au lieu de cela, chaque fois que j'appelleFFFJe reçois retourné une instance aléatoire et une solution. Ainsi, je sais queFFF est en fait capable de résoudre arbitrairement...
Comme le montre le réseau à feuilles persistantes The Physics of Santa , il est physiquement impossible pour le Père Noël d'offrir un cadeau à tous les enfants de la planète. Planification d' itinéraire ne sera pas beaucoup d' aide là - bas, mais peut un bon algorithme de planification au moins...
Je m'intéresse à l'auto-réductibilité du problème du graphique 3-Coloralibity. Définition du problème du graphique 3-Coloralibity. Étant donné un graphe non orienté , existe-t-il un moyen de colorer les nœuds en rouge, vert et bleu afin qu'aucun nœud adjacent n'ait la même couleur?GGG Définition de...
Le problème de 3-coloration peut être prouvé NP-complet en utilisant la réduction de la coloration de graphique 3SAT (de 3SAT) . En conséquence, le problème de 4-Coloration est NP-Complete en utilisant la réduction de 3-Coloration: Réduction de l'instance 3-Coloring: ajouter un sommet...
J'ai essayé de chercher en ligne, mais je n'ai trouvé aucune déclaration définitive. Il serait logique pour moi que l'union et l'intersection de deux langues NPC produisent une langue qui n'est pas nécessairement dans NPC. Est-il également vrai que les langages des PNJ ne sont pas fermés sous le...
Donc représente les problèmes où nous avons de petits témoins vérifiables pour les instances et pour les petits témoins vérifiables pour les instances . Comment ça marche pourNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} etc?
J'essaie de relier les circuits logiques multinationaux (ordinateurs basés uniquement sur des portes logiques) avec tout ce que j'ai appris récemment dans la théorie du calcul. Je me demandais si les circuits logiques combinatoires peuvent implémenter des calculs de la même manière que les machines...
On me donne n objets, et un ensemble de n permutations de ces n objets (sur n! Permutations totales). Il y a une vraie permutation sous-jacente, dont je sais qu'elle fait partie de l'ensemble des n permutations, mais je ne sais pas laquelle. Un oracle connaît cependant la véritable permutation....
Des questions: Peut-il y avoir un hachage (cryptographiquement sécurisé) qui préserve la topologie des informations de {0,1}∗{0,1}∗\{0,1\}^{*}? Pouvons-nous ajouter un prédicat de proximité efficacement calculable qui, étant donné hk(x)hk(X)h_k(x) et hk(y)hk(y)h_k(y) (ou yyy lui-même) nous dit si...
Nous venons donc d'apprendre sur l'auto-réductibilité en classe. Mon professeur et notre manuel ne s'engageraient pas à dire que tous les problèmes de NP sont auto-réductibles, mais il ne semble pas y avoir d'exemples de problèmes qui ne le soient pas. Je me demandais s'il y avait des exemples, ou...