SearcharxivSearch

arXiv · 2009.05736

Robust production planning with budgeted cumulative demand uncertainty

Abstract

This paper deals with a problem of production planning, which is a version of the capacitated single-item lot sizing problem with backordering under demand uncertainty, modeled by uncertain cumulative demands. The well-known interval budgeted uncertainty representation is assumed. Two of its variants are considered. The first one is the discrete budgeted uncertainty, in which at most a specified number of cumulative demands can deviate from their nominal values at the same time.The second variant is the continuous budgeted uncertainty, in which the sum of the deviations of cumulative demands from their nominal values, at the same time, is at most a bound on the total deviation provided. For both cases, in order to choose a production plan that hedges against the cumulative demand uncertainty, the robust minmax criterion is used. Polynomial algorithms for evaluating the impact of uncertainty in the demand on a given production plan in terms of its cost, called the adversarial problem, and for finding robust production plans under the discrete budgeted uncertainty are constructed. Hence, in this case, the problems under consideration are not much computationally harder than their deterministic counterparts. For the continuous budgeted uncertainty, it is shown that the adversarial problem and the problem of computing a robust production plan along with its worst-case cost are NP-hard. In the case, when uncertainty intervals are non-overlapping, they can be solved in pseudopolynomial time and admit fully polynomial timeapproximation schemes. In the general case, a decomposition algorithm for finding a robust plan is proposed.

Explore related subjects

Keep this discovery

BibTeXRIS

Romain Guillaume, Adam Kasperski, Pawel Zielinski. 2020-09-12. Robust production planning with budgeted cumulative demand uncertainty. https://arxiv.org/abs/2009.05736

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Quasi-Monte Carlo Beyond Hardy-Krause II: $(1 + \varepsilon)n$ Samples Suffice

Numerical integration studies how well one can estimate the integral of a function $f$ over $[0,1)^d$ using $n$ sample points. The two classical methods, Monte Carlo (MC) and quasi-Monte Carlo (QMC), have complementary strengths and weaknesses, and a fundamental question is to design an approach that combines the benefits of both. Recently, building on the transference principle in discrepancy theory, Bansal and Jiang~\cite{BJ25a} gave a randomized QMC method that bridges MC and QMC guarantees using only i.i.d.\ samples. Their method also goes beyond the classical Koksma--Hlawka inequality: it achieves integration error $\widetilde{O}_d(\sigma_{\mathsf{SO}}(f)/n)$, where the smoothed-out variation $\sigma_{\mathsf{SO}}(f)$ can be substantially smaller than the Hardy--Krause variation that governs the classical bound. However, their algorithm requires $n^2$ i.i.d.\ samples as input, and this quadratic blowup is inherent to any method based on the transference principle. In this work, we bypass the quadratic blowup: for any constant $\varepsilon > 0$, we show that $(1+\varepsilon)n$ i.i.d.\ samples suffice to both obtain the beyond-Hardy--Krause guarantee of~\cite{BJ25a}, resolving an open problem posed there, and to produce low-discrepancy point sequences. Our algorithms are variants of the online Haar-thinning method of Dwivedi, Feldheim, Gurel-Gurevich, and Ramdas~\cite{DFG+19}.

cs.DS

Single-Exponential Algorithms and a Polynomial Kernel for Strong Connectivity Augmentation

Strong Connectivity Augmentation (SCA) asks whether a directed acyclic graph can be made strongly connected by adding at most $k$ prescribed links whose total weight is within a given budget. Klinkby, Misra, and Saurabh (SODA 2021) gave an $O^*(2^{O(k\log k)})$-time algorithm and asked whether the problem admits a single-exponential parameterized algorithm and a polynomial kernel. We answer both questions affirmatively: SCA can be solved in $O^*(9^k)$ time and admits a polynomial kernel with $O(k^4)$ vertices and $O(k^{16})$ bits. For unweighted SCA, we obtain $O^*(4^k)$ time and a kernel with $O(k^3)$ vertices. Our algorithms are based on a particularly simple reduction to Strongly Connected Spanning Subgraph with two edge costs.

cs.DS