cs 286r: computational mechanism design david c. … · cs 286r: computational mechanism design...

32
Parkes CS 286r 1 CS 286r: Computational Mechanism Design David C. Parkes [email protected] Spring, 2007

Upload: buinguyet

Post on 25-Apr-2018

223 views

Category:

Documents


2 download

TRANSCRIPT

Page 1: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 1

'

&

$

%

CS 286r: Computational MechanismDesign

David C. [email protected]

Spring, 2007

Page 2: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 2

'

&

$

%

Motivation

• Ubiquitouscomputing andInternet connectivity:

– lower transaction (⇒ dynamic protocols)

– greater reach

– new markets (new goods)

• Specificcomp scicontributions:

– algorithms for winner determination

– algorithms for automated bidding

– machine learning (“filters”)

– ontologies + XML, “wiki” power, tags etc.

• Chance toconstructnew markets. Not for the few!

• Heaps of compellingapplications

Page 3: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 3

'

&

$

%

Two Communities

• Economics– traditional emphasis on game-theoretic

rationality,describing, and systems (“economies”)

with multipleself-interested agents.

• Computer Science– traditional emphasis on computational &

informational constraints,building, and systems

with one user (or a user with adversarial

opponents)

Vision: Unification, resolve conflicts between

game-theoretic and computational constraints, develop

rigorous theories, methodologies and algorithms.

Page 4: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 4

'

&

$

%

Lots of Excitement!• Eighth ACM Electronic Commerce

Conference, June 2007

– combinatorial auctions, mechanism design, Web 2.0,

economics of security, sponsored search, viral marketing,etc.

• Dagstuhl Workshop on Comput. SocialSystems and the Internet, July 2007

– computer scientists, economists, game theorists

• DIMACS Workshop on Auctions withTransaction Costs, March 2007

– computer scientists, economists, game theorists

• WINE , AMEC , INFORMS clusters,SSworkshops, etc.

• Yahoo! research, Google, YouTube, Facebook,

MS research, ...

Page 5: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 5

'

&

$

%

What is this Course?

Rotating topics course.

• Spring, 2007. Computational Mechanism Design.

[w/ focus on sponsored search]

Previous:

• Spring, 2006. Multi-agent learning and

Implementation.

Tentative:

• Spring, 2008.Challenge Problem(we did

‘Iterative Combinatorial Exchanges’ in 2004).

Virtual economies (e.g. second life)??

Page 6: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 6

'

&

$

%

Computational Mechanism Design

Fundamental Concept:design systems s.t. the

equilibrium are “good“, from econ & CS perspective.

preferenceelicitation

minimal

equilibria

algorithmdesign

Agents

distributedmechanism design

‘‘networkfriendly protocols’’

Indirectmechanisms

approximate &truthfulbounded-rational

Communication

Mechanismalgorithm design

rational computation;compet. comm. complex.

Page 7: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 7

'

&

$

%

Sponsored Search

• Buzz word: MONETIZATION

• Google AdSense. Yahoo “Panama.” MSN.

• Google: $6B revenue 2005, $10B revenue 2006

• Online:Offline split, roughly $16B to $300B.

Online projected to grow 30%/year.

• Google has 100’000s of web sites in network,

100’000s advertisers. Big and small. More and

more not just driving business on web.

• Ecosystem of “marketmakers.” 1000’s of players.

Page 8: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 8

'

&

$

%

Course Structure

• Introductory lectures : [until 2/14]– (4 in total) GT, MD, auction theory.

• Current Research papers: [bulk of course]– Part I(theory and practice)

– optimal auction design (3 views)

– new soln. concepts

– method for “automated” MD

– Part II (spons. search, bidding agents)

– auction design (theory)

– bidding dynamics

– AI for GT analysis (incl. TAC)

– Part III (dynamic mechs.)

– theory, online algorithms

– new soln concepts

– online optim., using for auction design

Page 9: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 9

'

&

$

%

Prerequisites, Enrollment

Enrollment limited to around 20 students. Complete

Survey at end of class!

• Level of math. sophist.,at leasta basic course in

linear algebra (such as M 21b, AM 21b, or

equivalent)

• Theoretical CS,at leastCS 121 (complexity

theory) and CS 124 (algorithms).

• Familiarity with “agent rationality” concepts, e.g.

an AI course, CS 181 or CS 182, or an appropriate

econ/GT course.

Advanced algorithms, game theory, microeconomics,

linear programming, etc. all helpful butnot required.

Page 10: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 10

'

&

$

%

Grading

Problem sets 25% 2–3 short problem sets on

introductory material∗

Participation 20% Reading papers, submitting short

summary & Qs ahead of class,

participation in discussion.

Presentation of 15% A short survey and critique.

research paper (with a partner)

Project 40% Proposal, class presentation

& final report

∗ chat with me to place out

Page 11: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 11

'

&

$

%

Logistics

TF’s:

• Jacomo Corbo

• Florin Constantin

Office hours:

• Parkes. TR 2-3pm MD 229

• Corbo. T 9.30-11.30am MD 219

• Constantin. TBD

Notes distributed in class and online. Missed course

materials from the TFs

Page 12: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 12

'

&

$

%

Projects

• Goal: Develop a deep understanding of an

important open research area, and, to the extent

possible, to work on an open research problem.

• Projects may be theoretical or experimental.

• Suggested topics provided, although can submit

own subject to approval.

• Proposals due after Spring Break; Presentations in

reading week; Project reports before Finals.

Page 13: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 13

'

&

$

%

Projects’05

• Avg. case analysis of dynamic auctions

• Impl. & analys. of false-name proof mechs

• Privacy preserving auctions

• A continuous combinatorial exchange

• Beyond AdWords

• Activity rule for budget-constrained bidders

Page 14: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 14

'

&

$

%

What is a Mechanism?

Page 15: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 15

'

&

$

%

Solution Concepts

• Nash equilibrium. Every agent plays a

utility-maximizing strategy, given the

utility-maximizing strategies of other agents.

– assumesrational andwell-informedagents

• Dominant strategy. Every agent has a

utility-maximizing strategywhateverthe

strategies of other agents.

– stronger implementation concept, does not

require well-informed or rational agents

Page 16: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 16

'

&

$

%

What’s Driving all the Interest?

Page 17: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 17

'

&

$

%

Lots of Application!

• Resource allocation on federated distributed

systems

– ATLAS project, PlanetLab, Netbed, etc.

• Sponsored search; marketing (e.g. viral)

• Consumer-to-consumer markets (e.g. eBay)

– sequential problem, complements

• Digital Goods (e.g. YouTube, Revver, etc.)

• Optimal sourcing and logistics

– e.g., Proctor & Gamble’s North American truck

requirements, UPMC pharm/surg

• Airport take-off and landing slot auctions

– LaGuardia airport legislation

Page 18: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 18

'

&

$

%

A Large Problem: London Bus

Routes

• 3.5 million passengers each day

• 5000 buses

• 700 routes

• Competitive tendering since 1997

Page 19: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 19

'

&

$

%

The Generalized Vickrey Auction(Vickrey 61, Groves 71, Clarke 73)

1. Agentsi ∈ N submitbids vi(Si) for all bundles

Si ⊆ G of routes.

2. Compute allocationS to maximize reported value:

max(S1,...,Sn)

X

i

vi(Si)

3. Compute best allocationS−i without each agenti:

max(S1,...,Sn)

X

j 6=i

vj(Sj)

4. Pick alloc.S, and collect payments

pgva,i(v) =X

j 6=i

vj(S) −X

j 6=i

vj(S−i)

This isefficient andstrategy-proof.

Page 20: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 20

'

&

$

%

Special Case: A Single Item

Consider the Vickrey auction for a single item.

Let b1 denote the highest bid, andb2 the

second-highest bid. Agent 1 pays

pgva = b2 − 0 = b2

⇒ sell item to the highest bidder for thesecond-highest bid.

This isstrategy-proof because an agent’s bid defines

therange of prices it is willing to accept, but not the

actual price.

Page 21: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 21

'

&

$

%

Computational Problems

• Winner-determination problem, selecting bids

to maximize reported value, is NP-hard

– equivalent to maximum weighted set packing

– technically, thedecision versionis NP-complete

(“is there a solution with value at leastV ?”)

– especially problematic in combination with

incentive issues

• Hard problem for agents to compute value– e.g., a bus operator’s value for bundleS might

be given by difference between expected revenue

and cost, e.g.rev i(S) − ci(S) and both may be

hard to compute

– anexponentialnumber of routes to consider

– may also be externalities to worry about

Page 22: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 22

'

&

$

%

Tractable Winner Determination• Restricted bidding languages

(Rothkopf et al. 98, Vohra & de Vries 00)

– limited bid prices, e.g. sub-modular

– limited bundle types, e.g. consecutive items, etc.

• Implementapproximate solutions, and compute

approximate Vickrey payments and/or change the

mechanism.

(KfirDahav et al. 98, Lehmann et al. 99)

• Distribute computation to agents; perhaps issue

“challenges”.

(Brewer 99, Nisan & Ronen 00)

Page 23: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 23

'

&

$

%

Tractable Agent Problems

• Useincremental elicitation– ask for some information, perform intermediate

computation, ask for some more information, etc.

– compute the outcome without complete

information

• Introduceconcise, expressive languages, (even

programs?) allow auctioneer to compute the value

of a particular bundle “on-the-fly”

– helps if formulation easier than solution

– but,shifts computation to the centerandissues

of trust and privacy.

Page 24: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 24

'

&

$

%

Research Directions

Best when driven by new domains,...

New domains

– structure

– temporal issues

– combinatorial

new theory

new algorithms

Page 25: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 25

'

&

$

%

Overview of Initial Lectures

[2 ] Game Theory– strategic form, Nash equil., dominant strategy,

Bayesian-Nash.

[3 ] Mechanism Design I– Rev. princ., VCG mechanism

[4 ] Mechanism Design II– Negative and Positive Results

[5 ] Auction theory– revenue equivalence, optimal auctions, efficient

auctions

Page 26: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 26

'

&

$

%

Overview of Technical Papers

• Theory and Practice of Mechanism Design

• Sponsored Search and Bidding Agent Design

• Dynamic mechanisms

Page 27: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 27

'

&

$

%

I: Theory & PracticeChallenge: Characterization; design.

[6 ] Truthful Characterization I◦ Weak Monotonicity characterizes deterministic dominantstrategy implementation.by S. Bikhchandani, S. Chatterji, R.Lavi, A. Mu’alem, N. Nisan, and A. Sen. To appear inEconometrica.

[7 ] Truthful Characterization II◦ Mechanism Design for Single-Value Domains , Moshe

Babaioff, Ron Lavi and Elan Pavlov. In AAAI’05, pp.241-247.◦ Truthful Approximation Mechanisms for RestrictedCombinatorial Auctions, by Ahuva Mu’alem and Noam NisanIn AAAI-02.

[8 ] Optimal Auction Design◦ Optimal Auction Design. Roger B. Myerson; Mathematics

of Operations Research, 1981, 6(1), pp. 58Lectures on Optimal Mechanism Design, by Jason Hartline,April 2006 p. 1–12.

[9 ] Digital goods◦ Competitive AuctionsAndrew Goldberg, Jason HartlineAnna Karlin, Mike Saks, and Andrew Wright, Games andEconomic Behavior, 2006.

Page 28: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 28

'

&

$

%

[10 ] Computational approach◦ Revenue-Maximizing Combinatorial Auctions,

Approximating , Likhodedov, A. and Sandholm, T. in

AAAI’05.◦ Sequences of Take-It-or-Leave-It Offers: Near-OptimalAuctions without Full Valuation Revelation, Sandholm, T. andGilpin, A. In AAMAS’06.

[11 ] Algorithmic implementation◦ Single-Value Combinatorial Auctions and Implementation inUndominated Strategies, Moshe Babaioff, Ron Lavi and ElanPavlov. In SODA’06, pp. 1054-1063.

[12 ] Automated approach◦ Incremental Mechanism Design, Vincent Conitzer andTuomas Sandholm. To appear in IJCAI’07, 2007.

Page 29: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 29

'

&

$

%

II: Sponsored Search, AgentsChallenge: Complexity. Scalability. Expressiveness.

[13 ] Gen. Second Price◦ Internet Advertising and the Generalized Second PriceAuction: Selling Billions of Dollars Worth of Keywords. B.Edelman, M. Ostrovsky and M. Schwarz. American EconomicReview, 2006.

[14 ] Practical considerations◦ Revenue Analysis of a Family of Ranking Rules forKeyword Auctions. S. Lahaie and D. Pennock. Working paper,Harvard and Yahoo, 2006.◦ Implementing Sponsored Search in Web Search Engines:Computational Evaluation of Alternative Mechanisms by J.Feng, H. Bhargava, D. M. Pennock Informs Journal onComputing, to appear.

[15 ] Bid optimization◦ An Adaptive Algorithm for Selecting Profitable Keywordsfor Search-Based Advertising Services, by Rusmevichientong,Williamson.

◦ Bid optimization in online advertisement auctions, C. Borgs,J. Chayes, O. Etesami, N. Immorlica, K. Jain, and M.Mahdian, Working paper 2005.◦ Strategic Bidder Behavior in Sponsored Search Auctions.Edelman, Ostrovsky. DSS forthcoming.

Page 30: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 30

'

&

$

%

[16 ] Empirical game theory◦ Empirical game-theoretic analysis of the TAC market games,

by M.Wellman, PR Jordan, C Kiekintveld, J Miller, and DM

Reeves. GTDT’06.◦ Searching for Walverine 2005, by MPW, DM Reeves, KMLochner, and R Suri. in Han La Poutre, Norman Sadeh andSverker Janson (eds.), AMEC’06.

[17 ] Computational bidding agents◦ Generating Bayes-Nash equilibria to design autonomous

trading agents I. Vetsikas, N. R. Jennings and B. Selman ,

IJCAI’07◦ Mertacor: A Successful Autonomous Trading Agent, ToulisP., Kehagias D., Mitkas P. AAMAS06

Page 31: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 31

'

&

$

%

III: Dynamic MechanismsChallenge: Uncertainty, temporal iss., optim.

[18 ] Online MD◦ Online mechanisms, D. C. Parkes. To appear as Chapter 16in ”Algorithmic Game Theory”, edited by N.Nisan,T.Roughgarden, E.Tardos and V.Vazirani, CUP (2007).

[19 ] Online MD as Online Optimization◦ Reducing Truth-telling Online Mechanisms to OnlineOptimization, by B. Awerbuch, Y. Azar, and A. Meyerson,STOC’03.

[20 ] Set-Nash implementation◦ Online Ascending Auctions for Gradually Expiring Items,by R. Lavi and N. Nisan, 2005.

[21 ] OSCO◦ Online Stochastic Optimization without Distributions.R.Bent and P. Van Hentenryck. ICAPS’05;◦ The Value ofConsensus in Online Stochastic Scheduling, R. Bent and P.Van Hentenryck, ICAPS’04.

[22 ] Revenue maximization◦ Optimal Dynamic Auctions Working paper, M.Pai and R.Vohra, Northwestern University 2006.

[23 ] Adaptive mechanisms◦ Adaptive and Truthful, Dynamic Single-Valued Mechanisms,D.C.Parkes and Q.Duong. Working paper, Harvard University.

Page 32: CS 286r: Computational Mechanism Design David C. … · CS 286r: Computational Mechanism Design David C. Parkes ... • Level of math. sophist., ... Compute allocation Sˆto maximize

Parkes CS 286r 32

'

&

$

%

Next class

• Fast-Paced intro to Game Theory!