A few graph color algorithms...