 |
|
|
|
| HAL : hal-00511230, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| ISAAC '10, Korea, Republic Of (2010) |
|
|
|
|
| Fractal parallelism: Solving sat in bounded space and time |
|
|
| Denys Duchier 1Jérôme Durand-Lose 1 |
|
|
| (2010) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) |
|
|
|
Université d'Orléans : EA4022 – Ecole Nationale Supérieure d'Ingénieurs de Bourges |
|
|
|
|
|
|
|
|
|
| LIFO |
|
|
|
|
| Domaine | : | Informatique/Complexité Informatique/Logique en informatique |
|
|
| Abstract geometrical computation – Signal machine – Fractal – SAT – Massive parallelism – Model of computation |
|
| hal-00511230, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00511230 | |
| oai:hal.archives-ouvertes.fr:hal-00511230 | |
| Contributeur : Jérôme Durand-Lose | |
| Soumis le : Mardi 24 Août 2010, 11:20:14 | |
| Dernière modification le : Vendredi 29 Juillet 2011, 16:38:19 | |
