Fractional Chromatic Numb
Fractional Chromatic Numbers from Exact Decision Diagrams
Fractional Chromatic Numbers from Exact Decision Diagrams
Recently, Van Hoeve proposed an algorithm for graph coloring based on an integer flow formulation on decision diagrams for stable sets. We prove that the solution to the linear flow relaxation on exact decision diagrams determines the fractional chromatic number of a graph. This settles the question…