999
правок
Иерархический граф: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 10: | Строка 10: | ||
<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>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>C_1</math> и <math>C_2</math> не пересекаются, либо один из | либо фрагменты <math>C_1</math> и <math>C_2</math> не пересекаются, либо один из | ||
них является частью ( подфрагментом) ( subfragment) другого. Фрагмент | них является частью ( ''подфрагментом'') ( ''subfragment'') другого. Фрагмент | ||
<math>G</math> --- [[Основной фрагмент|''основной'']] (''[[Main fragment|main]]'') фрагмент иерархии | <math>G</math> --- [[Основной фрагмент|''основной'']] (''[[Main fragment|main]]'') фрагмент иерархии | ||
<math>F</math>. Фрагмент <math>C \in F</math> --- [[Элементарный фрагмент|''элементарный'']] ([[Simple fragment|simple]]), если в <math>F</math> | <math>F</math>. Фрагмент <math>C \in F</math> --- [[Элементарный фрагмент|''элементарный'']] ([[Simple fragment|simple]]), если в <math>F</math> | ||
| Строка 16: | Строка 16: | ||
Пусть задана некоторая иерархия фрагментов <math>F</math> графа <math>G</math>. | Пусть задана некоторая иерархия фрагментов <math>F</math> графа <math>G</math>. | ||
Для любых <math>C_1, C_2 \in F</math> фрагмент <math>C_1</math> --- [[прямой подфрагмент]] ([[immediate subfragment]]) <math>C_2</math> (или, что то же самое, фрагмент, [[непосредственно вложенный]] (immediately included) в <math>C_2</math>),если <math>C_1</math> --- подфрагмент <math>C_2</math> и не существует такого | Для любых <math>C_1, C_2 \in F</math> фрагмент <math>C_1</math> --- [[прямой подфрагмент|''прямой подфрагмент'']] ([[immediate subfragment|''immediate subfragment'']]) <math>C_2</math> (или, что то же самое, фрагмент, [[непосредственно вложенный]] (immediately included) в <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>. | ||
| Строка 29: | Строка 29: | ||
максимальное поддерево дерева <math>T</math> с корнем <math>p</math>, а через <math>G(p)</math> | максимальное поддерево дерева <math>T</math> с корнем <math>p</math>, а через <math>G(p)</math> | ||
--- фрагмент основного графа <math>G</math>, соответствующий <math>p</math>. | --- фрагмент основного графа <math>G</math>, соответствующий <math>p</math>. | ||
Иерархический граф <math>H (p) = (G(p), T(p))</math> называется [[Иерархический подграф|иерархическим подграфом]] (''[[hierarchical subgraph]]'') графа | Иерархический граф <math>H (p) = (G(p), T(p))</math> называется [[Иерархический подграф|''иерархическим подграфом'']] (''[[hierarchical subgraph]]'') графа | ||
<math>H</math>, ассоциированным с вершиной | <math>H</math>, ассоциированным с вершиной | ||
<math>p</math>. | <math>p</math>. | ||
| Строка 44: | Строка 44: | ||
образуют такие <math>H = (G,T)</math>, | образуют такие <math>H = (G,T)</math>, | ||
что каждая вершина дерева вложенности <math>T</math> соответствует | что каждая вершина дерева вложенности <math>T</math> соответствует | ||
некоторому порожденному подграфу (induced subgraph) основного графа <math>G</math>. Такие графы будем называть ''[[Простой иерархический граф|простыми]]'' (''[[Simple hierarchical graph|simple]]'') иерархическими графами. Поскольку подграфы однозначно определяются множествами своих вершин, | некоторому порожденному подграфу (induced subgraph) основного графа <math>G</math>. Такие графы будем называть ''[[Простой иерархический граф|простыми]]'' (''[[Simple hierarchical graph|simple]]'') иерархическими графами. Поскольку порожденные подграфы однозначно определяются множествами своих вершин, | ||
есть возможность определять простой иерархический граф <math>H</math> | есть возможность определять простой иерархический граф <math>H</math> | ||
как пару <math>(G,T)</math>, состоящую из основного графа <math>G</math> и | как пару <math>(G,T)</math>, состоящую из основного графа <math>G</math> и | ||