The minimax problem is a new optimization problem which substitutes maximum for addition in the constraint inequalities of a linear program. We show how a problem with n variables and m constraints can be reduced to a set cover problem with nm variables and m constraints. We define the mountain property on the coefficients in each column of the constraint matrix of a minimax problem and its generalization—the bitonic property. It is shown that these are equivalent, respectively, to set cover problems with consecutive 1's in each column or circular 1's in each column thus solving the periodic scheduling problem. We present a shortest path algorithm to solve a minimax problem with the mountain property in time O(mn + log m). For bitonic matrix problems, we present an algorithm of complexity O(m2(n + log n)). The same algorithms are used to solve a set cover problem on v sets and r elements to be covered in O(v + r log r) for a problem with consecutive 1's in each column and in O(v(v + r log r)) for a problem with circular 1's in each column. We further establish that r is at least \documentclass{article}\pagestyle{empty} \begin{document}$\Omega(\sqrt{v})$\end{document} and at most O(v). We also provide an efficient algorithm for recognizing bitonic matrices in O(mn log m) time. © 2002 Wiley Periodicals, Inc.
[1]
D. R. Fulkerson,et al.
Incidence matrices and interval graphs
,
1965
.
[2]
A. Tucker,et al.
A structure theorem for the consecutive 1's property☆
,
1972
.
[3]
Robert E. Tarjan,et al.
Algorithmic Aspects of Vertex Elimination on Graphs
,
1976,
SIAM J. Comput..
[4]
Kellogg S. Booth,et al.
Testing for the Consecutive Ones Property, Interval Graphs, and Graph Planarity Using PQ-Tree Algorithms
,
1976,
J. Comput. Syst. Sci..
[5]
James B. Orlin,et al.
Cyclic Scheduling via Integer Programs with Circular Ones
,
1980,
Oper. Res..
[6]
J. Mark Keil.
Finding Hamiltonian Circuits in Interval Graphs
,
1985,
Inf. Process. Lett..
[7]
Martin Charles Golumbic.
Interval graphs and related topics
,
1985,
Discret. Math..
[8]
Ronald L. Rivest,et al.
Introduction to Algorithms
,
1990
.
[9]
C. Pandu Rangan,et al.
Generalized Vertex Covering in Interval Graphs
,
1992,
Discret. Appl. Math..
[10]
Yudong Huang.
Software dependability measurement during testing
,
1995
.
[11]
Hong Zhu,et al.
Software unit test coverage and adequacy
,
1997,
ACM Comput. Surv..