-

 

 

 




Optimization Online





 

On Recognizing Staircase Compatibility

Andreas Bärmann(Andreas.Baermann***at***math.uni-erlangen.de)
Patrick Gemander(Patrick.Gemander***at***fau.de)
Alexander Martin(Alexander.Martin***at***fau.de)
Maximilian Merkert(Maximilian.Merkert***at***ovgu.de)

Abstract: For the problem to find an m-clique in an m-partite graph, staircase compatibility has recently been introduced as a polynomial-time solvable special case. It is a property of a graph together with an m-partition of the vertex set and total orders on each subset of the partition. In optimization problems involving m-cliques in m-partite graphs as a subproblem, it allows for totally unimodular linear programming formulations which have shown to efficiently solve problems from different applications. In this work, we address questions concerning the recognizability of this property in the case where the m-partition of the graph is given, but suitable total orders are to be determined. While finding these total orders is NP-hard in general, we give several conditions under which it can be done in polynomial time. For bipartite graphs, we present a polynomial-time algorithm to recognize staircase compatibility, and show that staircase total orders are unique up to a small set of reordering operations. On m-partite graphs, where the recognition problem is NP-complete in the general case, we identify a polynomially solvable subcase and also provide a corresponding algorithm to compute the total orders. Finally, we evaluate the performance of our ordering algorithm for m-partite graphs on a set of artificial instances as well as real-world instances from a railway timetabling application. It turns out that applying the ordering algorithm to the real-world instances and subsequently solving the problem via the aforementioned totally unimodular reformulations indeed outperforms a generic formulation which does not exploit staircase compatibility.

Keywords: Staircase Structure,Clique Problem,Multiple-Choice Constraints,Scheduling

Category 1: Combinatorial Optimization (Graphs and Matroids )

Category 2: Integer Programming (0-1 Programming )

Category 3: Applications -- OR and Management Sciences (Scheduling )

Citation:

Download: [PDF]

Entry Submitted: 11/29/2020
Entry Accepted: 12/01/2020
Entry Last Modified: 11/29/2020

Modify/Update this entry


  Visitors Authors More about us Links
  Subscribe, Unsubscribe
Digest Archive
Search, Browse the Repository

 

Submit
Update
Policies
Coordinator's Board
Classification Scheme
Credits
Give us feedback
Optimization Journals, Sites, Societies
Mathematical Optimization Society