Loading...
Please wait, while we are loading the content...
Similar Documents
On Generic Np-completeness of the Boolean Satisfiability Problem
| Content Provider | Semantic Scholar |
|---|---|
| Author | Rybalov, Alexander N. |
| Copyright Year | 2017 |
| Abstract | Generic-case approach to algorithmic problems was suggested by Miasnikov, Kapovich, Schupp and Shpilrain in 2003. This approach studies behavior of an algorithm on typical (almost all) inputs and ignores the rest of inputs. Many classical undecidable or hard algorithmic problems become feasible in the generic case. But there are generically hard problems. In this paper we introduce a notion of generic polynomial reducibility algorithmic problems, which preserve the property of polynomial decidability of the problem for almost all inputs and has the property of transitivity. It is proved that the classical satisfiability problem of Boolean formulas is complete with respect to this generic reducibility in the generic analogue of class NP. |
| Starting Page | 106 |
| Ending Page | 112 |
| Page Count | 7 |
| File Format | PDF HTM / HTML |
| DOI | 10.17223/20710410/36/8 |
| Alternate Webpage(s) | http://journals.tsu.ru/uploads/import/1591/files/36_106.pdf |
| Alternate Webpage(s) | https://doi.org/10.17223/20710410%2F36%2F8 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
