Ich interessiere mich für Beispiele von Konstruktionen in der Komplexitätstheorie, die besser sind als zufällige Konstruktionen. Das einzige mir bekannte Beispiel für eine solche Konstruktion ist das Gebiet der Fehlerkorrekturcodes. Algebraische Geometriecodes sind in einigen Parameterbereichen...
Hintergrund: Die Transaktionsverarbeitung ist ein traditionelles Forschungsthema in der Datenbanktheorie. Heutzutage werden verteilte Transaktionen von großen verteilten Speichersystemen populär gemacht, die typischerweise Datenpartition (auch Sharding genannt) und Datenreplikation umfassen . Was...
Sei ein Alphabet, dh eine nicht leere endliche Menge. Eine Zeichenfolge ist eine endliche Folge von Elementen (Zeichen) aus . Als Beispiel ist das binäre Alphabet und ist eine Zeichenfolge für dieses Alphabet.Σ { 0 , 1 } 0110ΣΣ\SigmaΣΣ\Sigma{ 0 , 1 }{0,1} \{0, 1\}011001100110 Solange mehr als 1...
Ich bin ein Homotopietheoretiker, der sich für Informatik interessiert. Ich möchte fragen, was einige interessante Anwendungen der homotopischen Algebra (Modellkategorien, Unendlichkeitskategorien, einfache Kategorien usw.) in der theoretischen Informatik
Ich bin neu im Studium von Umschreibungssystemen als Doktorand im ersten Jahr. Ich möchte einen speziellen Themenkurs zur Umschreibungstheorie vorschlagen und möchte sicherstellen, dass ich keine der Originalquellen auslasse. Ich habe eine Kopie von Barendregt und Terese als Lehrbuchquellen. Für...
Was sind die Anwendungen der Kolmogorov-Komplexität in der Zahlentheorie und auf beweisbezogenen Gebieten? (Die Monographie von Li & Vitanyi hat nicht viele Anwendungen im Zusammenhang mit der Zahlentheorie.) Einer der schönen Beweise, auf die ich gestoßen bin, ist der Beweis für die Existenz...
In https://en.wikipedia.org/wiki/Geometric_complexity_theory wird erwähnt, dass ".. Ketan Mulmuley glaubt, dass das Programm, wenn es realisierbar ist, wahrscheinlich etwa 100 Jahre dauern wird, bis es das P vs. NP-Problem lösen kann". Es scheint darauf hinzudeuten, dass das einzige derzeit...
Angesichts des heutigen Todes von Stephen Hawking habe ich mich gefragt, ob eines seiner Ergebnisse einen direkten Einfluss auf cs hat. Der offensichtliche Kandidat wäre das Quantencomputing oder vielmehr der Aufbau eines physischen Quantencomputers, aber vielleicht gibt es Ergebnisse, die andere...