Theoretische Informatik

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

3
Der Nachweis von Sprunglisten ist in der Erwartung stark gewichtsausgeglichen
Wie groß ist bei einer Sprungliste mit der Höhe nnn die erwartete Länge innerhalb eines konstanten (multiplikativen) Faktors? In Abschnitt 2.2 von Cache-Oblivious B-Trees werden stark gewichtsausgeglichene Suchbäume wie folgt definiert: Für eine Konstante ddd , jeder Knoten vvv in der Höhe hhh hat Θ(dh)Θ(dh)\Theta(d^h) Nachkommen. Sie behaupten: Suchbäume, die …
1
VC-Dimension von Zylindern innerhalb eines Zylinders
Ich möchte die VC-Dimension eines Bereichsraums der wie folgt aufgebaut ist:( X., R )(X,R)(X,\mathcal{R}) { ( x , y , z ) ∈ R 3 | x 2 + y 2 ≤ 1 }X.XX ist der Zylinder {(x,y,z)∈R3|x2+y2≤1}{(x,y,z)∈R3|x2+y2≤1}\{(x,y,z)\in\mathbb{R}^3|x^2+y^2\leq 1\} Die Bereiche in werden gebildet, indem die Vereinigung von Kreisscheiben so …
2
Techniken zum Nachweis von Grenzen der Integritätslücke in LP (SDP)
Ein Verweis auf Techniken zum Nachweis, dass die Größe einer Integritätslücke durch einen Ausdruck für eine bestimmte LP (oder SDP, aber weniger wichtig) begrenzt ist, ist erforderlich. Es wäre auch schön, einen Verweis auf einen Ort zu haben, an dem Techniken zur Minimierung von Integritätslücken beschrieben werden. Ich bin neu …
2
Approximationsalgorithmen für MAXSAT
Der Versuch, die optimale Lösung für WEIGHTED-MAX-3SAT, die gewichtete Version des 3-SAT-Optimierungsproblems, zu finden, ist NP-schwer. Tatsächlich ist es nach dem PCP-Theorem nachweislich NP-schwer, die nicht gewichtete Version von MAX-SAT willkürlich gut zu approximieren. Ein kanonischer Algorithmus zur Approximation von WEIGHTED-MAX-3SAT ist MAX-WalkSAT. Als ich mich umsah, fand ich einige …
4
Zwischen- / Codierungsdarstellung für Levenshtein-Entfernung
Die Phrasen: Der schnelle Braunfuchs springt über den faulen Hund [A] und Der schnelle braune Fuchs springt über den faulen Hund [B] kann unter Verwendung des Levenshtein-Entfernungsalgorithmus verglichen werden, um die Ähnlichkeit zu bestimmen, indem die minimale Anzahl von Hinzufügungen, Löschungen oder Ersetzungen einzelner Zeichen berechnet wird, die erforderlich sind, …
3
Wiederholtes Quine-Programm
Ein Quine ist ein Computerprogramm, das als einzige Ausgabe eine Kopie seines eigenen Quellcodes erstellt. Gibt es ein Quine-Programm, das sich n-mal ausdrucken könnte, wobei n auf irgendeine Weise im Programm angegeben ist?
1
Schaltungskomplexität und statistische Tests
Vor einigen Jahren nahm ich an einem Kurs über Komplexitätstheorie von Steven Rudich teil, und ich erinnere mich, dass er einen interessanten Vortrag hielt, in dem statistische Tests (wie sie in statistischen Abteilungen zu finden sind!) Mit der Komplexität von Schaltkreisen in Verbindung gebracht wurden. Ich erinnere mich, dass er …
4
Einfache Frage zu Entscheidungsproblemen
(Ich bin mitten in meinem ersten theoretischen CSS-Kurs, also entschuldige ich mich im Voraus für die wahrscheinlich dumme Frage.) Wir sagen also, dass eine Sprache L in P ist, was bedeutet, dass eine Turing-Maschine konstruiert werden kann, die eine 1 ausgibt, wenn x in L ist und andernfalls 0; Außerdem …
2
Spielesemantik für koinduktive Prädikate
Kennt jemand Arbeiten zur Spielesemantik für koinduktive Prädikate? Ein koinduktives Prädikat ist eines, bei dem das Prädikat selbst im Körper des Prädikats aufgerufen wird, und wir nehmen die Bedeutung des Prädikats als den größten Fixpunkt der zugrunde liegenden Definition. Ein solches Prädikat wird über eine unendliche Datenstruktur definiert, wie beispielsweise …
8 lo.logic 
2
QMA verstehen
Diese Frage ergibt sich aus einer Antwort, die Joe Fitzsimons auf eine andere Frage gab . Die meisten Klassen für natürliche Komplexität haben eine einzeilige "intuitive Beschreibung", mit deren Hilfe Kernprobleme in dieser Klasse charakterisiert werden können. Bei NP geht es um "effiziente Verifizierung", bei #P um "Aufzählen von Lösungen", …
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.