Price of Anarchy of Multi-Stage Machine Scheduling Games

TL;DR

This paper analyzes the efficiency loss in multi-stage machine scheduling games under greedy strategies, extending classical results to more complex pipelines and providing bounds on the price of anarchy.

Contribution

It introduces the first analysis of the price of anarchy in multi-stage scheduling games with greedy behavior, establishing bounds and extending classical single-stage results.

Findings

Greedy strategies yield a price of anarchy of 2 - 1/m in single-stage scheduling.

In multi-stage scheduling, completion times increase by at most twice the maximum job time between stages.

The price of anarchy in multi-stage scheduling lies within [2 - 1/m, 3 - 1/m].

Abstract

In this paper, we extend the discussion of the price of anarchy of machine scheduling games to a multi-stage machine setting. The multi-stage setting arises naturally in manufacturing pipelines and distributed computing workflows, when each job must traverse a fixed sequence of processing stages. While the classical makespan price of anarchy of $2 - \frac{1}{m}$ has been established for sequential scheduling on identical machines, the efficiency loss in multi-stage scheduling has, to the best of our knowledge, not been previously analyzed. We assume that each task follows a greedy strategy and gets assigned to the least-loaded machine upon arrival at each stage. Notably, we observe that in multi-stage environments, greedy behavior generally does not coincide with a subgame perfect Nash equilibrium. We continue with analyzing the equilibrium under greedy choices, since it is logical for modeling selfish agents with limited computational power, and may also model a central scheduler performing the common least-load scheduling heuristics. Under this model, we first show that in single-stage scheduling, greedy choice again yields an exact price of anarchy of $2 - \frac{1}{m}$. In multi-stage scheduling, we show that the completion time from one stage to the next increases by at most two times the maximum job execution time. Using this relationship, we derived the price of anarchy of multistage scheduling under greedy choices to lie within $[2 - \frac{1}{m}, 3 - \frac{1}{m}]$, where $m$ denote the maximum number of machines in one stage.