Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

3
Was ist die minimale Erweiterung von FO, die die Klasse der regulären Sprachen erfasst?
Kontext: Beziehungen zwischen Logik und Automaten Der Satz von Büchi besagt, dass die monadische Logik zweiter Ordnung über Strings (MSO) die Klasse der regulären Sprachen erfasst. Der Beweis zeigt tatsächlich, dass existenzielles MSO ( oder EMSO ) über Zeichenfolgen ausreicht, um reguläre Sprachen zu erfassen. Dies könnte ein wenig überraschend …
1
Näherung zum Zählen der Anzahl einfacher
Mir wurde gesagt, dass es einige gute polynomielle Zeitalgorithmen gibt, um die Anzahl einfacher Pfade in einem gerichteten Graphen von einem gegebenen Startscheitelpunkt zu einem gegebenen Endscheitelpunkt t zu approximieren . Kennt jemand eine gute Referenz zu diesem Thema?sssttt Hintergrund: Das Zählen der genauen Anzahl der Pfade in einem allgemeinen …
1
Schnelle Faltung über kleine endliche Felder
Was sind die bekanntesten Methoden für die zyklische Faltung der Länge nnn über ein kleines Feld, dh wenn | F | ≪n|F|≪n|\mathbb{F}| \ll n ? Ich interessiere mich besonders für Felder mit konstanter Größe oder sogar F=F2F=F2\mathbb{F} = \mathbb{F}_2 . Allgemeine Aussagen und Referenzen zur asymptotischen Effizienz werden sehr geschätzt. …
1
Mit der zusätzlichen Kraft der negativen Gegner-Methode
Die negative Gegnermethode ( ) ist eine SDP, die die Komplexität von Quantenabfragen charakterisiert. Es ist eine Verallgemeinerung der weit verbreiteten Gegner-Methode ( A D V ) und überwindet die beiden Hindernisse, die der Gegner-Methode im Wege standen:A D V±ADV±ADV^\pmA D VADVADV Die Eigenschaftstestbarriere: Wenn alle 0-Instanzen weit von allen …
1
Balls and Bins-Analyse im m >> n-Regime.
Es ist allgemein bekannt, dass der am meisten geladene Behälter mit hoher Wahrscheinlichkeit O(logn)O(log⁡n)O(\log n) Bälle enthält , wenn Sie n Bälle in n Behälter werfen . Im Allgemeinen kann man nach m>nm>nm > n Bällen in nnn Behältern fragen . Eine Veröffentlichung von RANDOM 1998 von Raab und Steger …
3
Formale Semantik von Programmiersprachen
Ich bin neu in der Theorie der Programmiersprachen und suche nach einer guten Ressource für die formale Semantik von Programmiersprachen. Speziell auf der Suche nach struktureller operativer Semantik. Ich habe einige Buchempfehlungen erhalten. Aber ich suche eine Ressource in einer einleitenden Ebene. Insbesondere Tutorials, Webseiten und kostenlose Buchempfehlungen sind willkommen.
4
Komplexität der Suche nach einer zweiten Lösung bei korrekter Lösung eines NP-vollständigen Problems
Ich möchte herausfinden, ob es allgemeine Ergebnisse oder Beispiele zur NP-Vollständigkeit des Problems gibt, eine zweite Lösung für ein NP-vollständiges Problem zu finden. Genauer gesagt interessieren mich Probleme in folgender Form: Gibt es bei einer gegebenen Lösung für eine Instanz I eines NP-vollständigen Problems eine Lösung S ' ≠ S …
1
Die Struktur pathologischer Instanzen für Simplex-Algorithmen
Soweit ich weiß, haben alle bekannten deterministischen Pivot-Regeln für Simplex-Algorithmen bestimmte Eingaben, für die der Algorithmus exponentielle Zeit (oder zumindest kein Polynom) benötigt, um das Optimum zu finden. Nennen wir diese Instanzen "pathologisch", da der Simplex-Algorithmus normalerweise (dh bei den meisten Eingaben) schnell beendet wird. Ich erinnere mich aus meinem …
3
Formale Darstellung von Ringen in Berechnungen
Beim Lesen einer Abhandlung über die Verwendung algebraischer Methoden zur Erkennung einiger induzierter Teilgraphen scheint das Kantenideal ein wichtiges Werkzeug zu sein, das kommutative Algebra und Graphentheorie verbindet. Gibt es gute Referenzen oder Bücher zu diesem Thema, da ich mit Berechnungen algebraischer Objekte nicht vertraut bin? Besonderheit bei der Darstellung …
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.