A. N. Trahtman The road coloring problem http://arxiv.org/abs/0709.0099 2007 CoRR abs/0709.0099 db/journals/corr/corr0709.html#abs-0709-0099 informal publication