Es gibt theoretische Beweise dafür, dass die naive kartesische Produktkonstruktion für die Schnittmenge von DFAs "das Beste ist, was wir tun können". Was ist mit der Verkettung von zwei DFAs? Die triviale Konstruktion besteht darin, jeden DFA in einen NFA umzuwandeln, einen Epsilon-Übergang...
Die Worst-Case- und Average-Case-Analyse sind bekannte Maßstäbe für die Komplexität eines Algorithmus. Die kürzlich geglättete Analyse hat sich als weiteres Paradigma herausgestellt, um zu erklären, warum einige im schlimmsten Fall exponentielle Algorithmen in der Praxis so gut funktionieren,...
Liegt das folgende Problem in PTIME oder coNP-hard vor: Bei zwei booleschen Ausdrücken und in den Variablen ohne Negation (dh die Ausdrücke werden vollständig über und ). Entscheiden Sie, ob , für alle Zuordnungen zu den Variablen den gleichen Wert
Hintergrund Ein binärer Entscheidungsbaum ist ein Stammbaum, in dem jeder interne Knoten (und jeder Stamm) durch einen Index , sodass kein Pfad von Stamm zu Blatt einen Index, die Blätter, wiederholt werden durch Ausgaben in , und jede Kante wird für das linke untergeordnete Element mit und für das...
Gibt es Fälle, in denen zusätzliche Veröffentlichungen Ihre Aufzeichnung beeinträchtigen können? Dies vermeidet die offensichtlichen Fälle, in denen Sie falsche oder kontroverse Ergebnisse veröffentlichen. Vermeiden Sie auch den Fall der endlichen Zeit: Sie haben nur so viel Zeit zum Nachdenken...
Ich bin auf der Suche nach einer endgültigen Antwort auf die Titelfrage. Gibt es eine Reihe von Regeln, die ein Programm in eine Konfiguration von endlichen Stücken auf einem unendlichen Brett umwandeln, sodass, wenn Schwarz und Weiß nur legale Züge spielen, das Spiel in endlicher Zeit endet, wenn...
Eine schwache Normalisierung für die einfache typisierte Lambda-Rechnung kann durch Induktion auf bewiesen werden (Turing) . Ein erweiterter Lambda-Kalkül mit Rekursoren auf natürlichen Zahlen (Gentzen) hat eine schwache Normalisierungsstrategie durch Induktion auf .ω2ω2\omega^2ϵ0ϵ0\epsilon_0 Was...
Ich suche nach einem Problem, das in allgemeinen Diagrammen zu ΣP2Σ2P\mathsf{\Sigma^P_2} gehört, in Diagrammen mit begrenzter Baumbreite jedoch zu Tatsächlich halte ich diese Probleme für schwerer als die Verwendung normaler dynamischer Programmierung in Diagrammen mit begrenzter Baumbreite, um sie...
Da die meisten amerikanischen Universitäten nur Bewerbungen in einem Bereich annehmen, versuche ich herauszufinden, welche Vor- und Nachteile eine Bewerbung für ein CS-Theorieprogramm gegenüber einem Angewandten Mathematik-Programm hat, wenn das eigene Interesse an beiden Abteilungen liegt. Genauer...
Es ist bekannt, dass und K 3 , 3 für ebene Graphen verbotene Minderjährige sind. Es gibt Hunderte verbotener Minderjähriger für Grafiken, die auf einem Torus eingebettet werden können . Die Anzahl verbotener Minderjähriger für Graphen, die auf der Oberfläche der Gattung g eingebettet werden können,...
Wie viele binäre Gatter sind mindestens erforderlich, um UND und ODER von Eingangsbits gleichzeitig zu berechnen ? Die triviale Obergrenze ist . Ich glaube, das ist optimal, aber wie kann man das beweisen? Die Standard-Gate-Eliminierungstechnik funktioniert hier nicht, da durch Zuweisen einer...
Bekanntlich besteht eine Baumzerlegung eines Graphen aus einem Baum T mit einem zugehörigen Sack T v ≤ V ( G ) für jeden Eckpunkt v ≤ V ( T ) , der die folgenden Bedingungen erfüllt:GGGTTTTv⊆ V( G )Tv⊆V(G)T_v \subseteq V(G)v ∈ V( T)v∈V(T)v \in V(T) Jeder Scheitelpunkt von kommt in einem Beutel von...
Ich versuche herauszufinden, wie der Pfadgraph nach Eppsteins Algorithmus in dieser Arbeit funktioniert und wie ich die kürzesten Pfade von nach mit der entsprechenden Heapkonstruktion rekonstruieren kann .P(G)P(G)P(G)s t H ( G )kkkssstttH(G)H(G)H(G) Bisher: out(v)out(v)out(v) enthält alle Kanten,...
Eine Permutationsphrase ist eine Erweiterung der kontextfreien Grammatikdefinitionen von Standard (E) BNF: Eine Permutationsphrase enthält n Produktionen (oder entsprechend Nichtterminale) A 1 bis A n . An der Stelle der Permutationsphrase möchten wir jede dieser Produktionen genau einmal sehen,...
Nach einem klassischen Ergebnis von Kuroda ist die Komplexitätsklasse NSPACE [ ]nnn (auch bekannt als NLIN-SPACE) genau die Klasse CSL von kontextsensitiven Sprachen . Das Erfüllbarkeitsproblem SAT liegt in NSPACE [ ] vor, da eine lineare Schätzung für eine Lösung mit höchstens einem linearen...
Dieses Problem interessiert mich: Gibt es bei einem ungerichteten Graphen eine Aufteilung von G in Graphen G 1 ( E 1 , V 1 ) und G 2 ( E 2 , V 2 ), so dass G 1 und G 2 sind isomorph?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Hier ist in zwei...
Ich arbeite nicht in der Theorie, aber meine Arbeit erfordert von Zeit zu Zeit das Lesen (und Verstehen) von Theoriepapieren. Sobald ich eine (Reihe von) Ergebnissen verstanden habe, diskutiere ich diese Ergebnisse mit Menschen, mit denen ich zusammenarbeite, von denen die meisten theoretisch auch...
Ich habe mich gefragt, ob Probleme, für die sublineare Zeitalgorithmen (in der Eingabegröße) existieren, als solche mit spezifischen Eigenschaften charakterisiert werden können. Dies umfasst die sublineare Zeit (z. B. Eigenschaftstests, ein alternativer Begriff der Approximation für...
Wir wissen, dass wir jeden ebenen Graphen durch eine Reihe von Kreisen in der Ebene darstellen können, die als Münzgraphen bekannt sind . Jeder Kreis stellt einen Scheitelpunkt dar und es gibt eine Kante zwischen zwei Scheitelpunkten, wenn sich die Kreise an ihrer Grenze "küssen". Angenommen, wir...
Können Sie zuverlässige Sendungen im Pi-Kalkül modellieren? Wenn das so ist, wie? Wenn nicht: Gibt es ähnliche Prozessalgebren, wo Sie können? Was ich ausprobiert habe: Wenn der Absender eine Nachricht an alle bis senden möchte , können Sie schreiben ! ( und bis . Aber wie können Sie sicherstellen,...