Upper and Lower Bounds for Weak Backdoor Set Detection
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F13%3A00072818" target="_blank" >RIV/00216224:14330/13:00072818 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-39071-5_29" target="_blank" >http://dx.doi.org/10.1007/978-3-642-39071-5_29</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-39071-5_29" target="_blank" >10.1007/978-3-642-39071-5_29</a>
Alternative languages
Result language
angličtina
Original language name
Upper and Lower Bounds for Weak Backdoor Set Detection
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/EE2.3.30.0009" target="_blank" >EE2.3.30.0009: Employment of Newly Graduated Doctors of Science for Scientific Excellence</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Lecture Notes in Computer Science
ISBN
9783642390708
ISSN
0302-9743
e-ISSN
—
Number of pages
9
Pages from-to
394-402
Publisher name
Springer
Place of publication
Helsinki
Event location
Helsinki
Event date
Jan 1, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—