, 1: Chaque processus p répète infiniment souvant l'ensemble d'actions suivantes : 2: p génère t p (q) : un temps aléatoire choisi uniformément dans l
, attend jusqu'à ce que l'un de ces évènements se produise : ; 4: 1. p reçoit 1 d'un voisin r : ; 5: p envoie 0 à tous les autres voisins (*Il y a un rendez-vous entre p et r*)
, 2. t = t p (q) et p n'a reçu aucun signal de q : ; 7: p envoie 1 à q et 0 à tous les autres voisins (*Il y a un rendez
, 8: 3. t = 1 (* le round est terminé sans que p ne prenne part à un rendez-vous*)
, Nombre de rendez-vous
Pour que cette hypothèse soit vraie, il suffit de considérer que pour chaque arête e = {u, v} de G, l'algorithme génère deux v.a. X e (u) et X e (v), correspondant aux valeurs t u (v) et t v (u) dans l'algorithme. Le premier rendez-vous aura lieu sur une arête e = {u, v} si une des v.a. X e (u) ou X e (v) est minimale dans tout le graphe. Ainsi, pour le premier rendez-vous dans G, toutes les arêtes ont la même chance 1/|E| d'être choisies. L'affectation du premier rendez-vous à u et v sur {u, v}, implique que ces deux sommets et toutes leurs arêtes adjacentes seront supprimées du graphe G. Le processus continue alors dans le graphe résiduel (sans regénérer de nouvelles dates de rendez-vous) jusqu'à ce que toutes les arêtes soient supprimées du graphe. Le nombre de rendez-vous dans un round est donc simplement le nombre total d'arêtes sur lesquelles un rendezvous a lieu. Soit R(G) ce nombre, il s'agit d'une v.a. entière dont la valeur est égale à 0 avec probabilité 1 si E = ?, à 1 avec probabilité 1 si |E| = 1 et à une, commence par générer 2|E| v.a. réelles indépendantes dans l'intervalle [0, 1[ : 2 v.a. pour chaque arête. Nous supposons que toutes les (2|E|)! permutations possibles sont équiprobables ,
Soit G e = (V ? , E ? ) le graphe résiduel obtenu après suppression des sommets u et v et de leurs arêtes adjacentes. Alors toutes les (2|E ? |)! permutations des v ,
, Ce fait permet de calculer, récursivement, la distribution de probabilité de la v
, 1-Trois graphes connexes ayant le même ensemble de sommets
, Cette section s'intéresse à l'impact de l'ajout d'un sommet à un graphe connexe sur le nombre moyen de rendez-vous dans un graphe connexe. Nous montrons que cet impact est positif, et plus exactement, nous avons : Proposition 7.6 Soit G = (V, E) un graphe et G ? un graphe obtenu à en rajoutant un sommet x et zéro ou plus d'arêtes entre x des sommets de G
Par récurrence sur n = |V|. Pour n = 0, la proposition est triviale ,
On a alors deux cas selon que x est adjacent ou non à e. Pour prouver la proposition, il suffit de montrer que l'inégalité est vérifiée conditionnée par les deux événements E 1 et E 2 suivants : 1. Événement E 1. Soit e = {x, v} pour un sommet v ? V ,
, La proposition en résulte
, Nous calculons d'abords la valeur asymptotique de la probabilité d'un rendez-vous sur une arête du graphe. Soit G un graphe aléatoire de taille n et de degré moyen c. Dans ce modèle, la probabilité que deux sommets différents soient liés par une arête est égale à c/(n ? 1), ce qui permet d'obtenir un degré moyen égal à c. Soit {a, b} une arête existante dans G. Le but Annexe A. Curriculum Vitae Nom patronymique : ZEMMARI Prénom : Akka Date et lieu de naissance : le 01 mars 1973 à Irklaouen (Maroc) Nationalité : Française Situation de famille : Marié, un enfant Adresse personnelle : 9, rue des arbousiers, 33600 Pessac, Nombre de rendez-vous dans les graphes aléatoires Considèrons un graphe aléatoire de degré moyen c > 0
d'informatique, option Architectures et applications massivement parallèles. Mémoire sur le routage compact et adaptatif, sous la direction du professeur Cyril Gavoille ,
, Thèse de Doctorat d'informatique, sous la direction d'Yves Métivier et Nasser Saheb : "Contribution à l'analyse d'algorithmes distribués
, Activités professionnelles : 2000-2001 Attaché Temporaire d'Enseignement et de Recherche (ATER) en Informatique, Université Bordeaux 1. 2001-Maître de Conférences en Informatique
, je suis directeur des études de la MIAGE de Bordeaux. J'ai en charge la participation à la définition du contenu pédagogique de la formation et la gestion de la coordination entre les responsables des trois années de formation, 2008.
Liste des publications Thèse : [1] A. Zemmari. Contribution à l'analyse d'algorithmes distribués, 2000. ,
Analysis of a Randomised Dynamic Timetable Handshake Algorithm. Pure Mathematics and Applications (Algebra and Theoretical Computer Science), Articles acceptés dans des revues d'audience internationale avec comité de sélection, 2009. ,
Sublinear Fully Distributed Partition with Applications. Theory of Computing Systems. À paraître, 2009. ,
DOI : 10.1007/s00224-009-9190-x
URL : https://hal.archives-ouvertes.fr/hal-00351045
On Handshakes in Random Graphs, Information Processing Letters, vol.108, pp.119-123, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00307158
Broadcast in the Rendezvous Model. Information and Computation, vol.204, pp.697-712, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00307528
Locally Guided Randomized Elections in Trees : the Totally Fair Case. Information and Computation, vol.198, pp.40-55, 2005. ,
Analysis of a Randomized Rendez Vous Algorithm. Information and Computation, vol.184, pp.109-128, 2003. ,
The compactness of adaptive routing tables, Journal of Discrete Algorithms, vol.1, pp.237-254, 2003. ,
URL : https://hal.archives-ouvertes.fr/hal-00307380
Randomized Local Elections, Information Processing Letters, vol.82, issue.6, pp.313-320, 2002. ,
An Optimal Bit Complexity Randomised Distributed MIS Algorithm, the 16th International Colloquium on Structural Information and Communication Complexity, pp.Slove- nia, 2009. ,
Election Algorithms with Random Delays in Trees, the 21st International Conference on Formal Power Series and Algebraic Combinatorics, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01185372
Analysis of a Randomized Dynamic Timetable Handshake Algorithm, GASCOM 2008. Bibbiena, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00307794
A Probabilistic Model for Distributed Merging of Mobile Agents, 2nd International Workshop on Verification and Evaluation of Computer and Communication Systems, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00345590
A Generic Distributed Algorithm for Computing by Random Mobile Agents, 10th Pacific Rim International Workshop On Multi-Agents ( PRIMA'2007), vol.5044, pp.392-397, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306281
A Self-stabilizing Distributed Algorithm For Resolving Conflicts, 2nd International Workshop On Reliability in Decentralized Distributed Systems, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306292
, Lecture Notes in Computer Science, vol.4806, pp.1042-1051, 2007.
Merging Time of Random Mobile Agents, Procedings of LDIC. Pages, pp.179-189, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306282
Collecte d'informations par des agents mobiles, New Technologies for Distributed Systems, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306283
Using Graph Relabelling Systems for Resolving Conflicts, New Technologies for Distributed Systems (NOTERE'2006). 6-9 juin, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00307132
Distributed Computation of a Spanning Tree in a Dynamic Graph by Mobile Agents, IEEE International Conference on Engineering of Intelligent Systems, 2006. ,
Fast Distributed Graph Partition and Application, 20th IEEE International Parallel & Distributed Processing Symposium (IPDPS, 2006. ,
DOI : 10.1109/ipdps.2006.1639362
URL : https://hal.archives-ouvertes.fr/hal-00307546
Polyominoids and Uniform Election, 17th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2005), 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00307795
A Uniform Probabilistic Election Algorithm in k-Trees, 17th IMACS World Congress : Scientific Computation, Applied Mathematics and Simulation (IMACS 2005), 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00307796
Broadcast in the Rendezvous Model, 21st International Symposium on Theoretical Aspects of Computer Science (STACS, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00307147
Broadcast Using Rendezvous (Extended Abstract). Breif announcement In, 17th International Symposium on Distributed Computing, 2003. ,
A Uniform Randomized Election in Trees (Extended Abstract), 10th International Colloquium on Structural Information & Communication Complexity (SIROCCO, 2003. ,
Uniform Randomized Election in Trees, Certosa di Pontignano (Sienne), 2001. ,
Methods for Computing the Concurrency Degree in Commutation Monoids, 12-th International Conference on Formal Power Series and Algebraic Combinatorics ( FPSAC 2000 ), pp.731-742, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00307159
The Compactness of Adaptive Routing Tables, 7-th International Colloquium on Structural Information & Communication Complexity (SIROCCO 2000), pp.127-140, 2000. ,
URL : https://hal.archives-ouvertes.fr/hal-00307385
An analysis of an optimal bit complexity randomised, Colloquium on Mathematics and Computer Science. Trends in Mathematics series, pp.183-194, 2000. ,
Uniform Election in Polyominoids and Trees ,
URL : https://hal.archives-ouvertes.fr/hal-00451114
Merging Mobile Agents : a Random Walk Approach ,
A fast and simple randomized parallel algorithm for the maximal independent set problem, J. Algorithms, vol.7, p.34, 1986. ,
,
Network decomposition and locality in distributed computation, FOCS, p.34, 1989. ,
Local and global properties in networks of processors, Proceedings of the 12th Symposium on theory of computing, pp.82-93, 1980. ,
, Graphs and Hypergraphs, vol.3, 1985.
Dynamical sources in information theory : A general analysis of trie structures, Algorithmica, vol.29, p.54, 2001. ,
Broadcast in the rendezvous model, STACS, vol.2996, p.82, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00307147
Broadcast in the rendezvous model, Inf. Comput, vol.204, p.82, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00307147
The probability of a rendezvous is minimal in complete graphs, Lecture Notes in Computer Science, vol.2518, pp.55-66, 2002. ,
On the probability of rendezvous in graphs, Random Struct. Algorithms, vol.26, pp.266-288, 2005. ,
,
, Analysis of a randomized dynamic timetable handshake algorithm, Pure Mathematics and Applications (PuMA), vol.82
Uniform election in polyominoids and trees. soumis à, Discrete Applied Mathematics, vol.22, issue.25, p.13 ,
URL : https://hal.archives-ouvertes.fr/hal-00451114
Polyominoids and uniform election, 17th Formal Power Series and Algebraic Combinatorics (FPSAC), 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00307795
A uniform probabilistic election algorithm in k-trees, 17th IMACS World Congress : Scientific Computation, Applied Mathematics and Simulation (IMACS), vol.25, p.13, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00307796
An Introduction to Probability Theory and Its Application, Volume I, p.17, 1960. ,
An Introduction to Probability Theory and Its Application, vol.21, 1966. ,
A seating arrangement problem, tech. rep., ALCOM-FT, p.78, 1997. ,
The average case analysis of algorithms : Mellin transform asymptotics, vol.50, p.49 ,
URL : https://hal.archives-ouvertes.fr/inria-00073742
, Probabilistic methods for algorithmic discrete mathematics, vol.16, 1998.
Simple distributed (? + 1)-coloring of graphs, Information Processing Letters, vol.70, pp.229-232, 1999. ,
Fast deterministic distributed maximal independent set computation on growth-bounded graphs, DISC, p.34, 2005. ,
, 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, vol.46, pp.25-29, 2006.
Distributed coloring in o/spl tilde/(/spl radic/(log n)) bit rounds, IPDPS, p.42, 2006. ,
A fast parallel algorithm for the maximal independent set problem, Proceedings of the 16th ACM Symposium on Theory of computing (STOC), p.34, 1984. ,
Évaluation des algorithmes distribués, Hermes, 1995. ,
Distributed systems-towards a formal approach, IFIP Congress, p.13, 1977. ,
Locality in distributed graph algorithms, SIAM J. Comput, vol.21, p.34, 1992. ,
On the recognition of families of graphs with local computations, Inf. Comput, vol.118, p.27, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00307044
, Probability Theory, p.65, 1955.
A simple parallel algorithm for the maximal independent set problem, SIAM J. Comput, vol.15, p.34, 1986. ,
DOI : 10.1145/22145.22146
URL : http://disco.ethz.ch/members/pascal/refs/mis_1986_luby.pdf
Distributed Algorithms, 1996. ,
An optimal bit complexity randomised distributed vertex colouring algorithm. soumis, p.47 ,
A bit complexity efficient randomized distributed mis algorithm, 16th International Colloquium on Structural Information and Communication Complexity, vol.38, p.37, 2009. ,
,
Probabilistic analysis of an election algorithm in a tree, vol.787, p.13, 1994. ,
Graph relabelling systems : A general overview, Computers and Artificial Intelligence, vol.16, 1997. ,
Graph relabelling systems : A general overview, Computers and Artificial Intelligence, vol.16, p.55, 1997. ,
A uniform randomized election in trees, Proceedings in Informatics, vol.17, pp.259-274, 2003. ,
Locally guided randomized elections in trees : The totally fair case, Inf. Comput, vol.198, pp.40-55, 2005. ,
Election algorithms with random delays in trees, 21st Formal Power Series and Algebraic Combinatorics (FPSAC), 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-01185372
Randomized rendezvous, Mathematics and computer science : Algorithms, trees, combinatorics and probabilities, Trends in mathematics, p.56, 2000. ,
Randomized local elections, Inf. Process. Lett, vol.82, p.10, 2002. ,
Analysis of a randomized rendezvous algorithm, Inf. Comput, vol.184, p.10, 2003. ,
Maximal independent set in radio networks, Proceedings of the 25 Annual ACM Symposium on Principles of Distributed Computing (PODC), p.34, 2005. ,
Distributed computing : a locality-sensitive approach, Society for Industrial and Applied Mathematics, p.34, 2000. ,
, Handbook of Discrete and Combinatorial Mathematics, 2000.
An Introduction to the Analysis of Algorithms, vol.512, 1996. ,
Introduction to distributed algorithms, 2000. ,
, , vol.43, p.42, 2007.
, Probability with Martingals, 1993.
Handshakes in random graphs, Inf. Process. Lett, vol.108, pp.119-123, 2008. ,
DOI : 10.1016/j.ipl.2008.04.018
URL : https://hal.archives-ouvertes.fr/hal-00307158