in Wireless Sensor Networks Costas Busch Louisiana State University - - PowerPoint PPT Presentation

in wireless sensor networks
SMART_READER_LITE
LIVE PREVIEW

in Wireless Sensor Networks Costas Busch Louisiana State University - - PowerPoint PPT Presentation

Quality of Routing Congestion Games in Wireless Sensor Networks Costas Busch Louisiana State University Rajgopal Kannan Louisiana State University Athanasios Vasilakos Univ. of Western Macedonia 1 Outline of Talk Introduction Price of


slide-1
SLIDE 1

1

Quality of Routing Congestion Games in Wireless Sensor Networks

Costas Busch

Louisiana State University

Rajgopal Kannan

Louisiana State University

Athanasios Vasilakos

  • Univ. of Western Macedonia
slide-2
SLIDE 2

2

Introduction Price of Stability Price of Anarchy Outline of Talk

slide-3
SLIDE 3

3

Sensor Network Routing

Each player corresponds to a pair of source-destination Objective is to select paths with small cost

slide-4
SLIDE 4

4

Main objective of each player is to minimize congestion: minimize maximum utilized edge

3 congestion  C i player

slide-5
SLIDE 5

5

A player may selfishly choose an alternative path that minimizes congestion

C C     3 1 congestion

Congestion Games:

slide-6
SLIDE 6

6

We consider Quality of Routing (QoR) congestion games where the paths are partitioned into routing classes:

Q Q Q , , ,

2 1

 ) ( ) ( ) (

2 1 

Q S Q S Q S    

With service costs: Only paths in same routing class can cause congestion to each other

slide-7
SLIDE 7

7

An example:

  • We can have routing classes

) (logn O  

  • Each routing class contains paths

with length in range

j

Q ] 2 , 2 [

1  j j 1

2 ) (

j j

Q S

  • Service cost:
  • Each routing class uses a different

wireless frequency channel

slide-8
SLIDE 8

8

Player cost function for routing :

i

i i i

S C p pc   ) ( p

Congestion

  • f selected path

Cost of respective routing class

slide-9
SLIDE 9

9

Social cost function for routing :

S C p SC   ) (

p

Largest player cost

slide-10
SLIDE 10

We are interested in Nash Equilibriums where every player is locally optimal Metrics of equilibrium quality:

p

Price of Stability

) ( ) ( min

*

p SC p SC

p

Price of Anarchy

) ( ) ( max

*

p SC p SC

p

*

p is optimal coordinated routing

with smallest social cost

* * *)

( S C p SC  

slide-11
SLIDE 11

11

Results:

  • Price of Stability is 1
  • Price of Anarchy is

) log ) , (min(

* *

n S C O  

slide-12
SLIDE 12

12

Introduction Price of Stability Price of Anarchy Outline of Talk

slide-13
SLIDE 13

13

We show:

  • QoR games have Nash Equilibriums

(we define a potential function)

  • The price of stability is 1
slide-14
SLIDE 14

14

] , , , , , [ ) (

2 1 r k

m m m m p M   

number of players with cost

k

m k

) (

Q S N r  

Size of vector:

Routing Vector

slide-15
SLIDE 15

15

Routing Vectors are ordered lexicographically

] , , , [ ) (

2 1 r

m m m p M   ] , , , [ ) (

2 1 r

m m m p M      

= = = =

] , , , , , [ ) (

1 1 r k k

m m m m p M  

 ] , , , , , [ ) (

1 1 r k k

m m m m p M      

 

<

< = =

) ( ) ( p M p M  

) ( ) ( p M p M   ) ( p p   ) ( p p  

slide-16
SLIDE 16

If player performs a greedy move transforming routing to then:

16

p p

p p  

i

Lemma: Proof Idea:

Show that the greedy move gives a lower order routing vector

slide-17
SLIDE 17

17

k k  

i i i

S C p pc k    ) (

i i i

S C p pc k        ) (

Player Cost

i

Before greedy move: After greedy move: Since player cost decreases:

slide-18
SLIDE 18

18

] , , , , , , , [ ) (

1 1 r k k k

m m m m m p M   

 

Before greedy move player was counted here

i

] , , , , , , , [ ) (

1 1 r k k k

m m m m m p M       

 

  

After greedy move player is counted here

i

slide-19
SLIDE 19

19

] , , , , , , , [ ) (

1 1 r k k k

m m m m m p M   

 

] , , , , , , , [ ) (

1 1 r k k k

m m m m m p M       

 

  

>

= =

No change Definite Decrease

possible decrease possible increase

  • r decrease

Possible increase

>

END OF PROOF IDEA

slide-20
SLIDE 20

20

Existence of Nash Equilibriums

Greedy moves give lower order routings Eventually a local minimum for every player is reached which is a Nash Equilibrium

slide-21
SLIDE 21

21

min

p

Price of Stability

Lowest order routing :

* min)

( SC p SC 

  • Is a Nash Equilibrium
  • Achieves optimal social cost

1 ) ( Stability

  • f

Price

* min 

 SC p SC

slide-22
SLIDE 22

22

Introduction Price of Stability Price of Anarchy Outline of Talk

slide-23
SLIDE 23

23

We consider restricted QoR games For any path :

p

) ( | | p S p 

Path length Service Cost

  • f path
slide-24
SLIDE 24

24

We show for any restricted QoR game: Price of Anarchy =

) log ) , (min(

* *

n S C O  

slide-25
SLIDE 25

Path of player

25

Consider an arbitrary Nash Equilibrium p

i

i

C

edge

maximum congestion in path

slide-26
SLIDE 26

must have an edge with congestion Optimal path of player

26

In optimal routing :

*

p

i

i

C

*

S C C

i 

 

) ( 1 1 1

* * *

p pc S C C S S C S C c p

i i i i i i i i

             

* * *)

( S C p SC  

Since otherwise:

slide-27
SLIDE 27

27

C edges use that Paths : Congestion

  • f

Edges : E C E 

In Nash Equilibrium :

p

S C p SC   ) (

 

slide-28
SLIDE 28

28

C

*

S C 

*

S C 

 

Edges in optimal paths of

slide-29
SLIDE 29

29

C

*

S C 

*

S C 

 

1

1

1 1 * 1

edges use that Players : least at Congestion

  • f

Edges : E S C E  

slide-30
SLIDE 30

30

C

*

S C 

*

S C 

*

2S C 

*

2S C 

*

2S C 

*

2S C 

 

1

1

Edges in optimal paths of

1

slide-31
SLIDE 31

31

C

*

S C 

*

S C 

*

2S C 

*

2S C 

*

2S C 

 

1

1

*

2S C 

2

2

2 2 * 2

edges use that Players : 2 least at Congestion

  • f

Edges : E S C E  

slide-32
SLIDE 32

32

In a similar way we can define:

j j j

E jS C E edges use that Players : least at Congestion

  • f

Edges :

*

 

slide-33
SLIDE 33

33

  , , , , , , , ,

3 2 1 3 2 1

    E E E E

We obtain sequences: There exist subsequence:

1 1 1 1

, , , , , , ,

 

  

s s s

E E E E  

| | 2 | |

1 

j j

E E

Where:

| | 2 | |

1 

s s

E E

and

1   s j

n s log 

slide-34
SLIDE 34

34

| | ) ) 1 ( ( | |

1 * 1  

     

s s

E S s C L

   

| | | |

1 * s s

E C

Maximum edge utilization Minimum edge utilization

*

S L 

Maximum path length

) log (

* *

n S O C C    

n s log 

| | 2 | |

1 

s s

E E Known relations

slide-35
SLIDE 35

35

) log (

* *

n S O C C     ) log ) , (min( Anarchy

  • f

Price

* * * *

n S C O S C S C       

We have: By considering class service costs, we obtain: