A Unified View to Greedy Routing Algorithms in Ad-Hoc Networks ○Truong Minh Tien Joint work with Jinhee Chun, Akiyoshi Shioura, and Takeshi Tokuyama Tohoku University Japan Our Problem and Results Problem: Geometric routing in ad-hoc network. Main Results: ○ Give unified view to known greedy-type routing algorithms. ○ Propose new routing algorithms that works on Delaunay graphs. ○ Compare previous/new algorithms from the viewpoint of guaranteed delivery, fast transmission & power consumption. Contents 1. Ad-hoc network and geometric routing 2. Previous geometric routing algorithms 3. Desirable properties of routing algorithms – Comparison of algorithms 4. Generalized greedy routing algorithm – New greedy-type algorithms 5. Sufficient condition for guaranteed packet delivery Ad-hoc Network Self-organizing network without fixed pre-existing infrastructure Communication between nodes are achieved by multi-hop links Decentralized, mobility-adaptive operation Network topology can be represented by undirected graph G=(V, E) Geometric Routing on Ad-hoc Network Geometric Routing on Ad-hoc network G=(V,E) Send packet from source node S to destination node T (position of T is known in advance) . Packet is repeatedly sent from a node to its neighboring node. No information of entire network; only local information around current node. T S V Greedy Approach for Routing Algorithms Geometric Routing on Ad-hoc network G=(V,E) Greedy approach is often useful: Choose “closer” neighbor to destination in each iteration Which neighbor to choose? Greedy Routing, Compass Routing, Midpoint Routing, etc. T S V Contents 1. Ad-hoc network and geometric routing 2. Previous geometric routing algorithms 3. Desirable properties of routing algorithms – Comparison of algorithms 4. Generalized greedy routing algorithm – New greedy-type algorithms 5. Sufficient condition for guaranteed packet delivery Greedy Routing w2 w1 v t w3 Finn, 1987 • The next neighbor w is the node nearest to t w4 smallest 𝑑𝑖𝑠𝑡(𝑤, 𝑡) Compass Routing smallest ∠𝑤𝑣𝑡 w2 w1 v t w3 Kranakis, Singh, Urrutia, 1999 • Packet will be sent to w if the line vw forms with vt the smallest angle. w4 Midpoint Routing w2 v w1 smallest 𝑑𝑖𝑠𝑡(𝑤, 𝑚) m t w3 Si, Zomaya, 2010 • Choose next neighbor w that is closest to midpoint m between v an t w4 Modified Midpoint Routing w2 v w1 m p w3 Si, Zomaya, 2010 • The next node w closest to p o p = t : Greedy routing o p = m : Midpoint routing t smallest 𝑑𝑖𝑠𝑡(𝑤, 𝑝) w4 Contents 1. Ad-hoc network and geometric routing 2. Previous geometric routing algorithms 3. Desirable properties of routing algorithms – Comparison of algorithms 4. Generalized greedy routing algorithm – New greedy-type algorithms 5. Sufficient condition for guaranteed packet delivery Desirable Properties of Routing Algorithms Guaranteed Delivery: It is guaranteed that a packet is delivered from source to destination. Fast Transmission: Each packet should be sent with a small number of hops. S T Desirable Properties of Routing Algorithms Power Consumption: Long edges should not be used as much as possible. Comparison of Routing Algorithms Guaranteed delivery Number of hops Power Consumption Greedy very small very large Midpoint small large small large average average Modified Midpoint Compass guaranteed on Delaunay graph Need appropriate routing algorithm satisfying desirable properties in response to the request of applications. Contents 1. Ad-hoc network and geometric routing 2. Previous geometric routing algorithms 3. Desirable properties of routing algorithms – Comparison of algorithms 4. Generalized greedy routing algorithm – New greedy-type algorithms 5. Sufficient condition for guaranteed packet delivery Generalized Greedy Routing Unify greedy-type routing algorithms using general objective function. – Obtain better understanding of previous algorithms. – Propose new algorithms. • T = {(w ,v ,t) | w ,v ,t: distinct nodes} (w: next node, v: current node, t: terminal node) • General objective function f : T R {} • Generalized greedy routing: Choose a neighbor w of v that minimizes f (w, v, t) in each iteration Generalized Greedy Routing: Example Choose next node w that minimize f (w, v, t) Example: v 7 3 w2 w1 t 2 w3 +∞ w4 Congruence-Invariant Function w t’ t v f ( w, v, t ) f ( w' , v ' , t ' ) w’ v’ • f is congruence-invariant if function value f (w ,v ,t) depends only on shape and size of wvt . Congruence-Invariant Function f is congruence-invariant function if there exists a function h such that: f ( w, v, t ) h( d vt , d wt , d vw , at , aw , av ) w aw d vw v d wt at av d vt t Greedy Routing: Min d(w, t) function hG d wt w Compass Routing: Min function hc av t w v t v Midpoint Routing: Min d(w, m) function hMP ( d wt sin at ) 2 ( d wt cos at w t d vt 2 ) 2 M. Midpoint Routing: Min d(w, p) function hMMP (dwt sin at )2 (dwt cosat dvt )2 w 1 ( ) 2 t p v wvt m v New routing algorithms w New Greedy I max vwt function h1 aw t v New Greedy II w t w t min d (v, w) / cos(tvw) (tvw / 2) function d vw h2 / 2 (av ) cosav v New Greedy III min d (t, w) / cos(wtv) (wtv / 2) function d wt h3 / 2 (at ) cosat v Contour Map GREEDY - concentric circles about t MIDPOINT - concentric circles about m COMPASS – rays with same endpoint v MODIFIED MIDPOINT concentric circles about p Contour Map of New Routings New Greedy I – curves with same chord vt New Greedy II – circles tangent at v New Greedy III – circles tangent at t Comparison of Routing Algorithms Guaranteed Delivery Number of hops Power Consumption Greedy Very small Very large Midpoint Small Large Small Large Average Average New Greedy II Large Small New Greedy III Small Large Modified Midpoint Compass New Greedy I guaranteed on Delaunay graph Properties of New Greedy II, III If graph G contains Delaunay graph. New Greedy II : always selects Delaunay edge without calculating which edge is Delaunay edge. New Greedy III : always selects Delaunay neighbor of t if there is a two-hop path from v to t . Desired by many occasions. New Greedy II – circles tangent at v New Greedy III – circles tangent at t Comparison of Routing Algorithms Guaranteed Delivery Number of hops Power Consumption Greedy Very small Very large Midpoint Small Large Small Large Average Average New Greedy II Large Small New Greedy III Small Large Modified Midpoint Compass New Greedy I guaranteed on Delaunay graph Contents 1. Ad-hoc network and geometric routing 2. Previous geometric routing algorithms 3. Desirable properties of routing algorithms – Comparison of algorithms 4. Generalized greedy routing algorithm – New greedy-type algorithms 5. Sufficient condition for guaranteed packet delivery Delivery on Delaunay graph • Known results: Each of greedy, compass, midpoint and modified midpoint routing guarantee delivery of packet on Delaunay graph. • Our result: Sufficient condition for guaranteed delivery of generalized greedy routing on Delaunay graph. Delaunay Delivery Guarantee Condition (DDG) ∀distinct nodes w, v, t ∈ P, if f(w ,v ,t) ≤ max{ f(u ,v ,t) | u ∈D(v ,t)}, then d(w ,t) < d(v ,t) holds d(a ,b) : distance between a and b D(v ,t): open disk of diameter d(v,t) DDG Condition D w C : open disk with diameter vt D : open disk with radius tv about t A = max{f(u, v, t) | u ∈ C} C v t u • DDG Condition : For all w with f(w, v, t) ≤ A ; w∈D Strong DDG Condition w C : open disk with diameter vt C v t • Strong DDG Condition : For all u C and w C f (u , v, t ) f ( w, v, t ) u • Strong DDG implies DDG Delivery Guarantee on Delaunay triangulations w v t u Theorem. f is a function satisfying (strong) DDG condition. The algorithm with function f guarantees packet delivery on Delaunay triangulations. Routing Algorithms and DDG Condition Theorem. Greedy Routing, Midpoint Routing and Modified Midpoint Routing satisfy DDG condition Theorem. New Greedy Routing I, II, III satisfy Strong DDG condition Guarantee delivery of packet on Delaunay graphs Example: New Greedy I on Delaunay triangulation S T Hybrid of algorithms Theorem. If f and g satisfy (strong) DDG condition, af+bg (a,b>0) also satisfies (strong) DDG condition. Corresponding algorithm guarantees delivery on Delaunay triangulation • Possible to design appropriate hybrid of algorithms based on requirement of application. Conclusion Our Problem: Geometric routing in Ad-hoc network Our Results: ○ We gave unified view to known greedy-type routing algorithms. ○ We proposed new routing algorithms that works on Delaunay graphs. ○ We compared previous/new algorithms from the viewpoint of guaranteed delivery, fast transmission, & power consumption. Future Work o Consider a metric space with the existence of obstacles and other natural/social conditions in real ad hoc network design. w u t v f (v, w, t ) f (v, u , t ) Thank You