Theoretische Informatik

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

1
Schwerwiegende Fehler in akzeptierten FOCS / STOC-Papieren [geschlossen]
Aus heutiger Sicht passt diese Frage nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich Debatten, Argumente, Abstimmungen oder erweiterte Diskussionen hervorrufen. Wenn Sie der Meinung sind, dass diese Frage verbessert und möglicherweise erneut geöffnet werden …
2
Gibt es eine Ausdruckshierarchie für Typsysteme?
Inspiriert von den umfangreichen Hierarchien in der Komplexitätstheorie, habe ich mich gefragt, ob solche Hierarchien auch für Typsysteme vorhanden sind. Die beiden Beispiele, die ich bisher gefunden habe, ähneln jedoch eher Checklisten (mit orthogonalen Merkmalen) als Hierarchien (mit immer aussagekräftigeren Schriftsystemen). Die beiden Beispiele, die ich gefunden habe, sind der …
5
Universelle Torsätze für SU (3)?
In der Quantenverarbeitung sind wir häufig an Fällen interessiert, in denen eine Gruppe von speziellen Einheitsoperatoren G für ein d-dimensionales System entweder die gesamte Gruppe SU (d) genau oder nur eine Näherung liefert, die durch eine dichte Abdeckung von SU (d) gegeben ist. Eine Gruppe endlicher Ordnung wie die Clifford-Gruppe …
3
Konvexer Körper mit minimal erwarteter l2-Norm
Man betrachte einen konvexen Körper , der im Ursprung zentriert und symmetrisch ist (dh wenn dann ). Ich möchte einen anderen konvexen Körper so dass und das folgende Maß minimiert werden:KKKx∈Kx∈Kx\in K−x∈K−x∈K-x\in KLLLK⊆LK⊆LK\subseteq L xf(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}) , wobei ein Punkt ist, der gleichmäßig zufällig aus L ausgewählt wird.xxx Ich …
2
Bälle und Bins Analyse in der
Angenommen, wir werfen Bälle in Fächer, in denen . Sei die Anzahl der Bälle, die in Bin enden , der schwerste Bin, X_ \ min der leichteste Bin und X_ {\ mathrm {sec-max}} der zweitschwerste Bin. Grob gesagt, X_i - X_j \ sim N (0,2m / n) , und so …
10
Damit eine Sprache programmierbar ist, muss sie auf einer kontextfreien Grammatik basieren
Ist es für eine Sprache, die schließlich in Anweisungen auf Systemebene kompiliert / umgewandelt werden kann, praktisch erforderlich, dass es sich um eine kontextfreie Grammatik handelt? Beispiel: Sind alle Programmier- / Skriptsprachen kontextfrei? Java basiert auf CFGs, aber ist es tatsächlich so, dass alle Programmiersprachen auf CFGs basieren? Es scheint …
2
Was ist das Volksmodell der linearen Logik?
Wahrscheinlich ist die häufigste Anwendung von linearen Typen in PL, sie zu verwenden, um Sprachen zu geben, die das Aliasing steuern (dh ein linearer Wert hat mehr oder weniger einen einzelnen Zeiger darauf). Es gibt jedoch eine leichte Abweichung zwischen dieser Verwendung und typischen Denotationsmodellen der linearen Logik. IIRC, Benton …
1
Logspace-Algorithmen für Diagramme mit begrenzter Baumbreite
Die Baumbreite misst, wie nah ein Diagramm an einem Baum ist. Es ist NP-schwer, die Baumbreite zu berechnen. Der bekannteste Näherungsalgorithmus erreicht Faktor.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelles Theorem besagt, dass jede Eigenschaft von Graphen, die in der monadischen Logik zweiter Ordnung (MSO2) definierbar ist, in linearer Zeit für jede Klasse von Graphen mit …
1
Ist
In der Umfrage "Small Depth Quantum Circuits" von D. Bera, F. Green und S. Homer (S. 36 von ACM SIGACT News, Juni 2007, Bd. 38, Nr. 2) las ich den folgenden Satz: Die klassische Version von (in der A N D - und O R -Tore höchstens ein konstantes Fanout …
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.