1 / 18

Optimal Determination of Source-destination Connectivity in Random Graphs

Optimal Determination of Source-destination Connectivity in Random Graphs. Luoyi Fu, Xinbing Wang, P. R. Kumar Dept. of Electronic Engineering Shanghai Jiao Tong University Dept. of Electrical & Computer Engineering Texas A&M University. N nodes Each edge exists with probability p

dane
Download Presentation

Optimal Determination of Source-destination Connectivity in Random Graphs

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Optimal Determination of Source-destinationConnectivity in Random Graphs Luoyi Fu, Xinbing Wang, P. R. Kumar Dept. of Electronic Engineering Shanghai Jiao Tong University Dept. of Electrical & Computer Engineering Texas A&M University

  2. N nodes • Each edge exists with probability p • Proposed by Gilbert in 1959 • It can also be called ER graph Random Graph: G(n,p) Model 2/18

  3. Goal: Determine whether S and D are connected or not • As quickly as possible • i.e., by testing the fewest expected number of edges Are S and D Connected? 3/18

  4. Determined S-D connectivity in 6 number of edges • By finding a path 4 2 3 6 1 5 edges tested 4/18

  5. Determined S-D disconnectivity in 10 number of edges • By finding a cut 4 2 8 10 7 3 6 1 9 5 edges tested 5/18

  6. S D S D • Sometimes, S and D may be connected. • Sometimes, S and D may be disconnected. • Termination time may be random. • We want to determine whether S and D are connected or not • By either finding a Path or a Cut • By testing the fewest number of edges • Quickest discovery of an S-D route has not been studied before. • Finding a shortest path is not the goal here. • Finding the shortest path is a well studied problem. 6/18

  7. The Optimal Policy: A Five-node Example • Test the direct edge between S and D • Test a potential edge between S and a randomly chosen node • Contract S and the node into a component if an edge exists between them • Test the direct edge between CS and D • 2 potential edges between nodes and D • 3 potential edges between nodes and CS • Test an edge between D and a randomly chosen node • 2 potential edges between node 2 and CS • 1 potential edges between node 3 and CS • Test the edge between node 2 and D • Similar rules in general CS D S CD 1 2 3 7/18

  8. Rule 1: • Test if edge exists between CS and CD. • Policy terminates if the edge exists. • Rule 2: • List all the paths connecting CS to CD with the minimum number of potential edges. • Not CS-C1-C2-CD • But CS-C1-CD • Find Set M that contains the minimum potential Cut between CS and CD. • Rule 3: • Sharpen Rule 2 by specifying which particular edge in M should be tested. • Test any edges in Mconnecting CS to C1. CD CS C1 The Optimal Policy: General Case C2 ……. M Cr 8/18

  9. Testing the direct edge at the first step is better than testing at the second step. S D S D S D S D Proof of Rule 1: Test If the Direct Edge Exists terminate S D S D S D terminate Terminate one step earlier! S D S D S D Same probability • Induction on the number of edges tested before the direct edge is tested 9/18

  10. Proof of Rule 3 S D 1 2 … … r • Testing CS-C1 edge is better than testing CS-C2 edge. D S C1 C2 10/18

  11. Proof of Rule 3 S D • Take the graph on the right as example. 1 1 3 1 2 2 Two policies: D S D D S S D S C1 C1 C1 C1 C2 C2 C2 C2 • Induction on the number of potential edges in the graph. 11/18

  12. Proof of Rule 3 • Stochastically couple edges under Agood and Abad. S D 1 Terminates earlier! 2 S D 1 2 12/18

  13. Proof of Rule 2 • Testing CS -C1 edge is better than testing C1-CD edge. • Stochastic coupling argument • Induction on the number of potential edges in the graph D S C1 In the set M 13/18

  14. Proof of Rule 2 One step earlier! 14/18

  15. Phase Transition • 1000 nodes • P~0: 999 edges from S • P~1: 1 edge to D • Phase transition: take a long time (around 15000 steps) to test • Our policy is optimal for all p! 15/18

  16. Extension to Slightly More General Graphs • Series graphs • Parallel graphs • SP graphs • PS graphs • Series of parallel of series (SPS) graphs • Parallel of series of parallel (PSP) graphs 16/18

  17. Whether ER are connected graphs is very well studied topic. • Quickly testing connectivity is not. • (Surprisingly) • We provide the optimal testing algorithm. • Optimal for all p. Concluding Remarks 17/18

  18. Thank you ! 18/18

More Related