Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks

Author(s):  
Mouna Ktari ◽  
Mohamed Amine Haddar ◽  
Ahmed Hadj Kacem ◽  
Mohamed Mosbah
2017 ◽  
Vol 51 (2) ◽  
pp. 51-70
Author(s):  
Mouna Ktari ◽  
Mohamed Amine Haddar ◽  
Mohamed Mosbah ◽  
Ahmed Hadj Kacem

The problem of constructing and maintaining a spanning tree in dynamic networks is important in distributed systems. Trees are essential structures in various communication protocols such as information broadcasting, routing, etc. In a distributed computing environment, the solution of this problem has many practical motivations. To make designing distributed algorithm easier, we model this latter with a local computation model. Based on the mobile agent paradigm, we present in this paper a distributed algorithm that maintain a hierarchical spanning tree in dynamic networks. We study all topological events that may affect the structure of the spanning tree: we address the appearance and the disappearance of places and communication channels.


2010 ◽  
pp. 1677-1697
Author(s):  
Serkan Çiftlikli ◽  
Figen Öztoprak ◽  
Özgür Erçetin ◽  
Kerem Bülbül

In this article, we investigate two different distributed algorithms for constructing a minimum power broadcast tree with a maximum depth ? which corresponds to the maximum tolerable end-to-end delay in the network. Distributed Tree Expansion (DTE) is based on an implementation of a distributed minimum spanning tree algorithm in which the tree grows at each iteration by adding a node that can cover the maximum number of currently uncovered nodes in the network with minimum incremental transmission power and without violating the delay constraint. In Distributed Link Substitution (DLS), given a feasible broadcast tree, the solution is improved by replacing expensive transmissions by transmissions at lower power levels while reserving the feasibility of the tree with respect to the delay bound. Although DTE increases the message complexity to O(n3) from O(n2?) in a network of size n, it provides up to 50% improvement in total expended power compared to DLS.


Sign in / Sign up

Export Citation Format

Share Document