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].

2
Hidoku NP est-il complet?
Un Hidoku est une grille avec quelques entiers préremplis de 1 à . Le but est de trouver un chemin d'entiers successifs (de 1 à ) dans la grille. Plus concrètement, chaque cellule de la grille doit contenir un entier différent de 1 à et chaque cellule de valeur doit …
3
Si P = NP, pourquoi
Apparemment, si , toutes les langues de exception de et seraient terminées.P ∅ Σ ∗ N PP = N PP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*N PNP{\sf NP} Pourquoi ces deux langues en particulier? Ne pouvons-nous pas leur réduire une autre langue en en les sortant lors de l'acceptation ou de la non-acceptation?PP{\sf …
1
Existe-t-il un problème complet pour la classe des problèmes décidables de Turing?
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 conçues.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Existe-t-il des problèmes …
1
Conditions de planarité pour Planar 1-in-3 SAT
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 paire( xje, xje¯)(Xje,Xje¯)(x_i,\bar{x_i}) ajouter une arête …
1
Réduction directe de à
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 …
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.