Fractal parallelism: Solving sat in bounded space and time

Abstract : Abstract geometrical computation can solve NP-complete problems efficiently: any boolean constraint satisfaction problem, instance of SAT, can be solved in bounded space and time with simple geometrical constructions involving only drawing parallel lines on a Euclidean space-time plane. Complexity as the maximal length of a sequence of consecutive segments is quadratic. The geometrical algorithm achieves massive parallelism: an exponential number of cases are explored simultaneously. The construction relies on a fractal pattern and requires the same amount of space and time independently of the SAT formula.
Document type :
Conference papers
Cheong Otfried, Kyung-Yong Chwa, and Kunsoo Park. ISAAC '10, Dec 2010, South Korea. Springer, pp.279-290, 2010, LNCS
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00511230
Contributor : Jérôme Durand-Lose <>
Submitted on : Tuesday, August 24, 2010 - 11:20:14 AM
Last modification on : Thursday, January 17, 2019 - 3:06:04 PM

Identifiers

  • HAL Id : hal-00511230, version 1

Collections

Citation

Denys Duchier, Jérôme Durand-Lose, Maxime Senot. Fractal parallelism: Solving sat in bounded space and time. Cheong Otfried, Kyung-Yong Chwa, and Kunsoo Park. ISAAC '10, Dec 2010, South Korea. Springer, pp.279-290, 2010, LNCS. 〈hal-00511230〉

Share

Metrics

Record views

142