Title: Algorithmic Game Theory and Internet Computing
1Algorithmic Game Theoryand Internet Computing
New Market Models and Algorithms
2Markets
3Stock Markets
4Internet
5- Revolution in definition of markets
-
6- Revolution in definition of markets
- New markets defined by
- Google
- Amazon
- Yahoo!
- Ebay
-
7- Revolution in definition of markets
-
- Massive computational power available
- for running these markets in a
- centralized or distributed manner
8- 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
9Theory of Algorithms
- Powerful tools and techniques
- developed over last 4 decades.
10Theory of Algorithms
- Powerful tools and techniques
- developed over last 4 decades.
- Recent study of markets has contributed
- handsomely to this theory as well!
11Adwords Market
- Created by search engine companies
- Google
- Yahoo!
- MSN
- Multi-billion dollar market
- Totally revolutionized advertising, especially
- by small companies.
12(No Transcript)
13(No Transcript)
14(No Transcript)
15New algorithmic and game-theoretic questions
- Monika Henzinger, 2004 Find an on-line
- algorithm that maximizes Googles revenue.
16The Adwords Problem
- N advertisers
- Daily Budgets B1, B2, , BN
- Each advertiser provides bids for keywords he is
interested in.
Search Engine
17The Adwords Problem
- N advertisers
- Daily Budgets B1, B2, , BN
- Each advertiser provides bids for keywords he is
interested in.
Search Engine
queries (online)
18The Adwords Problem
- N advertisers
- Daily Budgets B1, B2, , BN
- Each advertiser provides bids for keywords he is
interested in.
Search Engine
Select one Ad Advertiser pays his bid
queries (online)
19The Adwords Problem
- N advertisers
- Daily Budgets B1, B2, , BN
- Each advertiser provides bids for keywords he is
interested in.
Search Engine
Select one Ad Advertiser pays his bid
queries (online)
Maximize total revenue Online competitive
analysis - compare with best offline allocation
20The Adwords Problem
- N advertisers
- Daily Budgets B1, B2, , BN
- Each advertiser provides bids for keywords he is
interested in.
Search Engine
Select one Ad Advertiser pays his bid
queries (online)
Maximize total revenue Example Assign to
highest bidder only ½ the offline revenue
21Example
Bidder1
Bidder 2
1 0.99
1 0
Book
Queries 100 Books then 100 CDs
CD
B1 B2 100
LOST
Revenue 100
22Example
Bidder1
Bidder 2
1 0.99
1 0
Book
Queries 100 Books then 100 CDs
CD
B1 B2 100
Revenue 199
23Generalizes online bipartite matching
- Each daily budget is 1, and
- each bid is 0/1.
24Online bipartite matching
queries
advertisers
25Online bipartite matching
queries
advertisers
26Online bipartite matching
queries
advertisers
27Online bipartite matching
queries
advertisers
28Online bipartite matching
queries
advertisers
29Online bipartite matching
queries
advertisers
30Online bipartite matching
queries
advertisers
31Online bipartite matching
- Karp, Vazirani Vazirani, 1990
- 1-1/e factor randomized algorithm.
32Online bipartite matching
- Karp, Vazirani Vazirani, 1990
- 1-1/e factor randomized algorithm. Optimal!
33Online bipartite matching
- Karp, Vazirani Vazirani, 1990
- 1-1/e factor randomized algorithm. Optimal!
- Kalyanasundaram Pruhs, 1996
- 1-1/e factor algorithm for b-matching
- Daily budgets b, bids 0/1, bgtgt1
34Adwords Problem
- Mehta, Saberi, Vazirani Vazirani, 2005
- 1-1/e algorithm, assuming budgetsgtgtbids.
-
35Adwords Problem
- Mehta, Saberi, Vazirani Vazirani, 2005
- 1-1/e algorithm, assuming budgetsgtgtbids.
- Optimal!
36New Algorithmic Technique
- Idea Use both bid and
- fraction of left-over budget
37New Algorithmic Technique
- Idea Use both bid and
- fraction of left-over budget
- Correct tradeoff given by
- tradeoff-revealing family of LPs
38Historically, the study of markets
- has been of central importance,
- especially in the West
39A Capitalistic Economy
- depends crucially on pricing mechanisms,
- with very little intervention, to ensure
- Stability
- Efficiency
- Fairness
40Do markets even have inherentlystable operating
points?
41General Equilibrium TheoryOccupied center stage
in MathematicalEconomics for over a century
Do markets even have inherentlystable operating
points?
42Leon Walras, 1874
- Pioneered general
- equilibrium theory
43Supply-demand curves
44Irving Fisher, 1891
45Fishers Model, 1891
milk
- People want to maximize happiness assume
- linear utilities.
Find prices s.t. market clears
46Fishers Model
- n buyers, with specified money, m(i) for buyer i
- k goods (unit amount of each good)
- Linear utilities is utility derived by i
- on obtaining one unit of j
- Total utility of i,
47Fishers Model
- n buyers, with specified money, m(i)
- k goods (each unit amount, w.l.o.g.)
- Linear utilities is utility derived by i
- on obtaining one unit of j
- Total utility of i,
- Find prices s.t. market clears, i.e.,
- all goods sold, all money spent.
48(No Transcript)
49Arrow-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.
-
50Kenneth Arrow
51Gerard Debreu
52Arrow-Debreu Theorem, 1954
- .
- Highly non-constructive
53Adam Smith
- The Wealth of Nations
- 2 volumes, 1776.
- invisible hand of the market
54What is needed today?
- An inherently algorithmic theory of
- market equilibrium
- New models that capture new markets
55- Beginnings of such a theory, within
- Algorithmic Game Theory
- Started with combinatorial algorithms
- for traditional market models
- New market models emerging
56 Combinatorial Algorithm for Fishers Model
- Devanur, Papadimitriou, Saberi V., 2002
- Using primal-dual schema
-
57Primal-Dual Schema
- Highly successful algorithm design
- technique from exact and
- approximation algorithms
58Exact Algorithms for Cornerstone
Problems in P
- Matching (general graph)
- Network flow
- Shortest paths
- Minimum spanning tree
- Minimum branching
59Approximation Algorithms
- set cover facility
location - Steiner tree k-median
- Steiner network multicut
- k-MST feedback
vertex set - scheduling . . .
60- No LPs known for capturing equilibrium
allocations for Fishers model - Eisenberg-Gale convex program, 1959
- DPSV Extended primal-dual schema to
- solving nonlinear convex
programs -
61A combinatorial market
62A combinatorial market
63A combinatorial market
64A combinatorial market
- Given
- Network G (V,E) (directed or undirected)
- Capacities on edges c(e)
- Agents source-sink pairs
- with money m(1), m(k)
-
- Find equilibrium flows and edge prices
65Equilibrium
- Flows and edge prices
- f(i) flow of agent i
- p(e) price/unit flow of edge e
- Satisfying
- p(e)gt0 only if e is saturated
- flows go on cheapest paths
- money of each agent is fully spent
66Kellys resource allocation model, 1997
Mathematical framework for understanding TCP
congestion control
Highly successful theory
67TCP Congestion Control
- f(i) source rate
- prob. of packet loss (in TCP Reno)
- queueing delay (in TCP Vegas)
p(e)
68TCP Congestion Control
- f(i) source rate
- prob. of packet loss (in TCP Reno)
- queueing delay (in TCP Vegas)
- Kelly Equilibrium flows are proportionally
fair - only way of adding 5 flow to
someones - dollar is to decrease 5 flow from
- someone elses dollar.
p(e)
69TCP Congestion Control
- primal process packet rates at sources
- dual process packet drop at links
- AIMD RED converges to equilibrium
- in the
limit
70- Kelly V., 2002 Kellys model is a
- generalization of Fishers model.
- Find combinatorial polynomial time
- algorithms!
71Jain V., 2005
- Strongly polynomial combinatorial algorithm
- for single-source multiple-sink market
72Single-source multiple-sink market
- Given
- Network G (V,E), s source
- Capacities on edges c(e)
- Agents sinks
- with money m(1), m(k)
-
- Find equilibrium flows and edge prices
73Equilibrium
- Flows and edge prices
- f(i) flow of agent i
- p(e) price/unit flow of edge e
- Satisfying
- p(e)gt0 only if e is saturated
- flows go on cheapest paths
- money of each agent is fully spent
74(No Transcript)
755
5
76(No Transcript)
7730
10
40
78Jain V., 2005
- Strongly polynomial combinatorial algorithm
- for single-source multiple-sink market
- Ascending price auction
- Buyers sinks (fixed budgets, maximize flow)
- Sellers edges (maximize price)
79Auction of k identical goods
- p 0
- while there are gtk buyers
- raise p
- end
- sell to remaining k buyers at price p
80Find equilibrium prices and flows
81Find equilibrium prices and flows
m(1)
m(2)
m(3)
cap(e)
m(4)
8260
min-cut separating from all the sinks
8360
8460
85Throughout the algorithm
86sink demands flow
60
87Auction of edges in cut
- p 0
- while the cut is over-saturated
- raise p
- end
- assign price p to all edges in the cut
8860
50
8960
50
9060
50
20
9160
50
20
9260
50
20
9360
50
20
nested cuts
94- Flow and prices will
- Saturate all red cuts
- Use up sinks money
- Send flow on cheapest paths
95Implementation
96(No Transcript)
97Capacity of edge
9860
min s-t cut
9960
10060
101Capacity of edge
102f(2)10
60
50
10360
50
10460
50
20
105(No Transcript)
106(No Transcript)
107Eisenberg-Gale Program, 1959
108- Lagrangian variables prices of goods
- Using KKT conditions
- optimal primal and dual solutions
- are in equilibrium
109Convex Program for Kellys Model
110JV Algorithm
- primal-dual alg. for nonlinear convex program
- primal variables flows
- dual variables prices of edges
- algorithm primal dual improvements
111Rational!!
112Irrational for 2 sources 3 sinks
1
1
1
113Irrational for 2 sources 3 sinks
Equilibrium prices
114Max-flow min-cut theorem!
115Other resource allocation markets
- 2 source-sink pairs (directed/undirected)
- Branchings rooted at sources (agents)
116Branching market (for broadcasting)
117Branching market (for broadcasting)
118Branching market (for broadcasting)
119Branching market (for broadcasting)
120Branching market (for broadcasting)
- Given Network G (V, E), directed
- edge capacities
- sources,
- money of each source
- Find edge prices and a packing
- of branchings rooted at sources
s.t. - p(e) gt 0 gt e is saturated
- each branching is cheapest possible
- money of each source fully used.
121Eisenberg-Gale-type program for branching
market
s.t. packing of branchings
122Other resource allocation markets
- 2 source-sink pairs (directed/undirected)
- Branchings rooted at sources (agents)
- Spanning trees
- Network coding
123Eisenberg-Gale-Type Convex Program
s.t. packing constraints
124Eisenberg-Gale Market
- A market whose equilibrium is captured
- as an optimal solution to an
- Eisenberg-Gale-type program
125- Theorem Strongly polynomial algs for
- following markets
- 2 source-sink pairs, undirected (Hu, 1963)
- spanning tree (Nash-William Tutte, 1961)
- 2 sources branching (Edmonds, 1967 JV, 2005)
- 3 sources branching irrational
126- Theorem Strongly polynomial algs for
- following markets
- 2 source-sink pairs, undirected (Hu, 1963)
- spanning tree (Nash-William Tutte, 1961)
- 2 sources branching (Edmonds, 1967 JV, 2005)
- 3 sources branching irrational
- Open (no max-min theorems)
- 2 source-sink pairs, directed
- 2 sources, network coding
127Chakrabarty, Devanur V., 2006
- EG2 Eisenberg-Gale markets with 2 agents
- Theorem EG2 markets are rational.
-
128Chakrabarty, Devanur V., 2006
- EG2 Eisenberg-Gale markets with 2 agents
- Theorem EG2 markets are rational.
- Combinatorial EG2 markets polytope
- of feasible utilities can be described via
- combinatorial LP.
- Theorem Strongly poly alg for Comb EG2.
-
1293-source branching
Single-source
SUA
2 s-s undir
Comb EG2
2 s-s dir
Rational
Fisher
EG2
EG
130Efficiency of Markets
- price of capitalism
- Agents
- different abilities to control prices
- idiosyncratic ways of utilizing resources
- Q Overall output of market when forced
- to operate at equilibrium?
131Efficiency
132Efficiency
133Market Efficiency
Single-source 1
3-source branching
k source-sink undirected
2 source-sink directed arbitrarily small
134Other properties
- Fairness (max-min min-max fair)
- Competition monotonicity
135Open issues
- Strongly poly algs for approximating
- nonlinear convex programs
- equilibria
- Insights into congestion control protocols?
136(No Transcript)
137(No Transcript)
138(No Transcript)