Mechanism design. Goal of mechanism design Implementing a social choice function f(u 1, …, u |A| ) using a game Center = “auctioneer” does not know the.

Slides:



Advertisements
Similar presentations
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Advertisements

Algorithmic Game Theory Uri Feige Robi Krauthgamer Moni Naor Lecture 10: Mechanism Design Lecturer: Moni Naor.
Sep. 8, 2014 Lirong Xia Introduction to MD (mooncake design or mechanism design)
Complexity of manipulating elections with few candidates Vincent Conitzer and Tuomas Sandholm Carnegie Mellon University Computer Science Department.
Arrow’s impossibility theorem EC-CS reading group Kenneth Arrow Journal of Political Economy, 1950.
1 Regret-based Incremental Partial Revelation Mechanism Design Nathanaël Hyafil, Craig Boutilier AAAI 2006 Department of Computer Science University of.
Game-theoretic analysis tools Necessary for building nonmanipulable automated negotiation systems.
Bundling Equilibrium in Combinatorial Auctions Written by: Presented by: Ron Holzman Rica Gonen Noa Kfir-Dahav Dov Monderer Moshe Tennenholtz.
Using computational hardness as a barrier against manipulation Vincent Conitzer
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Agent Technology for e-Commerce Chapter 10: Mechanism Design Maria Fasli
An Algorithm for Automatically Designing Deterministic Mechanisms without Payments Vincent Conitzer and Tuomas Sandholm Computer Science Department Carnegie.
Social Choice Theory By Shiyan Li. History The theory of social choice and voting has had a long history in the social sciences, dating back to early.
Economics and Computer Science Introduction to Game Theory
Computational Criticisms of the Revelation Principle Vincent Conitzer, Tuomas Sandholm AMEC V.
SECOND PART: Algorithmic Mechanism Design. Mechanism Design MD is a subfield of economic theory It has a engineering perspective Designs economic mechanisms.
Auctioning one item PART 2 Tuomas Sandholm Computer Science Department Carnegie Mellon University.
Exchanges = markets with many buyers and many sellers Let’s consider a 1-item 1-unit exchange first.
Non-Cooperative Computation Mark Pearson CS /01/03.
Complexity of Mechanism Design Vincent Conitzer and Tuomas Sandholm Carnegie Mellon University Computer Science Department.
Automated Mechanism Design: Complexity Results Stemming From the Single-Agent Setting Vincent Conitzer and Tuomas Sandholm Computer Science Department.
Mechanism Design Traditional Algorithmic Setting Mechanism Design Setting.
SECOND PART: Algorithmic Mechanism Design. Suggested readings Algorithmic Game Theory, Edited by Noam Nisan, Tim Roughgarden, Eva Tardos, and Vijay V.
Social choice theory = preference aggregation = truthful voting Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
Collusion and the use of false names Vincent Conitzer
CPS Social Choice & Mechanism Design Vincent Conitzer
CPS 173 Mechanism design Vincent Conitzer
Game representations, solution concepts and complexity Tuomas Sandholm Computer Science Department Carnegie Mellon University.
More on Social choice and implementations 1 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAA A Using slides by Uri.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 21.
The Cost and Windfall of Manipulability Abraham Othman and Tuomas Sandholm Carnegie Mellon University Computer Science Department.
Mechanism Design CS 886 Electronic Market Design University of Waterloo.
Auction Theory תכנון מכרזים ומכירות פומביות Topic 7 – VCG mechanisms 1.
Automated Design of Multistage Mechanisms Tuomas Sandholm (Carnegie Mellon) Vincent Conitzer (Carnegie Mellon) Craig Boutilier (Toronto)
Mechanism design for computationally limited agents (previous slide deck discussed the case where valuation determination was complex) Tuomas Sandholm.
Game-theoretic analysis tools Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
Regret Minimizing Equilibria of Games with Strict Type Uncertainty Stony Brook Conference on Game Theory Nathanaël Hyafil and Craig Boutilier Department.
CPS Application of Linear and Integer Programming: Automated Mechanism Design Guest Lecture by Mingyu Guo.
1 (One-shot) Mechanism Design with Partial Revelation Nathanaël Hyafil, Craig Boutilier IJCAI 2007 Department of Computer Science University of Toronto.
Automated Mechanism Design Tuomas Sandholm Presented by Dimitri Mostinski November 17, 2004.
Mechanism Design II CS 886:Electronic Market Design Sept 27, 2004.
CPS Preference elicitation/ iterative mechanisms Vincent Conitzer
Mechanism design (strategic “voting”) Tuomas Sandholm Professor Computer Science Department Carnegie Mellon University.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 22.
Algorithmic Mechanism Design Shuchi Chawla 11/7/2001.
Automated mechanism design Vincent Conitzer
CS Foundations of Electronic Marketplaces Summary & future research directions Tuomas Sandholm Computer Science Department Carnegie Mellon University.
Web-Mining Agents Multiple Agents and Rational Behavior: Mechanism Design Ralf Möller Institut für Informationssysteme Universität zu Lübeck.
Automated mechanism design
Mechanism design for computationally limited agents (previous slide deck discussed the case where valuation determination was complex) Tuomas Sandholm.
Bayesian games and mechanism design
Ralf Möller Institut für Informationssysteme Universität zu Lübeck
Mechanism design for computationally limited agents (last lecture discussed the case where valuation determination was complex) Tuomas Sandholm Computer.
CPS Mechanism design Michael Albert and Vincent Conitzer
Failures of the VCG Mechanism in Combinatorial Auctions and Exchanges
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Arbitration and Mediation
Applied Mechanism Design For Social Good
Implementation in Bayes-Nash equilibrium
Implementation in Bayes-Nash equilibrium
Social choice theory = preference aggregation = voting assuming agents tell the truth about their preferences Tuomas Sandholm Professor Computer Science.
Vincent Conitzer Mechanism design Vincent Conitzer
Vincent Conitzer CPS 173 Mechanism design Vincent Conitzer
Automated mechanism design
Preference elicitation/ iterative mechanisms
Vincent Conitzer Computer Science Department
CPS Preference elicitation/ iterative mechanisms
Implementation in Bayes-Nash equilibrium
Auction Theory תכנון מכרזים ומכירות פומביות
Vincent Conitzer CPS Mechanism design Vincent Conitzer
Presentation transcript:

Mechanism design

Goal of mechanism design Implementing a social choice function f(u 1, …, u |A| ) using a game Center = “auctioneer” does not know the agents’ preferences Agents may lie Goal is to design the rules of the game (aka mechanism) so that in equilibrium (s 1, …, s |A| ), the outcome of the game is f( u 1, …, u |A| ) Mechanism designer specifies the strategy sets S i and how outcome is determined as a function of (s 1, …, s |A| )  (S 1, …, S |A| ) Variants –Strongest: There exists exactly one equilibrium. Its outcome is f(u 1, …, u |A| ) –Medium: In every equilibrium the outcome is f(u 1, …, u |A| ) –Weakest: In at least one equilibrium the outcome is f(u 1, …, u |A| )

Revelation principle Any outcome that can be supported in Nash (dominant strategy) equilibrium via a complex “indirect” mechanism can be supported in Nash (dominant strategy) equilibrium via a “direct” mechanism where agents reveal their types truthfully in a single step Agent 1’s preferences Agent |A|’s preferences... Strategy formulator Strategy formulator Strategy Original “complex” “indirect” mechanism Outcome Constructed “direct revelation” mechanism

Uses of the revelation principle Literal: “Only direct mechanisms needed” –Problems: Strategy formulator might be complex –Complex to determine and/or execute best-response strategy –Computational burden is pushed on the center (assumed away) –Thus the revelation principle might not hold in practice if these computational problems are hard –This problem traditionally ignored in game theory Even if the indirect mechanism has a unique equilibrium, the direct mechanism can have additional bad equilibria As an analysis tool –Best direct mechanism gives tight upper bound on how well any indirect mechanism can do Space of direct mechanisms is smaller than that of indirect ones One can analyze all direct mechanisms & pick best one Thus one can know when one has designed an optimal indirect mechanism (when it is as good as the best direct one)

Implementation in dominant strategies Strongest form of mechanism design

Implementation in dominant strategies Goal is to design the rules of the game (aka mechanism) so that in dominant strategy equilibrium (s 1, …, s |A| ), the outcome of the game is f(u 1, …, u |A| ) Nice in that agents cannot benefit from counterspeculating each other –Others’ preferences –Others’ rationality –Other’s endowments –Other’s capabilities …

Gibbard-Satterthwaite impossibility Thrm. If |O | ≥ 3 (and each outcome would be the social choice under f for some input profile (u 1, …, u |A| ) ) and f is implementable in dominant strategies, then f is dictatorial

General preferences Quasilinear preferences

Special case where dominant strategy implementation is possible: Quasilinear preferences -> Clarke tax mechanism Outcome (x 1, x 2,..., x k, m 1, m 2,..., m |A| ) Quasilinear preferences: u i (x, m) = m i + v i (x 1, x 2,..., x k ) Utilitarian setting: Social welfare maximizing choice –Outcome s(v 1, v 2,..., v |A| ) = max x  i v i (x 1, x 2,..., x k ) Agent’s payment m i =  j  i v j (s(v)) -  j  i v j (s(v -i ))  0 is a “tax” Thrm: Every agent’s dominant strategy is to reveal preferences truthfully –Intuition: Agent internalizes the negative externality he imposes on others by affecting the outcome Agent pays nothing if he does not change the outcome Example: k=1, x1=”joint pool built” or “not”, mi = $ –E.g. equal sharing of construction cost: -c / |A| No pool Pool $0 uiui =5 uiui =10 No pool Pool uiui =5 u i =10 $0 General preferencesQuasilinear preferences

Clarke tax mechanism… Pros –Social welfare maximizing outcome –Truth-telling is a dominant strategy –Feasible in that it does not need a benefactor (  i m i  0) Cons –Budget balance not maintained (in pool example, generally  i m i < 0) Have to burn the excess money that is collected Thrm. [Green & Laffont 1979]. Let the agents have arbitrary quasilinear preferences. No social choice function that is (ex post) welfare maximizing (taking into account money burning as a loss) is implementable in dominant strategies If there is some party that has no private information to reveal and no preferences over x, welfare maximization and budget balance can be obtained by having that party’s payment be m 0 = -  i=1.. m i –Auctioneer could be called “agent 0” –Vulnerable to collusion Even by coalitions of just 2 agents

Another approach for circumventing the impossibility of dominant- strategy implementation Design the game so that (although manipulations exist), finding a beneficial manipulation is computationally so complex for an agent that the agent cannot do that –E.g. “Complexity of Manipulating Elections with Few Candidates” [Conitzer & Sandholm AAAI-02, TARK-03] –E.g. “Universal Voting Protocol Tweaks for Making Manipulation Hard” [Conitzer & Sandholm IJCAI-03]

General preferences Quasilinear prefs Yet another approach for circumventing the impossibility of dominant-strategy implementation Designing the mechanism automatically to the situation at hand [Conitzer & Sandholm] –Input is the probabilistic information that the center has about the agents –Output is an optimal mechanism where the agents are motivated to reveal their preferences truthfully, and a social objective is satisfied to the optimal extent –Advantages: Can be used even without side payments & quasilinear preferences Could achieve better outcomes than Clarke tax mechanism Circumvents impossibility in many cases –“Complexity of Mechanism Design” Designing a deterministic mechanism is NP-complete Designing a randomized mechanism is fast –No loss in social objective, sometime a gain Both results also hold for Bayes-Nash implementation –E.g., metal manufacturers with asymmetric production costs