Optimizing over Consecutive 1's and Circular 1's Constraints

We consider packing and covering optimization problems over constraints in consecutive and circular 1's. Such problems arise in the context of shift scheduling, and in problems related to interval graphs. Previous approaches to this problem depended on solving several minimum cost network flow problems. We devise here substantially more efficient and strongly polynomial algorithms based on parametric shortest paths approaches. The objective function in the covering and packing problems is to either minimize or maximize the number of sets that satisfy the constraints. The various problems studied are classified according to whether the constraints are all consecutive 1's or if there are also circular 1's constraints, and according to whether the constraints are all of covering type; all of packing type, or mixed. The running time of our algorithm for a pure covering all consecutive 1's constraints problem on $n$ variables and $m$ constraints is $O(m+n)$. For the pure packing problem with consecutive 1's constraints we present an $O(m+n\log n)$ time algorithm. For the "mixed" case with both covering and packing consecutive 1's constraints we present an $O(mn)$ time algorithm. An $O(mn+n^2\log n)$-time algorithm is presented for the case where the constraints are circular (consecutive 1's constraint is also circular) of pure type---either all covering constraints or all packing constraints. Finally, we show an $O(n \min \{ mn,n^2\log n+m\log^2 n\})$ time algorithm for the most general problem of mixed covering and packing case where the constraints are circular. All our algorithms are strongly polynomial and improve on the nonstrongly polynomial parametric minimum cost network flow or the (strongly polynomial) linear programming known approaches.

[1]  Esther M. Arkin,et al.  Scheduling jobs with fixed start and end times , 1987, Discret. Appl. Math..

[2]  Richard M. Karp,et al.  Parametric shortest path algorithms with an application to cyclic staffing , 1981, Discret. Appl. Math..

[3]  Kellogg S. Booth PQ-tree algorithms. , 1975 .

[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]  Rahul Shah,et al.  Undiscretized dynamic programming: faster algorithms for facility location and related problems on trees , 2002, SODA '02.

[6]  Richard Cole,et al.  Slowing down sorting networks to obtain faster sorting algorithms , 2015, JACM.

[7]  Nimrod Megiddo,et al.  Applying parallel computation algorithms in the design of serial algorithms , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).

[8]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[9]  James B. Orlin,et al.  Cyclic Scheduling via Integer Programs with Circular Ones , 1980, Oper. Res..

[10]  Dorit S. Hochbaum,et al.  Cyclical scheduling and multi-shift scheduling: Complexity and approximation algorithms , 2006, Discret. Optim..

[11]  R. Möhring Algorithmic graph theory and perfect graphs , 1986 .

[12]  Joseph Naor,et al.  Simple and Fast Algorithms for Linear and Integer Programs With Two Variables per Inequality , 1994, SIAM J. Comput..

[13]  M. Segal,et al.  The Operator-Scheduling Problem: A Network-Flow Approach , 1974, Oper. Res..

[14]  James B. Orlin,et al.  A faster strongly polynomial minimum cost flow algorithm , 1993, STOC '88.

[15]  Éva Tardos,et al.  A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs , 1986, Oper. Res..

[16]  Andrew V. Goldberg,et al.  A new approach to the maximum flow problem , 1986, STOC '86.

[17]  Donald B. Johnson,et al.  Efficient Algorithms for Shortest Paths in Sparse Networks , 1977, J. ACM.

[18]  Robert E. Tarjan,et al.  Faster parametric shortest path and minimum-balance algorithms , 1991, Networks.