Ich interessiere mich für die Frage, ob NP gleich coNP ist oder nicht. Ich würde mich sehr über Ratschläge zu guten Veröffentlichungen zum Thema freuen. Ich weiß, dass diese Frage eng mit der Frage verbunden ist, ob P gleich NP ist oder nicht (so dass, wenn NP! = CoNP, dann P! = NP). Prost,...
Einige Hintergrundinformationen: Ich bin daran interessiert, "weniger bekannte" Untergrenzen (oder Härteergebnisse) für das Problem "Lernen mit Fehlern" (LWE) und Verallgemeinerungen wie "Lernen mit Fehlern über Ringe" zu finden. Für spezifische Definitionen usw. finden Sie hier eine schöne Umfrage...
Ein sehr interessantes offenes Problem bei der Untersuchung von Komplexitätsmaßen der Booleschen Funktion ist die sogenannte Vermutung der Empfindlichkeit gegenüber der Blockempfindlichkeit. Hintergrundinformationen zur Empfindlichkeit gegenüber Blockempfindlichkeit finden Sie im folgenden Blogpost...
Ist dieses perfekte Informationsspiel, das auf Grafiken gespielt wird, bekannt / studiert? Bei einem Graphen wählen zwei Spieler abwechselnd eine Kante oder einen isolierten Knoten aus. Wenn der Spieler eine Kante die beiden Knoten und zusammen mit ihren einfallenden Kanten gelöscht. Wenn der...
Ich versuche, das Bitcoin-Protokoll im Kontext der rechnergestützten kryptografischen Sicherheit zu verstehen. Die Frage ist eine Referenzanfrage an Grundlagen von Kryptografieartikeln zu Bitcoin. Meine erste Frage ist, welches abstrakte kryptografische Protokoll Bitcoin zu implementieren versucht....
Ein Teil der Schwierigkeit, mehr über dieses Problem herauszufinden, besteht darin, dass sich das Graph-Matching-Problem von seinem viel bekannteren Cousin, dem Matching-Problem, unterscheidet, aber bei der Verwendung von Suchmaschinen schwer zu unterscheiden ist. Gegeben sind zwei Graphen...
Inzwischen gibt es Berge von Ergebnissen zu Trennzeichen in Diagrammen, von planaren Trennzeichen, Baumtrennzeichen, Diagrammen mit begrenzter Baumbreite, Diagrammen mit begrenzter Gattung usw. usw. usw. Gibt es eine gute aktualisierte Umfrage zu diesem Thema und ihren
Ich bin daran interessiert, vollständige Probleme des Graph-Isomorphismus (GI) zu untersuchen. In der Arbeit "Probleme, die Polynom äquivalent zum Graphisomorphismus sind" von Kellogg S. Booth (1979) wurde bewiesen, dass viele grundlegende Probleme durch Verwendung von Kantenersatztechniken,...
Ich lese Impagliazzo und Wigdersons berühmtes Papier aus dem Jahr 1997. Da ich neu in diesem Bereich bin und das Papier eine prägnante Konferenzversion ist, habe ich Schwierigkeiten, ihren Beweisen zu folgen. Insbesondere fehlen einigen ihrer neuen Sätze Beweise. Nach meinem besten Wissen wurde...
Ich suche nach Ressourcen (vorzugsweise einem Handbuch) zu fortgeschrittenen Themen in Algorithmen (Themen, die über das hinausgehen, was in Algorithmenlehrbüchern wie CLRS und DPV behandelt wird). Die Art von Material, das zum Unterrichten von Themen im Algorithmuskurs wie Erik Demaine und David...
Kennen Sie Probleme, die selbst für Graphen mit begrenztem Grad W [1] -hart sind? Die metrische Dimension ist für Diagramme mit einem Grad von höchstens 3 schwierig, aber W [2] -hart. Rot-Blau-Nonblocker war in Graphen mit begrenztem Grad W [1] -hart, aber es gab einen Fehler im Beweis (Buch von...
Ist die folgende Behauptung bekannt? Behauptung : Für jeden Graphen mit n Eckpunkten existiert eine Färbung von G, so dass jede unabhängige Menge mit höchstens O ( √) gefärbt istGGGnnnGGGFarben.O ( n- --
In Theorems kostenlos! Wadler sagt, dass die Charakterisierung der Parametrizität in Form von laxen natürlichen Transformationen wieder ausgedrückt werden kann, und dies wird Gegenstand einer weiteren Arbeit sein. Auf welches Papier bezieht er sich? Die kategorische Herangehensweise an die...
Bezeichne mit den minimalen In-Grad in G und mit δ - ( G ) den minimalen In-Grad.δ+( G )δ+(G)\delta^+(G)GGGδ- -( G )δ−(G)\delta^-(G) In einer verwandten Frage habe ich die Ghouila-Houri-Erweiterung des Dirac-Theorems über Hamilton-Zyklen erwähnt , was darauf hindeutet, dass wenn dann ist G...
GGGMGMGM_GGGGMG[i,j]MG[i,j]M_G[i, j]iiijjjGGG+++maxmax\max Ich sage, dass ein Untergraph von (mit derselben Scheitelpunktmenge) sp-äquivalent zu wenn . Mit anderen Worten, das Entfernen von Kanten von nach ändert nicht die Länge der kürzesten Wege; Die entfernten Kanten sind für einen kürzesten Weg...
Es gibt eine sehr schöne Konstruktion von Conway mit surrealen Zahlen. Sie sind "Zahlen", die sowohl reelle Zahlen als auch Ordnungszahlen enthalten, vollständig geordnet sind und alle Eigenschaften eines Feldes haben (außer sie bilden keine Menge, sondern eine Klasse). Eine Einführung finden Sie...
Betrachten Sie das folgende Problem: Entscheiden Sie bei zwei Strings x, y, ob ein String-Homomorphismus f existiert, so dass f (x) = y ist. Es ist leicht zu zeigen, dass dieses Problem in . Gibt es noch andere Dinge, die wir zu diesem Problem sagen können? zB Ist es in c o N P oder sogar P...
Wie wir wissen, ist die Definition der rechnerischen Komplexität von Algorithmen fast unumstritten, aber die Definition der rechnerischen Komplexität von Real oder der Berechnungsmodelle über Real ist in einem solchen Fall nicht. Wir kennen das Modell und das Modell von Blum und Smales im Buch...
Ich würde gerne wissen (im Zusammenhang mit dieser anderen Frage ), ob Untergrenzen für das folgende Testproblem bekannt waren: Man erhält Abfragezugriff auf eine Folge nicht negativer Zahlen und ε ∈ ( 0 , 1 ) mit dem Versprechen, dass entweder ∑ n k = 1 a k = 1 oder ∑ n k = 1 a k ≤ 1 - ε .einn≥ ⋯...
Ich bin ein Doktorand in theoretischer Informatik und insbesondere in Approximationsalgorithmen. Ich finde jetzt, dass ich mich mehr für reine Mathematik interessiere (ich kann das sagen, weil ich Mathematikkurse anscheinend mehr genossen habe als die CS-Kurse). Ich möchte fragen, ob es Bereiche in...