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...
Lorsque le célèbre théorème de Savitch est énoncé, on voit souvent l'exigence que soit constructible dans l'espace (ce qui est intéressant, il est omis dans Wikipedia). Ma question simple est: pourquoi en avons-nous besoin? Je comprends l'exigence que soit dans , ce qui ressort clairement de la...
J'ai un petit problème pour comprendre la preuve du théorème de la hiérarchie temporelle (Hennie et Stearns, 1966) qui garantit l'existence d'un langage acceptable en mais non acceptable en pour toutes les fonctions , tel que est constructible dans le temps etU( n )U(n)U(n)T(n )T(n)T(n)T( n) , U( n...
J'essaie de comprendre (intuitivement) les deux termes «décidabilité» et «vérifiabilité». J'ai fait un nombre raisonnable de recherches et de lecture des différents textes sur lesquels je peux mettre la main. Cependant, leur compréhension intuitive semble m'échapper, spécialement pour le second....
Étant donné un graphique , trouvez sommets , dont la suppression aboutirait à un graphique avec la plus petite composante la plus grande. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Je suppose que pour grandet grand le problème est difficile (NP-difficile), mais je...
J'ai des graphiques et avec avec qui réussissent les vérifications d' telles comme lemme sans homomorphisme. Existe-t-il des outils gratuits et faciles à utiliser pour tester l'homomorphisme des graphes de à ?gkGkG_kHkHkH_k| V(gk) | = | V(Hk)|2 k=n2
J'ai du mal à comprendre pourquoi il est facile de détecter les cycles de poids négatifs (Bellman Ford) mais difficile de trouver le cycle de poids maximal dans un graphique non orienté. Si nous nions le poids de chaque bord, nous pouvons facilement trouver s'il y a des cycles avec un poids...
Récemment, je lis des articles sur la dichotomie . Je ne comprends pas quelle condition peut être qualifiée de dichotomie ? Que signifie «une question est soit en P soit en NP - complète »? (supposons P ≠≠\neq NP ) Par exemple, j'ai connu le théorème de dichotomie de Schaefer, dans lequel une...
J'apprends l'analyse asymptotique et j'ai vu des complexités d'aspect exotique vivre entre d'autres courantes. Par exemple, "log log n" est strictement compris entre 1 et log n. Je me demande si l'on peut toujours trouver des complexités entre deux autres. Plus précisément, pour toutes les...
Nous savons que P = NP implique NP = coNP. L'implication inverse tient-elle? Est-ce que NP égal à coNP implique que P est égal à NP? Sinon pourquoi pas? J'ai googlé mais je n'ai pas trouvé la
Récemment, j'ai été confronté à un problème qui m'a conduit aux questions suivantes: Existe-t-il un bon algorithme pour énumérer toutes les correspondances maximales / parfaites dans un graphique général? Existe-t-il un bon algorithme pour trouver toutes les correspondances maximales / parfaites...
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...
La classe de Nick (NC) est la classe de problèmes qui peuvent être résolus en temps poly-log en utilisant un nombre polynomial de processeurs. Je veux en savoir plus sur l'analogue exponentiel, qui couvrirait les problèmes qui peuvent être résolus en temps polynomial en utilisant un nombre...
Supposer ΠΠ\Pi est un problème de décision décidable. Est-ce que Π ∉ NPΠ∉NP\Pi\not \in NP impliquer ΠΠ\Pi est NPNPNP-Difficile? Edit: si l'on suppose qu'il existe Π ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NPalors nous avons terminé. Pouvons-nous réfuter la réclamation sans hypothèses...
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...
Je n'ai pas pu trouver de graphique décrivant ou de texte répondant à la question suivante: Existe-t-il une relation directe entre la complexité d'un algorithme (tel que le meilleur / pire cas de tri rapide) et la classe d'automates qui peuvent implémenter l'algorithme. Par exemple, existe-t-il une...
Je serais surpris si ce n'était pas un problème bien étudié, mais je ne sais pas quoi chercher d'autre à ce stade: on vous donne un ensemble de -vecteurs binaires . Le problème est de trouver un autre ensemble de vecteurs binaires , avec une taille minimale, de sorte que chaque vecteur de peut être...