Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein &...
-
Upload
sharlene-may -
Category
Documents
-
view
222 -
download
4
Transcript of Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein &...
![Page 1: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/1.jpg)
Cooperative Weakest Link
GamesYoram Bachrach, Omer Lev, Shachar Lovett,
Jeffrey S. Rosenschein & Morteza Zadimoghaddam
CoopMAS 2013St. Paul, Minnesota
![Page 2: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/2.jpg)
Weakest link scenarios
![Page 3: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/3.jpg)
Cooperative games
I is a group consisting of n agents.
v:2I→ℚ gives each coalition of subsets of I a value.
An imputation (p1,…,pn) divides the value of the grand coalition (i.e., v(I)) between the varioius agents.
![Page 4: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/4.jpg)
Weakest link games
A graph G=(V,E) with weighted edges and with two special vertices – s and t.
Value of a coalition is calculated by taking all paths between s and t which is included in the coalition. The value of each path is the weight of the minimal edge. The coalitions’s value is the maximal of the paths.
![Page 5: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/5.jpg)
Weakest link games example
5
5
2
4
5 5
3
1
3
4
1
3
2
4
51
A
B
C
D
E
F
G
H
I
s t
![Page 6: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/6.jpg)
Weakest link games example
5
5
2
4
5 5
3
1
3
4
1
3
2
4
51
A
B
C
D
E
F
G
H
I
s t
![Page 7: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/7.jpg)
Weakest link games example
5
5
2
4
5 5
3
1
3
4
1
3
2
4
51
A
B
C
D
E
F
G
H
I
s t
![Page 8: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/8.jpg)
Weakest link games example
5
5
2
4
5 5
3
1
3
4
1
3
2
4
51
A
B
C
D
E
F
G
H
I
s t
![Page 9: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/9.jpg)
Core and -core 𝜀definitions
Core is the set of imputations that aren’t blocked by any coaliton (i.e., no subset of agents has an incentive to leave)
𝜀-core, for >0, is the set of 𝜀imputations that, for each subset of agents C, gives its members at least v(C)-𝜀.
![Page 10: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/10.jpg)
Core – theorem I
Calculating the value of a coalition C is polynomial
For every value of edge weight we 𝜏build a graph with edges of minimal weight 𝜀, and see (using DFS) if a path still exists between s and t.
![Page 11: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/11.jpg)
Core – theorem II
Testing if an imputation is in the core (or -core) is 𝜀polynomial
For every value of edge weight 𝜀 we build a graph with edges of minimal weight 𝜀, and modify the weight of each edge to be its imputation. We find the shortest path, and if its total weight is below 𝜀, we have a blocking coalition.
![Page 12: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/12.jpg)
Core – theorem III
Emptiness of core (or 𝜀-core) is polynomial
Using previous slide’s algorithm as a separation oracle, we utilize the Ellipsoid method to solve the linear program
![Page 13: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/13.jpg)
Optimal coalition structure definition
A coalition structure is a partition of the agents into disjoint groups, with the value of the structure being the sum of the values of each group.The optimal coalition structure is the the partition with the maximal value.
![Page 14: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/14.jpg)
Optimal coalition structure – theorem I
Finding if the value of a the optimal coalition structure is above k is NP-hard
A reduction from Disjoint Paths Problem: set ofk pairs of (si,ti), where we wish to know of there are k disjoint paths such that the i’th path connects si to ti.
![Page 15: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/15.jpg)
Optimal coalition structure – theorem I reduction
s1
s2
s3
s4
s5
t1
t2
t3
t4
t5
1-𝜀1
1-𝜀2
1-𝜀5
1-𝜀4
1-𝜀3
1-𝜀1
1-𝜀2
1-𝜀3
1-𝜀5
1-𝜀4
All other edges are weighted 1
s
t
![Page 16: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/16.jpg)
Optimal coalition structure – theorem I reduction
s1
s2
s3
s4
s5
t1
t2
t3
t4
t5
1-𝜀1
1-𝜀2
1-𝜀5
1-𝜀4
1-𝜀3
1-𝜀1
1-𝜀2
1-𝜀3
1-𝜀5
1-𝜀4
All other edges are weighted 1
s
t
![Page 17: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/17.jpg)
Optimal coalition structure – theorem I reduction
s1
s2
s3
s4
s5
t1
t2
t3
t4
t5
1-𝜀1
1-𝜀2
1-𝜀5
1-𝜀4
1-𝜀3
1-𝜀1
1-𝜀2
1-𝜀3
1-𝜀5
1-𝜀4
All other edges are weighted 1
s
t
![Page 18: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/18.jpg)
Optimal coalition structure – theorem II
There is an O(log n) approximation to the optimal coalition structure problem
For each 𝜀, we can find (using max-flow algorithms) the number of disjoint paths with value of at least 𝜀 - n𝜏. We maximize 𝜀n𝜀, and that can be shown to be an O(log n) of the result…
![Page 19: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/19.jpg)
Optimal coalition structure – theorem II
Let w’ be v(I).
Hence, the optimal coalition structure is less than . It’s easy to see that is less than , and hence, somewhere from 1<i<2log(n), there is an i which is worth .
![Page 20: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/20.jpg)
Cost of Stability definition
Cost of Stability is the minimal amount needed to be added to v(I) in order to make some imputation of the grand coalition be in the core.
![Page 21: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/21.jpg)
Cost of stability joining graphs
Parallel composition:s1 t1
s2 t2
s t
![Page 22: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/22.jpg)
Cost of stability joining graphs
Serial composition:s1 t1
s2 t2
ss2
t1t
Where Gij is Gi
where all edges above j lowered to j.
![Page 23: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/23.jpg)
Future directions
More solution concepts (nucleolus)
Power indices
A restricted class where optimal coalition structure can be solvedUncertainty in agent behaviour
Weakest link without graphs?
![Page 24: Cooperative Weakest Link Games Yoram Bachrach, Omer Lev, Shachar Lovett, Jeffrey S. Rosenschein & Morteza Zadimoghaddam CoopMAS 2013 St. Paul, Minnesota.](https://reader038.fdocuments.in/reader038/viewer/2022103022/56649cfe5503460f949cf142/html5/thumbnails/24.jpg)
I am the weakest link, goodbye.
Thanks for listening!