Batch scheduling of conflicting jobs is modeled by batch coloring of a graph. Given an undirected graph and the number of colors required by each vertex, we need to find a proper batch coloring of the graph, i.e., partition the vertices to batches which are independent sets, and to assign to each batch a contiguous set of colors, whose size equals to the maximum color requirement of any vertex ...
