940 likes | 1.12k Views
Nash Bargaining via Flexible Budget Markets. Algorithmic Game Theory and Internet Computing. Vijay V. Vazirani. The new platform for computing. Internet. Massive computational power available Sellers (programs) can negotiate with individual buyers!. Internet.
E N D
Nash Bargaining via Flexible Budget Markets Algorithmic Game Theoryand Internet Computing Vijay V. Vazirani
Internet • Massive computational power available • Sellers (programs) can negotiate with individual buyers!
Internet • Massive computational power available • Sellers (programs) can negotiate with individual buyers! Back to bargaining!
Internet • Massive computational power available • Sellers (programs) can negotiate with individual buyers! Algorithmic Game Theory
Bargaining and Game Theory • Nash (1950): First formalization of bargaining. • von Neumann & Morgenstern (1947): Theory of Games and Economic Behavior • Game Theory: Studies solution concepts for negotiating in situations of conflict of interest.
Bargaining and Game Theory • Nash (1950): First formalization of bargaining. • von Neumann & Morgenstern (1947): Theory of Games and Economic Behavior • Game Theory: Studies solution concepts for negotiating in situations of conflict of interest. • Theory of Bargaining: Central!
Nash bargaining • Captures the main idea that both players gain if they agree on a solution. Else, they go back to status quo.
Example • Two players, 1and 2, have vacation homes: • 1: in the mountains • 2: on the beach • Consider all possible ways of sharing.
Utilities derived jointly : convex + compact feasible set
Disagreement point = status quo utilities Disagreement point =
Nash bargaining problem = (S, c) Disagreement point =
Nash bargaining Q: Which solution is the “right” one?
Solution must satisfy 4 axioms: • Paretto optimality • Invariance under affine transforms • Symmetry • Independence of irrelevant alternatives
Generalizes to n-players • Theorem: Unique solution
Generalizes to n-players • Theorem: Unique solution (S, c) is feasible ifS contains a point that makes each i strictly happier than ci
Bargaining theory studies promise problem • Restrict to instances (S, c) which are feasible.
Linear Nash Bargaining (LNB) • Feasible set is a polytope defined by linear packing constraints • Nash bargaining solution is optimal solution to convex program:
Study promise problem? • Decision problem reduces to promise problem • Therefore, study decision and search problems.
Linear utilities • B: n players with disagreement points, ci • G: g goods, unit amount each • S = utility vectors obtained by distributing goods among players
e.g., ci = i’s utility for initial endowment • B: n players with disagreement points, ci • G: g goods, unit amount each • S = utility vectors obtained by distributing goods among players
Theorem • If instance is feasible, Nash bargaining solution is rational! • Polynomially many bits in size of instance
Theorem • If instance is feasible, Nash bargaining solution is rational! • Polynomially many bits in size of instance • Decision and search problems can be solved in polynomial time.
Resource Allocation Nash Bargaining Problems • Players use “goods” to build “objects” • Player’s utility = number of objects • Bound on amount of goods available
Theorem: Strongly polynomial, combinatorial algorithm for single-source multiple-sink case. • Solution is again rational.
Insights into game-theoretic properties of Nash bargaining problems • Chakrabarty, Goel, V. , Wang & Yu: • Efficiency (Price of bargaining) • Fairness • Full competitiveness
Linear utilities • B: n players with disagreement points, ci • G: g goods, unit amount each • S = utility vectors obtained by distributing goods among players
Game plan • Use KKT conditions to transform Nash bargaining problem to computing the equilibrium in a certain market. • Find equilibrium using primal-dual paradigm.
Game plan • Use KKT conditions to transform Nash bargaining problem to computing the equilibrium in a certain market. • Find equilibrium using primal-dual paradigm.
General Equilibrium Theory Crown jewel of mathematicaleconomics for over a century!
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
Irving Fisher, 1891 • Defined a fundamental market model
Fisher’s Model • B = n buyers, money mifor buyer i • G = g goods, w.l.o.g. unit amount of each good • : utility derived by i on obtaining one unit of j • Total utility of i,
Fisher’s Model • B = n buyers, money mifor buyer i • G = g goods, w.l.o.g. unit amount of each good • : utility derived by i on obtaining one unit of j • Total utility of i, • Find market clearing prices.
General Equilibrium Theory An almost entirely non-algorithmic theory!
Flexible budget market,only difference: • Buyers don’t spend a fixed amount of money. • Instead, they know how much utility they desire. • At any given prices, they spend just enough money to accrue utility desired.