A Certifying Algorithm for 3-Colorability of P5-Free Graphs

  • Authors:
  • Daniel Bruce;Chính T. Hoàng;Joe Sawada

  • Affiliations:
  • Computing and Information Science, University of Guelph, Canada;Physics and Computer Science, Wilfred Laurier University, Research supported by NSERC, Canada;Computing and Information Science, University of Guelph, Canada, Research supported by NSERC,

  • Venue:
  • ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

We provide a certifying algorithm for the problem of deciding whether a P 5-free graph is 3-colorable by showing there are exactly six finite graphs that are P 5-free and not 3-colorable and minimal with respect to this property.