P gegen NP und andere ressourcengebundene Berechnungen.
Norbert Blum veröffentlichte kürzlich einen 38-seitigen Beweis, dass . Ist es richtig?P≠NPP≠NPP \ne NP Auch zum Thema: Wo sonst (im Internet) wird über deren Richtigkeit diskutiert? Hinweis: Der Fokus dieses Fragetextes hat sich im Laufe der Zeit geändert. Siehe Fragenkommentare für...
Faktorisierung und Graph-Isomorphismus sind Probleme in NP, von denen weder bekannt ist, dass sie in P sind, noch dass sie NP-vollständig sind. Welche anderen (ausreichend unterschiedlichen) natürlichen Probleme teilen diese Eigenschaft? Künstliche Beispiele, die direkt aus dem Ladner-Beweis...
Ich bin derzeit ein Student im Grundstudium, der in diesem Jahr seinen Abschluss machen muss. Nach dem Abschluss überlege ich, auf einen TCS-Master / PhD hinzuarbeiten. Ich habe mich gefragt, welche Bereiche der Mathematik für das TCS hilfreich sind, insbesondere die (klassische)...
Mathematiker sorgen sich manchmal um das Axiom of Choice (AC) und das Axiom of Determinancy (AD). Axiom of Choice : Bei einer gegebenen Sammlung nicht leerer Mengen gibt es eine Funktion f , die bei gegebener Menge S in C ein Mitglied von S zurückgibt .CC{\cal C}fffSSSCC{\cal C}SSS Axiom of...
Derzeit ist die Lösung eines -kompletten Problems oder eines P S P A C E -kompletten Problems im allgemeinen Fall für große Eingaben nicht möglich. Beide sind jedoch in Exponentialzeit und Polynomraum lösbar.NPNPNPPSPACEPSPEINCEPSPACE Macht es für uns einen Unterschied, ob ein Problem -complete...
Die Frage ist, ob die folgende Frage entscheidbar ist: Problem Ist die Laufzeit von Anbetracht einer Ganzzahl und Turing-Maschine versprochen wurde, dass sie in P ist, in Bezug auf die Eingabelänge ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn Eine knappe Antwort von "Ja", "Nein" oder "Offen"...
Ich kenne viele Ergebnisse, die das PCP-Theorem verwenden (hauptsächlich zur Approximation von Algorithmen), aber ich bin nie auf eine klare Erklärung des PCP-Theorems (dh, dass ).N P = P C P (O(log( n ) ) , O ( 1 ) )NP=PCP(O(log(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Was sind dafür...
Eine kürzlich von Huck Bennett gestellte Frage, ob die Klasse PH in der Klasse PP enthalten ist, erhielt etwas widersprüchliche Antworten (alles scheint wahr zu sein). Einerseits wurden mehrere Orakelergebnisse für das Gegenteil angegeben, und andererseits schlug Scott vor, dass die Antwort...
Ich suche nach Beispielen für Probleme, die durch eine Zahl parametrisiert sind , wobei die Härte des Problems in nicht monoton ist . Die meisten Probleme (meiner Erfahrung nach) haben einen einphasigen Übergang, zum Beispiel hat SAT einen einphasigen Übergang von (wo das Problem in P ist) zu (wo...
Über diese Frage habe ich mich eine Weile gewundert. Wenn Menschen das P-gegen-NP-Problem beschreiben, vergleichen sie die Klasse NP häufig mit Kreativität. Sie stellen fest, dass das Komponieren einer Symphonie in Mozart-Qualität (analog zu einer NP-Aufgabe) viel schwieriger zu sein scheint, als...
Wenn ich einen Algorithmus für ein neues Problem entwerfe und nach einiger Zeit keinen Polynom-Zeit-Algorithmus mehr finde, kann ich versuchen, zu beweisen, dass er NP-schwer ist. Wenn es mir gelingt, habe ich erklärt, warum ich den Polynom-Zeit-Algorithmus nicht gefunden habe. Es ist nicht so,...
Ich bin auf den Polynomalgorithmus gestoßen, der 2SAT löst. Ich fand es verblüffend, dass 2SAT in P ist, wo alle (oder viele andere) der SAT-Instanzen NP-Complete sind. Was unterscheidet dieses Problem? Was macht es so einfach (NL-Complete - noch einfacher als
Es ist meine erste Frage auf dieser Seite. Ich mache einen Masterstudiengang in Rechentheorie. Wie würden Sie einem 10-jährigen Kind das P = NP-Problem erklären und warum wird es mit so einer finanziellen Belohnung belohnt? Deine Meinung? Ich werde die Frage aktualisieren, sobald mein Kopf klar...
Es gibt einige Zählprobleme, bei denen exponentiell viele Dinge gezählt werden (im Verhältnis zur Größe der Eingabe) und die dennoch überraschende, polynomzeitgenaue, deterministische Algorithmen aufweisen. Beispiele beinhalten: Zählen perfekter Übereinstimmungen in einem planaren Graphen (dem...
In der beschreibenden Komplexität hat Immerman Folgerung 7.23. Die folgenden Bedingungen sind äquivalent: 1. P = NP. 2. Über endlichen, geordneten Strukturen ist FO (LFP) = SO. Dies kann als "Verstärken" von P = NP auf eine äquivalente Aussage über (vermutlich) größere Komplexitätsklassen angesehen...
Angenommen, und G 2 sind zwei ungerichtete Graphen in der Scheitelmenge { 1 , … , n } . Die Graphen sind dann und nur dann isomorph, wenn es eine Permutation Π gibt, so dass G 1 = Π ( G 2 ) , oder formal, wenn es eine Permutation Π gibt, so dass ( i , j ) genau dann eine Kante in G 1 ist wenn ( Π (...
Für ( Suchversionen ) von NP- vollständigen Problemen ist die Überprüfung einer Lösung eindeutig einfacher als das Auffinden, da die Überprüfung in Polynomzeit erfolgen kann, während das Auffinden eines Zeugen (wahrscheinlich) exponentielle Zeit in Anspruch nimmt. In P kann die Lösung jedoch auch...
Dies könnte eher eine subjektive Frage als eine konkrete Antwort sein, aber trotzdem. In der Komplexitätstheorie untersuchen wir den Begriff effizienter Berechnungen. Es gibt Klassen wie für Polynomial Time und für Log Space . Beide werden als eine Art "Effizienz" angesehen und erfassen die...
Verschiedene Optimierungsprobleme, von denen bekannt ist, dass sie in allgemeinen Graphen NP-schwer sind, sind in der Polynomzeit (einige sogar in der linearen Zeit) trivial lösbar, wenn der Eingabegraph ein Baum ist. Beispiele hierfür sind minimale Scheitelpunktabdeckung, maximale unabhängige...
Die Komplexitätstheorie ist ein starkes sekundäres Interesse von mir, aber nicht mein primäres Forschungsinteresse. Es gibt also keine Hoffnung für mich, an allen Konferenzen teilzunehmen, alle Blogs zu lesen und dafür zu sorgen, dass die "in" Menge mich in jeder Hinsicht erreicht heiße...