Ich würde gerne etwas über parametrisierte Komplexität lernen (sowohl auf der algorithmischen Seite als auch auf der Härteseite). Welche Bücher / Vorlesungsunterlagen kann ich zu diesem Thema
Ein neuerer Ansatz zur Schaffung einer dezentralen Online-Währung namens Bitcoin stieß auf Interesse. Das Ziel ist es, eine Möglichkeit zu haben, Währung ohne eine zentrale Behörde und ohne doppelte Ausgaben oder Fälschungen zu transferieren. Ihr Ansatz besteht darin, dass alle Knoten im Netzwerk...
Die Quantenberechnung ist ein aktives Forschungsgebiet, das darauf abzielt, die Quantenphysik (z. B. Quantenverschränkung) zu nutzen, um die Leistungsfähigkeit von Computern zu verbessern (ändert nichts an der These von Church-Turing ). Was sind die wichtigsten Experimente zur Demonstration der...
Angenommen, Sie erhalten einen zusammenhängenden, einfachen, ungerichteten Graphen H. Das H-freie Schnittproblem ist wie folgt definiert: Bei einem einfachen, ungerichteten Graphen G gibt es einen Schnitt (Aufteilung der Eckpunkte in zwei nicht leere Mengen, L, R), so dass die durch die...
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...
Ist die folgende Graphklasse in der Literatur bekannt? Die Klasse von Graphen ist durch positive ganze Zahlen parametrisiert und , und enthält jeden Graph , so dass für jeden Scheitelpunkt , der Teilgraph von an allen Ecken im Abstand induzierte höchstens von in hat eine Baumbreite von höchstens .t...
Beim Lesen einer Abhandlung über die Verwendung algebraischer Methoden zur Erkennung einiger induzierter Teilgraphen scheint das Kantenideal ein wichtiges Werkzeug zu sein, das kommutative Algebra und Graphentheorie verbindet. Gibt es gute Referenzen oder Bücher zu diesem Thema, da ich mit...
Soweit ich weiß, haben alle bekannten deterministischen Pivot-Regeln für Simplex-Algorithmen bestimmte Eingaben, für die der Algorithmus exponentielle Zeit (oder zumindest kein Polynom) benötigt, um das Optimum zu finden. Nennen wir diese Instanzen "pathologisch", da der Simplex-Algorithmus...
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....
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...
Ich möchte herausfinden, ob es allgemeine Ergebnisse oder Beispiele zur NP-Vollständigkeit des Problems gibt, eine zweite Lösung für ein NP-vollständiges Problem zu finden. Genauer gesagt interessieren mich Probleme in folgender Form: Gibt es bei einer gegebenen Lösung für eine Instanz I eines...
Ich bin neu in der Theorie der Programmiersprachen und suche nach einer guten Ressource für die formale Semantik von Programmiersprachen. Speziell auf der Suche nach struktureller operativer Semantik. Ich habe einige Buchempfehlungen erhalten. Aber ich suche eine Ressource in einer einleitenden...
Es ist bekannt, dass die minimale Größe von -Schaltungen, die die Paritätsfunktion genau berechnen, gleich 3 ( n - 1 ) ist . Der untere Grenznachweis basiert auf der Gate-Eliminierungsmethode.U2U2U_23 ( n - 1 )3(n-1)3(n-1) Kürzlich ist mir aufgefallen, dass die Gate-Eliminierungsmethode auch für...
Die negative Gegnermethode ( ) ist eine SDP, die die Komplexität von Quantenabfragen charakterisiert. Es ist eine Verallgemeinerung der weit verbreiteten Gegner-Methode ( A D V ) und überwindet die beiden Hindernisse, die der Gegner-Methode im Wege standen:A D V±ADV±ADV^\pmA D VADVADV Die...
Da der Begriff überladen ist, eine kurze Definition zuerst. Ein Poset ist eine Menge mit einer Teilordnung ≤ . Gegeben seien zwei Elemente a , b ∈ X , können wir definieren x ∨ y (Join) als ihre kleinste obere gebunden in X und in ähnlicher Weise definieren x ∧ y (treffen) (zusammen) als größte...
Ich suche nach natürlichen Beispielen für effiziente Algorithmen (dh in Polynomialzeit) st ihre Richtigkeit und Wirksamkeit kann konstruktiv nachgewiesen werden (zB in PR APRAPRA oder HEINHAHA ), aber Es ist kein Beweis bekannt, bei dem nur effiziente Konzepte verwendet werden (dh wir wissen nicht,...
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...
Gibt es einen Standardverweis, um Ökonomen von der Relevanz der Komplexitätstheorie im Druck zu überzeugen? Ich kenne Noam Nisans Blogpost , Tim Roughgardens Umfrage und Kapitel 11 von Scott Aaronsons Aufsatz . Diese Stellen sind für Informatiker zugänglich, verwenden jedoch nicht die Sprache von...
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...
Es ist allgemein bekannt, dass der am meisten geladene Behälter mit hoher Wahrscheinlichkeit O(logn)O(logn)O(\log n) Bälle enthält , wenn Sie n Bälle in n Behälter werfen . Im Allgemeinen kann man nach m>nm>nm > n Bällen in nnn Behältern fragen . Eine Veröffentlichung von RANDOM 1998 von...