Es ist bekannt, dass bestimmte Probleme unentscheidbar sind, es ist jedoch möglich, einige Fortschritte bei ihrer Lösung zu erzielen. Zum Beispiel ist das Problem des Anhaltens nicht zu entscheiden, aber praktische Fortschritte können bei der Erstellung von Tools zum Erkennen potenzieller Endlosschleifen in Ihrem Code erzielt werden. Kachelprobleme sind oft …
Ich interessiere mich für die parametrisierte Komplexität des sogenannten d-dimensionalen Schlagsets-Problems: bei gegebenem Bereichsraum (dh einem festgelegten System / Hypergraph) S = (X, R) mit einer VC-Dimension von höchstens d und a positive ganze Zahl k, enthält X eine Teilmenge der Größe k, die jeden Bereich in R trifft? Die …
Angenommen, wir haben ein Rechenproblem, z. B. 3-SAT, das eine Reihe von Probleminstanzen (mögliche Eingaben) . Normalerweise haben wir bei der Analyse von Algorithmen oder der Theorie der rechnerischen Komplexität einige Mengen aller Eingaben der Länge und eine Funktion , die die Laufzeit einiger Lösungsalgorithmen für die Eingabe . Die …
In parametrisierter Komplexität ist ≤ W [ 2 ] ≤ … ≤ W [ P ] . Es wird vermutet, dass jeder der Containments richtig ist.F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ S.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Wenn dann …
Die Treewidth spielt eine wichtige Rolle in FPT-Algorithmen, unter anderem, weil viele Probleme durch die Treewidth der FPT parametrisiert werden. Ein verwandter, eingeschränkterer Begriff ist der der Pfadbreite. Wenn ein Graph eine Pfadbreite , hat er auch eine Baumbreite von höchstens k , während in der umgekehrten Richtung die Baumbreite …
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 lesen?
Was ist, wenn irgendetwas über die parametrisierte Komplexität der Berechnung der Schnittmenge eines Graphen bekannt ist (die kleinste Anzahl von Cliquen, die erforderlich sind, um alle seine Kanten abzudecken)? Es ist seit langem bekannt, dass es NP-vollständig ist, und es ist offensichtlich FPT, weil es einen Kern hat: Wenn Sie …
Sei 0 ≤ p ≤ 10≤p≤10\le p\le 1 und betrachte das Entscheidungsproblem CLIQUE p Input: Ganzzahl s , Graph G mit t Eckpunkten und Kanten Frage: hat enthält eine Clique auf mindestens Vertices?pp_p sssGGGtttGs⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil GGGsss Eine Instanz von CLIQUE enthält einen Anteil aller möglichen …
Eine gegebene Vertex ungerichteten Graphen, was ist das bekannteste Laufzeit für gebundene finden einen Untergraphen , die eine -biclique? Gibt es schneller parametrisierte Algorithmen als den -Zeitalgorithmus zum "Erraten" einer Seite des Fahrrads und zum Überprüfen, ob es mindestens andere Eckpunkte gibt, die auf alle von ihnen zutreffen ?k × …
Wenn wir eine Baumzerlegung eines Graphen mit der Breite w erhalten , gibt es verschiedene Möglichkeiten, wie wir ihn "schön" machen können. Insbesondere ist bekannt, dass es möglich ist, ihn in eine Baumzerlegung umzuwandeln, bei der der Baum binär ist und seine Höhe O ( log n ) beträgt . …
Wie jeder weiß, bietet das berühmte Buch von Garey und Johnson (und viele andere) eine hervorragende Referenz für die Reduktionstechnik in klassischer Umgebung. Gibt es Umfragen oder Bücher zum Thema Reduktionstechnik in parametrisierten Algorithmen, etwa zur fpt-Reduktion?
Mit einem Graphen möchte ich eine optimale r- Dominanz für G finden . Das heißt, ich möchte eine Teilmenge S von V, so dass alle Scheitelpunkte in G höchstens r von einem Scheitelpunkt in S entfernt sindG=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSS , während die Größe von minimiert wird .SSS Nach dem, …
Die Hierarchie ist eine Hierarchie von Komplexitätsklassen W [ t ] in parametrisierter Komplexität . Definitionen finden Sie im Complexity Zoo . Eine alternative Definition definiert W [ t ] unter Verwendung der gewichteten Fagin-Definierbarkeit für Π t -Formeln der Logik erster Ordnung, siehe das Lehrbuch von Flum und Grohe …
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 vornehmen. Ist es wirklich so schwer, es richtig zu machen? …
Vertex Cover kann einfach auf Independent Set reduziert werden und umgekehrt. Im Kontext der parametrisierten Komplexität ist die unabhängige Menge jedoch schwieriger als die Vertex-Abdeckung. Für Vertex Cover existiert ein Kernel mit Vertices, aber Independent Set ist W 1 hard.2k2k2k Wie verändert sich die Natur von Independent Set im Kontext …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.