In Hromkovičs Algorithmics for Hard Problems (2. Auflage) gibt es diesen Satz (2.3.3.3, Seite 117): Es gibt ein (entscheidbares) Entscheidungsproblem so dass es für jeden Algorithmus , der löst, einen anderen Algorithmus , der auch löst und zusätzlich erfülltAPPPEINAAA ' PPPPEIN′A′A'PPP ∀∞n∈N.TimeA′(n)=log2TimeA(n)∀∞n∈N.TimeA′(n)=log2TimeA(n)\qquad \forall^\infty n \in \mathbb{N}. \mathrm{Time}_{A'}(n) = \log_2 \mathrm{Time}_A(n) …
Das Sipser-Buch "Einführung in die Berechnungstheorie" auf Seite 286 enthält eine Reduktion von 3SAT zu Hamilton-Pfadproblem. Gibt es eine einfachere Reduzierung? Mit einfacher meine ich eine Reduktion, die (für Studenten) leichter zu verstehen wäre. Gibt es eine Reduktion, die eine lineare Anzahl von Variablen verwendet? Die Reduktion von Sipser verwendet …
Mein Ziel ist es, das folgende Problem zu lösen, das ich durch seine Eingabe und Ausgabe beschrieben habe: Eingang: Ein gerichteter azyklischer Graph mit Knoten, Quellen und Senke ( ).GGGmmmnnn111m > n ≥ 1m>n≥1m > n \geq 1 Ausgabe: Die VC-Dimension (oder eine Annäherung davon) für das neuronale Netzwerk mit …
Dank des Max-Flow-Min-Cut-Theorems wissen wir, dass wir jeden Algorithmus verwenden können, um einen maximalen Fluss in einem Netzwerkgraphen zu berechnen, um einen -Min-Cut zu berechnen . Daher ist die Komplexität der Berechnung eines minimalen ( s , t ) -Flusses nicht größer als die Komplexität der Berechnung eines maximalen ( …
Ich interessiere mich für eine kleine Variante des Kachelns, das "Puzzle": Jede Kante eines (quadratischen) Kachels ist mit einem Symbol aus und zwei Kacheln können nebeneinander platziert werden, wenn das Symbol an der gegenüberliegenden Kante einer Kachel und das Symbol an der gegenüberliegenden Kante der anderen Kachel , für einige …
Wikipedia definiert es so Ein Algorithmus hat eine Polynomzeit, wenn seine Laufzeit durch einen Polynomausdruck in der Größe der Eingabe für den Algorithmus nach oben begrenzt ist, dh für eine Konstante k.T( n ) = O ( nk)T(n)=Ö(nk)T(n) = O(n^k) Der Algorithmus läuft in stark polynomieller Zeit, wenn [8] Die …
Die existenzielle Theorie der Realitäten ist in PSPACE , aber ich weiß nicht, ob sie PSPACE-vollständig ist . Wenn ich glaube, dass es nicht der Fall ist, wie könnte ich es beweisen? Wie kann ich generell nachweisen, dass es sich bei einem Problem der Komplexitätsklasse X nicht um X-Complete handelt …
Wie aus meiner vorherigen Frage hervorgeht , habe ich mit der Riemannschen Hypothese als Frage der Freizeitmathematik gespielt. Dabei bin ich zu einer interessanten Wiederholung gekommen und bin gespannt auf seinen Namen, seine Verringerungen und seine Fähigkeit, die Lücke zwischen Primzahlen zu schließen. Um genau zu sein, wir können die …
In Lehrbüchern wird überall davon ausgegangen, dass das Bounded Post Correspondence Problem NP-vollständig ist (nicht mehr als Indizes mit Wiederholungen zulässig). Nirgends wird jedoch eine einfache (wie für einen Studenten verständliche) Reduzierung der Polynomzeit durch ein anderes NP-vollständiges Problem gezeigt.NNN Allerdings ist jede Reduzierung, die ich mir vorstellen kann, in …
Ich habe irgendwo gelesen , dass der effizienteste Algorithmus gefunden können die Faktoren berechnen Zeit, aber der Code , den ich geschrieben habe , ist O ( n ) oder Möglicherweise O ( n log n ), je nachdem, wie schnell Division und Modul sind. Ich bin mir ziemlich sicher, …
Gibt es eine allgemeine Methode, um zu beweisen, dass ein Problem NICHT NP-vollständig ist? Ich habe diese Frage in der Prüfung erhalten, in der ich gefragt wurde, ob ein Problem (siehe unten) NP-Complete ist. Ich konnte mir keine wirkliche Lösung vorstellen und habe nur bewiesen, dass es in P. war. …
Das Theorem von Galois besagt effektiv, dass man die Wurzeln eines Polynoms von Grad> = 5 nicht mit rationalen Funktionen von Koeffizienten und Radikalen ausdrücken kann. Betrachten wir nun eine Entscheidungsfrage der Form: "Wenn ein reelles Wurzelpolynom ppp und eine Zahl k gegeben sind, ist die dritt- und vierthöchste Wurzel …
Wir sagen , dass die Sprache ist dicht , wenn es ein Polynom existiert , so dass für alleMit anderen Worten, für eine gegebene Länge existieren nur polynomisch viele Wörter der Länge , die nicht inJ⊆ & Sgr;∗J⊆Σ∗J \subseteq \Sigma^{*}| J c ∩ Σ n | ≤ p ( n …
Sei eine feste zeitkonstruierbare Funktion.fff Das klassische universelle Simulationsergebnis für TMs (Hennie und Stearns, 1966) besagt, dass es ein solches Zwei-Band-TM gibtUUU Die Beschreibung eines TM und⟨ M⟩⟨M⟩\langle M \rangle eine Eingabezeichenfolge ,xxx läuft für Schritte und gibt die Antwort von M auf x zurück . Und für g kann …
Eine asymptotische Untergrenze wie Exponentialhärte impliziert im Allgemeinen, dass ein Problem "von Natur aus schwierig" ist. Verschlüsselung, die "von Natur aus schwierig" zu knacken ist, gilt als sicher. Eine asymptotische Untergrenze schließt jedoch nicht aus, dass eine große, aber begrenzte Klasse von Probleminstanzen einfach ist (z. B. alle Instanzen mit …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.