Completely inapproximable monotone and antimonotone parameterized problems

We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT≠W[1]. In particular, not having such an fpt-approximation algorithm implies that these problems have no pol...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Journal of computer and system sciences Ročník 79; číslo 1; s. 144 - 151
Hlavný autor: Marx, Dániel
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Inc 01.02.2013
Predmet:
Algorithms
Approximation
Circuit satisfiability
Circuits
Fixed-parameter tractability
Inapproximability
Mathematical analysis
Mathematical models
Circuit satisfiability
Circuits
Fixed-parameter tractability
Inapproximability
ISSN:0022-0000, 1090-2724
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT≠W[1]. In particular, not having such an fpt-approximation algorithm implies that these problems have no polynomial-time approximation algorithms with ratio ρ(OPT) for any nontrivial function ρ. ► We show fpt-inapproximability results for natural problems. ► Results are under the standard complexity assumption that FPT is different from W[1]. ► Weighted Monotone Circuit Satisfiability has no fpt-approximation for any ratio. ► Weighted Antimonotone Circuit Satisfiability has no fpt-approximation for any ratio.
Bibliografia:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0022-0000
1090-2724
DOI:10.1016/j.jcss.2012.09.001