mechanism design for schedulingklarson/teaching/f04-886/talks/schedulingelodie.pdfintroduction...

98
Introduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction (DRM) Conclusions Mechanism Design for Scheduling Auction Protocols for Decentralized Scheduling Wellman et al. Elodie Fourquet Electronic Market Design Presentation School of Computer Science University of Waterloo November 22, 2004 Elodie Fourquet Mechanism Design for Scheduling

Upload: others

Post on 01-Oct-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Mechanism Design for SchedulingAuction Protocols for Decentralized Scheduling

Wellman et al.

Elodie Fourquet

Electronic Market Design PresentationSchool of Computer Science

University of Waterloo

November 22, 2004

Elodie Fourquet Mechanism Design for Scheduling

Page 2: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Outline

1 IntroductionThe Factory Scheduling Problem

2 Formal ModelOptimal Allocation & Equilibrium Solution Discussion

3 Ascending Auction (MM)

4 Combinatorial Auction (MM)

5 Generalized Vickery Auction (DRM)

6 Conclusions

Elodie Fourquet Mechanism Design for Scheduling

Page 3: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Scheduling Problem Motivation

Basic scheduling = hard problem

Resource allocation problem

Essential to :

1 computer science2 manufacturing & service industries

In the Internet no time delivery guarantee

Elodie Fourquet Mechanism Design for Scheduling

Page 4: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Scheduling Problem Motivation

Basic scheduling = hard problem

Resource allocation problem

Essential to :

1 computer science2 manufacturing & service industries

In the Internet no time delivery guarantee

Elodie Fourquet Mechanism Design for Scheduling

Page 5: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Scheduling Problem Motivation

Basic scheduling = hard problem

Resource allocation problem

Essential to :

1 computer science2 manufacturing & service industries

In the Internet no time delivery guarantee

Elodie Fourquet Mechanism Design for Scheduling

Page 6: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Scheduling Approaches

1 Distributed scheduling heuristics :First-come first-served, priority-first, shortest-job-first

2 Market mechanism : price system

3 Direct revelation mechanism : GVA

Elodie Fourquet Mechanism Design for Scheduling

Page 7: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Scheduling Approaches

1 Distributed scheduling heuristics :First-come first-served, priority-first, shortest-job-first

2 Market mechanism : price system

3 Direct revelation mechanism : GVA

Elodie Fourquet Mechanism Design for Scheduling

Page 8: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

An Application : Scheduling

Goals

1 Agents make effective decision2 Pareto optimal solution = resources are not wasted3 Reasonable communication, closure and computation

Problems

1 Equilibrium solution2 Sometimes hard problem = NP-complete

Discreteness & complementarity issues3 Combinatorial and Generalized Vickery Auction

Practical application of course theory

Elodie Fourquet Mechanism Design for Scheduling

Page 9: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

An Application : Scheduling

Goals

1 Agents make effective decision2 Pareto optimal solution = resources are not wasted3 Reasonable communication, closure and computation

Problems

1 Equilibrium solution2 Sometimes hard problem = NP-complete

Discreteness & complementarity issues3 Combinatorial and Generalized Vickery Auction

Practical application of course theory

Elodie Fourquet Mechanism Design for Scheduling

Page 10: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

An Application : Scheduling

Goals

1 Agents make effective decision2 Pareto optimal solution = resources are not wasted3 Reasonable communication, closure and computation

Problems

1 Equilibrium solution2 Sometimes hard problem = NP-complete

Discreteness & complementarity issues3 Combinatorial and Generalized Vickery Auction

Practical application of course theory

Elodie Fourquet Mechanism Design for Scheduling

Page 11: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Factory Scheduling Example

Elodie Fourquet Mechanism Design for Scheduling

Page 12: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Agents’ Jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 13: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Allocation with an Auction

Elodie Fourquet Mechanism Design for Scheduling

Page 14: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Results

Equilibrium solution

Globally optimal allocation. Solution global value = $40.5

Elodie Fourquet Mechanism Design for Scheduling

Page 15: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Decentralized vs Centralized Scheduling

Decentralized Each agent is self-interested

Decentralized Each agent knows only private info

Decentralized Each agent communicates relevant private info

Decentralized Market Mechanisms (MM) : AA and CA

Centralized Every agent info is known

Centralized Decision-maker controls resources

Centralized Direct Revelation Mechanism (DRM): GVA

Decentralized vs Centralized information & computation

Elodie Fourquet Mechanism Design for Scheduling

Page 16: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Decentralized vs Centralized Scheduling

Decentralized Each agent is self-interested

Decentralized Each agent knows only private info

Decentralized Each agent communicates relevant private info

Decentralized Market Mechanisms (MM) : AA and CA

Centralized Every agent info is known

Centralized Decision-maker controls resources

Centralized Direct Revelation Mechanism (DRM): GVA

Decentralized vs Centralized information & computation

Elodie Fourquet Mechanism Design for Scheduling

Page 17: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

MotivationAn Application of Mechanism DesignFactory Scheduling Problem with EquilibriumDecentralized vs Centralized

Decentralized vs Centralized Scheduling

Decentralized Each agent is self-interested

Decentralized Each agent knows only private info

Decentralized Each agent communicates relevant private info

Decentralized Market Mechanisms (MM) : AA and CA

Centralized Every agent info is known

Centralized Decision-maker controls resources

Centralized Direct Revelation Mechanism (DRM): GVA

Decentralized vs Centralized information & computation

Elodie Fourquet Mechanism Design for Scheduling

Page 18: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

General Discrete Resource Allocation Problem

Definition

G, a set of n discrete goods

A, a set of m agents

⊥, the seller

p =< p1, ..., pn >, set of prices

Valuations

Agent j has utility vj(X ) for holding set of goods X , X ⊆ G

Seller has utility qi = reserve price, if good i is unallocated

Elodie Fourquet Mechanism Design for Scheduling

Page 19: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

General Discrete Resource Allocation Problem

Definition

G, a set of n discrete goods

A, a set of m agents

⊥, the seller

p =< p1, ..., pn >, set of prices

Valuations

Agent j has utility vj(X ) for holding set of goods X , X ⊆ G

Seller has utility qi = reserve price, if good i is unallocated

Elodie Fourquet Mechanism Design for Scheduling

Page 20: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Allocation Solution

A mapping, f , assigns discrete good to agents :

f : G → A ∪ ⊥

Allocated to Unallocated

agent j

Set of goods Fj ≡ {i |f (i) = j} F⊥ ≡ {i |f (i) =⊥}

Elodie Fourquet Mechanism Design for Scheduling

Page 21: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Allocation Solution

A mapping, f , assigns discrete good to agents :

f : G → A ∪ ⊥

Allocated to Unallocated

agent j

Set of goods Fj ≡ {i |f (i) = j} F⊥ ≡ {i |f (i) =⊥}

Elodie Fourquet Mechanism Design for Scheduling

Page 22: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Values Achievable

Maximum surplus value of agent j for holding set X at p

Hj(p) ≡ maxX⊆G

[vj(X )−∑i∈X

pi ]

Global value of solution f

Sum of agent values achieved + reserve value of goods not sold

v(f ) ≡m∑

j=1

vj(Fj) +∑i∈F⊥

qi

Elodie Fourquet Mechanism Design for Scheduling

Page 23: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Values Achievable

Maximum surplus value of agent j for holding set X at p

Hj(p) ≡ maxX⊆G

[vj(X )−∑i∈X

pi ]

Global value of solution f

Sum of agent values achieved + reserve value of goods not sold

v(f ) ≡m∑

j=1

vj(Fj) +∑i∈F⊥

qi

Elodie Fourquet Mechanism Design for Scheduling

Page 24: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Simple Scheduling

Definition

Each agent j has a job of :

Length λj

Deadlines d1j < ... < d

Kj

j

Values v1j > ... > v

Kj

j

where 1 ≤ Kj ≤ n, n total number of slots available

Several deadlines : higher values for earlier deadlines

Elodie Fourquet Mechanism Design for Scheduling

Page 25: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Different Problems

1 Lengths of job :

Single-unit λj = 1 for all j

Multiple-unit λj > 1 for some j

2 Deadlines of job :

Fixed-deadline Kj = 1 for all j

Variable-deadline Kj > 1 for some j

Elodie Fourquet Mechanism Design for Scheduling

Page 26: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Price Equilibrium

Definition

A solution f is in equilibrium at prices p iff :

1 All agents j get goods in allocation f that max his surplus at p

vj(Fj)−∑i∈Fj

pi = Hj(p)

2 For all i , pi ≥ qi

3 For all i ∈ F⊥, pi = qi

Elodie Fourquet Mechanism Design for Scheduling

Page 27: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Optimality of Equilibrium

Theorem

For the general discrete resource allocation problem, if there existsa p such that f is in equilibrium at p, then f is an optimal solution.

Proof (Main Idea).

Price forms a boundary between equilibrium and alternatesolution.

Elodie Fourquet Mechanism Design for Scheduling

Page 28: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Optimality of Equilibrium

Theorem

For the general discrete resource allocation problem, if there existsa p such that f is in equilibrium at p, then f is an optimal solution.

Proof (Main Idea).

Price forms a boundary between equilibrium and alternatesolution.

Elodie Fourquet Mechanism Design for Scheduling

Page 29: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Agents’ Jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 30: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Agents’ Interests

Elodie Fourquet Mechanism Design for Scheduling

Page 31: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Optimal Solution

Elodie Fourquet Mechanism Design for Scheduling

Page 32: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Price Equilibria Requirements

Elodie Fourquet Mechanism Design for Scheduling

Page 33: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

No Equilibrium Exists

Problem of complementarities in Agent1 preferences.

Elodie Fourquet Mechanism Design for Scheduling

Page 34: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Allocation ProblemScheduling ProblemEquilibrium DefinitionNo Equilibrium Example

Equilibrium

Single-unit scheduling problem always has at least one priceequilibrium.

But in general case, equilibrium may not exist.

Single complementarity is sufficient to prevent a priceequilibrium.

Elodie Fourquet Mechanism Design for Scheduling

Page 35: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Market Mechansim Advantages

Considering decentralized scheduling :

Markets are naturally decentralized

Communication = exchange of bids & prices

Mechanism can elicit info for Pareto & global optima

Price is a common scale of value

Price system significantly simplifies resources allocationmechanism

Elodie Fourquet Mechanism Design for Scheduling

Page 36: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Market Mechansim Advantages

Considering decentralized scheduling :

Markets are naturally decentralized

Communication = exchange of bids & prices

Mechanism can elicit info for Pareto & global optima

Price is a common scale of value

Price system significantly simplifies resources allocationmechanism

Elodie Fourquet Mechanism Design for Scheduling

Page 37: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Ascending Auction Protocol

Mechanism Bidding Rules

Bid price, βi = highest bid so far

Ask price, αi = βi + ε or qi if undefined

Agent must bid at least ask price

Agent Bidding Policies

Agent bids ask prices for the set of goods, maximizing his surplus.No anticipation of other agents’ strategies.

Elodie Fourquet Mechanism Design for Scheduling

Page 38: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Ascending Auction Problems

1 Protocol may not find an equilibrium solution.AA Example 1

2 Protocol can produce a solution arbitrary far from optimal.AA Example 2

3 Protocol restricted to single-unit length job,is still not guaranteed to reach equilibrium.

AA Example 3

Elodie Fourquet Mechanism Design for Scheduling

Page 39: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Incremental Auction Closing

Sunk costs are considered

Positive or negative effects on the solutionAAIC Example 1

No effect for:

1 Single-unit problem, no sunk costs2 If allocation represents a price equilibrium

Order of reopening matters

Elodie Fourquet Mechanism Design for Scheduling

Page 40: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Combinatorial Auction Needs

Ascending auction mostly works well for single-unit problem.

Ascending auction cannot always find existing equilibria inmultiple-unit problem.

Combinatorial auctions help complementary issues.But, computationally more complex.

Elodie Fourquet Mechanism Design for Scheduling

Page 41: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Combinatorial Auction Needs

Ascending auction mostly works well for single-unit problem.

Ascending auction cannot always find existing equilibria inmultiple-unit problem.

Combinatorial auctions help complementary issues.But, computationally more complex.

Elodie Fourquet Mechanism Design for Scheduling

Page 42: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Problem Allocation Reformulation

Definition

G, a set of n discrete basic goods

G’, a expanded set of market goodsgood(y , z), denotes “bundle of y slots no later than slot z”

A, a set of m agents

⊥, the seller

P’, set of prices p(y , z) for all market goods in G’

Elodie Fourquet Mechanism Design for Scheduling

Page 43: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Scheduling Computational Tractability

Order

No need to consider all 2n combinations

θ(l · n) market goods in G’ and prices in P’where l is a bound on y , i.e. y ≤ l (l ≥ maxj∈A λj)

Because additional structure (similar to Rothkopf at al. 1998)Agents will want some number of slots before some deadline

Goal is to preserve tractability

Elodie Fourquet Mechanism Design for Scheduling

Page 44: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Market Good Allocation Solution

A mapping, φ, assigns market goods to agents :

φ : G ′ → A ∪ ⊥

Set of market goods allocated to agent j :

Φj ≡ {i |φ(i) = j}

A market allocation φ is consistent with a solution fif f gives each agent what is promised by φ

Elodie Fourquet Mechanism Design for Scheduling

Page 45: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Market Good Allocation Solution

A mapping, φ, assigns market goods to agents :

φ : G ′ → A ∪ ⊥

Set of market goods allocated to agent j :

Φj ≡ {i |φ(i) = j}

A market allocation φ is consistent with a solution fif f gives each agent what is promised by φ

Elodie Fourquet Mechanism Design for Scheduling

Page 46: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Market Good Allocation Solution

A mapping, φ, assigns market goods to agents :

φ : G ′ → A ∪ ⊥

Set of market goods allocated to agent j :

Φj ≡ {i |φ(i) = j}

A market allocation φ is consistent with a solution fif f gives each agent what is promised by φ

Elodie Fourquet Mechanism Design for Scheduling

Page 47: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Combinatorial Price Equilibrium

Definition

A solution φ is in equilibrium at prices p iff :

1 For all agent j , Φj maximizes j ’s guaranteed surplus at p

2 Market good price at least min consistent reserve price.For all (y , z), p(y , z) ≥ minB

∑i∈B qi

3 There exists an implementing solution f , consistent with φ s.t.1 Allocated market good price ≥ sum of basic good prices

comprising market good in f2 When market good could be satisfied by basic goods

unallocated, reserve prices of those goods define an upperbound on its price

Elodie Fourquet Mechanism Design for Scheduling

Page 48: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Agents’ Jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 49: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Optimal Solution

Elodie Fourquet Mechanism Design for Scheduling

Page 50: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Combinatorial Auction

Consider l = 2, p(1, 9 : 00) = p(1, 10 : 00) = 2.1 andp(2, 10 : 00) = 2.9

Computed allocation Φ1 = {(2, 10 : 00)}, Φ2 = �Satisfies combinatorial equilibrium conditions.

Elodie Fourquet Mechanism Design for Scheduling

Page 51: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Combinatorial Auction

Consider l = 2, p(1, 9 : 00) = p(1, 10 : 00) = 2.1 andp(2, 10 : 00) = 2.9

Computed allocation Φ1 = {(2, 10 : 00)}, Φ2 = �Satisfies combinatorial equilibrium conditions.

Elodie Fourquet Mechanism Design for Scheduling

Page 52: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Combinatorial Auction

Consider l = 2, p(1, 9 : 00) = p(1, 10 : 00) = 2.1 andp(2, 10 : 00) = 2.9

Computed allocation Φ1 = {(2, 10 : 00)}, Φ2 = �Satisfies combinatorial equilibrium conditions.

Elodie Fourquet Mechanism Design for Scheduling

Page 53: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Formal DefinitionEquilibrium DefinitionExamplePerformance

Optimal and Equilibrium

Combinatorial equilibrium prices can support :

1 Optimal solution2 But also non-optimal solution.

Sub-optimality is not usefully bounded-even without reserve prices.

Optimal solution supported by equilibria in originalformulation are retained in the combinatorial one.

Given monotone reserve prices, optimal solution can besupported with θ(l · n) price system.

Elodie Fourquet Mechanism Design for Scheduling

Page 54: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

Generalized Vickery Auction

Neither ascending nor combinatorial auction guaranteeoptimal solution to scheduling problem.

GVA finds efficient schedules for all our scheduling problem.

GVA is a direct revelation mechanism :

GVA is not a price system.Rather GVA computes overall payments for agents’ allocations.

Elodie Fourquet Mechanism Design for Scheduling

Page 55: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

Generalized Vickery Auction

Neither ascending nor combinatorial auction guaranteeoptimal solution to scheduling problem.

GVA finds efficient schedules for all our scheduling problem.

GVA is a direct revelation mechanism :

GVA is not a price system.Rather GVA computes overall payments for agents’ allocations.

Elodie Fourquet Mechanism Design for Scheduling

Page 56: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA Protocol

Mechanism Bidding Rules

Each agent j announces his alleged utility function vj .Not constrained to be truthful.

Auction knows the reserve values, qi .

Allocation Rules and Optimality

After receiving bids, GVA returns :

1 Allocation solution f ∗,

2 Payments to agents.

Elodie Fourquet Mechanism Design for Scheduling

Page 57: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA Payments

Payments to agent j :

V−j ≡ W−j(f∗)− Pj(vj)

where :

1 W−j = agents’ total reported value at f ∗, excluding j2 Pj = residual payment (function of other agent’s

reported valuations)

Payments force truthful bidding as a dominant strategy.Optimal allocation is computed on truthful bids, thereforeallocation is globally optimal.

Elodie Fourquet Mechanism Design for Scheduling

Page 58: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA

Mechanism finds optimal solution : f ∗(9 : 00) = 2 andf ∗(10 : 00) = 3

j Agent 1 Agent 2 Agent3

W−j 4 2 2

vj(Fj) + V−j 0 + [4− P1] 2 + [2− P2] 2 + [2− P3]

Elodie Fourquet Mechanism Design for Scheduling

Page 59: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA

Mechanism finds optimal solution : f ∗(9 : 00) = 2 andf ∗(10 : 00) = 3

j Agent 1 Agent 2 Agent3

W−j 4 2 2

vj(Fj) + V−j 0 + [4− P1] 2 + [2− P2] 2 + [2− P3]

Elodie Fourquet Mechanism Design for Scheduling

Page 60: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA

Mechanism finds optimal solution : f ∗(9 : 00) = 2 andf ∗(10 : 00) = 3

j Agent 1 Agent 2 Agent3

W−j 4 2 2

vj(Fj) + V−j 0 + [4− P1] 2 + [2− P2] 2 + [2− P3]

Elodie Fourquet Mechanism Design for Scheduling

Page 61: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA

For participation, received total value vj(Fj) + V−j ≥ 0Pj ≤ 4 for j ∈ {1, 2, 3}

j Agent 1 Agent 2 Agent3

vj(Fj) + V−j 0 + [4− P1] 2 + [2− P2] 2 + [2− P3]

Pj 4 (pays 0) 3 (pays 1) 3 (pays 1)

Net revenue $2.0

Elodie Fourquet Mechanism Design for Scheduling

Page 62: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA

For participation, received total value vj(Fj) + V−j ≥ 0Pj ≤ 4 for j ∈ {1, 2, 3}

j Agent 1 Agent 2 Agent3

vj(Fj) + V−j 0 + [4− P1] 2 + [2− P2] 2 + [2− P3]

Pj 4 (pays 0) 3 (pays 1) 3 (pays 1)

Net revenue $2.0

Elodie Fourquet Mechanism Design for Scheduling

Page 63: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

VGA

For participation, received total value vj(Fj) + V−j ≥ 0Pj ≤ 4 for j ∈ {1, 2, 3}

j Agent 1 Agent 2 Agent3

vj(Fj) + V−j 0 + [4− P1] 2 + [2− P2] 2 + [2− P3]

Pj 4 (pays 0) 3 (pays 1) 3 (pays 1)

Net revenue $2.0

Elodie Fourquet Mechanism Design for Scheduling

Page 64: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

ProtocolPaymentsExamplePerformance

Performance

Single-unit, fixed-deadline has optimal solutionGreedy algorithm running in θ(m lg m)

VGA mechanism must solve multiple optimization problems :

1 One to determine optimal solution2 One for each agent j with his bids removed to find Pj

Therefore VGA adds a factor of m to the computation

Single-unit, fixed-deadline has optimal VGA solutionWith preference revelation needs θ(m2 lg m)

Multiple-unit scheduling problem is NP-complete

Elodie Fourquet Mechanism Design for Scheduling

Page 65: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Scope and Computation Tradeoffs

Elodie Fourquet Mechanism Design for Scheduling

Page 66: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Scope and Computation Tradeoffs

But there exists more scheduling problems,If we have time, for example....

Elodie Fourquet Mechanism Design for Scheduling

Page 67: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Scope and Computation Tradeoffs

But there exists more scheduling problems,If we have time, for example....

Elodie Fourquet Mechanism Design for Scheduling

Page 68: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Online Real-time Scheduling Problem

Online scheduling of jobs on a single processorOnline = not all jobs are known in advance

Jobs are owned by seperate, self-interested agents

1 Decide when to submit job after true release time2 Can inflate job’s length3 Can declare arbitrary value and deadline for job

Strategic agent can manipulate the system by annoucing falsecharacteristics of job, if beneficial for its completion

Sellers schedule jobs and determine amount to charge tobuyers

Elodie Fourquet Mechanism Design for Scheduling

Page 69: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Online Real-time Scheduling Goals

1 Schedule needs to be constructed in real-time

2 Maximizing sum of job’s values completed on time

3 Online algorithm needs to compare well against the optimaloffline one

4 Preemption of a running job by a newly arrived job is possible

Elodie Fourquet Mechanism Design for Scheduling

Page 70: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Online Real-time Scheduling Direct Mechanism

Input : job declared by each agent

Output : schedule and payment to be made by each agent tomechanism

Goal = incentive compatibilityAgent’s best interests :

1 To submit job upon release2 To declare truthfully value, length and deadline of job

Approximate solutions compare well with offline solutions

Elodie Fourquet Mechanism Design for Scheduling

Page 71: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

To Take Home

Scheduling is important

Many types of scheduling problem exist

Most scheduling problems are hard,and most often NP-complete

Price systems and auctions are a promising new approach formultiple scheduling problems

Auction mechanisms encourage truth revelation about jobsCrucial for distributed scheduling

Elodie Fourquet Mechanism Design for Scheduling

Page 72: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

IntroductionFormal Model

Ascending Auction (MM)Combinatorial Auction (MM)

Generalized Vickery Auction (DRM)Conclusions

Schedulings seen so farAnother Scheduling Problem : Online and Real-timeLast words...

Questions ?

Elodie Fourquet Mechanism Design for Scheduling

Page 73: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Challenges

1 Message passing / closure / final schedule determinationProtocol problem : asynchronous communication

2 Appropriate messages elicitedMechanism design problem : socially desirable outcome

Elodie Fourquet Mechanism Design for Scheduling

Page 74: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Challenges

1 Message passing / closure / final schedule determinationProtocol problem : asynchronous communication

2 Appropriate messages elicitedMechanism design problem : socially desirable outcome

Elodie Fourquet Mechanism Design for Scheduling

Page 75: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Challenges

1 Message passing / closure / final schedule determinationProtocol problem : asynchronous communication

2 Appropriate messages elicitedMechanism design problem : socially desirable outcome

Elodie Fourquet Mechanism Design for Scheduling

Page 76: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Combinatorial Price Equilibrium

Definition

A solution φ is in equilibrium at prices p iff :

1 For all agent j , Φj maximizes j’s guaranteed surplus at p

2 For all (y , z), p(y , z) ≥ min{B⊆Gz :|B|=y}∑

i∈B qi

3 There exists an implementing solution f s.t.1 For all j ,

∑(y ,z)∈Φj

p(y , z) ≥∑

i∈Fjqi

2 For all “unallocated (y,z)”, p(y , z) ≤ minB

∑i∈B qi

Elodie Fourquet Mechanism Design for Scheduling

Page 77: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Agent jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 78: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Bids

Elodie Fourquet Mechanism Design for Scheduling

Page 79: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Bids

Elodie Fourquet Mechanism Design for Scheduling

Page 80: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Bids

Agent 2 wins slot 3 but cannot complete his job

Agent 3 cannot get slot 3, p3 > 2 blocked by Agent 2

Not an optimal solution. Solution global value = $20.0

Elodie Fourquet Mechanism Design for Scheduling

Page 81: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Problem

Elodie Fourquet Mechanism Design for Scheduling

Page 82: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Equilibrium Solution

Price equilibrium if Agent3 wins slot 3 at p3 ≤ 2

Optimal solution. Solution global value = $22.0

Return

Elodie Fourquet Mechanism Design for Scheduling

Page 83: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Agent jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 84: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

A2 Bids First

Elodie Fourquet Mechanism Design for Scheduling

Page 85: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

A1 Bids Second

Elodie Fourquet Mechanism Design for Scheduling

Page 86: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Allocation

Agent 2 wins slot 2 but cannot complete his job

Solution global value = $3.0

Elodie Fourquet Mechanism Design for Scheduling

Page 87: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Optimal Solution

Optimal solution (not equilibrium).Solution global value = $12.0

Solution can be arbitrary far from optimal

Return

Elodie Fourquet Mechanism Design for Scheduling

Page 88: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Agents’ jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 89: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

A2 Bids First

Elodie Fourquet Mechanism Design for Scheduling

Page 90: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

A1 Bids Second

Elodie Fourquet Mechanism Design for Scheduling

Page 91: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Allocation

But p2 = $3 < p1 not an equilibrium

Agent 1 would maximize his surplus by demanding p2 at thefinal prices

Elodie Fourquet Mechanism Design for Scheduling

Page 92: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Equilibrium Solution

Return

Elodie Fourquet Mechanism Design for Scheduling

Page 93: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Agents’ jobs

Elodie Fourquet Mechanism Design for Scheduling

Page 94: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

A2 Bids First

Elodie Fourquet Mechanism Design for Scheduling

Page 95: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

A1 Bids Second

Elodie Fourquet Mechanism Design for Scheduling

Page 96: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Auction Closed for Slot 2

Elodie Fourquet Mechanism Design for Scheduling

Page 97: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Agent 2 sunk cost

Agent 2 treats his payment as sunk, and value slot 1 at $11

Elodie Fourquet Mechanism Design for Scheduling

Page 98: Mechanism Design for Schedulingklarson/teaching/F04-886/talks/schedulingElodie.pdfIntroduction Formal Model Ascending Auction (MM) Combinatorial Auction (MM) Generalized Vickery Auction

Appendix

Decentralized Scheduling ProblemAA may not find equilibrium solutionAA arbitrary far from optimalAA single-unit may not find equilibrium solutionAAIC may do better

Allocation

Agent 2 outbids Agent 1 for slot 1

Solution global value = $11(better >$3 but not optimal <$12)

Return

Elodie Fourquet Mechanism Design for Scheduling