Chapter

Algorithms and Computation

Volume 6506 of the series Lecture Notes in Computer Science pp 73-84

Improved Randomized Algorithms for 3-SAT

  • Kazuo IwamaAffiliated withKyoto University
  • , Kazuhisa SetoAffiliated withKyoto University
  • , Tadashi TakaiAffiliated withEast Japan Railway Company
  • , Suguru TamakiAffiliated withKyoto University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

This pager gives a new randomized algorithm which solves 3-SAT in time O(1.32113 n ). The previous best bound is O(1.32216 n ) due to Rolf (J. SAT, 2006). The new algorithm uses the same approach as Iwama and Tamaki (SODA 2004), but exploits the non-uniform initial assignment due to Hofmeister et al. (STACS 2002) against the Schöning’s local search (FOCS 1999).

Keywords

3-SAT exponential-time algorithms randomized algorithms