Als «fixed-parameter-tractable» getaggte Fragen

Algorithmen für parametrisierte Probleme, bei denen die Laufzeit in der Eingabegröße polynomisch ist, jedoch willkürlich vom Parameter abhängt




2
Können wir bei einem 4-Zyklus-freien Graphen bestimmen, ob er in quadratischer Zeit einen 3-Zyklus hat?
Das Cycle-Problem ist wie folgt:kkk Instanz: Ein ungerichteter Graph mit Eckpunkten und bis zu Kanten.nGGGnnn(n2)(n2)n \choose 2 Frage: Gibt es in G ein (richtiges) Rad ?GkkkGGG Hintergrund: Für jedes feste kkk können wir 2k2k2k Zyklen in O (n ^ 2) lösen O(n2)O(n2)O(n^2). Raphael Yuster, Uri Zwick: Noch schneller zu geraden …


5
Genaue Algorithmen für die r-dominierende Menge in Bounded Treewidth-Diagrammen
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, …

1
Elementargrenzen für Parameter in der Traktierbarkeit von Festparametern?
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 Funktionsklassen zu ersetzen , solange der Begriff der Reduktion ähnlich eingeschränkt ist. (Zum Beispiel decken …

2
Beziehung zwischen festem Parameter und Approximationsalgorithmus
Fixed Parameter und Approximation sind völlig unterschiedliche Ansätze zur Lösung schwieriger Probleme. Sie haben unterschiedliche Motivation. Die Approximation sucht ein schnelleres Ergebnis mit einer ungefähren Lösung. Ein fester Parameter sucht nach einer exakten Lösung mit Zeitkomplexität in Bezug auf die Exponential- oder eine Funktion von k und die Polynomfunktion von …


1
Irgendwelche Ergebnisse auf binärem booleschen CSP jenseits der Traktierbarkeit fester Parameter von fast 2SAT-Problemen?
Sei eine 2CNF-Formel und k eine nichtnegative ganze Zahl. Es ist in diesem Aufsatz bewiesen , dass das Problem der Entscheidung, ob höchstens k- Klauseln gelöscht werden können , um φ zufriedenstellend zu machen , mit festen Parametern bewerkstelligt werden kann, wobei k der Parameter ist. Meine Frage ist, ob …


1
Vermutung: Alle FPT NP-vollständigen Sprachen sind isomorph mit festen Parametern
Berman-Hartmanis-Vermutung: Alle NP-vollständigen Sprachen sehen gleich aus, in dem Sinne, dass sie durch polynomielle Zeitisomorphismen miteinander in Beziehung gesetzt werden können [1]. Ich interessiere mich für eine feinkörnigere Version der "Polynomzeit", wenn wir parametrisierte Reduktionen verwenden. Ein parametrierte Problem ist eine Teilmenge von , wobei Σ eine endliche Alphabet und …

2
Welche Graphprobleme sind
Nach den entsprechenden Fragen zur NP-Vollständigkeit (siehe Gewichtsfrage und gerichtete Frage ) habe ich mich gefragt, wie parametrisierte Probleme von diesen Attributen beeinflusst werden. Welche harten Graphenprobleme sind -Hard in gerichteten Graphen, aber feste Parameter, die in ungerichteten Graphen nachvollziehbar sind?W [ 1 ]N.P.NPNPW.[ 1 ]W[1]W[1] Welche harten Graphprobleme sind …


1
Polynomkern für
Das parametrisierte Problem mit k-FLIP SAT ist wie folgt definiert: Input: eine 3-CNF Formel mit n Variablen und einer Wahrheits Zuordnung σ : [ n ] → { 0 , 1 } Parameter: k Frage: kann man die Zuordnung Transformation σ in eine satifying Zuordnung σ ' für φ Flipping …

Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.