Planar 3SAT est NP-complet. Une instance planaire 3SAT est une instance 3SAT pour laquelle le graphique construit à l'aide des règles suivantes est planaire: ajouter un sommet pour chaque et ¯ x iXjeXjex_iXje¯Xje¯\bar{x_i} ajouter un sommet pour chaque clauseCjCjC_j ajouter un bord pour chaque...
J'ai le problème: Montrez qu'il existe un nombre réel pour lequel aucun programme n'existe qui s'exécute infiniment long et écrit les chiffres décimaux de ce nombre. Je suppose que cela peut être résolu en le réduisant au problème de l'arrêt, mais je ne sais pas comment le faire. J'apprécierais...
Des langues telles que sont RE-complètes sous plusieurs réductions. Il est trivial de voir que co-RE a aussi des problèmes complets. S. Schmitz [1] considère certaines classes entre ELEM et REC . Ils présentent des problèmes complets pour ces classes dans le cadre de réductions spécialement...
Nous savons que la est dans par le théorème du théorème d' Immerman-Szelepcsényi et puisque la est par conséquent, la est un espace de journalisation multiple réductible à la . Mais y a-t-il une réduction directe / combinatoire qui ne passe pas par le graphe de configuration des machines de Turing...
Ainsi, comme on le sait, le problème de décision 0-1 d'ILP est NP-complet. Il est facile de montrer qu'il est en NP, et la réduction d'origine provenait de SAT; depuis lors, de nombreux autres problèmes NP-Complete se sont révélés avoir des formulations ILP (qui fonctionnent comme des réductions de...
Étant donné que la programmation linéaire entière est NP-complète, il y a une réduction de Karp de tout problème dans NP. Je pensais que cela impliquait qu'il existe toujours une formulation ILP de taille polynomiale pour tout problème de NP. Mais j'ai vu des articles sur des problèmes spécifiques...
Le problème 3-Partition demande si un ensemble de entiers peut être partitionné en ensembles de trois nombres entiers tels que chacun des montants mis en place pour un certain nombre entier donné . Le problème de partition équilibrée demande si entiers peuvent être partitionnés en deux ensembles de...
Définition: réduction de Karp Un langage est Karp réductible à un langage B s'il existe une fonction calculable en temps polynomial f : { 0 , 1 } ∗ → { 0 , 1 } ∗ telle que pour chaque x , x ∈ A si et seulement si f ( x ) ∈ B
Je suis curieux de savoir s'il existe des problèmes complets dans la classe de complexité Arthur-Merlin. Le graphique de non-isomorphisme (GNI) semble être l'exemple canonique d'un problème en AM, mais ce n'est probablement pas complet. Je suppose que je me demande aussi si un problème "complet"...
Je suis désolé si cette question a une réponse triviale qui me manque. Chaque fois que j'étudie un problème qui s'est révélé indécidable, j'observe que la preuve repose sur une réduction à un autre problème qui s'est avéré indécidable. Je comprends que cela crée une sorte d'ordre sur le degré de...
J'étudie pour ma finale en théorie du calcul, et je me bats avec la bonne façon de répondre si cette affirmation est vraie ou fausse. Par la définition de nous pouvons construire l'instruction suivante,≤m≤m\leq_m w ∈ A⟺F( w ) ∈ B → w ∉ A⟺F( w ) ∉ Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B...
Le Complexity Zoo définit comme la classe de problèmes de décision pouvant être résolus par une machine de Turing déterministe en temps linéaire.L INLINLIN L IN⊆ PLIN⊆PLIN \subseteq P Étant donné que HORN-SAT est soluble dans (comme indiqué dans les algorithmes à temps linéaire pour tester la...
La ronde de test Google Hash Code 2015 ( énoncé du problème ) a posé une question sur le problème suivant: entrée: une grille avec quelques carrés marqués, un seuil , une aire maximaleT ∈ N A ∈ NMMMT∈ NT∈NT \in \mathbb{N}A ∈ NA∈NA \in \mathbb{N} sortie: la plus grande surface totale possible d'un...
Nous avons eu plusieurs questions sur la relation entre les réductions Cook et Karp . Il est clair que les réductions de Cook (réductions de Turing à temps polynomial) ne définissent pas la même notion de complétude NP que les réductions de Karp (réductions de plusieurs à un temps polynomial), qui...
Pour raisonner sur des choses comme l'exhaustivité de NP, nous utilisons généralement plusieurs réductions (c.-à-d. Des réductions de Karp). Cela conduit à des images comme celle-ci: (sous conjectures standard). Je suis sûr que nous connaissons tous ce genre de choses. Quelle image obtenons-nous si...
Considérons le problème suivant dont l'instance d'entrée est un simple graphe et un entier naturel .GGGkkk Existe-t-il un ensemble tel que est biparti et ?S⊆V(G)S⊆V(G)S \subseteq V(G)G−SG−SG - S|S|≤k|S|≤k|S| \leq k Je voudrais montrer que ce problème est -complet en y réduisant 3-SAT, -CLIQUE,...
J'ai récemment discuté avec un ami d'un site Web qui proposait des défis d'expression régulière, correspondant principalement à un groupe de mots avec une propriété spéciale. Il cherchait une expression régulière qui correspond à des chaînes comme ||||||||où le nombre de |est premier. Je lui ai...
Une machine de Turing autorisée à lire et à écrire des symboles d'un alphabet infini est-elle plus puissante qu'une MT régulière (c'est la seule différence, la machine a toujours un nombre fini d'états)? L'intuition me dit que non, car il faut un nombre infini d'états pour différencier chaque...
Disons que nous savons que le problème A est difficile, puis nous réduisons A au problème inconnu B pour prouver que B est également difficile. Par exemple: nous savons que la coloration 3 est difficile. Ensuite, nous réduisons la coloration 3 à la coloration 4. En combinant l'une des couleurs de...
Il existe une réduction célèbre et élégante du problème de correspondance bipartite maximale au problème de flux maximal: nous créons un réseau avec un nœud source , un nœud terminal et un nœud pour chaque élément à mettre en correspondance, puis ajoutons des bords appropriés.sssttt Il existe...