We propose an exact linear programming (LP)-based solution approach to the Guaranteed Service Model (GSM), one of the most widely applied models for optimizing safety stock placement in supply chain networks.
Our approach handles any directed acyclic network and any cost function that depends on a stage's incoming and outgoing service times.
It scales polynomially in the number of nodes
n in the network, pseudo-polynomially wrt the bit size of the maximum replenishment time
M, and, (for fixed
M) exponentially in its
treewidth, which quantifies how “tree-like” a network is, and can be much smaller than
n.
This contrasts with existing approaches, which scale exponentially in
n.
The proof of exactness relies crucially on showing that the join of transportation-like polytopes remains integral, and is more broadly applicable to other Operations Management problems.
In addition to an exact formulation, our LP-based approach enables a practical solution strategy for the GSM built on a hierarchy of LP relaxations.
These relaxations provide valid lower bounds, certify optimality when integral, and can strengthen existing exact methods.
In our computational study, the smallest relaxation already recovers an optimal GSM solution on every real-world instance from Willems (2008), leading to substantial speed-ups over the state-of-the-art exact algorithm and commercial general-purpose solvers.
The framework also supports sensitivity analysis and accommodates additional operational constraints.
Overall, our approach builds a new bridge between Operations Management and Computer Science, providing new theoretical foundations and practical tools for managing safety stocks in complex modern supply chain networks.
With Andre Calmon (Georgia Tech), Georgina Hall (INSEAD), & Mohit Tawarmalani (Purdue University).
Accepted for publication in
Management Science.
Available here.