Fragen zur NP-Härte und NP-Vollständigkeit.
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...
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...
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...
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
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...
Aroras und Baraks Buch beschreibt Factoring als folgendes Problem: FACTORING = { ⟨ L , U, N⟩|( ∃ a prime p ∈ { L , … , U} ) [ p | N] }FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Weiter...
Ich denke an das folgende Problem: Ich möchte einen regulären Ausdruck finden, der einem bestimmten Satz von Zeichenfolgen entspricht (z. B. gültige E-Mail-Adressen) und nicht mit anderen übereinstimmt (ungültige E-Mail-Adressen). Nehmen wir an, wir meinen mit regulären Ausdrücken eine...
Warum bevorzugen die meisten Menschen die Verwendung von Mehrfachreduzierungen, um die NP-Vollständigkeit zu definieren, anstatt zum Beispiel
Dies ist ein Cross-Post von math.stackexchange. Lassen Sie FACT bezeichnen die ganze Zahl Faktorisierungsproblem: Da finden Primzahlen p i ∈ N , und ganze Zahlen e i ∈ N , so dass n = Π k i = 0 p e i i .n ∈ N ,n∈N,n \in \mathbb{N},pich∈ N ,pich∈N,p_i \in \mathbb{N},eich∈ N ,eich∈N,e_i \in...
Angesichts eines neuen Problems in dessen wahre Komplexität irgendwo zwischen P und NP-vollständig liegt, gibt es zwei Methoden, von denen ich weiß, dass sie verwendet werden können, um zu beweisen, dass es schwierig ist, dies zu lösen:NPNP\mathsf{NP}PP\mathsf{P} Zeigen Sie, dass das Problem...
Mark Dominus sammelte einige Beispiele für die Reduzierung der Polynomzeit von verschiedenen NP-harten Problemen bis hin zum Matching mit „regulären Ausdrücken“ . Es ist kein enormer Sprung, sich Polynom-Zeit-Überprüfungen vorzustellen. Wie veranschaulichen Sie die Klasse NP-complete für Studenten...
Ich habe eine historische Frage. Ich versuche, die Referenz für die Tatsache zu bestimmen, dass die 3-Färbbarkeit von Graphen (alternativ Färbbarkeit für gegebenes ) NP-hart ist.kkkk ≥ 3k≥3k\geq 3 Die verlockende Antwort lautet „Karps Originalpapier“, aber das ist falsch. Hier ist ein Scan:...
Jede natürliche Zahl kann als Bitsequenz betrachtet werden. Die Eingabe einer natürlichen Zahl ist also die gleiche wie die Eingabe einer 0-1-Sequenz. Daher gibt es offensichtlich NP-vollständige Probleme mit natürlichen Eingaben. Aber gibt es irgendwelche natürlichen Probleme, dh solche, die keine...
Sei ein (Entscheidungs-) Problem in NP und sei # dessen Zählversion.XXXXXX Unter welchen Bedingungen ist bekannt, dass "X NP-vollständig ist" "#X ist # P-vollständig"?⟹⟹\implies Natürlich ist die Existenz einer sparsamen Reduktion eine solche Bedingung, aber dies ist offensichtlich und die einzige...
Es gab zwei Fragen vor kurzem auf cs.se gefragt , die entweder verwandt waren oder hatte einen Sonderfall entspricht folgende Frage: Angenommen, Sie haben eine Folge von n Zahlen, so dass ∑ n i = 1 a i = n ( n + 1 ) . Zerlegen Sie es in die Summe der beiden Permutationen π und σ von 1 … n , so dass...
Ist es sinnvoll, eine Kategorie aller NP-vollständigen Probleme zu betrachten, wobei Morphismen als Mehrfachzeitverkürzungen zwischen verschiedenen Instanzen gelten? Hat jemand jemals eine Veröffentlichung darüber veröffentlicht, und wenn ja, wo finde ich
Wir wissen, dass (siehe z. B. Theoreme 1 und 3 von [1]) unter geeigneten Bedingungen Funktionen, die von Turing-Maschinen in polynomieller Zeit effizient berechnet werden können ("effizient berechenbar"), durch polynomielle neuronale Netze ausgedrückt werden können mit vernünftigen Größen und kann...
Beim Lesen des Artikels "Ist es an der Zeit, den Sieg bei der Zählung der Komplexität zu erklären?" über an dem „Gödels verlorenen Brief und P = NP“ Blog, erwähnte sie die Dichotomie für CSPs. Nachdem ich ein paar Links gefolgt, gegoogelt und Wikipeds gemacht hatte, stieß ich auf Ladners Theorem :...
Bei einem gegebenen mmm von nnn binären Matrix MMM (Einträge sind 000 oder 111 ), ist das Problem , zu bestimmen , ob es existiert zwei binäre Vektoren v1≠v2v1≠v2v_1 \ne v_2 , so daß Mv1= Mv2Mv1=Mv2Mv_1 = Mv_2 (alle Operationen durchgeführt über ZZ\mathbb{Z} ). Ist das Problem NP-schwer? Es ist...