Графи з поміченими вершинами є однією з основних моделей у розгляді проблем, пов’язаних з аналізом оперативного середовища та агентами, що рухаються по ньому, а також проблем, пов’язаних з перевіркою програм. Задача ...