Пометка

Пометка (Mark) — число, символ, слово в некотором алфавите, вектор и т.п., приписанные вершине (или ребру/дуге) графа и играющие различительную (идентифицирующую) роль. Разметка или приписывание пометок есть отображение вида [math]\displaystyle{ \varphi: \, V(G) \rightarrow L }[/math], где [math]\displaystyle{ \,L }[/math] — множество меток. В отличие от нумерации здесь не требуется взаимной однозначности.

См. также

• Помеченный граф,
• Сеть Петри.

Литература

• Касьянов В.Н. Оптимизирующие преобразования программ. — М.: Наука, 1988.

• Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. — М.: Наука, 1990.