Ich bin eher ein Typ für Quantenoptik als ein Typ für Quanteninformation und beschäftige mich hauptsächlich mit Master-Gleichungen. Ich interessiere mich für das Operator-Summen-Formular und möchte die Fehler in diesem Formular für ein kleines Quantensystem ableiten, das ich simuliere. Der Haken:...
Wenn Sie eine Sammlung von Teilaufträgen erhalten, werden Sie anhand der topologischen Sortierung darüber informiert, ob eine Erweiterung der Sammlung auf einen Gesamtauftrag vorliegt (eine Erweiterung ist in diesem Fall ein Gesamtauftrag, der mit jedem der Teilaufträge übereinstimmt). Ich bin auf...
Definieren Sie ein "Problem" als Algorithmus AAA , der eine natürliche Zahl akzeptiert und 0 oder 1 zurückgibt, was für mindestens ein . Jedes solche wird als "Lösung" für111n∈Nn∈Nn \in \mathbb{N}nnnAAA Definieren Sie einen „universellen Problemlöser“ ein Algorithmus sein Annahme ein Problem und...
Bei einem gerichteten Graphen mit n Knoten, bei dem jeder Scheitelpunkt genau zwei ausgehende Kanten hat, und einer natürlichen Zahl N, die binär codiert ist, zwei Scheitelpunkte s und t, Ich möchte die Anzahl der (nicht unbedingt einfachen) Pfade von s bis t innerhalb von N Schritten zählen. Ist...
Wir wissen beispielsweise aus Koutis-Miller-Peng (basierend auf der Arbeit von Spielman & Teng), dass wir lineare Systeme sehr schnell Ax=bAx=bA x = bfür Matrizen lösen können AAA, die die Laplace-Matrix für einige spärliche Graphen mit nicht negativen Kantengewichten sind . Betrachten Sie nun...
Es ist nun bekannt, dass die untere Grenze des allgemeinen Gegners die Komplexität von Quantenabfragen aufgrund der bahnbrechenden Arbeiten von Reichardt et al. Dieselbe Arbeitslinie stellt auch Verbindungen zum Span-Programm-Framework her, um Quantenalgorithmen zu entwerfen. Viele interessante...
Angenommen, wir haben eine Funktion , so dass ( Wir können uns also als Distribution vorstellen. Es ist natürlich, die Entropie einer solchen Funktion wie folgt zu definieren: Σ x ∈ Z n 2 f ( x ) 2 = 1 { f ( x ) 2 } x ∈ Z N 2 H ( f ) = - Σ x ∈ Z n 2 f ( x ) 2 log ( f ( x ) 2 ) .f: Zn2→...
Wenn wir zwei Zeichenfolgen der Größe und , erfolgt die Standardberechnung der Levenshtein-Editierentfernung durch einen dynamischen Algorithmus mit der Zeitkomplexität und der Raumkomplexität . (Einige Verbesserungen können in Abhängigkeit von der Bearbeitungsentfernung , wir gehen jedoch nicht...
Ich bin für eine Schranke für die Entropie H(X+Y)H(X+Y)H(X+Y) aus der Summe zweier unabhängiger diskreten Zufallsvariablen XXX und YYY . Natürlich ist H(X+Y)≤H(X)+H(Y) (∗)H(X+Y)≤H(X)+H(Y) (∗)H(X+Y) \leq H(X) + H(Y) ~~~~~~(*) . Bezogen auf die Summe von nnn unabhängigen...
Hier: http://www.planarity.org/Klein_elementary_graph_theory.pdf (in Kapitel Einbettungen) wird die Definition der kombinatorischen Einbettung eines planaren Graphen gegeben. (mit Definition von Flächen usw.) Obwohl es für jedes Diagramm leicht verwendet werden kann, definieren sie ein ebenes...
Kann jemand ein Beispiel für zwei äquivalente (die gleiche Sprache erkennende) nicht deterministische Minimalautomaten (NFA) nennen, die nicht isomorph
Follow up Was ist ein Beispiel für eine Monade, die eine Alternative ist, aber keine MonadPlus? : Angenommen, ist eine Monade. Was sind die Beziehungen betweem ein Wesen Alternative , eine MonadPlusCatch und MonadPlusDistr ? mmmmmmFür jedes der sechs möglichen Paare hätte ich gerne entweder einen...
Kostenlos in Wadlers rekursiven Typen! [1] demonstrierte er zwei Typen, und , und behauptete, dass sie dual sind . Insbesondere wies er darauf hin, dass der Typ ist nicht das Duale des ersteren. Es scheint, dass sich die fragliche Dualität von der De Morgan-Dualität in der Logik unterscheidet. Ich...
Es wurden einige Anstrengungen unternommen, um das Problem des Graph-Isomorphismus unter Verwendung des Quanten-Zufalls-Walks von Hartkern-Bosonen (symmetrisch, aber ohne Doppelbelegung) zu bekämpfen. Die symmetrische Potenz der Adjazenzmatrix, die vielversprechend erschien, erwies sich in diesem...
Es wird formuliert, indem Schwellenwertdiagramme erweitert werden . Unter der Annahme eines Schwellenwertgraphen bei dem C die Clique und I die unabhängige Menge ist, lautet meine Erweiterung wie folgt: Jeder Scheitelpunkt v ∈ I kann durch eine neue Clique K v ersetzt werden, so dass die...
In dem berühmten Gegenbeispiel zur Graphisomorphie nach Weisfeiler-Lehman (WL) wurde das folgende Gadget in dieser Arbeit von Cai, Furer und Immerman konstruiert . Sie konstruieren einen Graphen Xk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) gegeben durch
Fix ein NP-vollständiges Suchproblem zB die Suchform von SAT. Die Levinsuche liefert einen Algorithmus zum Lösen von der in gewissem Sinne optimal ist. Im Einzelnen lautet der Algorithmus "Führe alle möglichen Programme in Verzahnung mit der Eingabe , sobald die Antwort zurückgibt prüft, ob sie...
Man betrachte ein monotones Prädikat über dem Potenzsatz 2 | n | (bestellt durch Aufnahme). Mit "monoton" meine ich: ∀ x , y ∈ 2 | n | so dass x ⊂ y , wenn P ( x ) dann P ( y ) . Ich suche einen Algorithmus, um alle minimalen Elemente von P zu finden , dh x ∈ 2 | n | so dass P ( x...
Während ich unterrichtete, wie FSMs unter Verwendung synchroner logischer Schaltungen implementiert werden, fiel mir ein faszinierender Zufall auf: Sowohl in der theoretischen CS-Welt als auch in der Welt der Elektrotechnik wird "Zustand" typischerweise als (und der Zustandsraum Q ) bezeichnet. Ich...
Inspiriert von dieser Frage bin ich neugierig auf Folgendes: Wie komplex ist es im schlimmsten Fall, zu überprüfen, ob ein bestimmter DFA dieselbe Sprache wie ein bestimmter regulärer Ausdruck akzeptiert? Ist das bekannt? Die Hoffnung wäre, dass dieses Problem in P liegt - dass es ein...