Efficient Approximation Algorithms for Domatic Partition and on-line Coloring of Circular Arc Graphs