Сапунов, С.В.; Пилипенко, В.Ю.
(Искусственный интеллект, 2013)
Рассматривается задача различения вершин помеченного графа по ассоциированным с ними языкам в
алфавите меток. Показано, что верхняя оценка длины слова, различающего две вершины графа,
детерминированного по разметке ...