Просмотр кода страницы Укладка уграфа

'''Укладка уграфа''' (''[[Node listing]]'', ''[[Node seguence]]'') — отображение <math>\,F</math> множества целых чисел
<math>\{i : 1 \leq i \leq k\}</math> на множество [[вершина|вершин]] <math>\,V</math> [[уграф|уграфа]] <math>\,G</math>; <math>\,k</math> называется ''длиной'' укладки.

Укладка уграфа <math>\,G</math> длины <math>\mid V \mid</math> называется его ''обходом'';
обход представляет собой последовательность вершин [[граф|графа]], перечисленных в порядке возрастания их номеров в некоторой ''[[нумерация вершин|нумерации вершин]]'' графа.

Укладка <math>\,F</math> называется ''[[Сильная укладка графа|сильной]]'', если любой [[простой путь]] <math>\,P</math>
по <math>\,G</math> является ее подпоследовательностью, т.е.

:::::<math>P=(F(i_1),F(i_2), \ldots,F(i_s))</math> 

для некоторых
<math>1\leq i_1 < i_2 < \ldots < i_s \leq k</math>.

Укладка <math>\,F</math> называется ''[[Слабая укладка графа|слабой]]'', если любой ''[[Несокращаемый путь|несокращаемый ]]'' путь по <math>\,G</math> является ее подпоследовательностью.

==См. также ==
* ''[[Базисная нумерация]],''
* ''[[K-Нумерация|<math>K</math>-нумерация]],''
* ''[[L-Нумерация|<math>L</math>-нумерация]],''
* ''[[M-Нумерация|<math>M</math>-нумерация]],''
* ''[[T-Нумерация|<math>T</math>-нумерация]],''
* ''[[Обход графа]],''
* ''[[Правильная нумерация]],''
* ''[[Разумная нумерация]],''
* ''[[Топологическая сортировка]].''
==Литература==
* Евстигнеев В.А., Касьянов В.Н. Теория графов: алгоритмы обработки деревьев. — Новосибирск: Наука. Сиб. отд-ние, 1994.

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


[[Категория:Потоковый анализ программ]]