Kontext. Ich schreibe zu Themen wie dem Gottesman-Knill-Theorem unter Verwendung von Pauli-Stabilisatorgruppen, aber im Fall von d- dimensionalen Qudits - wobei d mehr als einen Primfaktor haben kann. (Ich betone dies, weil die überwiegende Mehrheit der Literatur über Stabilisatorformalismus in...
In Manuel Blums " Rat an einen angehenden Doktoranden ": LEONID LEVIN glaubt, dass ich das tue, unabhängig von der Antwort auf den P = NP? Problem, es wird nicht so sein, wie Sie denken, es sollte sein. Und er hat einige wunderbare Beispiele gegeben. Zum einen hat er einen FAKTORIERENDEN...
Es ist bekannt , dass die Komplexität der eine Unterscheidung voreingenommen Münze aus einer Messe ist . Gibt es Ergebnisse zur Unterscheidung einer Münze von einer Münze? Ich kann sehen, dass für den Spezialfall von die Komplexität . Ich habe die Vermutung, dass die Komplexität davon abhängt, ob...
Ich mag einen Begriff der „Nähe“ zwischen zwei regulären Sprachen endlicher Worte definieren (und / oder unendlichen Worten Σ & ohgr; ). Die Grundidee ist, dass zwei Sprachen nahe beieinander sein sollen, wenn sie sich nicht durch viele Wörter unterscheiden. Wir könnten auch die...
Ich habe eine Reduzierung des folgenden Partitionsproblems auf ein bestimmtes Planungsproblem: Eingabe: Eine Liste positiver Ganzzahlen in nicht absteigender Reihenfolge.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Frage: Gibt es einen Vektor so
Ich suche nach: Michael O. Rabin, "Schwierigkeitsgrad der Berechnung einer Funktion und eine teilweise Anordnung von rekursiven Mengen", Hebrew University, Jerusalem, 1960 Zusammenfassung: „Wir versuchen, den Arbeitsaufwand zu messen, der mit der Berechnung einer bestimmten berechenbaren...
Ich suche nach einer Implementierung eines Algorithmus zur Berechnung der Pfadbreite eines Graphen. Es ist bekannt, dass das Berechnen der Pfadbreite dem Berechnen der Knotensuchnummer, der Scheitelpunkttrennungsnummer oder der Intervalldicke des Graphen äquivalent ist. Der Algorithmus muss nicht...
Branch-and-Bound ist eine effektive Heuristik für Suchprobleme, und Wikipedia listet eine Reihe schwerwiegender Probleme auf, bei denen Branch-and-Bound verwendet wurde. Es ist mir jedoch nicht gelungen, Referenzen zu finden, die darauf hindeuten, dass dies mehr als nur eine Methode zur Lösung...
Gibt es Probleme, die NP-vollständig sind, wenn die euklidische Geometrie verwendet wird, aber für einige nicht-euklidische Geometrien in der Polynomzeit gut definiert und lösbar
Ist bekannt, ob Problem mit der Schaltkreisbewertung in ? Wie wäre es mit (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Wir wissen, dass Schaltkreise der Tiefe mit Schaltkreisen der Tiefe bewertet werden können, wobei eine universelle...
In der Definition der (starken) Traktierbarkeit fester Parameter ist die ein Ausdruck der Form wobei die mit dem Parameter ,f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkppp ist Polynom und ist eine berechenbare Funktion.fff Es ist möglich, die Berechenbarkeitsanforderung für durch andere...
Ich habe eine Frage zur SERF-Reduzierbarkeit von Impagliazzo, Paturi und Zane und zu subexponentiellen Algorithmen. Die Definition der SERF-Reduzierbarkeit ergibt folgendes: Ist SERF-reduzierbar auf P 2 und gibt es einen O ( 2 ε n ) -Algorithmus für P 2 für jedes ε > 0 , dann gibt es einen O ( 2...
Ich interessiere mich für die Modellierung von Objekten aus der objektorientierten Programmierung in der Theorie der abhängigen Typen. Als mögliche Anwendung hätte ich gerne ein Modell, in dem ich verschiedene Funktionen von imperativen Programmiersprachen beschreiben kann. Ich konnte nur einen...
Die Definition von Ramsey-Zahlen lautet wie folgt: Sei eine positive Zahl, so dass jeder Graph der Ordnung mindestens R ( a , b ) entweder eine Clique auf einem Knoten oder eine stabile Menge auf b Knoten enthält.R ( a , b )R(ein,b)R(a,b)R ( a , b )R(ein,b)R(a,b)eineinabbb Ich arbeite an einer...
Ich interessiere mich für die Komplexität des Dominating-Set-Problems (DSP) in einigen spezifischen Graphenklassen, die Unterklassen von Akkordgraphen sind . Ein Diagramm ist ein ungerichtetes Pfaddiagramm, wenn es sich um das Scheitelpunkt-Schnittdiagramm einer Pfadfamilie in einem ungerichteten...
Bei einem ebenen Graphen kann man ihn in linearen Zeitübergängen frei in ein Gitter einbetten . Ich bin interessiert , ob irgendwelche effiziente Algorithmen zur geraden Linie einzubetten frei in eine Kreuzung mit einer ebenen Graphen bekannt sind N c × n c Gitter, für einige kleine c , so dass der...
Während ich einen kleinen Beitrag über die Komplexität der Videospiele Nibbler und Snake schreibe ; Ich fand heraus, dass beide als Rekonfigurationsprobleme auf ebenen Graphen modelliert werden können. und es ist unwahrscheinlich, dass solche Probleme im Bereich der Bewegungsplanung nicht gut...
Mir scheint, dass Experten für maschinelles Lernen / Data Mining mit P und NP vertraut sind, aber selten über einige der subtileren Komplexitätsklassen (z. B. NC, BPP oder IP) und deren Auswirkungen auf eine effektive Datenanalyse sprechen. Gibt es eine Arbeitserhebung
Motivation: Ein Mitautor bearbeitet ein Manuskript und ich würde gerne eine übersichtliche Zusammenfassung der Änderungen sehen. Alle "diff" -ähnlichen Werkzeuge sind in der Regel unbrauchbar, wenn Sie sowohl Text verschieben (z. B. die Struktur neu organisieren) als auch lokale Änderungen...
Zum 100. Geburtstag von Alan Turing möchte ich einen Dokumentarfilm über sein Leben sehen. Es stehen jedoch mehrere Dokumentationen zur Auswahl. Welcher Dokumentarfilm über Alan Turing ist Ihr Favorit? Bitte fügen Sie nur einen Dokumentarfilm pro Antwort