Strong computational lower bounds via parameterized complexity

We develop new techniques for deriving strong computational lower bounds for a class of well-known NP-hard problems. This class includes weighted satisfiability, dominating set, hitting set, set cover, clique, and independent set. For example, although a trivial enumeration can easily test in time O...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of computer and system sciences Jg. 72; H. 8; S. 1346 - 1367
Hauptverfasser: Chen, Jianer, Huang, Xiuzhen, Kanj, Iyad A., Xia, Ge
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier Inc 01.12.2006
Schlagworte:
ISSN:0022-0000, 1090-2724
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!