| Identifikační kód | RIV/00216224:14330/13:00072818 |
|---|
| Název v anglickém jazyce | Upper and Lower Bounds for Weak Backdoor Set Detection |
|---|
| Druh | D - Článek ve sborníku |
|---|
| Jazyk | eng - angličtina |
|---|
| Obor - skupina | B - Fyzika a matematika |
|---|
| Obor | BD - Teorie informace |
|---|
| Rok uplatnění | 2013 |
|---|
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
|---|
| Počet výskytů výsledku | 1 |
|---|
| Počet tvůrců celkem | 4 |
|---|
| Počet domácích tvůrců | 1 |
|---|
| Výčet všech uvedených jednotlivých tvůrců | Misra Neeldhara (státní příslušnost: IN - Indická republika)
Sebastian Ordyniak (státní příslušnost: DE - Spolková republika Německo, domácí tvůrce: A)
Venkatesh Raman (státní příslušnost: IN - Indická republika)
Stefan Szeider (státní příslušnost: AT - Rakouská republika) |
|---|
| Popis výsledku v anglickém jazyce | We obtain upper and lower bounds for running times of exponential time algorithms for the detection of weak backdoor sets of 3CNF formulas, considering various base classes. These results include (omitting polynomial factors), (i)~a 4.54^k algorithm to detect whether there is a weak backdoor set of at most k variables into the class of Horn formulas; (ii)~a 2.27^k algorithm to detect whether there is a weak backdoor set of at most k variables into the class of Krom formulas. These bounds improve an earlier known bound of 6^k. We also prove a 2^k lower bound for these problems, subject to the Strong Exponential Time Hypothesis. |
|---|
| Klíčová slova oddělená středníkem | satisfiability; weak backdoor sets; parameterized complexity; upper bounds; lower bounds |
|---|
| Stránka www, na které se nachází výsledek | - |
|---|
| DOI výsledku | 10.1007/978-3-642-39071-5_29 |
|---|