aamas 2013 best-paper: “mechanisms for multi-unit combinatorial auctions with a few distinct...

12
AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr Krysta University of Liverpool, UK Orestis TelelisAUEB, Greece Carmine Ventre Teesside University, UK

Upload: warren-patterson

Post on 05-Jan-2016

214 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

AAMAS 2013 best-paper:“Mechanisms for Multi-Unit Combinatorial

Auctions with a Few Distinct Goods”

Piotr Krysta University of Liverpool, UKOrestis Telelis AUEB, GreeceCarmine Ventre Teesside University, UK

Page 2: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Multi-unit Combinatorial Auctionsm goods

Good j available in supply sj

n bidders

Objective: find an allocation of goods to bidders that maximizes the social welfare (sum of the bidders’ valuations)

Each bidder has valuation functions for (multi) set of goods expressing his/her complex preferences, e.g.,v( blue set ) = 290$v( green set ) = 305$

Page 3: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

(Multi-unit) CAs: applications

Page 4: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

CAs: paradigmatic problem in Algorithmic Mechanism Design

“We can always return the optimum social welfare truthfully (ie, when bidders lie) using VCG”

“CAs is hard to approximate within √m and we have a polynomial-time algorithm that guarantees that”

Polynomial-time (deterministic) algorithms and truthfulness?

VCG is in general not good to obtain approximate solutions [Nisan&Ronen, JAIR 2007]

Page 5: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Few distinct goods

Polynomial-time (deterministic) algorithms and truthfulness for m=O(1) and sj in N?

VCG-based mechanisms do the job in this case!

Page 6: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Valuation Previous best apx NEW APX (m=O(1)) Apx lower bound

Single-minded 2-apx (m=1) [Mualem, Nisan’02]FPTAS (m=1) [BKV’05]

(1+ε,1+ε,…,1+ε)-FPTAS (m=O(1)) [GKLV’10]

Weakly NP-complete

Weakly NP-complete

( , 1+ε, …,1+ε) -hard (arbitrary m) [NEW]

Multi-minded PTAS (m=1) [Dobzinski, Nisan’07]

(1+ε,1,…,1)-PTAS

(1,1+ε,…,1+ε)-FPTAS

Strongly NP-hard(m≥2) [ChK’00]No FPTAS (m=1) [DN’07]Weakly NP-complete

Submodular 1-apx (m=1) [Vickrey’61]Exponential-time

(1+ε,1,…,1)-PTAS ?

General 2-apx (m=1) [DN’07] (2, 1,…,1)-apx 2-MiR-hard (m=1) [DN’07]

First deterministic poly-time mechanism even for m=1.Greatest improvement over previous result!

Our results at a glance

Page 7: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

VCG-based mechanisms: Maximum-in-Range (MIR) algorithms [NR, JAIR 07]

Algorithm is MIR, if it fully optimizes the Social Welfare over a subset of allocations.

Truthful (Poly-Time) α-approximate VCG-based mechanism:

1. Commit to a range, R, prior to the bidders’ declarations. 2. Elicit declarations, b. 3. Compute solution in R with best social welfare according to b.

4. Use VCG payments.

Tricky: R should be “big” enough to contain good approximations of opt for all b and “small” enough to guarantee step 3 to be quick.

Page 8: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Multi-minded biddersBidders demand a collection of multi-sets of goods

Valuation Function

Page 9: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Allocation algorithm in input 1. Demands rounding

2. Supply adjustment

3. Optimize rounded instance by dynamic programming Optimality (1, 1+ε, …, 1+ε)-FPTAS: Feasible solutions to the original instance are feasible for the “rounded” instance

Feasibility (1, 1+ε, …, 1+ε)-FPTAS:

Page 10: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Truthfulness of the mechanism

THEOREM: The allocation algorithm A is MiR.

THEOREM: There is an economically efficient truthful FPTAS for multi-minded CAs, violating the supplies by (1 + ε), for any ε > 0.

(Important: Bidders declare (and can lie about) both demand sets and values.)

Proof: The set {x in X : there exists b s.t. A(b)= x} is the range of the algorithm.

Page 11: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Violating the supply?

• Theoretically needed to obtain an FPTAS– Strongly NP-hardness for m ≥ 2

• Common practice in multi-objective optimization literature

• Sellers do that already!

Page 12: AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods” Piotr KrystaUniversity of Liverpool, UK Orestis TelelisAUEB,

Conclusions

• Studied Multi-Unit CAs with constant number of goods and arbitrary supply– most practically relevant CAs setting– dramatically changes the problem to be algorithmically tractable!

• Designed best possible deterministic poly-time truthful mechanisms for broad classes of bidders: multi-minded, submodular, general. – Mechanism for submodular valuations is the first deterministic

poly-time.• Our assumptions (m = O(1), relaxing supplies) are provably

necessary!