Combinatorial Optimization Games Maria Serna Fall 2016 AGT-MIRI - - PowerPoint PPT Presentation

combinatorial optimization games
SMART_READER_LITE
LIVE PREVIEW

Combinatorial Optimization Games Maria Serna Fall 2016 AGT-MIRI - - PowerPoint PPT Presentation

Contents Induced subgraph games Minimum cost spanning tree games References Combinatorial Optimization Games Maria Serna Fall 2016 AGT-MIRI Cooperative Game Theory Contents Induced subgraph games Minimum cost spanning tree games


slide-1
SLIDE 1

Contents Induced subgraph games Minimum cost spanning tree games References

Combinatorial Optimization Games

Maria Serna Fall 2016

AGT-MIRI Cooperative Game Theory

slide-2
SLIDE 2

Contents Induced subgraph games Minimum cost spanning tree games References

1 Induced subgraph games 2 Minimum cost spanning tree games 3 References

AGT-MIRI Cooperative Game Theory

slide-3
SLIDE 3

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

1 Induced subgraph games 2 Minimum cost spanning tree games 3 References

AGT-MIRI Cooperative Game Theory

slide-4
SLIDE 4

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

AGT-MIRI Cooperative Game Theory

slide-5
SLIDE 5

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

A game is described by an undirected, weighted graph G = (N, E) with |N| = n and |E| = m and an integer edge weight function w.

AGT-MIRI Cooperative Game Theory

slide-6
SLIDE 6

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

A game is described by an undirected, weighted graph G = (N, E) with |N| = n and |E| = m and an integer edge weight function w. The weight of edge (i, j) ∈ E is denoted by wi,j.

AGT-MIRI Cooperative Game Theory

slide-7
SLIDE 7

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

A game is described by an undirected, weighted graph G = (N, E) with |N| = n and |E| = m and an integer edge weight function w. The weight of edge (i, j) ∈ E is denoted by wi,j. In the game Γ(G, w) = (N, v) the set of players is N, and the value v of a coalition C ⊆ N is v(C) =

  • i,j∈C,i<j
  • (i,j)∈E

wi,j

AGT-MIRI Cooperative Game Theory

slide-8
SLIDE 8

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

A game is described by an undirected, weighted graph G = (N, E) with |N| = n and |E| = m and an integer edge weight function w. The weight of edge (i, j) ∈ E is denoted by wi,j. In the game Γ(G, w) = (N, v) the set of players is N, and the value v of a coalition C ⊆ N is v(C) =

  • i,j∈C,i<j
  • (i,j)∈E

wi,j Usually self-loops are allowed, so that the value of a singleton coalition may be any integer number different from 0.

AGT-MIRI Cooperative Game Theory

slide-9
SLIDE 9

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

A game is described by an undirected, weighted graph G = (N, E) with |N| = n and |E| = m and an integer edge weight function w. The weight of edge (i, j) ∈ E is denoted by wi,j. In the game Γ(G, w) = (N, v) the set of players is N, and the value v of a coalition C ⊆ N is v(C) =

  • i,j∈C,i<j
  • (i,j)∈E

wi,j Usually self-loops are allowed, so that the value of a singleton coalition may be any integer number different from 0. Observe that v(∅) = 0 and v(N) = w(E).

AGT-MIRI Cooperative Game Theory

slide-10
SLIDE 10

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

AGT-MIRI Cooperative Game Theory

slide-11
SLIDE 11

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

Induced subgraph games can be used to model social networks, where the value of each coalition (team, club) is determined by the relationships among its members: a player assigns a positive utility to being in a coalition with his friends and a negative utility to being in a coalition with his enemies.

AGT-MIRI Cooperative Game Theory

slide-12
SLIDE 12

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

Induced subgraph games can be used to model social networks, where the value of each coalition (team, club) is determined by the relationships among its members: a player assigns a positive utility to being in a coalition with his friends and a negative utility to being in a coalition with his enemies. The representation is succinct as long as the number of bits required to encode edge weights is polynomial in |N|: using an adjacency matrix to represent the graph requires only n2 entries.

AGT-MIRI Cooperative Game Theory

slide-13
SLIDE 13

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Induced subgraph games

Induced subgraph games can be used to model social networks, where the value of each coalition (team, club) is determined by the relationships among its members: a player assigns a positive utility to being in a coalition with his friends and a negative utility to being in a coalition with his enemies. The representation is succinct as long as the number of bits required to encode edge weights is polynomial in |N|: using an adjacency matrix to represent the graph requires only n2 entries. Weights can be exponential in n and still have polynomial size.

AGT-MIRI Cooperative Game Theory

slide-14
SLIDE 14

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

AGT-MIRI Cooperative Game Theory

slide-15
SLIDE 15

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation?

AGT-MIRI Cooperative Game Theory

slide-16
SLIDE 16

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games?

AGT-MIRI Cooperative Game Theory

slide-17
SLIDE 17

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games? NO

AGT-MIRI Cooperative Game Theory

slide-18
SLIDE 18

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games? NO Consider the game Γ = (N, v), where n = {1, 2, 3} and v(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3

AGT-MIRI Cooperative Game Theory

slide-19
SLIDE 19

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games? NO Consider the game Γ = (N, v), where n = {1, 2, 3} and v(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ.

AGT-MIRI Cooperative Game Theory

slide-20
SLIDE 20

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games? NO Consider the game Γ = (N, v), where n = {1, 2, 3} and v(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ.

By the first condition all self-loops must have weight 0.

AGT-MIRI Cooperative Game Theory

slide-21
SLIDE 21

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games? NO Consider the game Γ = (N, v), where n = {1, 2, 3} and v(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ.

By the first condition all self-loops must have weight 0. By the second condition any pair of different vertices must be connected by an edge with weight 1. So G must be a triangle.

AGT-MIRI Cooperative Game Theory

slide-22
SLIDE 22

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Completeness?

Is this is a complete representation? All simple games can be represented as induced subgraph games? NO Consider the game Γ = (N, v), where n = {1, 2, 3} and v(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ.

By the first condition all self-loops must have weight 0. By the second condition any pair of different vertices must be connected by an edge with weight 1. So G must be a triangle. But then v({1, 2, 3}) = 3 = 6.

AGT-MIRI Cooperative Game Theory

slide-23
SLIDE 23

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D).

AGT-MIRI Cooperative Game Theory

slide-24
SLIDE 24

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D). A game (N, v) is convex iff v is supermodular.

AGT-MIRI Cooperative Game Theory

slide-25
SLIDE 25

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D). A game (N, v) is convex iff v is supermodular. Since we allow for negative edge weights, induced subgraph games are not necessarily monotone.

AGT-MIRI Cooperative Game Theory

slide-26
SLIDE 26

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D). A game (N, v) is convex iff v is supermodular. Since we allow for negative edge weights, induced subgraph games are not necessarily monotone. However, when all edge weights are non-negative, induced subgraph games are convex.

AGT-MIRI Cooperative Game Theory

slide-27
SLIDE 27

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

AGT-MIRI Cooperative Game Theory

slide-28
SLIDE 28

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The core of Γ(N, v) is the set of all imputations x such that v(S) ≤ x(S), for each coalition S ⊆ N.

AGT-MIRI Cooperative Game Theory

slide-29
SLIDE 29

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

AGT-MIRI Cooperative Game Theory

slide-30
SLIDE 30

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

Theorem If Γ = (N, v) is a convex game, then Γ has a non-empty core.

AGT-MIRI Cooperative Game Theory

slide-31
SLIDE 31

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

Theorem If Γ = (N, v) is a convex game, then Γ has a non-empty core. Fix an arbitrary permutation π, and let xi be the marginal contribution of i with respect to π.

AGT-MIRI Cooperative Game Theory

slide-32
SLIDE 32

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

Theorem If Γ = (N, v) is a convex game, then Γ has a non-empty core. Fix an arbitrary permutation π, and let xi be the marginal contribution of i with respect to π. Let us show that (x1, ..., xn) is in the core of Γ.

AGT-MIRI Cooperative Game Theory

slide-33
SLIDE 33

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

Theorem If Γ = (N, v) is a convex game, then Γ has a non-empty core. Fix an arbitrary permutation π, and let xi be the marginal contribution of i with respect to π. Let us show that (x1, ..., xn) is in the core of Γ.

For C ⊆ N, we can assume that C = {i1, . . . , is} where π(i1) < · · · < π(is). So, v(C) = v({i1})−v(∅)+v({i1, i2})−v({i1})+· · ·+v(C)−v(C \{is}). By supermodularity we have,

v({i1, . . . , ij−1, ij }) − v({i1, . . . , ij−1}) ≤ v({1, . . . , ij }) − v({1, . . . , ij−1}).

Therefore v(C) ≤ x(C) and v(N) = x(N).

AGT-MIRI Cooperative Game Theory

slide-34
SLIDE 34

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

Theorem If Γ = (N, v) is a convex game, then Γ has a non-empty core. Fix an arbitrary permutation π, and let xi be the marginal contribution of i with respect to π. Let us show that (x1, ..., xn) is in the core of Γ.

For C ⊆ N, we can assume that C = {i1, . . . , is} where π(i1) < · · · < π(is). So, v(C) = v({i1})−v(∅)+v({i1, i2})−v({i1})+· · ·+v(C)−v(C \{is}). By supermodularity we have,

v({i1, . . . , ij−1, ij }) − v({i1, . . . , ij−1}) ≤ v({1, . . . , ij }) − v({1, . . . , ij−1}).

Therefore v(C) ≤ x(C) and v(N) = x(N).

Observe that we have shown that the vector formed by the Shapley value is in the core of a convex game.

AGT-MIRI Cooperative Game Theory

slide-35
SLIDE 35

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

A permutation of {1, ..., n} is a one-to-one mapping from {1, ..., n} to itself

AGT-MIRI Cooperative Game Theory

slide-36
SLIDE 36

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

A permutation of {1, ..., n} is a one-to-one mapping from {1, ..., n} to itself Π(N) denote the set of all permutations of N

AGT-MIRI Cooperative Game Theory

slide-37
SLIDE 37

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

A permutation of {1, ..., n} is a one-to-one mapping from {1, ..., n} to itself Π(N) denote the set of all permutations of N Let Sπ(i) denote the set of predecessors of i in π ∈ Π(N)

AGT-MIRI Cooperative Game Theory

slide-38
SLIDE 38

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

A permutation of {1, ..., n} is a one-to-one mapping from {1, ..., n} to itself Π(N) denote the set of all permutations of N Let Sπ(i) denote the set of predecessors of i in π ∈ Π(N) For C ⊆ N, let δi(C) = v(C ∪ {i}) − v(C)

AGT-MIRI Cooperative Game Theory

slide-39
SLIDE 39

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

A permutation of {1, ..., n} is a one-to-one mapping from {1, ..., n} to itself Π(N) denote the set of all permutations of N Let Sπ(i) denote the set of predecessors of i in π ∈ Π(N) For C ⊆ N, let δi(C) = v(C ∪ {i}) − v(C) The Shapley value of player i in a game Γ = (N, v) with n players is Φi(Γ) = 1 n!

  • π∈Π(N)

δi(Sπ(i))

AGT-MIRI Cooperative Game Theory

slide-40
SLIDE 40

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Axiomatic Characterization

Properties of the Shapley value: Efficiency: Φ1 + ... + Φn = v(N) Dummy: if i is a dummy, Φi = 0 Symmetry: if i and j are symmetric, Φi = Φj Additivity: Φi(Γ1 + Γ2) = Φi((Γ1) + Φi(Γ2)

AGT-MIRI Cooperative Game Theory

slide-41
SLIDE 41

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Axiomatic Characterization

Properties of the Shapley value: Efficiency: Φ1 + ... + Φn = v(N) Dummy: if i is a dummy, Φi = 0 Symmetry: if i and j are symmetric, Φi = Φj Additivity: Φi(Γ1 + Γ2) = Φi((Γ1) + Φi(Γ2) Theorem The Shapley value is the only payoff distribution scheme that has properties (1) - (4)

AGT-MIRI Cooperative Game Theory

slide-42
SLIDE 42

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

AGT-MIRI Cooperative Game Theory

slide-43
SLIDE 43

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

Theorem The Shapley value of player i in Γ(G, w) is Φ(i) = 1 2

  • (i,j)∈E

wi,j.

AGT-MIRI Cooperative Game Theory

slide-44
SLIDE 44

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

AGT-MIRI Cooperative Game Theory

slide-45
SLIDE 45

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

Let {e1, . . . , em} be the set of edges in G.

AGT-MIRI Cooperative Game Theory

slide-46
SLIDE 46

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

Let {e1, . . . , em} be the set of edges in G. We can decompose the graph G into m graphs G1, . . . , Gm, where for 1 ≤ j ≤ m the graph Gj = (V , {ej}).

AGT-MIRI Cooperative Game Theory

slide-47
SLIDE 47

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

Let {e1, . . . , em} be the set of edges in G. We can decompose the graph G into m graphs G1, . . . , Gm, where for 1 ≤ j ≤ m the graph Gj = (V , {ej}). Considering the same weight as in the original graph, let Γj = Γ(Gj, w).

AGT-MIRI Cooperative Game Theory

slide-48
SLIDE 48

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

Let {e1, . . . , em} be the set of edges in G. We can decompose the graph G into m graphs G1, . . . , Gm, where for 1 ≤ j ≤ m the graph Gj = (V , {ej}). Considering the same weight as in the original graph, let Γj = Γ(Gj, w). According to the definitions: Γ = Γ(G, w) = Γ1 + · · · + Γm.

AGT-MIRI Cooperative Game Theory

slide-49
SLIDE 49

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

Let {e1, . . . , em} be the set of edges in G. We can decompose the graph G into m graphs G1, . . . , Gm, where for 1 ≤ j ≤ m the graph Gj = (V , {ej}). Considering the same weight as in the original graph, let Γj = Γ(Gj, w). According to the definitions: Γ = Γ(G, w) = Γ1 + · · · + Γm. By the additivity axiom, for each player i ∈ N we have

AGT-MIRI Cooperative Game Theory

slide-50
SLIDE 50

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

Let {e1, . . . , em} be the set of edges in G. We can decompose the graph G into m graphs G1, . . . , Gm, where for 1 ≤ j ≤ m the graph Gj = (V , {ej}). Considering the same weight as in the original graph, let Γj = Γ(Gj, w). According to the definitions: Γ = Γ(G, w) = Γ1 + · · · + Γm. By the additivity axiom, for each player i ∈ N we have Φi(Γ) =

m

  • j=1

Φi(Γj).

AGT-MIRI Cooperative Game Theory

slide-51
SLIDE 51

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

AGT-MIRI Cooperative Game Theory

slide-52
SLIDE 52

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

We have to compute Φi(Γj).

AGT-MIRI Cooperative Game Theory

slide-53
SLIDE 53

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

We have to compute Φi(Γj). When i is not incident to ej, i is a dummy in Γj and Φi(Γj) = 0.

AGT-MIRI Cooperative Game Theory

slide-54
SLIDE 54

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

We have to compute Φi(Γj). When i is not incident to ej, i is a dummy in Γj and Φi(Γj) = 0. When ej = (i, ℓ) for some ℓ ∈ N, players i and ℓ are symmetric in Γj.

AGT-MIRI Cooperative Game Theory

slide-55
SLIDE 55

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value: Computation

We have to compute Φi(Γj). When i is not incident to ej, i is a dummy in Γj and Φi(Γj) = 0. When ej = (i, ℓ) for some ℓ ∈ N, players i and ℓ are symmetric in Γj. Since the value of the grand coalition in Γj equals w(i, ℓ), by efficiency and symmetry we get Φi(Γj) = w(i, ℓ)/2.

AGT-MIRI Cooperative Game Theory

slide-56
SLIDE 56

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

AGT-MIRI Cooperative Game Theory

slide-57
SLIDE 57

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

Theorem The Shapley value of player i in Γ(G, w) is Φi = 1 2

  • (i,j)∈E

wi,j.

AGT-MIRI Cooperative Game Theory

slide-58
SLIDE 58

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Shapley value

Theorem The Shapley value of player i in Γ(G, w) is Φi = 1 2

  • (i,j)∈E

wi,j. Corollary The Shapley values of induced subgraph games can be computed in polynomial time.

AGT-MIRI Cooperative Game Theory

slide-59
SLIDE 59

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

Theorem Consider a game Γ(G, w), the following are equivalent The vector of Shapley values is in the core (G, w) has no negative cut The core is non-empty

AGT-MIRI Cooperative Game Theory

slide-60
SLIDE 60

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

AGT-MIRI Cooperative Game Theory

slide-61
SLIDE 61

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The Shapley value is in the core iff G has no negative cut.

AGT-MIRI Cooperative Game Theory

slide-62
SLIDE 62

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The Shapley value is in the core iff G has no negative cut. Let e(S, x) = v(S) − x(S) be the excess of coalition S at the imputation x.

AGT-MIRI Cooperative Game Theory

slide-63
SLIDE 63

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The Shapley value is in the core iff G has no negative cut. Let e(S, x) = v(S) − x(S) be the excess of coalition S at the imputation x. Thus, x is in the core iff e(x, S) ≤ 0 ∀S ⊆ N.

AGT-MIRI Cooperative Game Theory

slide-64
SLIDE 64

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The Shapley value is in the core iff G has no negative cut. Let e(S, x) = v(S) − x(S) be the excess of coalition S at the imputation x. Thus, x is in the core iff e(x, S) ≤ 0 ∀S ⊆ N. For the Shapley values, e(S, Φ) is − 1

2 times the weight of the

edges going from S to N \ S.

AGT-MIRI Cooperative Game Theory

slide-65
SLIDE 65

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The Shapley value is in the core iff G has no negative cut. Let e(S, x) = v(S) − x(S) be the excess of coalition S at the imputation x. Thus, x is in the core iff e(x, S) ≤ 0 ∀S ⊆ N. For the Shapley values, e(S, Φ) is − 1

2 times the weight of the

edges going from S to N \ S. Hence the Shapley value is in the core if and only if there is no negative cut (S, N \ S).

AGT-MIRI Cooperative Game Theory

slide-66
SLIDE 66

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

AGT-MIRI Cooperative Game Theory

slide-67
SLIDE 67

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The core is nonempty iff G has no negative cut.

AGT-MIRI Cooperative Game Theory

slide-68
SLIDE 68

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The core is nonempty iff G has no negative cut. If G has no negative cut, the vector of Shapley values is in the core (by the previous proof).

AGT-MIRI Cooperative Game Theory

slide-69
SLIDE 69

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

The core is nonempty iff G has no negative cut. If G has no negative cut, the vector of Shapley values is in the core (by the previous proof). We have seen that if the core is non-empty, then the vector of Shapley values is in the core.

AGT-MIRI Cooperative Game Theory

slide-70
SLIDE 70

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

NEGATIVE-CUT: Given a weighted graph (G, w), determine whether there is a negative cut in G.

AGT-MIRI Cooperative Game Theory

slide-71
SLIDE 71

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

NEGATIVE-CUT: Given a weighted graph (G, w), determine whether there is a negative cut in G. NEGATIVE-CUT is NP-complete W-MAX-CUT: Given a weighted graph (G, w) with non-negative weights and an integer k, determine whether there is a cut of size at least k in G, is NP-complete.

AGT-MIRI Cooperative Game Theory

slide-72
SLIDE 72

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

NEGATIVE-CUT: Given a weighted graph (G, w), determine whether there is a negative cut in G. NEGATIVE-CUT is NP-complete W-MAX-CUT: Given a weighted graph (G, w) with non-negative weights and an integer k, determine whether there is a cut of size at least k in G, is NP-complete. Let (G, w) with non-negative weights and an integer k. G ′ is obtained as the disjoint union of G and the graph ({a, b}, {(a, b)}). Define w′ as w′(e) = w(e) for e ∈ E(G) and w((a, b)) = −k.

AGT-MIRI Cooperative Game Theory

slide-73
SLIDE 73

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Can the core be empty?

NEGATIVE-CUT: Given a weighted graph (G, w), determine whether there is a negative cut in G. NEGATIVE-CUT is NP-complete W-MAX-CUT: Given a weighted graph (G, w) with non-negative weights and an integer k, determine whether there is a cut of size at least k in G, is NP-complete. Let (G, w) with non-negative weights and an integer k. G ′ is obtained as the disjoint union of G and the graph ({a, b}, {(a, b)}). Define w′ as w′(e) = w(e) for e ∈ E(G) and w((a, b)) = −k. G has a a cut of size at least k iff G ′ has a negative cut.

AGT-MIRI Cooperative Game Theory

slide-74
SLIDE 74

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Complexity of core related problems

Theorem The following problems are NP-complete: Given (G, w) and an imputation x, is it not in the core of Γ(G, w)? Given (G, w), is the vector of Shapley values of Γ(G, w) not in the core of Γ(G, w)? Given (G, w), is the core of Γ(G, w) empty?

AGT-MIRI Cooperative Game Theory

slide-75
SLIDE 75

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Complexity of core related problems

Theorem Given (G, w), when all weights are non-negative, we can test in polynomial time whether the core is non-empty. whether an imputation x is in the core of Γ(G, w).

AGT-MIRI Cooperative Game Theory

slide-76
SLIDE 76

Contents Induced subgraph games Minimum cost spanning tree games References Definition Core emptyness Shapley value Core related problems

Complexity of core related problems

Theorem Given (G, w), when all weights are non-negative, we can test in polynomial time whether the core is non-empty. whether an imputation x is in the core of Γ(G, w). The first question is trivial as the vector of Shapley values belong to the core. The second problem can be solved by a reduction to MAX-FLOW.

AGT-MIRI Cooperative Game Theory

slide-77
SLIDE 77

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

1 Induced subgraph games 2 Minimum cost spanning tree games 3 References

AGT-MIRI Cooperative Game Theory

slide-78
SLIDE 78

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games

AGT-MIRI Cooperative Game Theory

slide-79
SLIDE 79

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices.

AGT-MIRI Cooperative Game Theory

slide-80
SLIDE 80

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices. V (G) = {v0, . . . , vn}.

AGT-MIRI Cooperative Game Theory

slide-81
SLIDE 81

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices. V (G) = {v0, . . . , vn}. The weight of edge (i, j) ∈ E is denoted by wi,j. We assume wi,j ≥ 0

AGT-MIRI Cooperative Game Theory

slide-82
SLIDE 82

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices. V (G) = {v0, . . . , vn}. The weight of edge (i, j) ∈ E is denoted by wi,j. We assume wi,j ≥ 0 In the game Γ(G, w) = (N, c) the set of players is N = {v1, . . . , vn}, and the cost c of a coalition C ⊆ N is c(C) = the weight of a minimum spanning tree of G[S∪{v0}]

AGT-MIRI Cooperative Game Theory

slide-83
SLIDE 83

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices. V (G) = {v0, . . . , vn}. The weight of edge (i, j) ∈ E is denoted by wi,j. We assume wi,j ≥ 0 In the game Γ(G, w) = (N, c) the set of players is N = {v1, . . . , vn}, and the cost c of a coalition C ⊆ N is c(C) = the weight of a minimum spanning tree of G[S∪{v0}] Self-loops are not allowed.

AGT-MIRI Cooperative Game Theory

slide-84
SLIDE 84

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices. V (G) = {v0, . . . , vn}. The weight of edge (i, j) ∈ E is denoted by wi,j. We assume wi,j ≥ 0 In the game Γ(G, w) = (N, c) the set of players is N = {v1, . . . , vn}, and the cost c of a coalition C ⊆ N is c(C) = the weight of a minimum spanning tree of G[S∪{v0}] Self-loops are not allowed. The cost of a singleton coalition {i} is c({i}) = w0,i.

AGT-MIRI Cooperative Game Theory

slide-85
SLIDE 85

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

MST Games

Minimum cost spanning tree games A game is described by a weighted complete graph (G, w) with n + 1 vertices. V (G) = {v0, . . . , vn}. The weight of edge (i, j) ∈ E is denoted by wi,j. We assume wi,j ≥ 0 In the game Γ(G, w) = (N, c) the set of players is N = {v1, . . . , vn}, and the cost c of a coalition C ⊆ N is c(C) = the weight of a minimum spanning tree of G[S∪{v0}] Self-loops are not allowed. The cost of a singleton coalition {i} is c({i}) = w0,i. Observe that v(∅) = 0 and v(N) = w(T) where T is a MST

  • f G.

AGT-MIRI Cooperative Game Theory

slide-86
SLIDE 86

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Induced subgraph games

AGT-MIRI Cooperative Game Theory

slide-87
SLIDE 87

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Induced subgraph games

MST games model situations where a number of users must be connected to a common supplier, and the cost of such connection can be modeled as a minimum spanning tree problem.

AGT-MIRI Cooperative Game Theory

slide-88
SLIDE 88

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Induced subgraph games

MST games model situations where a number of users must be connected to a common supplier, and the cost of such connection can be modeled as a minimum spanning tree problem. The representation is succinct as long as the number of bits required to encode edge weights is polynomial in |N|: using an adjacency matrix to represent the graph requires only n2 entries.

AGT-MIRI Cooperative Game Theory

slide-89
SLIDE 89

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

AGT-MIRI Cooperative Game Theory

slide-90
SLIDE 90

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation?

AGT-MIRI Cooperative Game Theory

slide-91
SLIDE 91

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation? All simple games can be represented as MST games?

AGT-MIRI Cooperative Game Theory

slide-92
SLIDE 92

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation? All simple games can be represented as MST games? NO

AGT-MIRI Cooperative Game Theory

slide-93
SLIDE 93

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation? All simple games can be represented as MST games? NO Consider the game Γ = (N, c), where n = {1, 2, 3} and c(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3

AGT-MIRI Cooperative Game Theory

slide-94
SLIDE 94

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation? All simple games can be represented as MST games? NO Consider the game Γ = (N, c), where n = {1, 2, 3} and c(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ. V (G) = {0, 1, 2, 3}

AGT-MIRI Cooperative Game Theory

slide-95
SLIDE 95

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation? All simple games can be represented as MST games? NO Consider the game Γ = (N, c), where n = {1, 2, 3} and c(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ. V (G) = {0, 1, 2, 3}

By the first condition w0,i = 0, for i ∈ {1, 2, 3}.

AGT-MIRI Cooperative Game Theory

slide-96
SLIDE 96

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Completeness?

Is this is a complete representation? All simple games can be represented as MST games? NO Consider the game Γ = (N, c), where n = {1, 2, 3} and c(C) =      if |C| ≤ 1 1 if |C| = 2 6 if |C| = 3 Assume that Γ(G, w) realizes Γ. V (G) = {0, 1, 2, 3}

By the first condition w0,i = 0, for i ∈ {1, 2, 3}. Thus, a coalition with |C| = 2 has a MST with zero cost and the second condition cannot be met.

AGT-MIRI Cooperative Game Theory

slide-97
SLIDE 97

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N.

AGT-MIRI Cooperative Game Theory

slide-98
SLIDE 98

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. subadditive v(C ∪ D) ≤ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N.

AGT-MIRI Cooperative Game Theory

slide-99
SLIDE 99

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. subadditive v(C ∪ D) ≤ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D). A game (N, v) is convex iff v is supermodular.

AGT-MIRI Cooperative Game Theory

slide-100
SLIDE 100

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. subadditive v(C ∪ D) ≤ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D). A game (N, v) is convex iff v is supermodular. MST games are not necessarily monotone. Consider a triangle on V = {0, 1, 2} and weights w0,1 = 1, w0,2 = 10 and w1,2 = 1 c(N) = 2 and c({1}) = 1 and c({2}) = 10

AGT-MIRI Cooperative Game Theory

slide-101
SLIDE 101

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Properties of valuations

monotone if v(C) ≤ v(D) for C ⊆ D ⊆ N. superadditive if v(C ∪ D) ≥ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. subadditive v(C ∪ D) ≤ v(C) + v(D), for every pair of disjoint coalitions C, D ⊆ N. supermodular v(C ∪ D) + v(C ∩ D) ≥ v(C) + v(D). A game (N, v) is convex iff v is supermodular. MST games are not necessarily monotone. Consider a triangle on V = {0, 1, 2} and weights w0,1 = 1, w0,2 = 10 and w1,2 = 1 c(N) = 2 and c({1}) = 1 and c({2}) = 10 c is subadditive.

AGT-MIRI Cooperative Game Theory

slide-102
SLIDE 102

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

Theorem Consider a MST game Γ(G, w). Let T ∗ be a MST of (G, w)

  • btained using Prim’s algorithm. The vector x = (x1, . . . , xn) that

allocates to player i ∈ N the weight of the first edge i encounters

  • n the (unique path) from vi to v0 in T ∗ belongs to the core of Γ.

Such an allocation is called standard core allocation

AGT-MIRI Cooperative Game Theory

slide-103
SLIDE 103

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core

AGT-MIRI Cooperative Game Theory

slide-104
SLIDE 104

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core Clearly n

i=1 xi = w(T ∗) = c(N).

AGT-MIRI Cooperative Game Theory

slide-105
SLIDE 105

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core Clearly n

i=1 xi = w(T ∗) = c(N).

We need to show that n

i=1 xi ≤ c(S).

AGT-MIRI Cooperative Game Theory

slide-106
SLIDE 106

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core Clearly n

i=1 xi = w(T ∗) = c(N).

We need to show that n

i=1 xi ≤ c(S).

Consider a coalition S and let T be a MST obtained using Prim’s algorithm of G[S ∪ {v0}].

AGT-MIRI Cooperative Game Theory

slide-107
SLIDE 107

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core Clearly n

i=1 xi = w(T ∗) = c(N).

We need to show that n

i=1 xi ≤ c(S).

Consider a coalition S and let T be a MST obtained using Prim’s algorithm of G[S ∪ {v0}]. For j in S, let ej be the first edge j encounters on the path from vj to v0 in T and let yj = w(ej).

AGT-MIRI Cooperative Game Theory

slide-108
SLIDE 108

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core Clearly n

i=1 xi = w(T ∗) = c(N).

We need to show that n

i=1 xi ≤ c(S).

Consider a coalition S and let T be a MST obtained using Prim’s algorithm of G[S ∪ {v0}]. For j in S, let ej be the first edge j encounters on the path from vj to v0 in T and let yj = w(ej). The selected edge corresponds to the point in which Prim’s algorithm connects the vertex to the component including v0, i.e., it is a minimum weight edge in the allowed cut.

AGT-MIRI Cooperative Game Theory

slide-109
SLIDE 109

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Can the core be empty?

A standard allocation x belongs to the core Clearly n

i=1 xi = w(T ∗) = c(N).

We need to show that n

i=1 xi ≤ c(S).

Consider a coalition S and let T be a MST obtained using Prim’s algorithm of G[S ∪ {v0}]. For j in S, let ej be the first edge j encounters on the path from vj to v0 in T and let yj = w(ej). The selected edge corresponds to the point in which Prim’s algorithm connects the vertex to the component including v0, i.e., it is a minimum weight edge in the allowed cut. Analyzing carefully both executions it can be shown that xj ≤ yj as the edges considered in one partition are a subset of the other.

AGT-MIRI Cooperative Game Theory

slide-110
SLIDE 110

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

How fair are standard core allocations?

Most of the cost is charged to player 1. How to find more appropriate core allocations?

AGT-MIRI Cooperative Game Theory

slide-111
SLIDE 111

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

More appropriate core allocations?

There are many proposals to try to get more appropriate core allocations.

AGT-MIRI Cooperative Game Theory

slide-112
SLIDE 112

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

More appropriate core allocations?

There are many proposals to try to get more appropriate core allocations. Granot and Huberman [1984] prose the weak demand allocation and strong demand allocation procedures. Which rectify standard allocations by transfering cost (whenever possible) from one node to their children.

AGT-MIRI Cooperative Game Theory

slide-113
SLIDE 113

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

More appropriate core allocations?

There are many proposals to try to get more appropriate core allocations. Granot and Huberman [1984] prose the weak demand allocation and strong demand allocation procedures. Which rectify standard allocations by transfering cost (whenever possible) from one node to their children. Norde, Moretti and Tijs [2001] show how to find a population monotonic allocation scheme (pmas), which is an allocation scheme that provides a core element for the game and all its subgames and which, moreover, satisfies a monotonicity condition in the sense that players have to pay less in larger coalitions.

AGT-MIRI Cooperative Game Theory

slide-114
SLIDE 114

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Complexity of core related problems

AGT-MIRI Cooperative Game Theory

slide-115
SLIDE 115

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Complexity of core related problems

Theorem The following problem is NP-complete: Given (G, w) and an imputation x, is it not in the core of Γ(G, w)?

AGT-MIRI Cooperative Game Theory

slide-116
SLIDE 116

Contents Induced subgraph games Minimum cost spanning tree games References Definitions Properties of valuations Core emptyness

Complexity of core related problems

Theorem The following problem is NP-complete: Given (G, w) and an imputation x, is it not in the core of Γ(G, w)? The proof follows by a reduction from EXACT COVER BY 3-SETS [Faigle et al., Int. J. Game Theory 1997]

AGT-MIRI Cooperative Game Theory

slide-117
SLIDE 117

Contents Induced subgraph games Minimum cost spanning tree games References

1 Induced subgraph games 2 Minimum cost spanning tree games 3 References

AGT-MIRI Cooperative Game Theory

slide-118
SLIDE 118

Contents Induced subgraph games Minimum cost spanning tree games References

References

  • X. Deng and C. Papadimitriou. On the complexity of

cooperative solution concepts. Mathematics of Operations Research, 19(2):257266, 1994.

  • C. G. Bird. On cost allocation for a spanning tree: A game

theory approach. Networks, 6:335350, 1976.

  • U. Faigle, W. Kern, S. P. Fekete, and W. Hochstttler. On the

complexity of testing membership in the core of min-cost spanning tree games. International Journal of Game Theory, 26:361366, 1997.

AGT-MIRI Cooperative Game Theory

slide-119
SLIDE 119

Contents Induced subgraph games Minimum cost spanning tree games References

References

  • G. Chalkiadakis, E. Elkind, M. Wooldridge. Computational

Aspects of Cooperative Game Theory Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool, October 2011.

AGT-MIRI Cooperative Game Theory