Exact algorithms for coloring graphs while avoiding monochromatic cycles

  • Authors:
  • Fabrice Talla Nobibon;Cor Hurkens;Roel Leus;Frits C. R. Spieksma

  • Affiliations:
  • University of Leuven, Operations Research Group, Leuven, Belgium;Eindhoven University of Technology, Department of Mathematics and Computer Science, Eindhoven, The Netherlands;University of Leuven, Operations Research Group, Leuven, Belgium;University of Leuven, Operations Research Group, Leuven, Belgium

  • Venue:
  • AAIM'10 Proceedings of the 6th international conference on Algorithmic aspects in information and management
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the problem of deciding whether a given directed graph can be vertex partitioned into two acyclic subgraphs. Applications of this problem include testing rationality of collective consumption behavior, a subject in micro-economics. We identify classes of directed graphs for which the problem is easy and prove that the existence of a constant factor approximation algorithm is unlikely for an optimization version which maximizes the number of vertices that can be colored using two colors while avoiding monochromatic cycles. We present three exact algorithms, namely an integer-programming algorithm We on cycle identification, a backtracking algorithm, and a branch-and-check algorithm. We compare these three algorithms both on real-life instances and on randomly generated graphs.We find that for the latter set of graphs, every algorithm solves instances of considerable size within few seconds; however, the CPU time of the integer-programming algorithm increases with the number of vertices in the graph while that of the two other procedures does not. For every algorithm, we also study empirically the transition from a high to a low probability of YES answer as function of a parameter of the problem. For real-life instances, the integer-programming algorithm fails to solve the largest instance after one hour while the other two algorithms solve it in about ten minutes.