Max-Throughput for (Conservative) k-of-n Testing

We define a variant of $$k$$k-of-$$n$$n testing that we call conservative$$k$$k-of-$$n$$n testing. We present a polynomial-time, combinatorial algorithm for the problem of maximizing throughput of conservative $$k$$k-of-$$n$$n testing, in a parallel setting. This extends previous work of Condon et al. and Kodialam who presented combinatorial algorithms for parallel pipelined filter ordering, which is the special case where $$k=1$$k=1 (or $$k=n$$k=n). We also give a polynomial-time algorithm for maximizing throughput for standard$$k$$k-of-$$n$$n testing, based on the ellipsoid method, using previous techniques.

[1]  Melvin A. Breuer,et al.  An optimum testing algorithm for some symmetric coherent systems , 1984 .

[2]  Ning Wu,et al.  Flow algorithms for two pipelined filter ordering problems , 2006, PODS '06.

[3]  Yosi Ben-Dov Optimal Testing Procedures for Special Structures of Coherent Systems , 1981 .

[4]  L. A. Cox,et al.  Heuristic least-cost computation of discrete classification functions with uncertain argument values , 1990 .

[5]  Tonguç Ünlüyurt,et al.  Sequential testing of complex systems: a review , 2004, Discret. Appl. Math..

[6]  Salam Nassif Salloum Optimal testing algorithms for symmetric coherent systems. , 1979 .

[7]  Robert E. Tarjan,et al.  Planar point location using persistent search trees , 1986, CACM.

[8]  M. R. Garey,et al.  Optimal task sequencing with precedence constraints , 1973, Discrete Mathematics.

[9]  Murali S. Kodialam The Throughput of Sequential Testing , 2001, IPCO.

[10]  Lisa Hellerstein,et al.  Parallel pipelined filter ordering with precedence constraints , 2012, TALG.

[11]  Endre Boros,et al.  Diagnosing double regular systems , 1999, Annals of Mathematics and Artificial Intelligence.

[12]  W. Kent Fuchs,et al.  Optimal Diagnosis Procedures for k-out-of-n Structures , 1990, IEEE Trans. Computers.

[13]  Ning Wu,et al.  Algorithms for distributional and adversarial pipelined filter ordering problems , 2009, TALG.

[14]  Melvin A. Breuer,et al.  Fast optimal diagnosis procedures for k-out-of-n:G systems , 1997 .

[15]  Lisa Hellerstein,et al.  Approximation Algorithms for Stochastic Boolean Function Evaluation and Stochastic Submodular Set Cover , 2013, SODA.

[16]  Hao Yang,et al.  A generic flow algorithm for shared filter ordering problems , 2008, PODS.

[17]  Haim Kaplan,et al.  Learning with attribute costs , 2005, STOC '05.