Die Motivation für diese Frage ist die Tatsache, dass die meisten n-Bit-Strings inkompressibel sind. Intuitiv können wir analog vorschlagen, dass die meisten Beweise für Tautologien für die Polynomgröße inkompressibel sind. Grundsätzlich ist meine Intuition, dass einige Beweise von Natur aus...
Dies ist eine Fortsetzung meiner vorherigen Frage: Bekannteste deterministische Zeitkomplexitätsuntergrenze für ein natürliches Problem in NP Ich finde es verwirrend, dass wir keine quadratische deterministische Zeituntergrenze für ein interessantes NP-Problem nachweisen konnten, für das sich die...
Dana Angluin ( 1987 ; pdf ) definiert ein Lernmodell mit Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einer vorgeschlagenen Funktion). Sie zeigt, dass eine reguläre Sprache, die durch einen minimalen DFA von Zuständen dargestellt wird, in Polynomzeit (wobei die...
Die folgende Frage an die Optimalitäts des Bellman-Ford im Zusammenhang - kürzester Weg dynamischen Programmier - Algorithmus (siehe diesen Beitrag für eine Verbindung). Eine positive Antwort würde auch bedeuten, dass die minimale Größe eines monotonen nichtdeterministischen Verzweigungsprogramms...
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))es ist NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n))....
Gibt es eine 2DFA mit Zuständen (wobei n nicht trivial ist, sagen wir mindestens 4), für deren Simulation mindestens 2 n Zustände erforderlich sind ?nnnnnn2n2n2^n Ein Zwei-Wege-DFA (2DFA) ist ein deterministischer Finite-State-Automat, der sich auf seinem schreibgeschützten Eingabeband hin und her...
In SODA 1995 zeigte Jeff Erickson Untergrenzen für die lineare Erfüllbarkeit (Überprüfung, ob eine Teilmenge von reellen Zahlen eine lineare Gleichung für Variablen erfüllt ). Die Beweismethode verwendet Infinitesimale und das Übertragungsprinzip von Tarski .n rrrrnnnrrr Könnte jemand die Intuition...
Es sei HALTnHALTnHALT_n die Zeichenkette der Länge 2n2n2^n , die der Wahrheitstabelle des Halteproblems für Eingaben der Länge nnn . Wenn die Sequenz der Kolmogorov Komplexitäten K(HALTn)K(HALTn)K(HALT_n) waren O(1)O(1)O(1) , dann einer der Ratschläge Saiten unendlich oft verwendet werden würde,...
Ich würde gerne den aktuellen Zustand des Phasenübergangs für zufälliges k-sat bei n Variablen und m Klauseln kennen, was das bekannteste c = m / n für obere und untere Grenzen
Mit dem Zeithierarchiesatz kann man zeigen, dass es beispielsweise Probleme in P gibt, die von einer Turing-Maschine nicht in einer Zeit gelöst werden können, die kleiner als const * n ^ 2 ist. Aber geben Sie der Turing-Maschine einige Ratschläge und alle Wetten sind geschlossen. Man kann noch...
Ich bin auf die folgende Frage gestoßen, die eine einfache Übung ist (Spoiler unten). Wir erhalten Instanzen des Stoppproblems (dh TMs ), und wir müssen genau entscheiden, welche von ihnen auf anhalten . Das heißt, wir müssen ausgeben . Wir bekommen ein Orakel für das Problem des Anhaltens, aber...
Ich glaube , die Antworten auf diese Frage geben Klassen so dass für alle Polynome , gibt es ein Problem in der Klasse ist , die nicht über Schaltungen der Größe p ( n ) . Ich frage jedoch nach der Schaltungsgröße ωpppp ( n )p(n)p(n) .ω( n )ω(n)\omega \hspace{.02 in}(n) (⟨00,11,...
In der Entscheidungsbaumkomplexität einer Booleschen Funktion besteht eine sehr bekannte Methode der unteren Grenze darin, ein (ungefähres) Polynom zu finden, das die Funktion darstellt. Paturi gab eine Charakterisierung für symmetrische boolesche (Teil- und Gesamt-) Funktionen in Form einer mit...
Ich bin verwirrt. Ich möchte beweisen, dass das Problem der Sortierung einer nach Matrix, dh der Zeilen und Spalten in aufsteigender Reihenfolge, . Ich gehe davon aus, dass dies schneller als und versuche, die Untergrenze von Für Vergleiche zu verletzen, die zum Sortieren von m Elementen...
Es ist bekannt , dass beschränkte Fehler quantum query Komplexität der Funktion ist , Θ ( √OR(x1,x2,…,xn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n). Nun ist die Fragewas passiertwenn wir unser Quantenalgorithmus für jede Eingabe mitWahrscheinlichkeit erfolgreich sein wollen1-εanstatt der üblichen2/3....
Bearbeiten: Es gibt jetzt eine Folgefrage zu diesem Beitrag. Definitionen Sei und ganze Zahlen. Wir verwenden die Notation .k [ i ] = { 1 , 2 , . . . , i }ccckkk[i]={1,2,...,i}[i]={1,2,...,i}[i] = \{1,2,...,i\} Eine Matrix wird als to- Farbmatrix bezeichnet, wenn Folgendes gilt:M = ( m i , j ) c...
Zwei Stapel können mithilfe eines Arrays mit fester Größe effizient implementiert werden: Stapel Nr. 1 beginnt am linken Ende und wächst nach rechts, und Stapel Nr. 2 beginnt am rechten Ende und wächst nach links. Ist das gleiche für drei Stapel möglich? Insbesondere ist es möglich, drei Stapel...
Ich suche eine Referenz für die (klassische) einseitig randomisierte Kommunikationskomplexität der Disjunktheit, wenn das Universum groß sein kann. Angenommen, Alice und Bob haben beide Mengen der Größe mmm aus einem Universum der Größe UUU und Bob möchte feststellen, ob der Schnittpunkt ihrer...
Ist die Kommunikationskomplexität (CC) der einzige bekannte Ansatz für Streaming-Algorithmen? Gibt es andere Techniken, auch wenn bedingte Untergrenzen? Sind wir im Allgemeinen mit den über CC erzielten Fortschritten zufrieden? Oder nach alternativen Techniken zu suchen (auch wenn diese bedingt...
Dies ist eine Neufassung einer anderen meiner jüngsten Fragen [1], die nicht gut formuliert wurde (sie hatte eine halb offensichtliche Vereinfachung, mea culpa), aber ich denke, es gibt immer noch eine nicht triviale Frage im Kern. habe ähnliche Probleme in der Literatur gesehen, aber nicht dieses...