Yesterday Walras-Arrow-Debreu equilibria require centralized price determination Decentralized exchange models… –Generate market-clearing prices that are.

Slides:



Advertisements
Similar presentations
Price Of Anarchy: Routing
Advertisements

COMP 553: Algorithmic Game Theory Fall 2014 Yang Cai Lecture 21.
Computation of Nash Equilibrium Jugal Garg Georgios Piliouras.
Seminar In Game Theory Algorithms, TAU, Agenda  Introduction  Computational Complexity  Incentive Compatible Mechanism  LP Relaxation & Walrasian.
1 NP-Complete Problems. 2 We discuss some hard problems:  how hard? (computational complexity)  what makes them hard?  any solutions? Definitions 
Theory of Computing Lecture 16 MAS 714 Hartmut Klauck.
Parallel Scheduling of Complex DAGs under Uncertainty Grzegorz Malewicz.
COMP 553: Algorithmic Game Theory Fall 2014 Yang Cai Lecture 20.
Complexity 15-1 Complexity Andrei Bulatov Hierarchy Theorem.
Computational problems, algorithms, runtime, hardness
Dynamic Spectrum Management: Optimization, game and equilibrium Tom Luo (Yinyu Ye) December 18, WINE 2008.
Beyond selfish routing: Network Formation Games. Network Formation Games NFGs model the various ways in which selfish agents might create/use networks.
Analysis of Algorithms CS 477/677
CSE 421 Algorithms Richard Anderson Lecture 4. What does it mean for an algorithm to be efficient?
Software Agents in Economic Environments Robert S. Gazzale Ph.D. Candidate, Department of Economics Jeffrey MacKie Mason Professor, Dept. of Economics.
Data Flow Analysis Compiler Design Nov. 8, 2005.
Chapter 11: Limitations of Algorithmic Power
Network Formation Games. Netwok Formation Games NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models:
Chapter 11 Limitations of Algorithm Power Copyright © 2007 Pearson Addison-Wesley. All rights reserved.
The Complexity of Algorithms and the Lower Bounds of Problems
Network Formation Games. Netwok Formation Games NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models:
Fast Spectrum Allocation in Coordinated Dynamic Spectrum Access Based Cellular Networks Anand Prabhu Subramanian*, Himanshu Gupta*,
General Equilibrium Theory A General Economy m consumers n producers (n goods) Resources m X n demand equations n supply equations Prices A Pure Exchange.
Complexity Classes Kang Yu 1. NP NP : nondeterministic polynomial time NP-complete : 1.In NP (can be verified in polynomial time) 2.Every problem in NP.
Program Performance & Asymptotic Notations CSE, POSTECH.
Chapter 11 Limitations of Algorithm Power. Lower Bounds Lower bound: an estimate on a minimum amount of work needed to solve a given problem Examples:
Computational Complexity Polynomial time O(n k ) input size n, k constant Tractable problems solvable in polynomial time(Opposite Intractable) Ex: sorting,
Algorithmic Game Theory and Internet Computing Vijay V. Vazirani Polynomial Time Algorithms For Market Equilibria.
Analysis of Algorithms
RESOURCES, TRADE-OFFS, AND LIMITATIONS Group 5 8/27/2014.
CSE 326: Data Structures NP Completeness Ben Lerner Summer 2007.
Major objective of this course is: Design and analysis of modern algorithms Different variants Accuracy Efficiency Comparing efficiencies Motivation thinking.
CSE 3813 Introduction to Formal Languages and Automata Chapter 14 An Introduction to Computational Complexity These class notes are based on material from.
1 Lower Bounds Lower bound: an estimate on a minimum amount of work needed to solve a given problem Examples: b number of comparisons needed to find the.
P, NP, and Exponential Problems Should have had all this in CS 252 – Quick review Many problems have an exponential number of possibilities and we can.
Data Analysis Econ 176, Fall Populations When we run an experiment, we are always measuring an outcome, x. We say that an outcome belongs to some.
Graph Colouring L09: Oct 10. This Lecture Graph coloring is another important problem in graph theory. It also has many applications, including the famous.
Complexity of Determining Nonemptiness of the Core Vincent Conitzer, Tuomas Sandholm Computer Science Department Carnegie Mellon University.
Ásbjörn H Kristbjörnsson1 The complexity of Finding Nash Equilibria Ásbjörn H Kristbjörnsson Algorithms, Logic and Complexity.
Beyond selfish routing: Network Games. Network Games NGs model the various ways in which selfish agents strategically interact in using a network They.
Beyond selfish routing: Network Games. Network Games NGs model the various ways in which selfish users (i.e., players) strategically interact in using.
Section 5.5 The Real Zeros of a Polynomial Function.
Week 13 - Monday.  What did we talk about last time?  B-trees  Hamiltonian tour  Traveling Salesman Problem.
Computer Science Background for Biologists CSC 487/687 Computing for Bioinformatics Fall 2005.
Donghyun (David) Kim Department of Mathematics and Computer Science North Carolina Central University 1 Chapter 7 Time Complexity Some slides are in courtesy.
NIR BITANSKY, OMER PANETH, ALON ROSEN ON THE CRYPTOGRAPHIC HARDNESS OF FINDING A NASH EQUILIBRIUM.
Chapter 11 Introduction to Computational Complexity Copyright © 2011 The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 1.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 8.
Negotiating Socially Optimal Allocations of Resources U. Endriss, N. Maudet, F. Sadri, and F. Toni Presented by: Marcus Shea.
Young CS 331 D&A of Algo. NP-Completeness1 NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and.
Sorting Lower Bounds n Beating Them. Recap Divide and Conquer –Know how to break a problem into smaller problems, such that –Given a solution to the smaller.
Lecture. Today Problem set 9 out (due next Thursday) Topics: –Complexity Theory –Optimization versus Decision Problems –P and NP –Efficient Verification.
6.853: Topics in Algorithmic Game Theory Fall 2011 Constantinos Daskalakis Lecture 9.
Network Formation Games. NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models: Global Connection Game.
Network Formation Games. NFGs model distinct ways in which selfish agents might create and evaluate networks We’ll see two models: Global Connection Game.
Exchange Chapter 31 Niklas Jakobsson Click to add notes.
Market Equilibrium Ruta Mehta.
Chapter 32 Exchange.
COMP/MATH 553: Algorithmic Game Theory
Historical Note von Neumann’s original proof (1928) used Brouwer’s fixed point theorem. Together with Danzig in 1947 they realized the above connection.
Greedy Algorithms / Interval Scheduling Yin Tat Lee
Analysis and design of algorithm
Objective of This Course
Vijay V. Vazirani Georgia Tech
Chapter 11 Limitations of Algorithm Power
CSE 6408 Advanced Algorithms.
15th Scandinavian Workshop on Algorithm Theory
Approximation Algorithms
Algorithms CSCI 235, Spring 2019 Lecture 36 P vs
Normal Form (Matrix) Games
Presentation transcript:

Yesterday Walras-Arrow-Debreu equilibria require centralized price determination Decentralized exchange models… –Generate market-clearing prices that are path- dependent –Yield non-Walrasian allocations that may be Pareto optimal –Produce wealth inequality endogenously

Today Code for decentralized market Computational complexity of markets –High complexity of Walras-Arrow-Debreu –Low complexity of decentralized markets Add production: –Sugarscape ‘production’ –Sugarscape exchange

On the Computational Complexity of Markets Rob Axtell Center on Social and Economic Dynamics, Brookings Institution External Faculty Member, Santa Fe Institute

The Complexity of Exchange What is the computational complexity of economic exchange processes? First variant: How hard is it for the Walrasian auctioneer to determine p*? Second variant: What is the complexity of decentralized (non-Walrasian) markets Third variant: What is the complexity of realistic market processes

Herbert Simon on Computational Complexity in Economics …the statement that a certain class of problems is ‘exponential’ means that as we increase the number of…components, the maximum time required for solution will rise exponentially….Notice that these are not theorems about the efficiency of particular computational algorithms. They are limits that apply to any algorithms used to solve problems in the domain in question. The theorems warn us that we must not aspire to construct a [better] algorithm. Bell Journal of Economics, 1978

Complexity Class P: Definition Consider a problem to be solved by ‘yes’/’no’ Let n be a measure of the size of the problem Let f(n) be the amount of (computer) time required to solve the problem Typically, lim n  f(n) = ∞ If f(n) is a polynomial of degree d < ∞, the problem is soluble in ‘polynomial time’ Let P be defined as the set of problems that can be solved in polynomial time

P example: Sorting Given: A list of objects to sort of length n (e.g., names) How much computation to do the sorting? –brute force (Bubblesort): n 2 –more efficient (Quicksort): n log(n) Conversion to a decision problem: –is the list sorted?

Class NP: Definition Assume that the answer to the problem is given, i.e., the answer is provided by an oracle Let g(n) be the amount of (computer) time required to check the solution If g(n) is a polynomial of degree d < ∞, the problem is nondeterministic polynomial time Let NP be the set of problems of nondeterministic polynomial time Theorem: P  NP

Complexity Hierarchy P NP

Complexity Hierarchy P NP PSPACE

Complexity Hierarchy P NP PSPACE EXP

Complexity Hierarchy P NP PSPACE EXP NEXP

Classes FP and FNP Consider function problems, i.e. those requiring more than ‘yes’/’no’ solutions Let FP be the set of function problems that can be solved in polynomial time Let NFP be the set of function problems of nondeterministic polynomial time Theorem: FP  FNP Theorem: FP = FNP  P = NP

Function Problem Hierarchy FP FNP

Function Problem Hierarchy FP PPAD PPA FNP Open questions: PPAD = PPA PPA = FNP PPAD = FP

Pure Exchange Economies: Walras-Arrow-Debreu Equilibria Existence of equilibrium is proved: –Brouwer fixed-point theorem when aggregate demand is a function –Kakutani fixed-point theorem when aggregate demand is a correspondence (set-valued) Constructive proofs of Brouwer and Kakutani use Sperner’s lemma : –Any admissible coloring of any triangulation of the unit simplex has a trichromatic triangle (an odd number of them!) The Scarf algorithm for computing general equilibrium is a variant of Sperner’s lemma

Complexity of Walras-Arrow- Debreu Exchange Theorem (Hirsch, Papadimitriou and Vavasis, 1987): Lower bound on worst case complexity exp(N), i.e, EXPTIME Theorem (Papadimitriou, 1994): –Complexity of Sperner reduces to the parity argument (every finite graph has even number of odd degree nodes) –Parity requires an exponentially large graph –Thus, Brouwer, Kakutani  PPAD  FNP

Complexity of k-lateral Exchange: Analytical Results Allocations:

Exchange algorithm: Complexity of k-lateral Exchange: Analytical Results

Allocations: Exchange algorithm: Evolution equation: x(t+1) = T(x(t)) Pseudo-contraction: Complexity of k-lateral Exchange: Analytical Results

Allocations: Exchange algorithm: Since T() is conservative, dominant eigenvalue = 1 Convergence is controlled by subdominant eigenvalue Evolution equation: x(t+1) = T(x(t)) Pseudo-contraction: Complexity of k-lateral Exchange: Analytical Results

Convergence of x(t) to x eq is exponentially fast as long as the subdominant eigenvalue < 1 for all t Complexity of k-lateral Exchange: Analytical Results, continued

Convergence of x(t) to x eq is exponentially fast as long as the subdominant eigenvalue < 1 for all t In particular, the amount of time, , required to compute an  approximation to equilibrium is given by

Complexity of k-lateral Exchange: Analytical Results, continued Convergence of x(t) to x eq is exponentially fast as long as the subdominant eigenvalue < 1 for all t In particular, the amount of time, , required to compute an  approximation to equilibrium is given by Since (AN) 2 multiplies are necessary for each iteration the amount of time needed to compute an  approximation of equilibrium is  (AN) 2, and thus k-lateral exchange processes are in FP

Tighter bounds by divide-and-conquer: Divide the agent population into pairs (A/2 pairs) and equilibrate each pair Complexity of Bilateral Exchange: Analytical Results

Tighter bounds by divide-and-conquer: Divide the agent population into pairs (A/2 pairs) and equilibrate each pair This requires a number of exchange interactions proportional to N 2 for each pair, AN 2 /2 overall Complexity of Bilateral Exchange: Analytical Results

Tighter bounds by divide-and-conquer: Divide the agent population into pairs (A/2 pairs) and equilibrate each pair This requires a number of exchange interactions proportional to N 2 for each pair, AN 2 /2 overall Now match each pair with another and re- equilibrate, another AN 2 /4 interactions (exact for identical preferences) Complexity of Bilateral Exchange: Analytical Results

Tighter bounds by divide-and-conquer: Divide the agent population into pairs (A/2 pairs) and equilibrate each pair This requires a number of exchange interactions proportional to N 2 for each pair, AN 2 /2 overall Now combine two pairs and re-equilibrate, another AN 2 /4 interactions (exact for identical preferences) Overall, for 2 k agents, Complexity of Bilateral Exchange: Analytical Results for all k

Tighter bounds by divide-and-conquer: Divide the agent population into pairs (A/2 pairs) and equilibrate each pair This requires a number of exchange interactions proportional to N 2 for each pair, AN 2 /2 overall Now combine two pairs and re-equilibrate, another AN 2 /4 interactions (exact for identical preferences) Overall, for 2 k agents, This is exactly what the bilateral exchange model does! Complexity of Bilateral Exchange: Analytical Results for all k

Bilateral Exchange Models Common:  Population of agents with heterogeneous preferences and endowments  Topology of interaction  Exchange rules

Bilateral Exchange Models Common:  Population of agents with heterogeneous preferences and endowments  Topology of interaction  Exchange rules Example: ‘Soup’  Population of agents, A  {10 - 1,000,000}  N commodities, N  {2 - 20,000}  Randomly distributed preferences  Randomly distributed initial endowments  Random pairings: -Sequential or parallel -Synchronous or asynchronous -Ex post, random graph of interactions  Edgeworth barter  A bargaining rule

Complexity of Bilateral Exchange: Dependence on Number of Agents Computational Results Implication: Number of interactions/agent is independent of the size of the economy Interactions  Agents

Interactions  N 2 Complexity of Bilateral Exchange: Dependence on Number of Goods, Computational Results Implication: Bilateral exchange much more efficient than the Walrasian mechanism

Comparison: Walrasian vs. k-lateral Exchange Equilibria Lesson: Price heterogeneity IMPROVES market performance

Summary Walras-Arrow-Debreu equilibria computationally intractable for auctioneer Decentralized equilibria are tractable Non-Walrasian allocations result –Non-core allocations (no equal treatment) –Inequality endogenously created by market processes Permitting agents to make local welfare improvements breaks the complexity barrier

Complexity of Decentralized Markets When Agents are Strategic Old literature: Strategic reallocation of endowments If agents believe the market can be predicted, it is rational to act strategically (Izumi [2003]) Limiting case: Each agent announces its prediction function in advance: –Each agent now must compute Nash equilibrium (FNP) –Complexity of market exponential in agents and goods –Effective parallelization doesn’t alter complexity (e N /A has same complexity as e N )

Complexity of Decentralized Markets When Agents are Strategic, II The actual case is much worse: –Reaction functions not common knowledge –Population of predictors is evolving over time Possible to learn rational expectations equilibria? –Agents cannot learn in finite time [Spear 1989] –Agents cannot learn in polynomial time [Board 1994] Implications for the ‘efficient markets’ hypothesis –Strategic agents remove arbitrage opportunities Price random walks Market cannot be ‘predicted’ –They also sever all connection to Pareto efficiency