Theoretische Informatik

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

2
Kanalcodierungsergebnisse unter Verwendung der Kolmogorov-Komplexität
Normalerweise wird die Shannon-Entropie verwendet, um die Ergebnisse der Kanalcodierung zu beweisen. Auch für die Trennung von Quellkanälen wird die Shannon-Entropie verwendet. Hat es eine Studie gegeben, um die Komplexität von Kolmogorov für diese Ergebnisse zu nutzen (oder zumindest den Quellcodierungsteil in den Quellkanaltrennungsergebnissen zu ersetzen), da Shannon (global) und …
1
Übergang von Quanten- zu klassischen Zufallsläufen
Schnellversion Gibt es Modelle von Dekohärenz für den Quanten Spaziergang auf der Linie , so dass wir können , stimmen die zu Fuß zur Ausbreitung als Θ(tk)Θ(tk)\Theta(t^k) für jedes 1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 ? Motivation Klassische Random-Walks sind beim Algorithmus-Design nützlich, und Quanten-Random-Walks haben sich als nützlich erwiesen, um …
1
Irgendwelche Ergebnisse auf binärem booleschen CSP jenseits der Traktierbarkeit fester Parameter von fast 2SAT-Problemen?
Sei eine 2CNF-Formel und k eine nichtnegative ganze Zahl. Es ist in diesem Aufsatz bewiesen , dass das Problem der Entscheidung, ob höchstens k- Klauseln gelöscht werden können , um φ zufriedenstellend zu machen , mit festen Parametern bewerkstelligt werden kann, wobei k der Parameter ist. Meine Frage ist, ob …
1
Warum ist Feige-Fiat-Shamir nicht Zero Knowledge ohne Vorzeichen?
In Kapitel 10 von HAC (10.4.2) sehen wir das bekannte Feige-Fiat-Shamir-Identifikationsprotokoll, das auf einem Null-Wissens-Beweis basiert, der die (angenommene) Schwierigkeit nutzt, Quadratwurzeln zu extrahieren, die modulo ein Composite sind, das schwer zu faktorisieren ist. Ich werde das Schema in meinen eigenen Worten wiedergeben (und es hoffentlich richtig machen). Beginnen wir …
2
PARITY mit begrenztem Fanout: Einfacher Beweis?
AC0AC0AC^0 ist die Klasse von Schaltkreisen mit konstanter Tiefe und Polynomgröße mit NICHT-Gattern und unbegrenzten Fan-In- UND- und ODER-Gattern, wobei Eingänge und Gatter auch unbegrenzte Fan-Outs aufweisen. Betrachten Sie nun eine neue Klasse, nennen Sie sie die ähnelt, für die Eingänge und Gatter jedoch höchstens Fanout haben . Diese Klasse …
2
Modallogiken, die mit einer Schachtelungstiefe axiomatisiert sind, die in PSPACE wahrscheinlich nicht vorhanden ist?
Ich suche nach Modallogiken, die durch eine endliche Menge von Axiomen der Modal Nesting Depth 1 axiomatisiert werden und deren Erfüllbarkeits- / Ableitbarkeitsproblem wahrscheinlich nicht in PSPACE vorliegt. Ohne die Einschränkung der modalen Verschachtelungstiefe ist dies kein Problem, siehe zum Beispiel PDL. Es scheint jedoch, dass zum Nachweis der EXPTIME-Härte …
2
Was ist das Besondere an in der Kryptographie?
Im kleinen Verschlüsselungsalgorithmus : Verschiedene Vielfache einer magischen Konstante werden verwendet, um einfache Angriffe aufgrund der Symmetrie der Runden zu verhindern. Die magische Konstante 2654435769 oder 9E3779B9 16 wird zu , wobei ϕ der goldene Schnitt ist .232/ϕ232/ϕ2^{32}/ \phi Welche Eigenschaften hat , die es in diesem Zusammenhang nützlich machen?232/ϕ232/ϕ2^{32}/ …
4
Was ist der wichtigste Begriff von Sparsity für den Entwurf effizienter Graph-Algorithmen?
Es gibt mehrere konkurrierende Begriffe eines "spärlichen Graphen". Beispielsweise könnte ein oberflächeneinbettbarer Graph als spärlich angesehen werden. Oder ein Diagramm mit begrenzter Kantendichte. Oder eine Grafik mit hohem Umfang. Ein Diagramm mit großer Ausdehnung. Ein Diagramm mit begrenzter Baumbreite. (Sogar innerhalb des Unterfelds der Zufallsgraphen ist es etwas unklar, was …
2
Gibt es eine Übersicht über die Semantik verschiedener Programmiersprachenfunktionen?
Gibt es eine Übersicht (aus Papier, Buchkapitel, Tutorial, Links, ...) über die Semantik verschiedener Programmiersprachenfunktionen? Ich war ursprünglich überwältigt von den Funktionen von D hier http://www.digitalmars.com/d/2.0/comparison.html Ich würde gerne sehen, was ich möglicherweise von hier bekommen könnte, obwohl ich eine ähnliche Frage zum Stackoverflow gestellt habe und verstanden habe, dass …
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.