Als «lower-bounds» getaggte Fragen

Fragen zu Untergrenzen von Funktionen, normalerweise zur Komplexität eines Algorithmus oder eines Problems

2
Gibt es eine Erklärung für die Schwierigkeit, quadratische Untergrenzen für interessante NP-Probleme zu beweisen?
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 Leute interessieren, und versuchen, bessere Algorithmen zu entwerfen. Unsere Vermutung der Exponential Time Hypothesis …
1
Untergrenzen für das Lernen in der Mitgliedschaftsabfrage und im Gegenbeispielmodell
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 vorgeschlagenen Funktionen DFAs sind) mit O ( m n 2 ) …
1
Untergrenzen für nichtdeterministische Mehrparteienkommunikation
Dies ist eine Fortsetzung meiner vorherigen Frage zur Kommunikationsuntergrenze für partielle Boolesche Funktionen . Kann jemand einen Hinweis auf Untergrenzen für nichtdeterministische Mehrparteienkommunikation vorschlagen? Ich habe die Arbeiten auf dem Gebiet untersucht, aber jeder scheint Trennungen des folgenden Typs aufzuweisen: eine Untergrenze für ein randomisiertes Protokoll und eine (kleinere) Obergrenze …
1
Verwenden Sie die Kolmogorov-Komplexität, um die unteren Grenzen der Beweiskomplexität festzulegen?
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 zufällig sind und nicht komprimiert werden können. Gibt es eine …
2
2DFA, die viele Zustände in äquivalentem DFA erfordert?
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 bewegen darf, im Gegensatz zu Finite-State-Automaten, die den Eingangskopf …
1
Wie viele disjunkte Kantenschnitte muss eine DAG haben?
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ür das STCONN- Problem . t Θ ( n 3 )ssstttΘ ( n3)Θ(n3)\Theta(n^3) …
2
Was passiert, wenn wir die Sätze der Zeithierarchie verbessern?
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(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)). NTIME(f(n)) \subsetneq NTIME(g(n)). Es gibt viele (alte und aktuelle) Ergebnisse, die die Zeithierarchiesätze verwenden, um untere Grenzen zu beweisen. Hier sind meine Fragen: Was …
2
Untergrenzen für lineares Erfüllbarkeitsproblem
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 hinter dem Weg erklären, der genommen wurde, um diese Bindung …
1
Ist die Kolmogorov-Komplexität der Wahrheitstabellen des Halteproblems asymptotisch bekannt?
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, und eine TM mit dieser Zeichenfolge hartcodierte der Lage wäre …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.