языки в алфавите меток вершин

Об оценке длины слова, различающего две вершины помеченного неорграфа

Рассматривается задача различения вершин помеченного неорграфа по ассоциированным с ними языкам в алфавите меток. Показано, что верхняя оценка длины слова, различающего две вершины графа, равна половине от числа его вершин.