Diese Frage ähnelt einer meiner vorherigen Fragen. Es ist bekannt, dass für Graphen mit einer Baumbreite von höchstens t ein verbotenes Moll ist .Kt+2Kt+2K_{t+2}ttt Gibt es eine gut konstruierte, parametrisierte, unendliche Familie von Diagrammen (außer vollständigen Diagrammen und...
Gegeben , wie viele von -DNFs mit Variablen und - Klauseln sind Tautologie? (oder wie viele CNFs sind unbefriedigend?)k n m km,n,km,n,km, n,
Ein Switch-Netzwerk (der Name wird erfunden) besteht aus drei Arten von Knoten: ein Startknoten ein Endknoten ein oder mehrere Vermittlungsknoten Der Vermittlungsknoten hat 3 Ausgänge: Links, Oben, Rechts; hat zwei Zustände L und R und einen Zielzustand TL oder TR . Jeder Schalter kann mit den...
Nehmen wir an, ein Graph ist ( a , b ) -verbunden, wenn die Entfernung von a- Eckpunkten und b- Kanten von G immer einen zusammenhängenden Graphen hinterlässt. Zum Beispiel ist ein k- verbundener Graph gemäß der Standarddefinition ( k - 1 , 0 ) -verbunden gemäß der neuen Definition. Gibt es einen...
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...
Nehmen wir an, wir haben einen universellen Quantencomputer gebaut. Abgesehen von sicherheitsrelevanten Problemen (Kryptografie, Datenschutz, ...), welche aktuellen Probleme der realen Welt können davon profitieren? Ich interessiere mich für beides: Probleme, die derzeit für einen praktischen...
Ich suche nach einem Algorithmus, um zwei binäre Suchbäume beliebiger Größe und Reichweite zusammenzuführen. Der naheliegende Weg, dies zu implementieren, wäre, ganze Teilbäume zu finden, deren Bereich in einen beliebigen externen Knoten im anderen Baum passen kann. Die Laufzeit im ungünstigsten...
Vor vielen Jahren hörte ich, dass die Berechnung des minimalen NFA (nicht deterministischer endlicher Automat) aus einem DFA (deterministisch) eine offene Frage war, im Gegensatz zu der seit Jahrzehnten bekannten und mit einem effizienten gut erforschten umgekehrten Richtung n ) Algorithmus. Hat...
(auch hier gefragt , keine Antworten) Ein -Quantenexpander ist eine Verteilung über die Einheitsgruppe mit der Eigenschaft, dass: a) , b) , wobei \ mu_H das Haar-Maß ist. Wenn wir anstelle von Verteilungen über Unitaries Verteilungen über Permutationsmatrizen betrachten, ist es nicht schwer zu...
Ein fraktales Labyrinth ist ein Labyrinth, das Kopien von sich selbst enthält. ZB der folgende von Mark JP Wolf aus diesem Artikel : Beginnen Sie am MINUS und begeben Sie sich zum PLUS. Wenn Sie eine kleinere Kopie des Labyrinths eingeben, achten Sie darauf, den Buchstabennamen dieser Kopie...
Die zeitbegrenzte Quantenberechnung ist offensichtlich sehr interessant. Was ist mit weltraumgebundener Quantenberechnung? Ich kenne viele interessante Ergebnisse für die Quantenberechnung mit sublogarithmischen Raumgrenzen und verschiedenen Arten von Quantenautomatenmodellen. Andererseits wurde...
Soweit mir bekannt ist, verwenden die meisten Implementierungen der Erzeugung von Pseudozufallszahlen in der Praxis Methoden wie Linear Shift Feedback Register (LSFRs) oder diese "Mersenne Twister" -Algorithmen. Obwohl sie viele (heuristische) statistische Tests bestehen, gibt es keine...
2dcas (bidirektionale deterministische Ein-Zähler-Automaten) (Petersen, 1994) können die folgende unäre Sprache erkennen: P O W E R ={ 02n∣ n ≥ 0 } .POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Gibt es eine andere nichttriviale Sprache, die...
Ich lese über Klassen von Graphen, für die Graph Isomorphism ( ) in . Ein solcher Fall sind die hier erläuterten Graphen der begrenzten Valenz (Maximum über Grad jedes Scheitelpunkts) . Aber ich fand es zu abstrakt. Ich wäre dankbar, wenn mir jemand Referenzen von Expository-Art vorschlagen könnte....
Planare Graphen haben die Gattung Null. Auf einem Torus einbettbare Grafiken haben höchstens die Gattung 1. Meine Frage ist einfach: Gibt es irgendwelche Probleme, die auf planaren Graphen polynomiell lösbar sind, auf Graphen der Gattung 1 jedoch NP-hart? Gibt es allgemeiner irgendwelche Probleme,...
Ich habe heute Untergrenzen unterrichtet , und einer der Schüler fragte nach dem Grund für den Namen . Die offizielle Erklärung ist, dass das "A" für "Alternation" steht.AC0AC0AC^0ACACAC Ich kann mich vage daran erinnern, dass ich vor vielen Jahren erfahren habe, dass Nick Pippenger Steve Cook nach...
Kurze Version. Der Beweis , dass Original # 2-SAT ist #P -komplette zeigt in der Tat, dass diese Instanzen von # 2-SAT die beide monotone (nicht unter Einbeziehung der Negationen aller Variablen) und bipartite (der Graph durch die Klauseln über die geformte Variablen ist ein zweigliedriger Graph)...
Wir wissen, dass lineare Programme (LP) mit der Ellipsoidmethode oder einer Innenpunktmethode wie dem Karmarkar-Algorithmus genau in Polynomzeit gelöst werden können. Einige LPs mit einer überpolynomiellen (exponentiellen) Anzahl von Variablen / Nebenbedingungen können auch in Polynomzeit gelöst...
Die meisten Websites, die ich zum Thema gelesen habe, geben etwas Ähnliches an "Die einzigen Zweierpotenzen (außer 2 selbst), die in dieser Sequenz auftreten, sind diejenigen mit dem Prim-Exponenten" (MathWorld) oder "Nach 2 enthält diese Sequenz die folgenden Potenzen von 2: [...] das sind die...
Dies ist eine Antwort auf eine kürzlich von A. Pal gestellte Frage: Lösen von semidefiniten Programmen in Polynomialzeit . Ich bin immer noch verwirrt über die tatsächliche Laufzeit von Algorithmen, die die Lösung eines semidefiniten Programms (SDP) berechnen. Wie Robin in seinem Kommentar zu der...