Thanks for the suggestions! I've marked them in my notes. Graph coloring algorithms seems like a no-brainer and I really like the idea of state machines. Cheers