A Polynomial-Time Approximation Scheme for Sequential Batch Testing of Series Systems

Abstract

We study a recently-introduced generalization of the classic sequential testing problem for series systems, consisting of multiple stochastic components. The conventional assumption in such settings is that the overall system state can be expressed as a boolean function, defined with respect to the states of individual components. However, unlike the classic setting, rather than testing components separately, one after the other, we allow aggregating multiple tests to be conducted simultaneously, while incurring an additional set-up cost. This feature is present in many practical applications, where decision-makers are incentivized to exploit economy of scale by testing subsets of components in batches. The main contribution of this paper is to devise a polynomial-time approximation scheme (PTAS) for the sequential batch testing problem, thereby significantly improving on the constant-factor performance guarantee of 6.829 eps due to Daldal et al. [Naval Research Logistics, 63(4):275-286, 2016]. Our approach is based on developing and leveraging a number of innovative techniques in approximate dynamic programming, based on a synthesis of ideas related to efficient enumeration methods, state-space collapse, and charging schemes. These theoretical findings are complemented by extensive computational experiments, where we demonstrate the practical advantages of our methods.