Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

3
Praktische Konsequenzen von
Hintergrund Die Schaltungskomplexität ist definiert als der Satz von Schaltungsfamilien (dh Folgen von Schaltungen, eine für jede Eingangsgröße) mit begrenzter Tiefe und Polynomgröße, die unter Verwendung von unbegrenztem Fan-In AND, OR und NOT erstellt wurden.AC0AC0AC^0 Die Paritätsfunktion mit Bit-Eingabe ist gleich dem XOR der Bits in der Eingabe.⊕⊕\oplusnnn Eine der …
2
Taxonomie bemerkenswerter Automaten mit regulären Ausdrücken
Ich versuche, eine Taxonomie von Algorithmen zur Umwandlung regulärer Ausdrücke in Automaten zu erstellen, um einige empirische Tests ihrer Komplexitätseigenschaften in bestimmten Bereichen durchzuführen. Mir sind einige der "größeren" Namen bekannt, z. Thompson "Regular Expression Search Algorithm", Thompson, 1968 Glushkov "Ein neuer quadratischer Algorithmus zur Umwandlung eines regulären Ausdrucks in …
3
Was ist ein gutes Wörterbuch für Kategorietheorie und Domänentheorie?
Wenn ich mich mit domänentheoretischen Kategorien befasse (z. B. CPO und CPO), wünsche ich mir häufig ein Wörterbuch für die Sprache der Kategorietheorie in der Domänentheorie.ωω\omega Das heißt, wenn ein Konzept gegeben ist, sagen wir monischer Pfeil, könnte ich es im Wörterbuch nachschlagen und sehen, welche Charakteristika es in den …
1
Berechnungsfolgen von Friedmans (unbeweisbarem) Upper Shift Fixed Point-Theorem?
Harvey Friedman zeigte, dass es ein ordentliches Fixpunktergebnis gibt, das in ZFC nicht bewiesen werden kann (die übliche Zermelo-Frankel-Mengenlehre mit dem Axiom of Choice). Viele moderne Logiken basieren auf Fixpunktoperatoren, daher habe ich mich gefragt: Gibt es irgendwelche bekannten Konsequenzen des Upper Shift Fixed Point-Theorems für die theoretische Informatik? Unbeweisbar …
1
Einheitliche Hierarchie von Problemen, die Komplexität und Rechenhierarchien umfassen
Kennt jemand eine Reihe von Problemen, die einheitlich variieren und eine der "interessanten" Hierarchien von Komplexität und Berechenbarkeit umfassen? Mit interessant meine ich zum Beispiel die Polynomhierarchie, die arithmetische Hierarchie oder die analytische Hierarchie. Oder vielleicht (N) P, (N) EXP, 2 (N) EXP, ……\ldots 0,0′,0′¯¯¯¯,0′′,0′′¯¯¯¯¯,…0,0′,0′¯,0″,0″¯,…0, 0', \overline{0'}, 0'', \overline{0''},\ldots Andererseits …
1
Abhängige Korrekturen bei der messungsbasierten Universal Blind Quantum Computation
In Universal Blind Quantum Computation beschreiben die Autoren ein messungsbasiertes Protokoll, das es einem fast klassischen Benutzer ermöglicht, beliebige Berechnungen auf einem Quantenserver durchzuführen, ohne fast irgendetwas über den Inhalt der Berechnung preiszugeben. In der Protokollbeschreibung erwähnen die Autoren jedem Qubit zugeordnete "Abhängigkeitssätze", die nach einer im Determinismus im Einwegmodell …
1
Endliche Einwegpermutation mit unendlicher Domäne
Sei π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^* eine Permutation. Beachten Sie, dass ππ\pi auf eine unendliche Domäne einwirkt, seine Beschreibung jedoch endlich sein kann. Mit Beschreibung meine ich ein Programm, das die Funktionalität von beschreibt ππ\pi. (Wie bei der Komplexität von Kolmogorov.) Siehe Erläuterungen unten. Zum Beispiel ist die NOT-Funktion eine …
1
Lockerung von
Ich habe eine Machbarkeitsfrage, die wie folgt gestellt werden kann. Ich erhalte einen Punkt in einem dimensionalen Vektorraum und möchte den Punkt , der am nächsten kommt und eine Reihe von " Einschränkungen" der Form erfülltd q p ℓ 0pppdddqqqpppℓ0ℓ0\ell_0 Bei einer Menge kann höchstens eines von ungleich Null sein.{ …
1
Welche Algorithmen / Lesestoffe würden Sie zum Auflösen von Transaktionen / Lese- / Schreibsperren empfehlen?
Eine vereinfachte klassische Datenbanktransaktion kann wie folgt angesehen werden: M Elemente lesen Durchführen einiger Berechnungen basierend auf diesen Lesevorgängen Schreiben einiger N-Ergebnisse basierend auf diesen Berechnungen, die die ursprünglich gelesenen Elemente enthalten können. Bei der Ausführung dieser Transaktionen (gleichzeitig) müssen die ACID- Eigenschaften beibehalten werden. Genau die gleichen Anforderungen (N …
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.