dynamics on games simulation based techniques and
play

Dynamics on Games: Simulation-Based Techniques and Applications to - PowerPoint PPT Presentation

Dynamics on Games: Simulation-Based Techniques and Applications to Routing Benjamin Monmege (Aix-Marseille Universit e, France) Thomas Brihaye Marion Hallet Bruno Quoitin (Mons, Belgium) Gilles Geeraerts (Universit e libre de Bruxelles,


  1. Some results on symmetric games Theorem [Cheng et al, 2004] Every 2-strategy symmetric game (i.e. | A i | = 2) admits a (pure) Nash equilibrium. But it might not be symmetric...

  2. Some results on symmetric games Theorem [Cheng et al, 2004] Every 2-strategy symmetric game (i.e. | A i | = 2) admits a (pure) Nash equilibrium. But it might not be symmetric... no longer true if not “2-strategy”: RPS...

  3. Some results on symmetric games Theorem [Cheng et al, 2004] Every 2-strategy symmetric game (i.e. | A i | = 2) admits a (pure) Nash equilibrium. But it might not be symmetric... no longer true if not “2-strategy”: RPS... no longer true if not “symmetric”: Matching pennies L R L (1 , − 1) ( − 1 , 1) R ( − 1 , 1) (1 , − 1)

  4. Some results on symmetric games Theorem [Cheng et al, 2004] Every 2-strategy symmetric game (i.e. | A i | = 2) admits a (pure) Nash equilibrium. But it might not be symmetric... no longer true if not “2-strategy”: RPS... no longer true if not “symmetric”: Matching pennies L R L (1 , − 1) ( − 1 , 1) R ( − 1 , 1) (1 , − 1) not necessarily symmetric: anti-coordination game X Y X (0 , 0) (1 , 1) Y (1 , 1) (0 , 0)

  5. Outline A brief review of strategic games 1 Nash equilibrium et al Symmetric two-player games Evolutionary game theory 2 Evolutionary Stable Strategy The Replicator Dynamics Other Selections Dynamics Games played on graphs 3 Two examples of dynamics Relations that maintain termination More realistic conditions Application to interdomain routing

  6. Evolutionary game theory We completely change the point of view ! Rules of the game We have a large population of individuals. Individuals are repeatedly drawn at random to play a symmetric game. The payoffs are supposed to represent the gain in biological fitness or reproductive value. Hypotheses made in evolutionary games Each individual is genitically programmed to play a strategy. The individuals are no more intelligent , nor rational , nor selfish . Can an existing population resist to the invasion of a mutant ?

  7. Evolutionary Stable Strategy: robustness to mutations Evolutionary Stable Strategy We say that σ is an evolutionary stable strategy (ESS) if ( σ, σ ) is a Nash equilibrium ∀ σ ′ ( � = σ ) P ( σ ′ , σ ) = P ( σ, σ ) = ⇒ P ( σ ′ , σ ′ ) < P ( σ, σ ′ ) Thus if ( σ, σ ) is a strict Nash equilibrium, then σ is an ESS. A B C D A (1 , 1) (1 , 1) C (1 , 1) (1 , 1) B (1 , 1) (2 , 2) D (1 , 1) (0 , 0) (A,A), (B,B) and (C,C) are Nash equilibria. A is not an ESS . B and C are ESS .

  8. Evolutionary Stable Strategy - Alternative definition Imagine a population composed of a unique species σ A small proportion ǫ of the population mutes to a new species σ ′ The new population is thus ǫσ ′ + (1 − ǫ ) σ Proposition A strategy σ is an ESS iff ∀ σ ′ ( � = σ ) ∃ ǫ 0 ∈ (0 , 1) ∀ ǫ ∈ (0 , ǫ 0 ) P ( σ, ǫσ ′ + (1 − ǫ ) σ ) > P ( σ ′ , ǫσ ′ + (1 − ǫ ) σ )

  9. Evolutionary Stable Strategy - Alternative definition Imagine a population composed of a unique species σ A small proportion ǫ of the population mutes to a new species σ ′ The new population is thus ǫσ ′ + (1 − ǫ ) σ Proposition A strategy σ is an ESS iff ∀ σ ′ ( � = σ ) ∃ ǫ 0 ∈ (0 , 1) ∀ ǫ ∈ (0 , ǫ 0 ) P ( σ, ǫσ ′ + (1 − ǫ ) σ ) > P ( σ ′ , ǫσ ′ + (1 − ǫ ) σ ) Static concept: it suffices to study the one-shot game

  10. Evolutionary Stable Strategy - 2 × 2 games β X Y Cat 1 Cat 2 X ( α, α ) (0 , 0) α Cat 3 Cat 4 Y (0 , 0) ( β, β ) Cat 1 : NE = { ( Y , Y ) } ESS = { Y } Cat 2 : NE = { ( X , X ) , ( Y , Y ) , ( σ, σ ) } ESS = { X , Y } Cat 3 : NE = { ( X , Y ) , ( Y , X ) , ( σ, σ ) } ESS = { σ } Cat 4 : NE = { ( X , X ) } ESS = { X }

  11. The evolution of a population - intuitively Population composed of several species Variation of popu. the species = Popu. of the species × Advantage of the species Advantage of the species = Fitness of the species − Average fitness of all species

  12. The evolution of a population - more formally (1) We consider a population where individuals are divided into n species. Individuals of species i are programmed to play the pure strategy a i . We denote by p i ( t ) the number of individuals of species i at time t . The total population at time t is given by p ( t ) = p 1 ( t ) + · · · + p n ( t ) The population state at time t is given by σ i ( t ) = p i ( t ) σ ( t ) = ( σ 1 ( t ) , . . . , σ n ( t )) where p ( t )

  13. The evolution of a population - more formally (2) The evolution of the state of the population is given by: The replicator dynamics (RD) d d t σ i ( t ) = ( P ( a i , σ ( t )) − P ( σ ( t ) , σ ( t ))) · σ i ( t ) Theorem Given any initial condition σ (0) ∈ ∆( A ), the above system of differential equations always admits a unique solution.

  14. The replicator dynamics - 2 × 2 games  d Cat 1 Cat 2 d t σ 1 ( t ) = ( ασ 1 ( t ) − βσ 2 ( t )) · σ 1 ( t ) σ 2 ( t ) X Y   X ( α, α ) (0 , 0) Y (0 , 0) ( β, β ) d  d t σ 2 ( t ) = ( βσ 2 ( t ) − ασ 1 ( t )) · σ 1 ( t ) σ 2 ( t ) Cat 3 Cat 4  ∆( A ) = { ( σ 1 , σ 2 ) ∈ [0 , 1] 2 | σ 1 + σ 2 = 1 } ≃ [0 , 1], where σ 1 is the proportion of X The solutions ( σ 1 ( t ) , 1 − σ 1 ( t )) of the (RD) behave as follows: β 0 1 α + β σ 1 Cat 1 Cat 2 Cat 3 Cat 4 Y X

  15. Various concept of stability Let f : R n → R n be smooth enough and consider: d d t x ( t ) = f ( x ( t )) . Let ϕ : R n × R → R n be a maximal solution of the above equation. Let x 0 ∈ R n , we say that x 0 is a stationary point iff ∀ t ∈ R ϕ ( x 0 , t ) = x 0 x 0 is Lyapunov stable iff ∀ U ( x 0 ) ⊆ R n ∃ V ( x 0 ) ⊆ R n ∀ x ∈ V ( x 0 ) ∀ t ∈ R ϕ ( x , t ) ∈ U ( x 0 ) x 0 is asymptotically stable iff x 0 is a Lyapunov stable point and ∃ W ( x 0 ) ∀ x ∈ W ( x 0 ) t → + ∞ ϕ ( x , t ) = x 0 lim

  16. 2 × 2 games - Stability β X Y Cat 1 Cat 2 X ( α, α ) (0 , 0) α Cat 3 Cat 4 Y (0 , 0) ( β, β ) β 0 1 α + β Cat 1 Cat 2 Cat 3 Cat 4 Y X Asymptotically stable Stationary

  17. Rock-Scissors-Paper � 1 � 3 , 1 3 , 1 is Lyapunov stable but not asymptotically stable. 3 R S P R (1 , 1) (2 , 0) (0 , 2) 2) S (0 , 2) (1 , 1) (2 , 0) 0) P (2 , 0) (0 , 2) (1 , 1) 1) The picture is taken from Evolutionnary game theory by J.W. Weibull.

  18. 2 × 2 games - RD Vs ESS β X Y Cat 1 Cat 2 X ( α, α ) (0 , 0) α Cat 3 Cat 4 Y (0 , 0) ( β, β ) β 0 1 α + β ESS = { Y } Cat 1 ESS = { X , Y } Cat 2 ESS = { σ } Cat 3 ESS = { X } Cat 4 Y X Asymptotically stable Stationary

  19. The generalised Rock-Scissors-Paper Games R S P a = 0 R (1 , 1) (2 , 0) (0 , 2) 2) � 1 � 3 , 1 3 , 1 0) is not an ESS S (0 , 2) (1 , 1) (2 , 0) 3 1) P (2 , 0) (0 , 2) (1 , 1) R S P a > 0 R (1 , 1) (3 , 0) (0 , 3) � 1 � 3 , 1 3 , 1 is an ESS S (0 , 3) (1 , 1) (3 , 0) 3 P (3 , 0) (0 , 3) (1 , 1) R S P a < 0 R (1 , 1) (1 , 0) (0 , 1) � 1 � 3 , 1 3 , 1 is not an ESS S (0 , 1) (1 , 1) (1 , 0) 3 P (1 , 0) (0 , 1) (1 , 1) The pictures are taken from Evolutionnary game theory by J.W. Weibull.

  20. Results There are several results relating various notions of “static” stability: Nash equilibrium, Evolutionary Stable Strategy, Neutrally Stable Strategy... with various notions of “dynamic” stability: stationary points, Lyapunov stable points, asymptotically stable point ... Theorems If σ ∈ ∆ is Lyapunov stable, then σ is a NE. If σ ∈ ∆ is an ESS, then σ is asymptotically stable.

  21. An alternative dynamics Replicator dynamics Variation of popu. the species = Popu. of the species × Advantage of the species Advantage of the species = Fitness of the species − Average fitness of all species

  22. An alternative dynamics Replicator dynamics Variation of popu. the species = Popu. of the species × Advantage of the species Advantage of the species = Fitness of the species − Average fitness of all species Alternative hypothesis: offspring react smartly to the mixture of past strategies played by the opponents, by playing a best-reply strategy to this mixture Best-reply dynamics Variation of Strategy Mixture = Best-Reply Strategy − Current Strategy Mixture

  23. Replicator Vs Best-reply R S P R (1 , 1) (2 , 0) (0 , 2) P (0 , 2) 1 , 1) (2 , 0) S (0 , 2) (1 , 1) (2 , 0) P S (2 , 0) (2 , 0) (0 , 2) 0 , 2) (1 , 1) (1 , 1) Replicator dynamics Best-reply dynamics Pictures taken from Evolutionnary game theory by W. H. Sandholm

  24. Other dynamics

  25. Static vs dynamic approach Static approach Dynamic approach Equilibria Stable Points Picture taken from Evolutionnary game theory by W. H. Sandholm

  26. Static vs dynamic approach Static approach Dynamic approach Equilibria Stable Points If we discover a new game Find immediately a good strategy is concretely impossible

  27. Static vs dynamic approach Static approach Dynamic approach Equilibria Stable Points If we discover a new game Find immediately a good strategy is concretely impossible If we play several times, we will improve our strategy

  28. Static vs dynamic approach Static approach Dynamic approach Equilibria Stable Points If we discover a new game Find immediately a good strategy is concretely impossible If we play several times, we will improve our strategy With enough different plays, will we eventually stabilize?

  29. Static vs dynamic approach Static approach Dynamic approach Equilibria Stable Points If we discover a new game Find immediately a good strategy is concretely impossible If we play several times, we will improve our strategy With enough different plays, will we eventually stabilize? If so, will this strategy be a good strategy?

  30. Static vs dynamic approach Static approach Dynamic approach Equilibria Stable Points If we discover a new game Find immediately a good strategy is concretely impossible If we play several times, we will improve our strategy With enough different plays, will we eventually stabilize? If so, will this strategy be a good strategy? Our Goal Apply this idea of improvement/mutation on games played on graphs Prove stabilisation via reduction/minor of games Show some links with interdomain routing

  31. Interdomain routing problem Two service providers: v 1 and v 2 want to route packets to v ⊥ . s 2 v 2 v ⊥ v 1 s 1

  32. Interdomain routing problem Two service providers: v 1 and v 2 want to route packets to v ⊥ . s 2 v 2 c 1 v ⊥ v 1 c 2 s 1

  33. Interdomain routing problem Two service providers: v 1 and v 2 want to route packets to v ⊥ . s 2 v 2 c 1 v ⊥ v 1 c 2 s 1 v 1 prefers the route v 1 v 2 v ⊥ to the route v 1 v ⊥ (preferred to ( v 1 v 2 ) ω ) v 2 prefers the route v 2 v 1 v ⊥ to the route v 2 v ⊥ (preferred to ( v 2 v 1 ) ω )

  34. Interdomain routing problem as a game played on a graph Two service providers: v 1 and v 2 want to route packets to v ⊥ . c 1 v 1 v 2 c 2 s 1 s 2 v ⊥ v 1 prefers the route v 1 v 2 v ⊥ to the route v 1 v ⊥ (preferred to ( v 1 v 2 ) ω ) v 2 prefers the route v 2 v 1 v ⊥ to the route v 2 v ⊥ (preferred to ( v 2 v 1 ) ω ) v 1 v ⊥ ≺ 1 v 1 v 2 v ⊥ and v 2 v ⊥ ≺ 2 v 2 v 1 v ⊥

  35. Games played on a graph – The strategic game approach c 1 v 1 v 2 c 2 s 2 c 2 c 1 (0 , 0) (2 , 1) s 1 s 2 s 1 (1 , 2) (1 , 1) v ⊥ 2 Nash equilibria: ( c 1 , s 2 ) and ( s 1 , c 2 ) Static vision of the game: players are perfectly informed and supposed to be intelligent , rational and selfish

  36. Games played on a graph – The evolutionnary approach c 1 v 1 v 2 c 2 s 1 s 2 v ⊥

  37. Games played on a graph – The evolutionnary approach c 1 c 1 v 1 v 2 v 1 v 2 c 2 c 2 s 1 s 2 s 1 s 2 v ⊥ v ⊥

  38. Games played on a graph – The evolutionnary approach c 1 c 1 v 1 v 2 v 1 v 2 c 2 c 2 s 1 s 2 s 1 s 2 v ⊥ v ⊥ Asynchronous nature of the network could block the packets in an undesirable cycle...

  39. Interdomain routing problem - open problem c 1 v 1 v 2 ( c 1 , c 2 ) ( s 1 , c 2 ) c 2 s 1 s 2 v ⊥ ( c 1 , s 2 ) ( s 1 , s 2 ) The graph of the dynamics: G � � The game G Identify necessary and sufficient conditions on G such that G � � has no cycle Ideally, the conditions should be algorithmically simple, locally testable... Numerous interesting partial solutions proposed in the literature Daggitt, Gurney, Griffin. Asynchronous convergence of policy-rich distributed Bellman-Ford routing protocols. 2018

  40. Games played on a graph – The evolutionnary approach Different dynamics c 1 v 1 v 2 c 2 s 1 s 2 v ⊥ ( c 1 , c 2 ) ( s 1 , c 2 ) ( c 1 , c 2 ) ( s 1 , c 2 ) ( c 1 , s 2 ) ( s 1 , s 2 ) ( c 1 , s 2 ) ( s 1 , s 2 ) D 1 with no cycle D 2 with a cycle

  41. Outline A brief review of strategic games 1 Nash equilibrium et al Symmetric two-player games Evolutionary game theory 2 Evolutionary Stable Strategy The Replicator Dynamics Other Selections Dynamics Games played on graphs 3 Two examples of dynamics Relations that maintain termination More realistic conditions Application to interdomain routing

  42. P1 Positional 1-step dynamics P1 profile 2 profile 1 if: a single player changes at a single node this player improves his own outcome

  43. P1 Positional 1-step dynamics P1 profile 2 profile 1 if: a single player changes at a single node this player improves his own outcome c 1 ( c 1 , c 2 ) ( s 1 , c 2 ) v 1 v 2 P1 � : G � c 2 s 1 s 2 v ⊥ ( c 1 , s 2 ) ( s 1 , s 2 )

  44. PC Positional Concurrent Dynamics PC profile 2 profile 1 if one or several players change at a single node all players that change intend to improve their outcome but synchronous changes may result in worst outcomes...

  45. PC Positional Concurrent Dynamics PC profile 2 profile 1 if one or several players change at a single node all players that change intend to improve their outcome but synchronous changes may result in worst outcomes... c 1 ( c 1 , c 2 ) ( s 1 , c 2 ) v 1 v 2 PC � : G � c 2 s 1 s 2 v ⊥ ( c 1 , s 2 ) ( s 1 , s 2 )

  46. PC Positional Concurrent Dynamics PC profile 2 profile 1 if one or several players change at a single node all players that change intend to improve their outcome but synchronous changes may result in worst outcomes... c 1 ( c 1 , c 2 ) ( s 1 , c 2 ) v 1 v 2 PC � : G � c 2 s 1 s 2 v ⊥ ( c 1 , s 2 ) ( s 1 , s 2 ) both players intend to reach their best outcome (v 1 v ⊥ ≺ 1 v 1 v 2 v ⊥ and v 2 v ⊥ ≺ 2 v 2 v 1 v ⊥ ), even if they do not manage to do it (as the reached outcome is ( v 1 v 2 ) ω and ( v 2 v 1 ) ω )

  47. Questions What condition G should satisfy to ensure that G � � has no cycles, i.e. dynamics terminates on G?

  48. Questions What condition G should satisfy to ensure that G � � has no cycles, i.e. dynamics terminates on G? What relations 1 and 2 should satisfy to ensure that G � 1 � has no cycles if and only if G � 2 � has no cycles?

  49. Questions What condition G should satisfy to ensure that G � � has no cycles, i.e. dynamics terminates on G? What relations 1 and 2 should satisfy to ensure that G � 1 � has no cycles if and only if G � 2 � has no cycles? What should G 1 and G 2 have in common to ensure that G 1 � � has no cycles if and only if G 2 � � has no cycles?

  50. Simulation relation on dynamics graphs G simulates G ′ ( G ′ ⊑ G ) if all that G ′ can do, G can do it too . ∀ ∀ profile ′ profile ′ 1 2 ⊒ ⊒ ∀ profile 1

  51. Simulation relation on dynamics graphs G simulates G ′ ( G ′ ⊑ G ) if all that G ′ can do, G can do it too . ∀ ∀ profile ′ profile ′ 1 2 ⊒ ⊒ ∀ ∃ profile 2 profile 1

  52. Simulation relation on dynamics graphs G simulates G ′ ( G ′ ⊑ G ) if all that G ′ can do, G can do it too . ∀ ∀ profile ′ profile ′ 1 2 ⊒ ⊒ ∀ ∃ profile 2 profile 1 Folklore If G 1 � 1 � simulates G 2 � 2 � and the dynamics 1 terminates on G 1 , then the dynamics 2 terminates on G 2 .

  53. Relation between games G ′ is a minor of G if it is obtained by a succession of operations: • deletion of an edge (and all the corresponding outcomes); • deletion of an isolated node; • deletion of a node v with a single edge v → v ′ and no predecessor u → v such that u → v ′ .

  54. Relation between games G ′ is a minor of G if it is obtained by a succession of operations: • deletion of an edge (and all the corresponding outcomes); • deletion of an isolated node; • deletion of a node v with a single edge v → v ′ and no predecessor u → v such that u → v ′ . v 1 v 2 v 1 v 2 v 1 v 2 v 1 v 2 v 3 v 4 v 3 v 4 v 3 v 3 v ⊥ v 5 v ⊥ v 5 v ⊥ v 5 v ⊥ v 5

  55. Relation between simulation and minor Theorem P1 � simulates G ′ � P1 � . In particular, if If G ′ is a minor of G, then G � P1 terminates for G, it terminates for G ′ too.

  56. Relation between simulation and minor Theorem P1 � simulates G ′ � P1 � . In particular, if If G ′ is a minor of G, then G � P1 terminates for G, it terminates for G ′ too. Theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. P1 � ⊑ G � PC � Remark: G �

  57. More realistic conditions Adding fairness Termination might be too strong to ask in interdomain routing... Every router that wants to change its decision will have the opportunity to do it in the future... Study of fair termination

  58. More realistic conditions Adding fairness Termination might be too strong to ask in interdomain routing... Every router that wants to change its decision will have the opportunity to do it in the future... Study of fair termination More realistic dynamics bP1 and bPC of the two dynamics, where each Consider best reply variants player that modifies its strategy changes in the best possible way

  59. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′

  60. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ c 1 v 1 v 2 c 2 s 1 s 2 d v 3 v ⊥

  61. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ c 1 c 1 c 2 s 1 c 2 c 1 c 2 s 1 c 2 dc 2 dc 2 v 1 v 2 c 2 s 1 s 2 d c 1 s 2 s 1 s 2 c 1 s 2 s 1 s 2 ds 2 ds 2 v 3 v ⊥ PC � bPC � G � G �

  62. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ Does not apply to fair termination: the dynamics could fairly terminate for G (and not terminate ) but not for G ′

  63. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ Does not apply to fair termination: the dynamics could fairly terminate for G (and not terminate ) but not for G ′ c 1 v 1 v 2 v 3 c 3 c 2 s 1 s 2 s 3 v ⊥

  64. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ Does not apply to fair termination: the dynamics could fairly terminate for G (and not terminate ) but not for G ′ c 1 v 1 v 2 c 1 c 2 c 3 s 1 c 2 c 3 c 1 c 2 s 3 s 1 c 2 s 3 v 3 c 3 c 2 s 1 s 2 s 3 v ⊥ c 1 s 2 c 3 s 1 s 2 c 3 c 1 s 2 s 3 s 1 s 2 s 3

  65. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ Does not apply to fair termination: the dynamics could fairly terminate for G (and not terminate ) but not for G ′ The reciprocal does not hold...

  66. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ Does not apply to fair termination: the dynamics could fairly terminate for G (and not terminate ) but not for G ′ The reciprocal does not hold... Theorem bPC / bP1 fairly terminates for G if If G ′ is a dominant minor of G, then and only if it fairly terminates for G ′ .

  67. What results? Previous theorem PC � simulates G ′ � PC � . In particular, if If G ′ is a minor of G, then G � PC terminates for G, it terminates for G ′ too. bP1 and bPC : the best reply Becomes false for best reply dynamics dynamics could terminate in G but not in the minor G ′ Does not apply to fair termination: the dynamics could fairly terminate for G (and not terminate ) but not for G ′ The reciprocal does not hold... Theorem bPC / bP1 fairly terminates for G if If G ′ is a dominant minor of G, then and only if it fairly terminates for G ′ . Use of simulations that are partially invertible...

  68. Interdomain routing Particular case of game with one target for all players (reachability game) and players owning a single node (router) Theorem [Sami, Shapira, Zohar, 2009] bPC fairly terminates, then it has If G is a one-target game for which exactly one equilibrium .

  69. Interdomain routing Particular case of game with one target for all players (reachability game) and players owning a single node (router) Theorem [Griffin, Shepherd, Wilfong, 2002] There exists a pattern, called dispute wheel such that if G is a one-target bPC fairly terminates. game that has no dispute wheels, then u 1 h k h 1 u k u 2 π 1 π 2 π k v ⊥ h 2 ∀ 1 ≤ i ≤ k π i ≺ u i h i π i +1 π 3 u 3 . . .

  70. Reciprocal? Theorem There exists a stronger pattern, called strong dispute wheel , such that if PC terminates for G, then G has no strong dispute wheel.

  71. Reciprocal? Theorem There exists a stronger pattern, called strong dispute wheel , such that if PC terminates for G, then G has no strong dispute wheel. Theorem PC fairly If G satisfies a locality condition on the preferences, then terminates for G if and only if G has no strong dispute wheel. bPC does not fairly PC does not fairly PC does not terminate for G terminate for G terminate for G if neighbour game Griffin et al G has a dispute wheel G has a strong dispute wheel

  72. Reciprocal? Theorem There exists a stronger pattern, called strong dispute wheel , such that if PC terminates for G, then G has no strong dispute wheel. Theorem PC fairly If G satisfies a locality condition on the preferences, then terminates for G if and only if G has no strong dispute wheel. Theorem Finding a strong dispute wheel in G can be tested by searching whether G contains the following game as a minor: c 1 v 1 v 2 c 2 s 1 s 2 v ⊥

  73. Summary Looking for equilibria in dynamics of n -player games Different possible dynamics Conditions for (fair) termination Use of game minors and graph simulations In the article, non-positional strategies are also considered

  74. Summary Looking for equilibria in dynamics of n -player games Different possible dynamics Conditions for (fair) termination Use of game minors and graph simulations In the article, non-positional strategies are also considered Perspectives Still open to find a forbidden pattern/minor for fair termination of bPC in one-target games Consider games with imperfect information: model of malicious router A better model of asynchronicity? Model fairness using probabilities?

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend