Download presentation
Presentation is loading. Please wait.
1
1 Brief Announcement: Distributed Broadcasting and Mapping Protocols in Directed Anonymous Networks Michael Langberg: Open University of Israel Moshe Schwartz: Ben Gurion University of the Negev Jehoshua Bruck: California Institute of Technology Presenting: Michael Elkin, Ben Gurion University of the Negev
2
2 Anonymous Networks : General framework: Processors: Processors: Do not have unique identifiers. Do not have unique identifiers. Execute identical protocols. Execute identical protocols. No knowledge of topology of network. No knowledge of topology of network. May distinguish between incoming edges. May distinguish between incoming edges. Objectives: Objectives: Broadcast. Broadcast. Label assignment. Label assignment. Graph exploration. Graph exploration. Previously studied: Undirected graphs (or directed + strongly connected). Undirected graphs (or directed + strongly connected). Protocols based on message passing. Protocols based on message passing.
3
3 This talk Directed anonymous graphs. Directed anonymous graphs. Not necessarily strongly connected. Not necessarily strongly connected. Has not been considered previously. Has not been considered previously. Standard (message passing) protocols studied do not apply: Standard (message passing) protocols studied do not apply: Graph may not be strongly connected. Graph may not be strongly connected. Processors may have single chance to send message. Processors may have single chance to send message. Outline of talk: Outline of talk: Model. Model. Results. Results.
4
4 Model Two special vertices: Two special vertices: Root s. Root s. Terminal t. Terminal t. Protocol proceeds as follows: Protocol proceeds as follows: Initial message sent from s to children. Initial message sent from s to children. Triggers a distributed protocol. Triggers a distributed protocol. Protocol terminates when terminal vertex t is in final state – with its state as the output of protocol. Protocol terminates when terminal vertex t is in final state – with its state as the output of protocol. Connectivity : Connectivity : Protocol will terminate iff all nodes lay on a path between s and t. Protocol will terminate iff all nodes lay on a path between s and t. Nodes only reachable from s or nodes that are only connected to t will not allow termination. Nodes only reachable from s or nodes that are only connected to t will not allow termination. s t Otherwise cannot distinguish between: t s t s Not connected Motivation: Consider dynamically growing network of unknown topology. Access to network through s and t. Our model enables to perform maintenance tasks. Maintenance is triggered by s and status report obtained via t.
5
5 Results Broadcast: send a message m to entire network. Broadcast: send a message m to entire network. Trivial without termination requirement at t. Trivial without termination requirement at t. Theorem: Broadcast + termination achievable with total communication O(|E| 2 |V|log(d out )) + |E||m|. Theorem: Broadcast + termination achievable with total communication O(|E| 2 |V|log(d out )) + |E||m|. Proof idea for termination: Proof idea for termination: Messages sent will represent a certain commodity. Messages sent will represent a certain commodity. Send unit of commodity out of s (split between children). Send unit of commodity out of s (split between children). Internal vertex: upon receiving commodity – process commodity and split among children. Internal vertex: upon receiving commodity – process commodity and split among children. t terminates when over time it receives a unit of commodity. t terminates when over time it receives a unit of commodity. Proof is non trivial even for acyclic graphs: must split commodity carefully – otherwise exponential communication complexity. Proof is non trivial even for acyclic graphs: must split commodity carefully – otherwise exponential communication complexity. Proof more involved for graphs with cycles. Proof more involved for graphs with cycles. s t
6
6 Results II Unique label assignment: Unique label assignment: Theorem: Unique label assignment + termination achievable with total communication complexity of O(|E| 2 |V|log(d out )). Theorem: Unique label assignment + termination achievable with total communication complexity of O(|E| 2 |V|log(d out )). Labels are of length O(|V|log(d out )). Proof idea: Proof idea: Follows commodity based protocol for broadcast. Follows commodity based protocol for broadcast. Part of the commodity is reserved for unique id. Part of the commodity is reserved for unique id. Large label length is essential (matching lower bound). Large label length is essential (matching lower bound). s t
7
7 Summary Initiate study of anonymous directed networks which are not strongly connected. Initiate study of anonymous directed networks which are not strongly connected. Present protocols for broadcast and label assignment + termination. Present protocols for broadcast and label assignment + termination. Open questions: Open questions: Close gap in communication complexity (not tight for digraphs with and without cycles). Close gap in communication complexity (not tight for digraphs with and without cycles). Our algorithms based on commodity preserving paradigm. Does paradigm yield optimal complexity on DAGs? Our algorithms based on commodity preserving paradigm. Does paradigm yield optimal complexity on DAGs?
Similar presentations
© 2024 SlidePlayer.com Inc.
All rights reserved.