Questions marquées «reductions»

En calculabilité et complexité, trouver des mappages entre des problèmes qui permettent de résoudre un problème en utilisant une solution d'un autre. Pour la réduction de la théorie du langage de programmation (par exemple la réduction bêta), voir [lambda-calcul] ou [term-rewriting].

1
Réductions des problèmes indécidables
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é …
1
À quoi ressemblent les classes de complexité, si nous utilisons des réductions de Turing?
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 nous travaillons avec des réductions Turing …
1
Montrant que la suppression minimale des sommets dans un graphe bipartite est NP-complète
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, -DOMINATING SET ou -VERTEX COVER.NPNP\rm{NP}kkkkkkkkk Je …
2
Pour toute langue
J'essaie de trouver une preuve pour les éléments suivants: Pour toute langue AAA , il existe un langage BBB tel que A≤TBA≤TBA \le_{\mathrm{T}} B , mais B ≰TA≰TA\nleq_{\mathrm{T}} A . Je pensais laisser BBB être ATMATMA_{\mathrm{TM}} , mais je me rends compte que toutes les langues ne sont pas Turing …
1
Dureté et sens des réductions
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 …
2
Machine de Turing alphabet infini
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 symbole. Je …
1
Expressivité des expressions régulières modernes
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 immédiatement dit que ça …
2
Le graphique 3-colorabilité est auto-réductible
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 l'auto-réductibilité. Un langage est auto-réductible s'il …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.