Разметка графа: различия между версиями

'''Разметка графа''' (''[[Graph labeling]], [[Marking]]'') — приписывание элементам графа так называемых ''[[метка|меток]]'' (или ''[[пометка|пометок]]''), в качестве которых обычно используются числа или слова. ''[[Разметка вершин]]'' — функция, сопоставляющая пометки с [[вершина|вершинами]] [[граф|графа]], а ''[[разметка дуг]]'' — с [[дуга|дугами]] графа.

Граф называется помеченным, если он снабжен хотя бы одной из этих разметок. В отличие от [[нумерация вершин|''нумерации'' вершин]] разметка может приписывать одну и ту же метку нескольким вершинам, разбивая их на классы одинаково помеченных.

* ''[[Раскраска]],''

* ''[[Задача анализа свойств состояний]],''

* ''[[Конечный автомат]],''

* ''[[Сеть Петри]],''

* ''[[Укладка графа]].''

* Евстигнеев В.А. Применение теории графов в программировании. — М.: Наука, 1985.

* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.

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