Algorithmic Game Theory and Internet Computing

Slides:



Advertisements
Similar presentations
Iterative Rounding and Iterative Relaxation
Advertisements

Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Markets and the Primal-Dual Paradigm.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 16.
Algorithmic Game Theory and Internet Computing Amin Saberi Algorithmic Game Theory and Networked Systems.
CPSC 455/555 Combinatorial Auctions, Continued… Shaili Jain September 29, 2011.
C&O 355 Lecture 23 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A A A A A A.
1 LP Duality Lecture 13: Feb Min-Max Theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum.
C&O 355 Mathematical Programming Fall 2010 Lecture 22 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
Introduction to Algorithms
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
Combinatorial Algorithms for Market Equilibria Vijay V. Vazirani.
6.896: Topics in Algorithmic Game Theory Lecture 14 Constantinos Daskalakis.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Combinatorial Approximation Algorithms for Convex Programs?!
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Combinatorial Algorithms for Convex Programs (Capturing Market Equilibria.
Auction Algorithms for Market Equilibrium Rahul Garg IBM India Research Sanjiv Kapoor Illionis Institute of Technology.
Algorithmic Game Theory and Internet Computing
6.896: Topics in Algorithmic Game Theory Lecture 15 Constantinos Daskalakis.
Instructor Neelima Gupta Table of Contents Lp –rounding Dual Fitting LP-Duality.
Totally Unimodular Matrices Lecture 11: Feb 23 Simplex Algorithm Elliposid Algorithm.
Semidefinite Programming
Primal Dual Method Lecture 20: March 28 primaldual restricted primal restricted dual y z found x, succeed! Construct a better dual.
Dynamic Spectrum Management: Optimization, game and equilibrium Tom Luo (Yinyu Ye) December 18, WINE 2008.
Duality Lecture 10: Feb 9. Min-Max theorems In bipartite graph, Maximum matching = Minimum Vertex Cover In every graph, Maximum Flow = Minimum Cut Both.
Group Strategyproofness and No Subsidy via LP-Duality By Kamal Jain and Vijay V. Vazirani.
Title Page An Application of Market Equilibrium in Distributed Load Balancing in Wireless Networking Algorithms and Economics of Networks UW CSE-599m.
Vijay V. Vazirani Georgia Tech A Postmortem of the Last Decade and Some Directions for the Future.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Algorithms for the Linear Case, and Beyond …
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Markets and the Primal-Dual Paradigm.
Fair Allocation with Succinct Representation Azarakhsh Malekian (NWU) Joint Work with Saeed Alaei, Ravi Kumar, Erik Vee UMDYahoo! Research.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech New Market Models and Algorithms.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani New Market Models and Algorithms.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Extending General Equilibrium Theory to the Digital Economy.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Polynomial Time Algorithms For Market Equilibria.
Linear Programming Data Structures and Algorithms A.G. Malamos References: Algorithms, 2006, S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani Introduction.
1 Online algorithms Typically when we solve problems and design algorithms we assume that we know all the data a priori. However in many practical situations.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Combinatorial Algorithms for Convex Programs (Capturing Market Equilibria.
6.896: Topics in Algorithmic Game Theory Lecture 13b Constantinos Daskalakis.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Polynomial Time Algorithms For Market Equilibria.
Approximating Market Equilibria Kamal Jain, Microsoft Research Mohammad Mahdian, MIT Amin Saberi, Georgia Tech.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Market Equilibrium: The Quest for the “Right” Model.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Joint work with Jugal Garg & Ruta Mehta Dichotomies in Equilibrium Computation: Market.
University of Pittsburgh CS 3150 Page 1 out of 20 Market Equilibrium via a Primal-Dual-Type Algorithm Written By Nikhil R. Devanur, Christos H. Papadimitriou,
Comp 553: Algorithmic Game Theory Fall 2014 Yang Cai Lecture 23.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Georgia Tech Primal-Dual Algorithms for Rational Convex Programs II: Dealing with Infeasibility.
2) Combinatorial Algorithms for Traditional Market Models Vijay V. Vazirani.
Lecture.6. Table of Contents Lp –rounding Dual Fitting LP-Duality.
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani 3) New Market Models, Resource Allocation Markets.
Algorithmic Game Theory and Internet Computing
Approximation Algorithms Duality My T. UF.
How Intractable is the ‘‘Invisible Hand’’: Polynomial Time Algorithms for Market Equilibria Vijay V. Vazirani Georgia Tech.
Approximation Algorithms based on linear programming.
Assignment Problem: Hungarian Algorithm and Linear Programming collected from the Internet and extended by Longin Jan Latecki.
Algorithmic Game Theory and Internet Computing
Lap Chi Lau we will only use slides 4 to 19
Market Equilibrium Ruta Mehta.
Topics in Algorithms Lap Chi Lau.
EMGT 6412/MATH 6665 Mathematical Programming Spring 2016
Assignment Problem: Hungarian Algorithm and Linear Programming collected from the Internet and extended by Longin Jan Latecki.
Maximum Matching in the Online Batch-Arrival Model
Algorithmic Game Theory and Internet Computing
James B. Orlin Presented by Tal Kaminker
Assignment Problem: Hungarian Algorithm and Linear Programming collected from the Internet and extended by Longin Jan Latecki.
Analysis of Algorithms
Vijay V. Vazirani Georgia Tech
Chapter 1. Formulations (BW)
Algorithmic Game Theory and Internet Computing
Chapter 1. Formulations.
Assignment Problem: Hungarian Algorithm and Linear Programming collected from the Internet and extended by Longin Jan Latecki.
Presentation transcript:

Algorithmic Game Theory and Internet Computing Markets and the Primal-Dual Paradigm Algorithmic Game Theory and Internet Computing Vijay V. Vazirani

Markets

Stock Markets

Internet

Revolution in definition of markets

Revolution in definition of markets New markets defined by Google Amazon Yahoo! Ebay

Revolution in definition of markets Massive computational power available for running these markets in a centralized or distributed manner

Revolution in definition of markets Massive computational power available for running these markets in a centralized or distributed manner Important to find good models and algorithms for these markets

Theory of Algorithms Powerful tools and techniques developed over last 4 decades.

Theory of Algorithms Powerful tools and techniques developed over last 4 decades. Recent study of markets has contributed handsomely to this theory as well!

AdWords Market Created by search engine companies Google Yahoo! MSN Multi-billion dollar market – and still growing! Totally revolutionized advertising, especially by small companies.

Historically, the study of markets has been of central importance, especially in the West

Historically, the study of markets has been of central importance, especially in the West General Equilibrium Theory Occupied center stage in Mathematical Economics for over a century

Leon Walras, 1874 Pioneered general equilibrium theory

Arrow-Debreu Theorem, 1954 Celebrated theorem in Mathematical Economics Established existence of market equilibrium under very general conditions using a deep theorem from topology - Kakutani fixed point theorem.

Kenneth Arrow Nobel Prize, 1972

Gerard Debreu Nobel Prize, 1983

General Equilibrium Theory Also gave us some algorithmic results Convex programs, whose optimal solutions capture equilibrium allocations, e.g., Eisenberg & Gale, 1959 Nenakov & Primak, 1983 Cottle and Eaves, 1960’s: Linear complimentarity Scarf, 1973: Algorithms for approximately computing fixed points

General Equilibrium Theory An almost entirely non-algorithmic theory!

What is needed today? An inherently algorithmic theory of market equilibrium New models that capture new markets and are easier to use than traditional models

Beginnings of such a theory, within Algorithmic Game Theory Started with combinatorial algorithms for traditional market models New market models emerging

A central tenet Prices are such that demand equals supply, i.e., equilibrium prices.

A central tenet Prices are such that demand equals supply, i.e., equilibrium prices. Easy if only one good

Supply-demand curves

Irving Fisher, 1891 Defined a fundamental market model

Utility function utility amount of milk

Utility function utility amount of bread

Utility function utility amount of cheese

Total utility of a bundle of goods = Sum of utilities of individual goods

For given prices,

For given prices, find optimal bundle of goods

Fisher market Several goods, fixed amount of each good Several buyers, with individual money and utilities Find equilibrium prices of goods, i.e., prices s.t., Each buyer gets an optimal bundle No deficiency or surplus of any good

Combinatorial Algorithm for Linear Case of Fisher’s Model Devanur, Papadimitriou, Saberi & V., 2002 Using the primal-dual schema

Primal-Dual Schema Highly successful algorithm design technique from exact and approximation algorithms

Exact Algorithms for Cornerstone Problems in P: Matching (general graph) Network flow Shortest paths Minimum spanning tree Minimum branching

Approximation Algorithms set cover facility location Steiner tree k-median Steiner network multicut k-MST feedback vertex set scheduling . . .

No LP’s known for capturing equilibrium allocations for Fisher’s model

No LP’s known for capturing equilibrium allocations for Fisher’s model Eisenberg-Gale convex program, 1959

No LP’s known for capturing equilibrium allocations for Fisher’s model Eisenberg-Gale convex program, 1959 DPSV: Extended primal-dual schema to solving a nonlinear convex program

Fisher’s Model n buyers, money m(i) for buyer i k goods (unit amount of each good) : utility derived by i on obtaining one unit of j Total utility of i,

Fisher’s Model n buyers, money m(i) for buyer i k goods (unit amount of each good) : utility derived by i on obtaining one unit of j Total utility of i, Find market clearing prices

An easier question Given prices p, are they equilibrium prices? If so, find equilibrium allocations.

An easier question Given prices p, are they equilibrium prices? If so, find equilibrium allocations. Equilibrium prices are unique!

Bang-per-buck At prices p, buyer i’s most desirable goods, S = Any goods from S worth m(i) constitute i’s optimal bundle

For each buyer, most desirable goods, i.e. p(1) p(2) p(3) p(4)

Max flow p(1) m(1) p(2) m(2) p(3) m(3) m(4) p(4) infinite capacities

p: equilibrium prices iff both cuts saturated Max flow p(1) m(1) p(2) m(2) p(3) m(3) m(4) p(4) p: equilibrium prices iff both cuts saturated

Idea of algorithm “primal” variables: allocations “dual” variables: prices of goods Approach equilibrium prices from below: start with very low prices; buyers have surplus money iteratively keep raising prices and decreasing surplus

Idea of algorithm Iterations: execute primal & dual improvements Allocations Prices

Two important considerations The price of a good never exceeds its equilibrium price Invariant: s is a min-cut

Max flow p(1) m(1) p(2) m(2) p(3) m(3) m(4) p(4) p: low prices

Two important considerations The price of a good never exceeds its equilibrium price Invariant: s is a min-cut Identify tight sets of goods

Two important considerations The price of a good never exceeds its equilibrium price Invariant: s is a min-cut Identify tight sets of goods Rapid progress is made Balanced flows

Network N buyers p m bang-per-buck edges goods

W.r.t. flow f, surplus(i) = m(i) – f(i,t) Balanced flow in N p m i W.r.t. flow f, surplus(i) = m(i) – f(i,t)

Balanced flow surplus vector: vector of surpluses w.r.t. f.

Balanced flow surplus vector: vector of surpluses w.r.t. f. A flow that minimizes l2 norm of surplus vector.

Property 1 f: max flow in N. R: residual graph w.r.t. f. If surplus (i) < surplus(j) then there is no path from i to j in R.

surplus(i) < surplus(j) Property 1 R: i j surplus(i) < surplus(j)

surplus(i) < surplus(j) Property 1 R: i j surplus(i) < surplus(j)

Circulation gives a more balanced flow. Property 1 R: i j Circulation gives a more balanced flow.

Property 1 Theorem: A max-flow is balanced iff it satisfies Property 1.

Invariant Balanced flows Bang-per-buck edges Tight sets Pieces fit just right! Invariant Balanced flows Bang-per-buck edges Tight sets

How primal-dual schema is adapted to nonlinear setting

A convex program whose optimal solution is equilibrium allocations.

A convex program whose optimal solution is equilibrium allocations. Constraints: packing constraints on the xij’s

A convex program whose optimal solution is equilibrium allocations. Constraints: packing constraints on the xij’s Objective fn: max utilities derived.

A convex program whose optimal solution is equilibrium allocations. Constraints: packing constraints on the xij’s Objective fn: max utilities derived. Must satisfy If utilities of a buyer are scaled by a constant, optimal allocations remain unchanged If money of buyer b is split among two new buyers, whose utility fns same as b, then union of optimal allocations to new buyers = optimal allocation for b

Money-weighed geometric mean of utilities

Eisenberg-Gale Program, 1959

Eisenberg-Gale Program, 1959 prices pj

KKT conditions

Therefore, buyer i buys from only, i.e., gets an optimal bundle

Therefore, buyer i buys from only, i.e., gets an optimal bundle Can prove that equilibrium prices are unique!

Will relax KKT conditions e(i): money currently spent by i w.r.t. a special allocation surplus money of i

Will relax KKT conditions e(i): money currently spent by i w.r.t. a balanced flow in N surplus money of i

KKT conditions e(i) e(i)

Will show that potential drops by an inverse polynomial Potential function Will show that potential drops by an inverse polynomial factor in each phase (polynomial time).

Will show that potential drops by an inverse polynomial Potential function Will show that potential drops by an inverse polynomial factor in each phase (polynomial time).

Point of departure KKT conditions are satisfied via a continuous process Normally: in discrete steps

Point of departure KKT conditions are satisfied via a continuous process Normally: in discrete steps Open question: strongly polynomial algorithm?

Another point of departure Complementary slackness conditions: involve primal or dual variables, not both. KKT conditions: involve primal and dual variables simultaneously.

KKT conditions

KKT conditions

Primal-dual algorithms so far Raise dual variables greedily. (Lot of effort spent on designing more sophisticated dual processes.)

Primal-dual algorithms so far Raise dual variables greedily. (Lot of effort spent on designing more sophisticated dual processes.) Only exception: Edmonds, 1965: algorithm for weight matching.

Primal-dual algorithms so far Raise dual variables greedily. (Lot of effort spent on designing more sophisticated dual processes.) Only exception: Edmonds, 1965: algorithm for weight matching. Otherwise primal objects go tight and loose. Difficult to account for these reversals in the running time.

Our algorithm Dual variables (prices) are raised greedily Yet, primal objects go tight and loose Because of enhanced KKT conditions

Deficiencies of linear utility functions Typically, a buyer spends all her money on a single good Do not model the fact that buyers get satiated with goods

Concave utility function amount of j

Concave utility functions Do not satisfy weak gross substitutability

Concave utility functions Do not satisfy weak gross substitutability w.g.s. = Raising the price of one good cannot lead to a decrease in demand of another good.

Concave utility functions Do not satisfy weak gross substitutability w.g.s. = Raising the price of one good cannot lead to a decrease in demand of another good. Open problem: find polynomial time algorithm!

Piecewise linear, concave utility amount of j

PTAS for concave function utility amount of j

Piecewise linear concave utility Does not satisfy weak gross substitutability

Piecewise linear, concave utility amount of j

rate = utility/unit amount of j Differentiate rate rate = utility/unit amount of j amount of j

rate = utility/unit amount of j money spent on j

Spending constraint utility function rate = utility/unit amount of j rate $20 $40 $60 money spent on j

Spending constraint utility function Happiness derived is not a function of allocation only but also of amount of money spent.

Extend model: assume buyers have utility for money rate $20 $40 $100

Theorem: Polynomial time algorithm for computing equilibrium prices and allocations for Fisher’s model with spending constraint utilities. Furthermore, equilibrium prices are unique.

Satisfies weak gross substitutability!

Old pieces become more complex + there are new pieces

But they still fit just right!

Don Patinkin, 1956 Money, Interest, and Prices. An Integration of Monetary and Value Theory Pascal Bridel, 2002: Euro. J. History of Economic Thought, Patinkin, Walras and the ‘money-in-the-utility- function’ tradition

An unexpected fallout!!

An unexpected fallout!! A new kind of utility function Happiness derived is not a function of allocation only but also of amount of money spent.

An unexpected fallout!! A new kind of utility function Happiness derived is not a function of allocation only but also of amount of money spent. Has applications in Google’s AdWords Market!

A digression

The view 5 years ago: Relevant Search Results

Business world’s view now : (as Advertisement companies)

So how does this work? Bids for different keywords Daily Budgets

An interesting algorithmic question! Monika Henzinger, 2004: Find an on-line algorithm that maximizes Google’s revenue.

AdWords Allocation Problem LawyersRus.com asbestos Search results Search Engine Sue.com Ads Whose ad to put How to maximize revenue? TaxHelper.com

AdWords Problem Mehta, Saberi, Vazirani & Vazirani, 2005: 1-1/e algorithm, assuming budgets>>bids

AdWords Problem Mehta, Saberi, Vazirani & Vazirani, 2005: 1-1/e algorithm, assuming budgets>>bids Optimal!

AdWords Problem Mehta, Saberi, Vazirani & Vazirani, 2005: 1-1/e algorithm, assuming budgets>>bids Optimal!

Spending constraint utilities AdWords Market

AdWords market Assume that Google will determine equilibrium price/click for keywords

AdWords market Assume that Google will determine equilibrium price/click for keywords How should advertisers specify their utility functions?

Choice of utility function Expressive enough that advertisers get close to their ‘‘optimal’’ allocations

Choice of utility function Expressive enough that advertisers get close to their ‘‘optimal’’ allocations Efficiently computable

Choice of utility function Expressive enough that advertisers get close to their ‘‘optimal’’ allocations Efficiently computable Easy to specify utilities

linear utility function: a business will typically get only one type of query throughout the day!

linear utility function: a business will typically get only one type of query throughout the day! concave utility function: no efficient algorithm known!

linear utility function: a business will typically get only one type of query throughout the day! concave utility function: no efficient algorithm known! Difficult for advertisers to define concave functions

Easier for a buyer To say how much money she should spend on each good, for a range of prices, rather than how happy she is with a given bundle.

Online shoe business Interested in two keywords: men’s clog women’s clog Advertising budget: $100/day Expected profit: men’s clog: $2/click women’s clog: $4/click

Considerations for long-term profit Try to sell both goods - not just the most profitable good Must have a presence in the market, even if it entails a small loss

If neither is profitable ($20, $0) If only one is profitable, If both are profitable, better keyword is at least twice as profitable ($100, $0) otherwise ($60, $40) If neither is profitable ($20, $0) If only one is profitable, very profitable (at least $2/$) ($100, $0) otherwise ($60, $0)

men’s clog rate = utility/click rate 2 1 $60 $100

women’s clog rate = utility/click 4 rate 2 $60 $100

money rate = utility/$ rate 1 $80 $100

AdWords market Suppose Google stays with auctions but allows advertisers to specify bids in the spending constraint model

AdWords market Suppose Google stays with auctions but allows advertisers to specify bids in the spending constraint model expressivity!

AdWords market Suppose Google stays with auctions but allows advertisers to specify bids in the spending constraint model expressivity! Good online algorithm for maximizing Google’s revenues?

Goel & Mehta, 2006: A small modification to the MSVV algorithm achieves 1 – 1/e competitive ratio!

captures equilibrium allocations for spending constraint utilities? Open Is there a convex program that captures equilibrium allocations for spending constraint utilities?

Spending constraint utilities satisfy Equilibrium exists (under mild conditions) Equilibrium utilities and prices are unique Rational With small denominators

Linear utilities also satisfy Equilibrium exists (under mild conditions) Equilibrium utilities and prices are unique Rational With small denominators

Proof follows from Eisenberg-Gale Convex Program, 1959

For spending constraint utilities, proof follows from algorithm, and not a convex program!

Is there an LP whose optimal solutions capture equilibrium allocations Open Is there an LP whose optimal solutions capture equilibrium allocations for Fisher’s linear case?

Open Use spending constraint algorithm to solve piecewise linear, concave utilities

Algorithms & Game Theory common origins von Neumann, 1928: minimax theorem for 2-person zero sum games von Neumann & Morgenstern, 1944: Games and Economic Behavior von Neumann, 1946: Report on EDVAC Dantzig, Gale, Kuhn, Scarf, Tucker …

Piece-wise linear, concave utility amount of j

rate = utility/unit amount of j Differentiate rate rate = utility/unit amount of j amount of j

Start with arbitrary prices, adding up to total money of buyers.

rate = utility/unit amount of j money spent on j

Start with arbitrary prices, adding up to total money of buyers. Run algorithm on these utilities to get new prices.

Start with arbitrary prices, adding up to total money of buyers. Run algorithm on these utilities to get new prices.

Start with arbitrary prices, adding up to total money of buyers. Run algorithm on these utilities to get new prices. Fixed points of this procedure are equilibrium prices for piecewise linear, concave utilities!