- We will send in 10–14 business days.
/images/books/13375856/9783838123660.jpg)
- Author: Tatjana Schmidt
- Publisher: Sudwestdeutscher Verlag Fur Hochschulschriften AG
- Year: 2011
- Pages: 172
- ISBN-10: 3838123662
- ISBN-13: 9783838123660
- Format: 15.2 x 22.9 x 1 cm, softcover
- Language: English
- SAVE -10% with code: EXTRA
Computational Complexity of SAT, Xsat and Nae-SAT (e-book) (used book) | bookbook.eu
Reviews
Description
The Boolean conjunctive normal form (CNF) satisability problem, called SAT for short, gets as input a CNF formula and has to decide whether this formula admits a satisfying truth assignment. As is well known, the remarkable result by S. Cook in 1971 established SAT as the first and genuine complete problem for the complexity class NP. In this thesis we consider SAT for a subclass of CNF, the so called Mixed Horn formula class (MHF). A formula F 2 MHF consists of a 2-CNF part P and a Horn part H. We propose that MHF has a central relevance in CNF because many prominent NP-complete problems, e.g. Feedback Vertex Set, Vertex Cover, Dominating Set and Hitting Set, can easily be encoded as MHF. Furthermore, we show that SAT remains NP-complete for some interesting subclasses of MHF. We also provide algorithms for some of these subclasses solving SAT in a better running time than O(2^0.5284n) which is the best bound for MHF so far. In addition, we investigate the computational complexity of some prominent variants of SAT, namely not-all-equal SAT (NAE-SAT) and exact SAT (XSAT) restricted to the class of linear CNF formulas.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 20d.02:52:10
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Tatjana Schmidt
- Publisher: Sudwestdeutscher Verlag Fur Hochschulschriften AG
- Year: 2011
- Pages: 172
- ISBN-10: 3838123662
- ISBN-13: 9783838123660
- Format: 15.2 x 22.9 x 1 cm, softcover
- Language: English English
The Boolean conjunctive normal form (CNF) satisability problem, called SAT for short, gets as input a CNF formula and has to decide whether this formula admits a satisfying truth assignment. As is well known, the remarkable result by S. Cook in 1971 established SAT as the first and genuine complete problem for the complexity class NP. In this thesis we consider SAT for a subclass of CNF, the so called Mixed Horn formula class (MHF). A formula F 2 MHF consists of a 2-CNF part P and a Horn part H. We propose that MHF has a central relevance in CNF because many prominent NP-complete problems, e.g. Feedback Vertex Set, Vertex Cover, Dominating Set and Hitting Set, can easily be encoded as MHF. Furthermore, we show that SAT remains NP-complete for some interesting subclasses of MHF. We also provide algorithms for some of these subclasses solving SAT in a better running time than O(2^0.5284n) which is the best bound for MHF so far. In addition, we investigate the computational complexity of some prominent variants of SAT, namely not-all-equal SAT (NAE-SAT) and exact SAT (XSAT) restricted to the class of linear CNF formulas.
Reviews