Sequential mechanism design
Krzysztof R. Apt
(so not Krzystof and definitely not Krystof)
CWI, Amsterdam, the Netherlands, University of Amsterdam
based on joint works with
- A. Est´
evez-Fern´ andez
- E. Markakis
Sequential mechanism design – p. 1/3
Sequential mechanism design Krzysztof R. Apt (so not Krzystof and - - PowerPoint PPT Presentation
Sequential mechanism design Krzysztof R. Apt (so not Krzystof and definitely not Krystof) CWI, Amsterdam, the Netherlands , University of Amsterdam based on joint works with A. Est evez-Fern andez E. Markakis Sequential mechanism design
(so not Krzystof and definitely not Krystof)
CWI, Amsterdam, the Netherlands, University of Amsterdam
based on joint works with
Sequential mechanism design – p. 1/3
Sequential mechanism design – p. 2/3
Sequential mechanism design – p. 3/3
i,
1, . . ., θ′ n) and (t1, . . ., tn) := t(θ′ 1, . . ., θ′ n),
i=1 ui((f, t)(θ), θi).
Sequential mechanism design – p. 4/3
i=1 ti(θ) ≤ 0.
i = θi).
Sequential mechanism design – p. 5/3
Sequential mechanism design – p. 6/3
n),
i=1 θi ≥ c
Sequential mechanism design – p. 7/3
i, θ−i) :=
n c − k=i θk) if k=i θk + θ′ i < c
k=i θk − n−1 n c) otherwise
Sequential mechanism design – p. 8/3
Sequential mechanism design – p. 9/3
Sequential mechanism design – p. 10/3
argsmax θ := µi(θi = maxj∈{1,...,n} θj).
Sequential mechanism design – p. 11/3
i (θ) :=
2 if i = argsmax θ
Sequential mechanism design – p. 12/3
i (θ) + (θ−i)∗ 2
Sequential mechanism design – p. 13/3
Sequential mechanism design – p. 14/3
i (θ) + ri(θ−i).
Sequential mechanism design – p. 15/3
Sequential mechanism design – p. 16/3
i ∈ Θi
i, θ−i), θi).
Sequential mechanism design – p. 17/3
Sequential mechanism design – p. 18/3
j=1 θj < c and i < n,
j=1 θj < c and i = n,
j=1 θj ≥ c
Sequential mechanism design – p. 19/3
Sequential mechanism design – p. 20/3
Sequential mechanism design – p. 21/3
j=1 θj < c and i < n,
j=1 θj < c and i = n,
j=1 θj = c, θi > c n and i = n,
Sequential mechanism design – p. 22/3
Sequential mechanism design – p. 23/3
i(·) be an optimal strategy for player i.
j=1 θj < c and i < n. Then s′ i(θ1, . . ., θi) = θi.
j=1 θj < c and i = n. Then
j=1 θj + s′ i(θ1, . . ., θn) < c.
j=1 θj = c and i < n. Then s′ i(θ1, . . ., θi) ≥ θi.
j=1 θj > c. Then i−1 j=1 θj + s′ i(θ1, . . ., θi) ≥ c.
Sequential mechanism design – p. 24/3
j=1 θj < c and i < n.
j=1 θj < c and i = n
j=1 θj = c, θi > c n and i = n.
j=1 θj = c, θi ≤ c n and i = n.
j=1 θj = c and i < n) or i j=1 θj > c.
Sequential mechanism design – p. 25/3
Sequential mechanism design – p. 26/3
Sequential mechanism design – p. 27/3
Sequential mechanism design – p. 28/3
Sequential mechanism design – p. 29/3
1(!) if θi ≤ maxj∈{1,...,i−1} θj and i ≤ n − 1
2(!) otherwise
Sequential mechanism design – p. 30/3
Sequential mechanism design – p. 31/3
θ>i∈Θ>i ui((f, t)([s(·), θ]), θi)
θ>i∈Θ>i ui((f, t)([s(·), θ]), θi) ≥
θ>i∈Θ>i ui((f, t)([s′(·), θ]), θi).
i(·)
i(·), s−i(·)).
Sequential mechanism design – p. 32/3
Sequential mechanism design – p. 33/3
Sequential mechanism design – p. 34/3
Sequential mechanism design – p. 35/3