Modèle géométrique de calcul : fractales et barrières de complexité - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2013

Geometrical model of computation: fractals and complexity gaps

Modèle géométrique de calcul : fractales et barrières de complexité

Maxime Senot
  • Fonction : Auteur
  • PersonId : 946547

Résumé

Geometrical models of computation allow to compute by using geometrical elementary operations. Among them, the signal machines model distinguishes itself by its simplicity, along with its power to realize efficiently various computations. We propose here an illustration and a study of this ability, especially in the case of massively parallel processes. We show first, throught a study of fractals, that signal machines are able to make a massive and parallel use of space. Then, a framework of geometrical modular programmation is proposed for designing machines from basic geometrical components --called modules-- supplied with given functionnalities. This method fits particulary with the conception of geometrical parallel computations. Finally, the joint use of this method and of fractal structures provides a geometrical resolution of difficult problems such as the boolean satisfiability problems SAT and Q-SAT. These ones, as well as several variants, are solved by signal machines with a model-specific time complexity, called collisions depth, which is polynomial, illustrating thus the efficiency and the parallel computational abilities of signal machines.
Les modèles géométriques de calcul permettent d'effectuer des calculs à l'aide de primitives géométriques. Parmi eux, le modèle des machines à signaux se distingue par sa simplicité, ainsi que par sa puissance à réaliser efficacement de nombreux calculs. Nous nous proposons ici d'illustrer et de démontrer cette aptitude, en particulier dans le cas de processus massivement parallèles. Nous montrons d'abord à travers l'étude de fractales que les machines à signaux sont capables d'une utilisation massive et parallèle de l'espace. Une méthode de programmation géométrique modulaire est ensuite proposée pour construire des machines à partir de composants géométriques de base -- les modules -- munis de certaines fonctionnalités. Cette méthode est particulièrement adaptée pour la conception de calculs géométriques parallèles. Enfin, l'application de cette méthode et l'utilisation de certaines des structures fractales résultent en une résolution géométrique de problèmes difficiles comme les problèmes de satisfaisabilité booléenne SAT et Q-SAT. Ceux-ci, ainsi que plusieurs de leurs variantes, sont résolus par machines à signaux avec une complexité en temps intrinsèque au modèle, appelée profondeur de collisions, qui est polynomiale, illustrant ainsi l'efficacité et le pouvoir de calcul parallèle des machines à signaux.
Fichier principal
Vignette du fichier
these.pdf (5.99 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00870600 , version 1 (07-10-2013)
tel-00870600 , version 2 (11-02-2014)

Identifiants

  • HAL Id : tel-00870600 , version 2

Citer

Maxime Senot. Modèle géométrique de calcul : fractales et barrières de complexité. Complexité [cs.CC]. Université d'Orléans, 2013. Français. ⟨NNT : ⟩. ⟨tel-00870600v2⟩
495 Consultations
5358 Téléchargements

Partager

Gmail Facebook X LinkedIn More