999
правок
Иерархический граф: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 4: | Строка 4: | ||
например: <math>G</math> | например: <math>G</math> | ||
может быть [[Обыкновенный граф|обыкновенным графом]], [[Орграф|орграфом]] (ориентированным графом), | может быть [[Обыкновенный граф|обыкновенным графом]], [[Орграф|орграфом]] (ориентированным графом), | ||
[[Мультиграф|мультиграфом]] | [[Мультиграф|мультиграфом]] или [[Гиперграф|гиперграфом]]. | ||
Граф <math>C</math> называется ''[[Фрагмент|фрагментом]]'' ([[Fragment|''fragment'')]] графа <math>G</math>, обозначаем | Граф <math>C</math> называется ''[[Фрагмент|фрагментом]]'' ([[Fragment|''fragment'')]] графа <math>G</math>, обозначаем <math>C\subseteq G</math>, если <math>C</math> --- [[Часть графа|часть]] графа <math>G</math>, т. е. <math>C</math> образован подмножеством элементов графа <math>G</math>. | ||
<math>C\subseteq G</math>, если <math>C</math> --- [[Часть графа|часть]] графа <math>G</math>, т. е. <math>C</math> образован подмножеством элементов графа <math>G</math>. | |||
<math>F</math> --- [[Иерархия фрагментов|''иерархия фрагментов'']] ([[Hierarchy of nested fragments|''hierarchy of nested fragments'']]) | <math>F</math> --- [[Иерархия фрагментов|''иерархия фрагментов'']] ([[Hierarchy of nested fragments|''hierarchy of nested fragments'']]) графа <math>G</math>, если <math>F</math> --- такое множество фрагментов графа <math>C</math>, что <math>G\in F</math> и для любых двух фрагментов <math>C_1</math> и <math>C_2</math> из <math>F</math> | ||
графа <math>G</math>, если <math>F</math> --- такое множество фрагментов графа <math>C</math>, что | |||
<math>G\in F</math> и для любых двух фрагментов <math>C_1</math> и <math>C_2</math> из <math>F</math> | |||
либо фрагменты <math>C_1</math> и <math>C_2</math> не пересекаются, либо один из | либо фрагменты <math>C_1</math> и <math>C_2</math> не пересекаются, либо один из | ||
них является частью ( подфрагментом) ( subfragment) другого. Фрагмент | них является частью ( подфрагментом) ( subfragment) другого. Фрагмент | ||
| Строка 18: | Строка 15: | ||
нет фрагментов <math>G</math>, являющихся подфрагментами фрагмента <math>C</math>. | нет фрагментов <math>G</math>, являющихся подфрагментами фрагмента <math>C</math>. | ||
Пусть задана некоторая иерархия фрагментов | Пусть задана некоторая иерархия фрагментов <math>F</math> графа <math>G</math>. | ||
<math>F</math> графа <math>G</math>. | |||
Для любых <math>C_1, C_2 \in F</math> фрагмент <math>C_1</math> --- [[Прямой подфрагмент|прямой | Для любых <math>C_1, C_2 \in F</math> фрагмент <math>C_1</math> --- [[Прямой подфрагмент|прямой | ||
подфрагмент]] ([[ | подфрагмент]] ([[immediate subfragment]]) <math>C_2</math> (или, что то же самое, фрагмент, непосредственно вложенный в <math>C_2</math>),если <math>C_1</math> --- подфрагмент <math>C_2</math> и не существует такого | ||
<math>C_3 \in F</math>, отличного от <math>C_1</math> и <math>C_2</math>,что | <math>C_3 \in F</math>, отличного от <math>C_1</math> и <math>C_2</math>,что | ||
<math>C_1\subseteq C_3\subseteq C_2</math>. | <math>C_1\subseteq C_3\subseteq C_2</math>. | ||