Als «lower-bounds» getaggte Fragen

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

3
Untere Schranken für Datenstrukturen
Sind Ergebnisse bekannt, die das Vorhandensein von "Too Good To Be True" -Datenstrukturen ausschließen? Beispiel: Kann man einer Auftragsverwaltungsdatenstruktur (siehe Dietz und Sleator STOC '87 ) die Funktionen und J o i n hinzufügen und trotzdem O ( 1 ) -Zeitoperationen erhalten ?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Oder: Kann man eine geordnete Menge mit …
2
Ist es möglich, Zufallsbeschränkungen zu verwenden, um eine Untergrenze für
Es gibt mehrere bekannte -Schaltungsgrößen-Untergrenzen-Ergebnisse, die auf Zufallsbeschränkungen und dem Umschalt-Lemma basieren .AC0AC0\mathsf{AC^0} Können wir ein Switching-Lemma-Ergebnis entwickeln, um eine Größenuntergrenze für -Schaltungen zu beweisen (ähnlich zu den Untergrenzenbeweisen für A C 0 )?TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Oder gibt es ein inhärentes Hindernis bei der Verwendung dieses Ansatzes zum Nachweis von -Untergrenzen?TC0TC0\mathsf{TC^0} Sagen …
2
Einfacher Nachweis von Ω (n lg n) im ungünstigsten Fall für die Eindeutigkeit / Unterscheidbarkeit?
Es gibt mehrere Beweise für die loglineare Untergrenze für das Problem der Eindeutigkeit / Unterscheidbarkeit von Elementen (basierend auf algebraischen Berechnungsbäumen oder widersprüchlichen Argumenten), aber ich suche einen, der einfach genug ist, um in einem ersten Kurs in Algorithmenanalyse und -design verwendet zu werden. Der gleiche „Schwierigkeitsgrad“ wie die untere …
1
Komprimieren von Informationen zum Problem des Anhaltens von Oracle Turing-Maschinen
Das Stopp-Problem ist bekanntermaßen nicht berechenbar. Es ist jedoch möglich, Informationen über das Problem des Anhaltens exponentiell zu "komprimieren", so dass das Dekomprimieren berechenbar ist. Genauer gesagt ist es möglich, aus einer Beschreibung von Turing-Maschinen und einem Bit-Hinweis die Antwort auf das Halteproblem für alle Turing-Maschinen zu berechnen , vorausgesetzt, …
3
Eigenschaften, die in 2-CNF oder 2-SAT ausgedrückt werden können
Wie zeigt man, dass eine bestimmte Eigenschaft nicht in 2-CNF (2-SAT) ausgedrückt werden kann? Gibt es irgendwelche Spiele, wie zum Beispiel Kieselspiele? Das klassische Schwarzkieselspiel und das Schwarz-Weißkieselspiel scheinen dafür ungeeignet zu sein (laut Hertel und Pitassi, SIAM J of Computing, 2010, sind sie PSPACE-vollständig). Oder andere Techniken als Spiele? …
1
Monotone Schaltungskomplexität von Rechenfunktionen an spärlichen Eingängen
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph eine Klasse hat, für monotone Schaltkreise schwierig …
2
Welche Probleme in der Rechengeometrie oder der Graphentheorie werden mit
Dies ist als Folgefrage zu Robin Kotharis vorherigem Beitrag zu Ergebnissen der Polynomzeithärte gedacht . Insbesondere bin ich daran interessiert, einige Härtebeweise für Probleme zu sehen, von denen angenommen wird, dass sie ungefähr untere Schranken haben, und ich sage ungefähr, um geringfügige subkubische Verbesserungen zuzulassen, indem ich mit der Wortgröße …
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.