Questions marquées «reductions»

Dans la théorie de la calculabilité et de la complexité (et peut-être dans d'autres domaines), les réductions sont omniprésentes. Il en existe de nombreuses sortes, mais le principe reste le même: montrez qu'un problème est au moins aussi complexe qu'un autre problème en mappant des instances de à...

Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . Une...

Je prends un cours de complexité et j'ai du mal à trouver des réductions entre les problèmes de PNJ. Comment puis-je trouver des réductions entre les problèmes? Y a-t-il une astuce générale que je peux utiliser? Comment dois-je aborder un problème qui me demande de prouver qu'un problème est un...

Je m'intéresse à la meilleure façon d'enseigner la complétude NP aux majors en informatique. En particulier, devrions-nous l'enseigner en utilisant des réductions Karp ou en utilisant des réductions Turing? Je pense que les concepts de complétude et de réduction de NP sont quelque chose que chaque...

Un nombre surprenant de problèmes ont des réductions assez naturelles de la programmation linéaire (LP). Voir le chapitre 7 de [1] pour des exemples tels que les flux de réseau, la correspondance bipartite, les jeux à somme nulle, les chemins les plus courts, une forme de régression linéaire et...

Disons qu'il existe un programme tel que si vous donnez un Sudoku partiellement rempli de n'importe quelle taille, il vous donne le Sudoku complet correspondant. Pouvez-vous traiter ce programme comme une boîte noire et l'utiliser pour résoudre le TSP? Je veux dire, y a-t-il un moyen de représenter...

Ce que je veux faire, c'est transformer un problème mathématique que j'ai en un problème de satiabilité booléenne (SAT), puis le résoudre à l'aide d'un solveur SAT. Je me demande si quelqu'un connaît un manuel, un guide ou quelque chose qui m'aidera à convertir mon problème en une instance SAT....

Le problème de sous-ensemble est un problème classique NP-complet: Étant donné une liste de nombres et un cible , y a-t-il un sous-ensemble de nombres de qui se résume à ?LLLL kkkkLLLkkk Un étudiant m'a demandé si cette variante du problème appelé problème de "produit de sous-ensemble" est...

Voici le problème. Étant donné , où chaque . Existe-t-il un sous-ensemble dont la taille est au plus telle que pour tout ? J'essaie de réduire ce problème à SAT. Mon idée d'une solution serait d'avoir une variable pour chacun de 1 à . Pour chaque , créez une clause si . Ensuite et toutes ces...

Wikipedia indique que le problème de la somme des sous-ensembles consiste à trouver un sous-ensemble d'un multiset donné d'entiers, dont la somme est nulle. De plus, il déclare qu'il revient à trouver un sous-ensemble avec la somme sss pour tout sss donné . Je pense donc que comme ils sont...

C'est peut-être assez simple, mais j'ai du mal à obtenir cette réduction. Je veux réduire la somme des sous-ensembles à la partition, mais pour le moment je ne vois pas la relation! Est-il possible de réduire ce problème en utilisant une réduction Levin? Si vous ne comprenez pas, écrivez pour...

Permettez-moi de commencer par noter qu'il s'agit d'un problème de devoirs, veuillez fournir uniquement des conseils et des observations connexes, AUCUNE RÉPONSE DIRECTE s'il vous plaît . Cela dit, voici le problème que je regarde: Soit HALF-CLIQUE = { | est un graphe non orienté ayant un...

Dans l'étude Complexity of the Frobenius Problem de Ramírez-Alfonsín, un problème s'est révélé être NP-complet en utilisant les réductions de Turing. Est-ce possible? De quelle façon précisément? Je pensais que cela n'était possible que par une réduction polynomiale de plusieurs fois. Y a-t-il des...

Partout, les manuels supposent que le problème de la correspondance de poste borné est NP-complet (pas plus de NNN index autorisés avec répétitions). Cependant, nulle part on ne montre une réduction du temps polynomiale simple (comme dans quelque chose qu'un étudiant peut comprendre) d'un autre...

Grâce au théorème de min-cut max-flow, nous savons que nous pouvons utiliser n'importe quel algorithme pour calculer un flux maximum dans un graphe de réseau pour calculer une -min-cut. Par conséquent, la complexité du calcul d'une coupe minimale n'est pas plus que la complexité du calcul d'un...

J'ai du mal à comprendre la relation entre NP-intermédiaire et NP-complet. Je sais que si P! = NP basé sur le théorème de Ladner, il existe une classe de langages en NP mais pas en P ni en NP-Complete. Chaque problème dans NP peut être réduit à un problème NP-Complete, mais je n'ai vu aucun exemple...

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 avoir une cellule voisine de...

Soit A à B réductibles, par exemple, . Par conséquent, la machine de Turing accepter a accès à un oracle pour . Soit la machine de Turing acceptant soit et l'oracle de soit . Les types de réductions:A B A M A B O BA ≤ BUNE≤BA \leq BUNEUNEABBBUNEUNEAMUNEMUNEM_{A}BBBOBOBO_{B} Réduction de Turing:...

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

Nous avons un DAG. Nous avons une fonction sur les nœuds (en gros, nous numérotons les nœuds). Nous aimerions créer un nouveau graphique dirigé avec ces règles:F: V→ NF:V→NF\colon V\to \mathbb N Seuls les nœuds avec le même numéro peuvent être contractés dans le même nouveau nœud. . (Cependant,...