network creation game* presented by miriam allalouf
DESCRIPTION
Network Creation Game* Presented by Miriam Allalouf. On a Network Creation Game by A.Fabrikant, A. Luthra, E. Maneva, C. H. Papadimitriou, and S. Shenker, [FLMPS], PODC 2003 *Part of the Slides are taken from Alex Fabrikant PPT presentation - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/1.jpg)
1
Network Creation Game* Presented by Miriam Allalouf
On a Network Creation Game by A.Fabrikant, A. Luthra, E. Maneva, C. H. Papadimitriou, and S. Shenker, [FLMPS], PODC 2003*Part of the Slides are taken from Alex Fabrikant PPT presentation
On Nash Equilibria for a Network Creation Game by Albers, S. Eilts, E. Even-Dar, Y. Mansour and L. Roditty. [AEEMR] to appear in SODA 2006.
![Page 2: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/2.jpg)
2
U C B E R K E L E Y C O M P U T E R S C I E N C E
Context The internet has over 20,000
Autonomous Systems (AS) Everyone picks their own upstream
and/or peers MACHBA wants to be close to
everyone else on the network, but doesn’t care about the network at large
![Page 3: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/3.jpg)
Question:
What is the “penalty” in terms of poor network structure incurred by having the “users” create
the network, without centralized control?
![Page 4: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/4.jpg)
4
U C B E R K E L E Y C O M P U T E R S C I E N C E
In this talk we… Introduce a simple model of network creation
by self-interested agents Briefly review game-theoretic concepts Talk about related work Show bounds on the “price of anarchy” in the
model – using both papers results Disprove the tree conjecture A weighted network creation game Cost sharing Discuss extensions and open relevant
problems.
![Page 5: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/5.jpg)
5
U C B E R K E L E Y C O M P U T E R S C I E N C E
A Simple Model N agents, each represented by a vertex
and can buy (undirected) links to a set of others (si)
One agent buys a link, but anyone can use it
Undirected graph G is built Cost to agent:
Pay $ for each link you
buy
Pay $1 for every hop to every node
( may depend on n)
![Page 6: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/6.jpg)
6
U C B E R K E L E Y C O M P U T E R S C I E N C E
Example
(Convention: arrow from the node buying the link)
+
1
1
2
2
3
4
-1
-3 c(i)=+13c(i)=2+9
![Page 7: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/7.jpg)
![Page 8: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/8.jpg)
8
U C B E R K E L E Y C O M P U T E R S C I E N C E
Definitions V={1..n} set of players A strategy for v is a set of vertices Sv V\{v},
such that v creates an edge to every w Sv. G(S)=(V,E) is the resulted graph given a
combination of strategies S=(S1,..,Sn), V set of plyaers / nodes and E the laid edges.
Social optimum: combination of strategies that minimizes the social cost
“What a dictator would do” Not necessarily palatable to any given agent
Social cost: The simplest notion of “global benefit”
),()(,
jidEcGCji
Gi
i
![Page 9: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/9.jpg)
9
U C B E R K E L E Y C O M P U T E R S C I E N C E
Definitions: Nash Equilibria Nash equilibrium: a situation
such that no single player can change what he is doing and benefit Presumes complete rationality
and knowledge on behalf of each agent
Not guaranteed to exist, but they do for our model
The cost of player i under s:),(),( jidSSiC
jGv
![Page 10: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/10.jpg)
10
U C B E R K E L E Y C O M P U T E R S C I E N C E
Definitions: Nash Equilibria A combination of strategies S forms Nash equilibrium,
if for any player i and any other strategy U, such that U differs from S only in i’s component
> G(S) is the equilibrium graph
Strong Nash equilibrium is when for any i Otherwise, it is a weak Nash equilibrium, where at least
one player can change its strategy without affecting its cost. Transient Nash equilibria is a weak equilibrium from which
there exists a sequence of single-player strategy changes, which do not change the deviator’s cost, leading to a non-equilibrium position.
),(),( UiCSiC
),(),( UiCSiC
![Page 11: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/11.jpg)
11
U C B E R K E L E Y C O M P U T E R S C I E N C E
+5
-2
Example Set =5, and consider:
-5
+2
+4
-1
-5
+5-1
+1
+5
+1
+1
-1
-1
-5
-5
?!
![Page 12: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/12.jpg)
12
U C B E R K E L E Y C O M P U T E R S C I E N C E
Definitions: Price of Anarchy
Price of Anarchy (Koutsoupias & Papadimitriou, 1999): the ratio between the worst-case social cost of a Nash equilibrium network and the optimum network over all Nash equilibria S
We bound the worst-case price of anarchy to evaluate “the price we pay” for operating without centralized control
![Page 13: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/13.jpg)
13
U C B E R K E L E Y C O M P U T E R S C I E N C E
The presented papers On a Network Creation Game by
A.Fabrikant, A. Luthra, E. Maneva, C. H. Papadimitriou, and S. Shenker, [FLMPS], PODC 2003
On Nash Equilibria for a Network Creation Game by Albers, S. Eilts, E. Even-Dar, Y. Mansour and L. Roditty. [AEEMR] to appear in SODA 2006.
![Page 14: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/14.jpg)
14
U C B E R K E L E Y C O M P U T E R S C I E N C E
Related Work Corbo and Parkes (PODS 05)
Study the P.O.A of the network creation game assuming the edges are bought by both players
Anshelevich, et al. (STOC 2003) Agents are “global” and pick from a set of links to
connect between their own terminals, observed the “price of stability”
A body of similar work on social networks in the econometrics literature (e.g. Bala&Goyal 2000, Dutta&Jackson 2000)
Earning by forming links Players heterogenity, etc
![Page 15: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/15.jpg)
15
U C B E R K E L E Y C O M P U T E R S C I E N C E
In this talk we… Introduce a simple model of network creation
by self-interested agents Briefly review game-theoretic concepts Talk about related work Show bounds on the “price of anarchy” in the
model – using both papers results Disprove the tree conjecture A weighted network creation game Cost sharing Discuss extensions and open problems we
believe to be relevant and potentially tractable.
![Page 16: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/16.jpg)
16
U C B E R K E L E Y C O M P U T E R S C I E N C E
Social optima - clique When <2, any
missing edge can be added at cost and subtract at least 2 from social cost
![Page 17: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/17.jpg)
17
U C B E R K E L E Y C O M P U T E R S C I E N C E
Social optima - star
When 2, consider a star. Any extra edges are too expensive.
))1(2)(1()( nnstarC
![Page 18: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/18.jpg)
18
U C B E R K E L E Y C O M P U T E R S C I E N C E
Equilibria: very small (<2) For <1, the clique is the only N.E. For 1<<2, clique no longer N.E., but
the diameter is at most 2; else: >2
Then, the star is the worst N.E., can be seen to yield P.o.A. of at most 4/3
+
-2
![Page 19: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/19.jpg)
19
U C B E R K E L E Y C O M P U T E R S C I E N C E
P.O.A for very small (<2)
The star is also a Nash equilibrium, but there may be worse Nash equilibrium.
![Page 20: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/20.jpg)
22
U C B E R K E L E Y C O M P U T E R S C I E N C E
RESULTS: p.o.a Bounds for different values
Constant P.O.A Upper bounds: [AEEMR]
For Not larger than 1.5 Goes to 1 as increases
nn log12
)log12( nn
),min1(153
122
n
n
For any other , )( noConstant for
Increases for ]),[ nn
Maximum at =n : )( 3
1
no
![Page 21: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/21.jpg)
23
U C B E R K E L E Y C O M P U T E R S C I E N C E
Nash Equilibrium Characteristics
[FLMPS] Tree Conjecture: For all >A (A constant), all non-transient Nash equilibria are for trees
[AEEMR] disproves it and show that for any positive integer n0, there exists a graph built by n ≥ n0 players that contains cycles and forms a strong Nash equilibrium,
But If every Nash equilibrium is a tree
nn log12
![Page 22: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/22.jpg)
24
U C B E R K E L E Y C O M P U T E R S C I E N C E
p.o.a Upper Bound [AEEMR]
Price of Anarchy Upper Bound [AEEMR]
![Page 23: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/23.jpg)
25
U C B E R K E L E Y C O M P U T E R S C I E N C E
Constant p.o.a Upper Bound for α ≥ 12n log n [AEEMR] (1)
Theorem 2 For α ≥ 12n log n , the price of anarchy is bounded by 1 + (6n log n / α) ≤ 1.5 and any G(S) equilibrium graph is a tree.
Proof Based on Proposition 1 where proved that G(S) whose girth ≥ 12log n is a tree whose maximal depth is 6log n, and on Lemma 5 that connects between the girth length and α.
![Page 24: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/24.jpg)
26
U C B E R K E L E Y C O M P U T E R S C I E N C E
Improved Upper Bound for α ≥ 12n log n [AEEMR] (2)
Proposition 1 If G(S) is an equilibrium graph whose girth ≥ 12 log n then The diameter of G(S ) ≤ 6 log n G(S) is a tree
In order to prove the above,The following graph analysisWere provided
![Page 25: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/25.jpg)
27
U C B E R K E L E Y C O M P U T E R S C I E N C E
Definition G(S) is an equilibrium graph. T(u) in V shortest path tree rooted at
u. and this vertex represents layer 0 of the tree.
Given vertex layers 0 to i − 1, layer i is constructed as follows.
Tree edges A node w belongs to layer i if it is not yet contained in layers 0 to i − 1 and there is a vertex v in layer i−1 such that {v,w} E (only one is added to the the shortest path tree).
Non-tree edges - all remaining edges of E that are added to T(u)
T(u) a layered version of G with distinguished tree edges.
Improved Upper Bound for α ≥ 12n log n [AEEMR] (3)
![Page 26: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/26.jpg)
28
U C B E R K E L E Y C O M P U T E R S C I E N C E
A vertex v in V at a depth ≤ 6 log n in T(u), is:
Expanding - If v has at least two children, each with at least one descendent in the Boundary level.
Neutral - If v has exactly one child with at least one descendent in the Boundary level.
Degenerate - If v does not have any descendent in the Boundary level
Improved Upper Bound for α ≥ 12n log n [AEEMR] (4)
![Page 27: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/27.jpg)
29
U C B E R K E L E Y C O M P U T E R S C I E N C E
vT(u) is a Neutral vertex. Du(v) is the set of its Degenerate children and their
descendants at T(u).Lemma 3 G(S) an equilibrium graph whose girth
≥12 log n. Every path from xDu(v) to yV\Du(v) in G(S) must go through v neutral vertex.
Neutral edge An edge on the shortest path from u to v that both of its endpoints are Neutral vertices.
Lemma 4 G(S) an equilibrium graph whose girth ≥ 12 log n. The total number of Neutral edges is 2 log n.
Proof It is more beneficial to buy a link to a neutral node than to a degenerated mode. This decision can be taken no more than log n
Improved Upper Bound for α ≥ 12n log n [AEEMR] (5)
![Page 28: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/28.jpg)
30
U C B E R K E L E Y C O M P U T E R S C I E N C E
Improved Upper Bound for α ≥ 12n log n [AEEMR] (6)
Proposition 1 If G(S) is an equilibrium graph whose girth ≥ 12 log n then
The diameter of G(S ) ≤ 6 log n G(S) is a tree
Proof By contradiction, assume that the diameter is at
least 6 log n. Let uV on one of the endpoints of the diameter,
and look on T(u). Since U is either Neutral or Expanding vertex (one of the
diameter endpoints) . Goal: show that the number of descendants at the
Boundary level is at least n. leads to contradiction and implies that the maximal depth is
at most 6 log n and that there are no cycles. : see details…
![Page 29: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/29.jpg)
31
U C B E R K E L E Y C O M P U T E R S C I E N C E
Improved Upper Bound for α ≥ 12n log n [AEEMR] (7)
Proposition 1 Proof more details Let v V , d the depth of v in T(u), b the number of
Neutral edges on the path from u to v. (d, b) is a label per vertex [example: for u it is (0,0)] Let v be a non-Degenerate vertex whose label is (d, b)
N(d, b) be a lower bound on the number of its descendants at the Boundary level.
Note: two vertices might have the same label, but have different number of descendants at the boundary level.
We claim that
and for the root : thus proving the claim will lead to the desired
contradiction.
)log2(2
log6
2),(bn
dn
bdN
nNn
n
)0log2(
2
0log6
2)0,0(
![Page 30: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/30.jpg)
32
U C B E R K E L E Y C O M P U T E R S C I E N C E
Improved Upper Bound for α ≥ 12n log n [AEEMR] (8)
Lemma 5 If G(S) is an equilibrium graph and c be any positive constant. If α>cn log n then
the length of the girth of G(S ) ≥ c log n.
ProofAssume by contradiction that minimal girth is clog n.U on the cycle wants to buy an edge: Benefit by distance reduction: (clog n -1)n Loss by edge addition: α = cnlog n
It is not an equilibia , contradiction.
![Page 31: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/31.jpg)
33
U C B E R K E L E Y C O M P U T E R S C I E N C E
Theorem 3 Let α > 0. For any Nash equilibrium N, the price of anarchy is bounded by
Proof Fix an arbitrary v0V, such that v0 built only tree edges
in T(v0). For any vertex vV , let Ev be the number of tree edges built by v in T(v0).
for any vV , v v0, Cost(v) ≤ α(Ev + 1) + Dist(v0) + n − 1
Cost(N) ≤ 2α(n − 1) + nDist(v0) + (n − 1)2. Need to analyze Dist(v0) …. More details…
Improved Upper Bound for any α (α < 12n log n) [AEEMR] (1)
),min1(153
122
n
n
![Page 32: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/32.jpg)
34
U C B E R K E L E Y C O M P U T E R S C I E N C E
Improved Upper Bound for any α (α < 12n log n) [AEEMR] (2)
For α<1, Dist(v0)≤n-1 (complete graph) Cost(N) ≤ 2α(n−1)+2n(n−1),
Cost(OPT) ≥ α(n−1)+n(n−1) p.o.a ≤ 2 For α > n2,
Dist(v0)≤(n-1)2 Cost(N) ≤ 2α(n−1)+2n(n−1)2,
Cost(OPT) > α(n−1)> n2(n−1) p.o.a ≤ 4
![Page 33: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/33.jpg)
35
U C B E R K E L E Y C O M P U T E R S C I E N C E
Improved Upper Bound for any α (α < 12n log n) [AEEMR] (3)
For 1≤α≤ n2 Cost(OPT)> α(n−1)+ 2(n-1)2> α(n−1)+ n2 (star),
for n ≥ 2 players For d ≤ 9 , Dist(v0)≤9n, Cost(N) ≤ 2α(n−1)+10n2
For d ≥ 10 ,Dist(v0)≤(n-1)15α/nc ≤15αn1-c), Cost(N) ≤ 2α(n−1)+ 15αn2-c+n2,
For α≤ n, nc=(αn)1/3
For α> n, nc=(αn)1/3 , [α(n-1)+n2>αn because α ≤ n2]
2
2
2
22
)1(
153
)1(
15)1(2..
nn
n
nn
nnnaop
cc
3/12
)1(15..n
aop
3/12
)1(15..n
aop
![Page 34: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/34.jpg)
36
U C B E R K E L E Y C O M P U T E R S C I E N C E
Theorem 4 In any Nash equilibrium N, the total cost incurred by the players in building edges is bounded by twice the cost of the social optimum. There exists a shortest path tree such that, for any player v, the number of non-tree edges built by v is bounded by 1 + ⌊(n − 1)/α⌋.
The only critical part in bounding the P.O.A is the sum of the shortest path distances between players.
Improved Upper Bound any α (α < 12n log n) [AEEMR] (4)
![Page 35: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/35.jpg)
38
U C B E R K E L E Y C O M P U T E R S C I E N C E
Trees [FLMPS]
Conjecture: for >0, some constant, all Nash equilibria are trees
Benefit: a tree has a center (a node that, when removed, yields no components with more than n/2 nodes)
Given a tree N.E., can use the fact that no additional nodes want to link to center to bound the depth and show that the price of anarchy is at most 5
![Page 36: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/36.jpg)
39
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (1)
Family of graphs construction that form strong Nash equilibria and have induced cycles of length three and five. To construct these graphs, we have
to define affine planes
![Page 37: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/37.jpg)
40
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (2)
Definition An affine plane is a pair (A,L) A is a set (of points) L is a family of subsets of A (of lines) satisfying the following
four conditions. For any two points, there is a unique line containing these
points. Each line contains at least two points. Given a point x and a line L that does not contain x, there is a
unique line L′ that contains x and is disjoint (parallel) from L (xL).
There exists a triangle, i.e. there are three distinct points which do not lie on a line.
If A is finite, then the affine plane is called finite. Equivalence relation on the lines by parallelism
L’s equivalence class [L].
![Page 38: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/38.jpg)
41
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (3)
Affine Plane definition
Set
Where field F=GF(q) (q prime)
Set
AG(2, q): affine plane of order q. The plane contains:
q2 points q*(q+1) lines q+1 equivalence classes
Each has q lines Each such line has q
points
0,,| bAbabFaL
2FA
![Page 39: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/39.jpg)
42
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (4)
Graphs represnet Strong Nash Equilibria G=(V,E) construction Set of vertices V=A L : 2q2+q+1
players The edge set E :
A point and a line are connected by an edge the line contains the point.
Two lines are connected by an edge they are parallel : complete subgraph Kq
No two points are connected by an edge.
![Page 40: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/40.jpg)
43
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (5)
Line L (representative from eq. class iq) builds edges
to points x1,x2 such that x1LLqi and x2LLq
i+1 To L1-Lr (parallel to L) : same equivalence class
Points x3-xq L builds edges to L to other lines containing x
(from different equivalence class) r(L) indegree,s(L) outdegree of L in Kq Line Lq (from eq. class q) does not build edges
If L[Lq] then the cost of the player representing L is
(2+s)α+(2q−1)+2(2q−1)q = (s+2)α+4q2−1,
s=s(L)=q−1−r. If L[Lq], then the cost is
sα + 4q2 − 1.
![Page 41: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/41.jpg)
44
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (6)
Point X builds edges to all lines containing it (different equivalence class)
The cost of the player representing x is (q−1)α +(q+1)+2(q + 1)(2(q − 1)) = (q − 1)α + 4q2 +q−3.
![Page 42: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/42.jpg)
45
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (7)
Lemma 1 Let q>10. For α in the range 1<α<q+1, no player associated with a line L has a different strategy that achieves a cost ≤ L’s original one. For α in the range 1≤ α≤q+1, L has no strategy with a smaller cost.
Proof Fix a line L[Lq]. Consider all possible strategy changes. L builds l>s+2 edges,
at best there are l−s−2+2q−1 vertices at distance 1 while the other vertices are at distance 2 from L.
In L’s original strategy there are 2q−1 vertices at distance 1 while all other vertices are at distance 2.
L’s original strategy has a cost at least α(l−s−2)−(l−s−2) < S, and this expression is strictly positive for α > 1. Thus buying more than s + 2 edges does not pay off.
L builds at most s + 2 edges and show it does not pay off. There is an edge building cost of α while the shortest path distance
costdecreases by at least q + 1. If α<q+1, there is a net cost saving and S is worse than L’s original strategy
given by G. If α = q + 1, then L’s original strategy is at least as good
![Page 43: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/43.jpg)
46
U C B E R K E L E Y C O M P U T E R S C I E N C E
Disproving the Tree Conjecture [AEEMR] (7)
Lemma 2 For α in the range 1 < α ≤ q + 1, no player associated with a point x has a different strategy that achieves a cost equal to or smaller than that of x’s original strategy. For α = 1, no player associated with a point has a strategy that achieves a smaller cost.
Theorem 1 Let q > 10. The graph G is a
strong Nash equilibrium, for 1 < α < q + 1, and a Nash equilibrium, for 1 ≤ α ≤ q + 1.
![Page 44: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/44.jpg)
47
U C B E R K E L E Y C O M P U T E R S C I E N C E
A Weighted Network Creation Game [AEEMR] (1)
Most agents don’t care to connect closely to everyone else What if we know the amount of traffic
between each pair of nodes and weight the distance terms accordingly?
If n2 parameters is too much, what about restricted traffic matrices?
![Page 45: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/45.jpg)
48
U C B E R K E L E Y C O M P U T E R S C I E N C E
A Weighted Network Creation Game [AEEMR] (2)
Assume at least n ≥ 2 players. Player u sends a traffic amount of
wuv>0 to player v, with u v. W = (wuv)u,v is nxn traffic matrix. Cost of player u: wmin=minuv wuv smallest traffic entry wmax=maxuv wuv largest traffic entry. The sum of the traffic values
vuv
Gu wvudSSuC ,),(),(
n
u
n
v uvsum wW1 1
![Page 46: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/46.jpg)
49
U C B E R K E L E Y C O M P U T E R S C I E N C E
A Weighted Network Creation Game [AEEMR] (3)
Theorem 8 (generalization of Theorem 3, up to constant factors, where wmin = 1 a) For 0<α≤ wminn2 and any Nash equilibrium N, the price of
anarchy is bounded by
b) For wminn2<α<wmaxn2 , the price of anarchy is bounded by
c) For wmaxn2 ≤ α. Then the price of anarchy is bounded by 4.
n
nw
W
nwsum ),
)(
(,)(min1(603
14
min
3
1
2min
2
n
nw
W
wsum ),
))1(((,min312
minmin
![Page 47: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/47.jpg)
50
U C B E R K E L E Y C O M P U T E R S C I E N C E
Cost Sharing [AEEMR] (1) What if agents collaborate to create a
link? Each node can pay for a fraction of a link; Link exists only if total “investment” is α May yield a wider variety of equilibria
![Page 48: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/48.jpg)
51
U C B E R K E L E Y C O M P U T E R S C I E N C E
Cost Sharing [AEEMR] (2) Theorem 9 n the unweighted scenario the
bounds of Theorem 3 hold. In the weighted scenario the bound of
Theorem 8 hold. Theorem 10 For n > 6 and α in the
range 16n2+n<α<12n2−n, there exist strong Nash equilibria with n players that contain cycle an in which the cost is split evenly among players.
![Page 49: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/49.jpg)
52
U C B E R K E L E Y C O M P U T E R S C I E N C E
Discussion The price tag of decentralization in
network design appears modest not directly dependent on the size of
the network being built The Internet is not strictly a clique,
or a star, or a tree, but often resembles one of these at any given scale
Many possible extensions remain to be explored
![Page 50: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/50.jpg)
53
U C B E R K E L E Y C O M P U T E R S C I E N C E
Directions for Future Work The network is dynamic : Introduce time?
Network develops in stages as new nodes arrive Assume equilibrium state is reached at every
stage Other points on the spectrum between
dictatorship and anarchy? Agreements,sync Measurements to assess applicability to
existing real systems
![Page 51: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/51.jpg)
54
U C B E R K E L E Y C O M P U T E R S C I E N C E
Directions for Future Work Passenger Fee: Edge users will pay
for the transport, (SLA…) Stars are efficient for hop distances,
but problematic for congestion What happens when agent costs are
penalized for easily-congestible networks?
QoS support
![Page 52: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/52.jpg)
55
U C B E R K E L E Y C O M P U T E R S C I E N C E
AS Graph by the DIMES project
A node is linked with higher probability to a node that already has a large number of links.
![Page 53: Network Creation Game* Presented by Miriam Allalouf](https://reader035.vdocuments.net/reader035/viewer/2022062720/568133de550346895d9ad1fb/html5/thumbnails/53.jpg)
Q u e s t i o n s ?