Als «reductions» getaggte Fragen

In Bezug auf Berechenbarkeit und Komplexität finden Sie Zuordnungen zwischen Problemen, die es ermöglichen, ein Problem mithilfe einer Lösung eines anderen zu lösen. Zur Reduktion der Programmiersprachentheorie (zB Beta-Reduktion) siehe [Lambda-Kalkül] oder [Term-Rewriting].

4
Was sind übliche Techniken, um Probleme miteinander zu reduzieren?
In der Berechenbarkeits- und Komplexitätstheorie (und vielleicht auch in anderen Bereichen) sind Reduktionen allgegenwärtig. Es gibt viele Arten, aber das Prinzip bleibt dasselbe: Zeigen Sie, dass ein Problem mindestens so schwer ist wie ein anderes Problem indem Sie Instanzen von auf Instanzen in . Im Wesentlichen zeigen wir, dass jeder …
2
Warum ist der leere Typ von C nicht analog zum leeren / unteren Typ?
Wikipedia und andere Quellen, die ich gefunden habe, listen den voidTyp C als Einheitentyp und nicht als leeren Typ auf. Ich finde das verwirrend, da es mir so scheint, als ob es voidbesser zur Definition eines Leer- / Bodentyps passt. voidSoweit ich das beurteilen kann, gibt es keine Werte . …
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 
2
Wie konstruiere ich Reduktionen zwischen Problemen, um zu beweisen, dass ein Problem NP-vollständig ist?
Ich absolviere einen Komplexitätskurs und habe Probleme, Reduzierungen zwischen NPC-Problemen zu finden. Wie kann ich Reduzierungen zwischen den Problemen finden? Gibt es einen allgemeinen Trick, den ich verwenden kann? Wie soll ich mich einem Problem nähern, bei dem ich beweisen muss, dass es sich um einen NPC handelt?
3
NP-Vollständigkeit lehren - Turing-Reduktionen versus Karp-Reduktionen
Mich interessiert die Frage, wie man Informatik-Majors am besten die NP-Vollständigkeit beibringen kann. Sollten wir es insbesondere unter Verwendung von Karp-Reduktionen oder unter Verwendung von Turing-Reduktionen lehren? Ich bin der Meinung, dass die Konzepte der NP-Vollständigkeit und -Reduzierung etwas sind, das jeder Major der Informatik lernen sollte. Beim Unterrichten der …
1
Sortierung als lineares Programm
Eine überraschende Anzahl von Problemen hat eine ziemlich natürliche Reduktion auf die lineare Programmierung (LP). In Kapitel 7 von [1] finden Sie Beispiele für Netzwerkflüsse, bipartite Matching, Nullsummenspiele, kürzeste Pfade, eine Form der linearen Regression und sogar die Auswertung von Schaltkreisen! Da sich die Schaltungsbewertung auf lineare Programmierung reduziert, muss …
2
Wenn ich Sudoku lösen kann, kann ich das Travelling Salesman Problem (TSP) lösen? Wenn das so ist, wie?
Nehmen wir an, es gibt ein Programm, bei dem Sie, wenn Sie ein teilweise gefülltes Sudoku einer beliebigen Größe geben, das entsprechende fertige Sudoku erhalten. Können Sie dieses Programm als Black Box behandeln und damit TSP lösen? Ich meine, gibt es eine Möglichkeit, das TSP-Problem als teilweise gefülltes Sudoku darzustellen, …
3
HALF CLIQUE - NP Schließe das Problem ab
Lassen Sie mich mit der Feststellung beginnen, dass dies ein Problem bei den Hausaufgaben ist. Bitte geben Sie nur Ratschläge und entsprechende Beobachtungen, KEINE DIREKTEN ANTWORTEN, bitte . Nachdem dies gesagt wurde, ist hier das Problem, das ich betrachte: Sei HALF-CLIQUE = { | ist ein ungerichteter Graph mit einem …
2
Kann man durch Turing-Reduktionen NP-Härte zeigen?
In der Arbeit Complexity of the Frobenius Problem von Ramírez-Alfonsín wurde mithilfe von Turing-Reduktionen nachgewiesen, dass ein Problem NP-vollständig ist. Ist das möglich? Wie genau? Ich dachte, dass dies nur durch eine polynomielle Zeitvielfachreduktion möglich wäre. Gibt es Referenzen dazu? Gibt es zwei verschiedene Vorstellungen von NP-Härte, sogar NP-Vollständigkeit? Aber …
2
Eine Polynomreduktion von jedem NP-vollständigen Problem zu beschränktem PCP
In Lehrbüchern wird überall davon ausgegangen, dass das Bounded Post Correspondence Problem NP-vollständig ist (nicht mehr als Indizes mit Wiederholungen zulässig). Nirgends wird jedoch eine einfache (wie für einen Studenten verständliche) Reduzierung der Polynomzeit durch ein anderes NP-vollständiges Problem gezeigt.NNN Allerdings ist jede Reduzierung, die ich mir vorstellen kann, in …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.