Als «np-complete» getaggte Fragen

Fragen zu den schwierigsten Problemen in NP, dh zu denen, die in polynomialer Zeit von nichtdeterministischen Turing-Maschinen gelöst werden können.

7
Ist die Gesetzgebung NP-vollständig?
Ich würde gerne wissen, ob es eine Arbeit gab, die den Rechtskodex mit der Komplexität in Verbindung bringt. Nehmen wir insbesondere an, wir haben das Entscheidungsproblem "Ist der Angeklagte angesichts dieses Gesetzes und dieser besonderen Umstände schuldig?" Zu welcher Komplexitätsklasse gehört es? Es gibt Ergebnisse, die bewiesen haben, dass das …
3
Rucksackproblem - NP-komplett trotz dynamischer Programmierlösung?
Rucksackprobleme lassen sich leicht durch dynamische Programmierung lösen. Dynamische Programmierung läuft in Polynomialzeit; deshalb machen wir das, richtig? Ich habe gelesen, dass es sich tatsächlich um ein NP-vollständiges Problem handelt, was bedeuten würde, dass das Lösen des Problems in einem Polynomproblem wahrscheinlich unmöglich ist. Wo ist mein Fehler?
6
Warum sind einige Spiele np-complete?
Ich habe den Wikipedia-Eintrag über " Liste der NP-vollständigen Probleme " gelesen und festgestellt, dass Spiele wie Super Mario, Pokemon, Tetris oder Candy Crush Saga np-vollständig sind. Wie kann ich mir die Vollständigkeit eines Spiels vorstellen? Die Antworten müssen nicht zu genau sein. Ich möchte nur einen Überblick darüber bekommen, …
4
Wie kann ich eine Lösung für das Problem des Handlungsreisenden in polynomialer Zeit überprüfen?
Somit ist das TSP-Entscheidungsproblem (Travelling Salesman Problem) NP-vollständig . Aber ich verstehe nicht, wie ich überprüfen kann, ob eine gegebene Lösung für TSP in der Polynomzeit tatsächlich optimal ist, da es keine Möglichkeit gibt, die optimale Lösung in der Polynomzeit zu finden (was liegt daran, dass das Problem nicht in …
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 
6
Erstellen von Kombinationen aus einer Reihe von Paaren ohne Wiederholung von Elementen
Ich habe eine Reihe von Paaren. Jedes Paar hat die Form (x, y), sodass x, y zu ganzen Zahlen aus dem Bereich gehören [0,n). Wenn also n 4 ist, dann habe ich die folgenden Paare: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ich habe schon die Paare. Jetzt muss ich eine …
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ändige Probleme nicht "offensichtlich" in NP
Vielen ist der Gedanke gekommen, dass es in allen von mir gelesenen -Vollständigkeitsnachweisen (an die ich mich erinnern kann) immer trivial ist, zu zeigen, dass ein Problem in liegt und dass es sich um -hard ist der ... schwierige Teil. Was für -vollständige Probleme sind das, deren Polynomzeitprüfer höchst untrivial …
1
Ist Regex Golf NP-Complete?
Wie in diesem aktuellen XKCD-Strip und diesem aktuellen Blog-Post zu sehenVon Peter Norvig (und einer Slashdot-Geschichte mit letzterem) ist "Regex Golf" (das besser als das Problem der Trennung regulärer Ausdrücke bezeichnet werden könnte) das Rätsel, den kürzestmöglichen regulären Ausdruck zu definieren, der jedes Wort in Satz A und kein Wort …
1
Längste wiederholte (verstreute) Folge in einer Zeichenfolge
Informelle Problemstellung: Bei einer gegebenen Zeichenfolge, z. B. , möchten wir einige Buchstaben rot und einige Buchstaben blau (und einige überhaupt nicht) färben, sodass das Lesen nur der roten Buchstaben von links nach rechts dasselbe Ergebnis ergibt wie das Lesen nur der blauen Buchstaben.ACCABBABACCABBABACCABBAB Im Beispiel könnten wir sie folgendermaßen …
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 …
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.