Theoretische Informatik parameterized-complexity

2

Sei SAT die Sprache jener Instanzen von SAT, die Variablen , sei -SAT die Sprache jener Instanzen von SAT, in denen jede Klausel enthalten ist höchstens Literale, und sei -SAT ihr Schnittpunkt. Sei , wobei das Infimum über alle Algorithmen (Maschinen in einem Rechenmodell) reicht. Sei s_ \ infty = …

8 cc.complexity-theory parameterized-complexity conditional-results

2

Auswirkungen eines Problems in XP bei der Parametrisierung nach Durchmesser

Sei ein NP-vollständiges Graphproblem. Angenommen, X ist in Polynomzeit in Graphen mit begrenztem Durchmesser lösbar. Mit anderen Worten, X , das durch den Durchmesser parametrisiert ist, ist in XP. (Denken Sie daran, dass ein Problem in XP vorliegt, wenn es in n f ( k ) Zeit gelöst werden kann …

8 graph-theory parameterized-complexity fixed-parameter-tractable

3

Ist das Problem der parametrisierten maximalen unabhängigen Klauseln in FPT ein Problem?

Problem mit parametrisierten maximalen unabhängigen Klauseln: Eingabe: Eine r-CNFSAT-Formel F mit n Variablen und m Klauseln, k Fragen: Gibt es mindestens k Klauseln, so dass sie voneinander unabhängig sind, dh keine Variable kommt mehr als einmal in allen diesen Klauseln zusammen vor. Parameter: k Ich möchte wissen, ob dieses Problem …

8 cc.complexity-theory parameterized-complexity fixed-parameter-tractable

Als «parameterized-complexity» getaggte Fragen