Ein Turing-Maschinenalgorithmus mit Polynomzeit wird als effizient angesehen, wenn seine Laufzeit im schlimmsten Fall durch eine Polynomfunktion in der Eingabegröße begrenzt ist. Mir ist die starke These von Church-Turing bekannt: Jedes vernünftige Rechenmodell kann auf Turing-Maschinen effizient...
Ich habe eine Hausaufgabe, gegen die ich mich schon seit einiger Zeit mit dem Kopf geschlagen habe, und ich würde mich über Hinweise freuen. Es geht darum, ein bekanntes Problem auszuwählen, dessen NP-Vollständigkeit nachgewiesen ist, und eine Reduktion von diesem Problem auf das folgende Problem...
Angenommen, ich bekomme eine endliche Menge von Punkten p1,p2,..pnp1,p2,..pnp_1,p_2,..p_n in der Ebene und gebeten, eine doppelt differenzierbare Kurve C(P)C(P)C(P) durch die zu zeichnen pipip_i, so dass ihr Umfang so klein wie möglich ist. Angenommen, und , kann ich dieses Problem wie folgt...
Laut dem Wikipedia-Artikel über Polynom-Zeit-Approximationsschemata : Alle Probleme in FPTAS sind mit festen Parametern nachvollziehbar. Dieses Ergebnis überrascht mich - diese Klassen scheinen sich völlig zu unterscheiden. FPTAS charakterisiert Probleme dadurch, wie einfach sie zu approximieren...
Ich interessiere mich für die Eigenschaften einer Klasse von zweigeteilten Graphen denen alle Knoten in X 3-regulär sind, alle Knoten in Y 2-regulär sind und | X | = | 2 Y / 3 | . Erstens: Ist dies eine bekannte Klasse von Graphen? Zweitens,G(X∪Y,E)G(X∪Y,E)G(X \cup Y,
Ich frage mich, ob es -harte Probleme gibt, die im Durchschnitt "polynomisch" sind. Ich denke, es gibt zwei Möglichkeiten, dies zu interpretieren.NPNPNP Wenn , kann es einen Algorithmus geben, der ein N P -hartes Problem mit einer amortisierten (Durchschnittsfall) Laufzeit von O ( n k ) für eine...
Moderne SAT-Löser sind sehr gut darin, viele reale Beispiele für SAT-Instanzen zu lösen. Wir wissen jedoch, wie man harte generiert: Verwenden Sie beispielsweise eine Reduzierung vom Factoring auf SAT und geben Sie die RSA-Nummern als Eingabe an. Dies wirft die Frage auf: Was ist, wenn ich ein...
Bei der Arbeit wurde ich beauftragt, einige Typinformationen über eine dynamische Sprache abzuleiten. Ich schreibe Folgen von Anweisungen in verschachtelte letAusdrücke um, wie folgt: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z =>...
Unterscheidet sich das Problem der Bestimmung, ob ein gegebener Boolescher Ausdruck rechnerisch erfüllt werden kann oder nicht, davon, tatsächlich eine Lösung für den Ausdruck zu finden? Mit anderen Worten, gibt es eine andere Möglichkeit festzustellen, dass ein bestimmter Ausdruck erfüllt werden...
Der Complexity Zoo definiert als die Klasse von Entscheidungsproblemen, die von einer deterministischen Turing-Maschine in linearer Zeit gelöst werden können.L ichN.LINLIN L ichN.⊆ P.LIN⊆PLIN \subseteq P Da HORN-SAT in lösbar ist (wie in linearen Zeitalgorithmen zum Testen der Erfüllbarkeit von...
Aus Wikipedia : Die Art des Rechenproblems: Die am häufigsten verwendeten Probleme sind Entscheidungsprobleme . Komplexitätsklassen können jedoch basierend auf Funktionsproblemen, Zählproblemen, Optimierungsproblemen, Versprechenproblemen usw. definiert werden. Ich habe auch gesehen, dass die...
Gibt es bekannte Algorithmen, die ein NP-vollständiges Problem korrekt mit "Ja" ausgeben, ohne implizit ein Zertifikat zu generieren? Ich verstehe, dass es einfach ist, ein Erfüllbarkeits-Orakel in einen Finder für zufriedenstellende Zuweisungen zu verwandeln: Iterieren Sie einfach die Variablen...
Ich muss wissen, welche Klasse von CFL geschlossen ist, dh welche Menge ist eine Ergänzung von CFL. Ich weiß, dass CFL nicht unter Komplement geschlossen ist, und ich weiß, dass P unter Komplement geschlossen ist. Da CFL PI sagen kann, dass das Komplement von CFL in P enthalten ist (richtig?). Es...
Ich habe mehrmals gelesen, dass es nicht möglich ist, die Antwort eines NDTM effizient umzudrehen. Ich verstehe jedoch nicht warum. Bei einem NDTM , das in O ( n ) ausgeführt wird , heißt es in diesem Text (Abschnitt 3.3) beispielsweise, dass unklar ist, wie ein anderes NDTM T in Zeit bestimmen...
In der Testrunde zum Google Hash Code 2015 ( Problemstellung ) wurde nach folgendem Problem gefragt: Eingabe: ein Gitter mit einigen markierten Quadraten, eine Schwelle T ∈ N , eine maximale Fläche A ∈ N.M.M.MT.∈ N.T.∈N.T \in \mathbb{N}A ∈ N.EIN∈N.A \in \mathbb{N} Ausgabe: Die größtmögliche...
Gibt es eine einfache Möglichkeit zu erkennen, warum NP in EXPTIME ist? Es scheint mir a priori denkbar, dass es ein Problem geben könnte, dessen Lösung eine überexponentielle Zeit erfordert, dessen Lösung jedoch in Polynomzeit verifiziert werden
Ich eine Menge , eine ganze Zahl und nicht negative ganze Zahlen a_ {ij} . Mein Problem besteht darin, s disjunkte Teilmengen S_j von \ {1, \ ldots, k \} so zu finden, dass:s ⩽ k a i j s S j { 1 , … , k }A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\}s⩽ks⩽ks\leqslant
Bei Jobs J 1 , J 2 , . . . , J n , jeder Job benötigt T i > 0 , T i ∈ N Zeit, um abgeschlossen zu werden.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Jeder Auftrag muss von einer einzelnen Maschine M vor- und nachbearbeitet werden, die jeweils nur einen...
In Anbetracht der Tatsache , dass - t Pfad Aufzählung a # P-vollständigen Problem ist, könnte es effiziente Methoden sein , dass Compute (oder zumindest ungefähr) die durchschnittliche Länge s - t Weg ohne sie aufzählt? Was ist, wenn Pfade Scheitelpunkte erneut besuchen dürfen?ssstttsssttt...
Jeder kennt "Garey & Johnson", auf das ich mich immer dann beziehe, wenn ich ein Problem für die Transformation eines NP-Härtebeweises benötige. In letzter Zeit benötige ich jedoch einen APX-Härtebeweis und frage mich, ob es eine ähnliche (und aktuellere ..?) Sammlung von Problemen gibt, die...