Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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

description

AAMAS 2013 best-paper: “Mechanisms for Multi-Unit Combinatorial Auctions with a Few Distinct Goods”. Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece Carmine Ventre Teesside University, UK. Multi-unit Combinatorial Auctions. m goods. - PowerPoint PPT Presentation

Transcript of Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

Page 1: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

(Multi-unit) CAs: applications

Page 4: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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

Valuation Function

Page 9: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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: Piotr Krysta University of Liverpool, UK Orestis Telelis AUEB, Greece

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!