Rice’s Theorem verallgemeinert den Satz, dass das Anhaltsproblem nicht löslich ist . Es heißt, dass es für nicht triviale Eigenschaften kein allgemeines Entscheidungsverfahren gibt, das für alle Programme entscheidet, ob die vom Eingabeprogramm implementierte Teilfunktion diese Eigenschaft hat.
Welches Problem ist NP -Problem?
np ist eine Reihe von Problemen, die in der Polynomzeit durch eine nicht deterministische Turing-Maschine gelöst werden können. P ist eine Teilmenge von NP (jedes Problem, das durch deterministische Maschine in der Polynomzeit gelöst werden kann
Was ist ein NP-HART-Problem mit Beispiel?
Ein Beispiel für ein NP-HART-Problem ist Die Entscheidungsprobleme der Entscheidungsuntermenge : Fügt eine nicht leere Teilmenge von ihnen bei Null hinzu? Das ist ein Entscheidungsproblem und ist zufällig NP-Complete.
Woher wissen Sie, ob es ein NP -Problem ist?
Ein Problem wird als NP (nichtdeterministisches Polynom) bezeichnet, wenn seine Lösung in Polynomzeit erraten und verifiziert werden kann; Nichtdeterministisch bedeutet, dass keine bestimmte Regel befolgt wird, um die Vermutung zu erraten. Wenn ein Problem NP ist und alle anderen NP-Probleme polynomisch reduzierbar sind, ist das Problem NP-Vervollständigung.
Wie beweisen Sie Probleme mit dem Stalten von Problemen?
Beweis: Nehmen Sie an, einen Widerspruch zu erreichen, dass es ein -Programm -Halt (p, i) gibt, das das Stoppproblem löst , halt (p, i) zurück, wenn und nur P an I. anhält. Das angegebene Programm für das Problem mit dem Stoppen könnten die folgende Zeichenfolge/Code z: Programm (Zeichenfolge x) erstellen, wenn der Halt (x, x) dann für immer an sonst Stopp.
.Wird das Stoppproblem jemals gelöst?
Problem mit dem Stoppen ist vielleicht das bekannteste Problem, das sich als unentscheidbar erwiesen hat. Das heißt, Es gibt kein Programm, das das Stoppproblem für genügend Computerprogramme lösen kann.
Ist das Äquivalenzproblem NP-Hard?
Es ist eindeutig np-hard . Wenn wir eine schwarze Box hätten, die in der Zeit mit Fund-Subset-Sum in Einheiten löste, wäre es einfach, die Untergruppe zu lösen.
Ist Travel Salesman NP-Complete?
Travelling Salesman Optimization (TSP-OPT) ist ein NP-HART-Problem und Reiseverkäufer-Search (TSP) ist NP-Complete . TSP-OPT kann jedoch auf TSP reduziert werden, da TSP in Polynomzeit gelöst werden kann, dann kann TSP-OPT (1).
Warum ist Knapsack Problem NP-Hard?
Die benötigte Zeit erhöht den exponentiellen Begriff, daher ist es ein NPC -Problem. Dies liegt daran
ist NP gleich p?
NP-harte Probleme sind mindestens so schwierig wie NP-Probleme; d.h. alle NP -Probleme können (in der Polynomzeit) auf sie reduziert werden. … Wenn ein NP-Complete-Problem in P ist, würde dies dem p = np folgen. Es hat sich jedoch gezeigt, dass viele wichtige Probleme NP-Vervollständigung sind, und kein schneller Algorithmus für eine von ihnen ist bekannt.
Warum ist das Stoppproblem unentscheidbar?
Das Stoppproblem ist unentscheidbar: Proof
Da es keine Annahmen über die Art der Eingaben gibt, die wir erwarten, könnte die Eingabe D für ein Programm P selbst ein Programm sein. Compiler und Redakteure nehmen beide Programme als Eingaben.
Kann ein Quantencomputer das Stoppproblem lösen?
Nein, Quantencomputer (wie von Mainstream -Wissenschaftlern verstanden) Das Staltproblem nicht lösen . Wir können bereits Quantenschaltungen mit normalen Computern simulieren. Es dauert nur sehr lange, wenn Sie eine anständige Anzahl von Qubits erhalten. (Quantum Computing bietet exponentielle Beschleunigungen für einige Probleme.)
Was ist das Anstaltproblem für ein Beispiel?
Das Stoppproblem ist ein frühes Beispiel für ein Entscheidungsproblem und auch ein gutes Beispiel für die Grenzen des Determinismus in der Informatik.
Was sind die Konsequenzen des Staltenproblems?
Wenn wir uns auf das Stoppproblem für Turing -Maschinen beziehen, würde dies bedeuten, dass wir die Konsistenz der heutigen axiomatischen Systeme nur entscheiden können. Das heißt, die Mathematik kann sich radikal entwickeln, wenn ein Algorithmus, der das Anstiegsproblem für Turing -Maschinen löst, erfunden wurde.
Was sind unentscheidbare Probleme, ein Beispiel?
Beispiele: Dies sind wenige wichtige unentschlossene Probleme: Ob ein CFG alle Zeichenfolgen erzeugt oder nicht ? Da ein CFG unendliche Saiten erzeugt, können wir nie bis zur letzten Saite erreichen und daher ist es nicht entscheidbar. Ob zwei cfg l und m gleich?
Warum ist das Problem der Haltestelle wichtig?
Das Stoppproblem lässt uns die relativen Schwierigkeit von Algorithmen begründen. Es lässt uns wissen, dass es einige Algorithmen gibt, die es nicht gibt, dass wir manchmal nur ein Problem erraten und nie wissen, ob wir es gelöst haben.
ist das Problem rekursiv aufgezählt?
Die Sprachstillung entspricht dem Anhaltsproblem rekursiv aufzählbar , aber nicht rekursiv. Insbesondere der Universal TM akzeptiert Halt, aber kein TM kann sich entscheiden. Es gibt Sprachen, die nicht rekursiv aufgezählt werden, insbesondere der Sprachnotre im Beweis.
Wie beweisen Sie, dass ein Problem in NP liegt?
Der einfachste Weg, um ein Problem in NP zu beweisen, besteht darin, die in anderen Antworten erwähnte Zertifikatsdefinition von NP zu verwenden . Die nichtdeterministische Definition von NP ist normalerweise nicht sehr nützlich, um ein Problem zu zeigen
Wie beweisen Sie, dass ein Problem NP-Hard ist?
Um zu beweisen, dass das Problem A NP-HART ist, reduzieren Sie ein bekanntes NP-HART-Problem auf A. Mit anderen Worten, um zu beweisen, dass Ihr Problem schwierig ist, müssen Sie einen eksigen Algorithmus beschreiben, um ein eintreffendes Problem zu lösen , von dem Sie bereits wissen
Warum müssen wir NP -Vollständigkeit beweisen?
Nachweis eines Problems NP-Complete ist ein Forschungserfolg, da Sie von der Suche nach einer effizienten und genauen Lösung für das allgemeine Problem, das Sie untersuchen, suchen müssen.
Wofür steht P vs NP?
p ist die Reihe von Problemen, deren Lösungszeiten proportional zu Polynomen sind, an denen Ns beteiligt sind. … np (das für nicht deterministische Polynomzeit steht) ist die Reihe von Problemen, deren Lösungen in der Polynomzeit überprüft werden können. Soweit jeder, wie es irgendjemand beurteilen kann, benötigen viele dieser Probleme exponentielle Zeit, um zu lösen.
Was würde passieren, wenn P np gelöst würde?
Wenn P gleich NP ist, würde jedes np -Problem eine versteckte Verknüpfung enthalten, mit der Computer schnell perfekte Lösungen finden können. Wenn P jedoch nicht gleich NP ist, gibt es keine solchen Verknüpfungen, und die Problemlösungsbefugnisse der Computer bleiben grundlegend und dauerhaft begrenzt.