Als «parameterized-complexity» getaggte Fragen

Die Untersuchung der rechnerischen Komplexität von Problemen in Bezug auf mehr als einen Parameter.

1
Monotone Schaltungskomplexität von Rechenfunktionen an spärlichen Eingängen
Das Gewichteiner binären Zeichenkette ist die Anzahl der Einsen in der Zeichenkette. Was passiert, wenn wir daran interessiert sind, eine monotone Funktion an Eingängen mit wenigen zu berechnen?x ∈ { 0 , 1 } n|x||x||x|x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n Wir wissen, dass die Entscheidung, ob ein Graph eine Klasse hat, für monotone Schaltkreise schwierig …
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
Parametrisierte Komplexität der Einbeziehung regulärer Sprachen
Ich interessiere mich für das klassische Problem REGELMÄSSIGE SPRACHEINKLUSION. Bei einem regulären Ausdruck bezeichnen wir mit L ( E ) die damit verbundene reguläre Sprache. (Reguläre Ausdrücke befinden sich in einem festen Alphabet Σ mit der Operations Union, dem Kleene-Stern und der Verkettung.)EEEL(E)L(E)L(E)ΣΣ\Sigma Eingabe: Zwei reguläre Ausdrücke und E 2 …
5
Instanz von FPT-Reduktionen, die keine Polynomzeitreduktion ist
In parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich gesehen habe, p-Zeit-Reduktionen, was bedeutet, dass W [t] -Härtebeweise fast immer NP-Vollständigkeitsnachweise implizieren. …
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 …
1
Schlagen von Sets mit einer Unterfamilie
Sei eine Familie von Element-Teilmengen eines endlichen Universums von Objekten. Eine Familie von Element-Teilmengen von mit ist eine - Schlagmenge von wenn für jedes mindestens eine Menge wie z daß .FF.FdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Bei einer Sammlung wie oben beschrieben, die - Schlagen-Set …
5
W [1] -harte Probleme mit FPT-Zeitnäherungsalgorithmen
Ich suche nach Problemen, die in der FPT-Zeit schwer zu lösen sind, aber einen Approximationsalgorithmus haben. Das heißt, Probleme, die sind: R1. W [1] -hart. R2. Lassen Sie einen (vorzugsweise konstanten) Approximationsalgorithmus in der FPT-Zeit zu. Das mir bekannte Problem besteht darin, die Anzahl der einfachen Pfade der Länge in …
1
Folgen eines Destillationsalgorithmus für PSPACE
Der folgende Begriff eines Destillationsalgorithmus stammt aus "Über Probleme ohne Polynomkerne". Es sei eine Sprache gegeben. Ein Destillationsalgorithmus für nimmt eine gegebene Liste von Eingabezeichenfolgen und berechnet eine Ausgabezeichenfolge :LLL{ x i } i ∈ [ t ] yLLL{xi}i∈[t]{xi}i∈[t]\{ x_i \}_{i \in [t]}yyy (1) genau dann, wenn es so dassi …
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.