+=
NodeColoring
SmallBoundedPriorityQueue