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

4
Quelles sont les techniques courantes pour réduire les problèmes les uns aux autres?
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 à des solutions …
2
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?
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 . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
1
Tri en tant que programme linéaire
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 même …
2
Si je peux résoudre Sudoku, puis-je résoudre le problème du voyageur de commerce (TSP)? Si c'est le cas, comment?
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 le problème …
2
Réduisez le problème suivant à SAT
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 …
3
DEMI CLIQUE - Problème NP complet
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 sous-graphe complet avec …
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.