Download presentation

Presentation is loading. Please wait.

Published byLuis McManus Modified over 4 years ago

1
Private capacities in mechanism design Vincenzo Auletta Paolo Penna Giuseppe Persiano Università di Salerno, Italy

2
Ideal World In practice…

3
The Internet Self organized, no central authority, anarchic Different entities which have their own goal may not follow the protocol Selfish agents

4
Example: BGP Routing An Autonomous System may report false link status to redirect traffic to another AS AS1 AS2 source destination Link down

5
Toy problem sourcedestination Routing cost (time/latency) t1t1 t2t2 0 0 Payment (large enough) Algorithm: smallest cost

6
Toy problem sourcedestination Routing cost (time/latency) C1 C2 Payment: 2nd smallest cost Algorithm: smallest cost

7
Toy problem sourcedestination Routing cost (time/latency) 7 10 Payment: 2nd smallest cost Algorithm: smallest cost A truthtelling agent maximizes his/her utility Truthful mechanism 7 10 – 7 8 10 – 7 11 0 – 0

8
Mechanism design When are truthful mechanisms possible? How to design them? Mechanism = Algorithm + Payments Focus on the Algorithm !! truthful mechanism monotone algorithm

9
One-parameter setting Mechanism = Algorithm + Payments t 1 t i t n utility i = payment i – work i t i r 1 r i t n work n work 1 work i … … t1t1 titi tntn payment i payment 1 payment n per-unit cost

10
One-parameter setting Mechanism = Algorithm + Payments utility i = payment i – work i t i P2P, Grid computing, scheduling Routing Wireless communications speed

11
One-parameter setting Mechanism = Algorithm + Payments utility i = payment i – work i t i P2P, Grid computing, scheduling Routing Wireless communications Well understood…but assumes infinite capacities! battery work i titi truthful [Myerson81] [Archer&Tardos01]

12
Our contribution New model (one-parameter + capacities) Characterization of truthfulness Few applications (optimal mechanisms) Open questions ALGORITHMIC!!

13
Private capacities … … t1t1 titi tntn c1c1 cici cncn per-unit cost max work that can effort utility i = payment i – work i t i when work capacity utility i = – when work > capacity

14
Characterization of truthfulness Weakly monotone algorithm: t i > t i work i work i or work i > c i truthful mechanism weakly monotone algorithm … … t1t1 titi tntn c1c1 cici cncn algorithm work i … … t1t1 t i tntn c1c1 c i cncn algorithm work i per-unit cost increases less work too much work

15
Example: Greedy Algorithm 5 6 10 Weakly monotone algorithm: t i > t i work i work i or work i > c i fixed capacities x 2 x 10 6 5 NO! 1 x 10 6 5

16
Characterization of truthfulness: proof ingredients truthfulness cycle monotonicity [Rochet 87] weak monotonicity Hard to understand/use simple … nonnegative length k different inputs for agent i how work i changes t i c i work i t i c i work i work i work i or work i > c i t i(work i work i ) (t i t i )(work i work i )

17
Characterization of truthfulness: proof ingredients truthfulness cycle monotonicity [Rochet 87] weak monotonicity Hard to understand/use simple … nonnegative length obvioushard

18
How to design the mechanism Algorithm + Payments Truthful mechanism Algorithm polytime weakly monotone optimal cost not always [Archer&Tardos 01] Can we have all of them? min-max problems (max congestion, makespan, fairness) yes [this work] Without capacities [AT 01]

19
How to design the mechanism min-max problems (max congestion, makespan, fairness) Scheduling: truthful PTAS for O(1) machines [this work] exact + rounding Algorithm polytime weakly monotone optimal cost Without capacities [Andelmann et al 07]

20
Open questions PTAS for any number of machines? –Without capacities: Yes [Christodoulou & Kovacs 09] Complexity of truthful algorithms –BGP routing –Network lifetime Multi-parameter settings? –No simple characterization [this work] Private capacities

21
Thank You

Similar presentations

OK

A Sufficient Condition for Truthfulness with Single Parameter Agents Michael Zuckerman, Hebrew University 2006 Based on paper by Nir Andelman and Yishay.

A Sufficient Condition for Truthfulness with Single Parameter Agents Michael Zuckerman, Hebrew University 2006 Based on paper by Nir Andelman and Yishay.

© 2018 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on bmc remedy software Ppt on switching devices in ece Ppt on non renewable resources Ppt on artificial intelligence techniques for electrical applications Bible ppt on how to treat mothers Ppt on water activity measurement Ppt on bill of exchange for class 11 Ppt on manas national park Free download ppt on wireless electricity Ppt on p&g products rebates list