в основном там почти всё сводится к т.н. классической "задаче о раскраске графов"
( ну ещё и декомпозиция систем недетерминированных конечных автоматов )
P.S. Там был такой по фамилии Ершов - совсем не "Конёк-Горбунок" , а лучшие в Европе оптимизирующие компиляторы с Алгол-60 ( новосибирская школа как бы , хотя "ленинградская" всё равно была круче )






Спасибо вам парни, подняли настроение с утра, вот и солнышко вышло из-за туч. 
