19
A correction definition of knot in page 147 is not correct. The nition is: ot in a directed graph is a subgraph with the prope y vertex in the knot has outgoing edges, and all ou s from vertices in the knot connect to other vertic . it is impossible to leave the knot while following ctions of the edges.

A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Embed Size (px)

Citation preview

Page 1: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

A correction

The definition of knot in page 147 is not correct. The correctdefinition is:

A knot in a directed graph is a subgraph with the property that every vertex in the knot has outgoing edges, and all outgoing edges from vertices in the knot connect to other vertices in the knot.

Thus it is impossible to leave the knot while following the directions of the edges.

Page 2: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Link State Routing Protocol: clarification

Each node initiating the sending of an LSP, increments its seq by 1.Each node records the largest seq received from every other node.Packets with higher seq are more recent, and used for updates. Packets with lower seq are considered old, and discarded.

What if the pool of sequence numbers is exhausted?Linear space, circular space, lollipop counters for seq …

See: http://www.ciscopress.com/articles/article.asp?p=24090&seqNum=4

Page 3: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Complexity of Bellman-Ford

Theorem. The message complexity of Bellman-Ford algorithm is exponential.

Proof outline. Consider a topology with an even number nodes 0 through n-1 (the unmarked edges have weight 0)

202k-1 22 212k

0 n-542n-3 n-1

1 3 5n-4 n-2

Time the arrival of the signals so that D(n-1) reduces from (2k+1- 1) to 0 in steps of 1. Since k = (n-1)/2, it will need 2(n+1)/2-1 messages to reach the goal. So, the message complexity is exponential.

Page 4: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Interval Routing

Conventional routing tables have

a space complexity O(n).

Can we route using a “smaller”

routing table? Yes, by using

interval routing. This is the

motivation.

condition port number

Destination > id 0

destination < id 1

destination = id (local delivery)

N N-1 3 2 10

00000 1 1 1 1

1

(Santoro and Khatib)

Page 5: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Interval Routing: Main idea

• Determine the interval to which the destination belongs.• For a set of N nodes 0 . . N-1, the interval [p,q) between p and q

(p, q < N) is defined as follows:

• if p < q then [p,q) = p, p+1, p+2, .... q-2, q-1• if p ≥ q then [p,q) = p, p+1, p+2, ..., N-1, N, 0, 1, ..., q-2, q-1

5

destination 1,2

destinations 3,4

destinations 5, 6. 7, 0

1 3

[3,5)

[5,1)

[1,3)

Page 6: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Example of Interval Routing

17

0

23

4 56

89

10

1

2

7

3

4

5

6

3

7

56

7

8

9

9

0

0

7

10

0

N=11

Labeling is the crucial part

Page 7: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Labeling algorithm

Label the root as 0.Do a pre-order traversal of the tree. Label successive nodes as 1, 2, 3For each node, label the port towards a child by the node number of the child.Then label the port towards the parent by L(i) + T(i) + 1 mod N, where

- L(i) is the label of the node i,

- T(i) = # of nodes in the subtree under node i (excluding i),

Question 1. Why does it work?

Question 2. Does it work for non-tree topologies too? YES, but the

construction is a bit more complex.

Page 8: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Another example

0

1

2

3

4

5

6

7

17

2

0

1

3

4

3

4

5

6

5

7

6

2

0

Interval routing on a ring. The routes are not optimal. To make it optimal, label the ports of node i with i+1 mod 8 and i+4 mod 8.

Page 9: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Example of optimal routing

Optimal interval routing scheme on a ring of six nodes

5

0

1

2

3

4

13

2

4

3

5

4 0

5

1

0

2

Page 10: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

So, what is the problem?

Works for static topologies. Difficult to adapt to changes in topologies.

But there is some recent work on compact routing in dynamic topologies (Amos Korman, ICDCN 2009)

Page 11: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Prefix routingEasily adapts to changes in topology, and uses small routing tables, so it is

scalable. Attractive for large networks, like P2P networks.

a bλ

a b

.a a

.a a

.a b

.a b

.b a

.b a

.b b

.b b

.b c

.b c

λ

λλ

λ λ

λ λ

a.a.a a.a.b

a b

When new nodes are addedor existing nodes are deleted,changes are only local.

λ = empty symbol

Page 12: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Prefix routing

a bλ

a b

.a a

.a a

.a b

.a b

.b a

.b a

.b b

.b b

.b c

.b c

λ

λλ

λ λ

λ λ

λ = empty symbol

{Let X = destination, and Y = current node}

if X=Y local delivery

[] X ≠ Y Find a port p labeled with the

longest prefix of X

Forward the message to p

fi

Page 13: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Another example of prefix routing

203310

1-02113

13-0200

130-112

1301-10

13010-1

130102

source

destination

Pastry P2P network

Page 14: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Spanning tree construction

Chang-Robert’s algorithm {The root is known}{main idea} Uses probes and echoes, and keeps track of deficits C and D as in Dijkstra-Scholten’s termination detection algorithm

{initially i, parent (i) = i}∀first probe --> parent: = sender; C=1

forward probe to non-parent neighbors;update D

echo --> decrement Dprobe and sender ≠ parent --> send echoC=1 and D=0 --> send echo to parent; C=0

0

1 2

3 4

5

root

For a graph G=(V,E), a spanning tree is a maximally connected subgraph T=(V,E’), E’ E,such that if one more edge is added, then the subgraph is no more a tree. Used for broadcasting in a network with O(N) complexity.

Question: What if the root is not designated?

Parent pointer

Page 15: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Graph traversal

Many applications of exploring an unknown graph by a visitor (a token or mobile agent or a robot). The goal of traversal is to visit every node at least once, and return to the starting point.

- How efficiently can this be done?- What is the guarantee that all nodes will be visited?- What is the guarantee that the algorithm will terminate?

Think about web-crawlers, exploration of social networks,planning of graph layouts for visualization or drawing etc.

DFS (or BFS) traversal is well known, so we will not discuss about it

Page 16: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Graph traversal

Rule 1. Send the token towards each neighbor exactly once.

Rule 2. If rule 1 is not applicable, then send the token to the parent.

Tarry’s algorithm is one of the oldest (1895)

0 2

3

4 5

root

6

1

5

A possible route is: 0 1 2 5 3 1 4 6 2 6 4 1 3 5 2 1 0

Nodes and their parent pointers generate a spanning tree.

Page 17: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Minimum Spanning Tree

Given a weighted graph G = (V, E), generate a spanning tree T = (V, E’) E’ E such

that the sum of the weights of all the edges is minimum.

Applications

Minimum cost vehicle routing

On Euclidean plane, approximate solutions to the traveling salesman problem,

Lease phone lines to connect the different offices with a minimum cost,

Visualizing multidimensional data (how entities are related to each other)

We are interested in distributed algorithms only

The traveling salesman problemasks for the shortest route to visit a collection of cities and return to

the starting point.

Page 18: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Example

Page 19: A correction The definition of knot in page 147 is not correct. The correct definition is: A knot in a directed graph is a subgraph with the property that

Sequential algorithms for MST

Review (1) Prim’s algorithm and (2) Kruskal’s algorithm.

Theorem. If the weight of every edge is distinct, then the MST is unique.

1

2

3

4

5

6

7

8

9

e

0 2

3

5

1

4

6

T1

T2