9.2. Отношение (Д-)проекции-прообраза между деревьями

Пусть имеются два дерева T⚪ = <ND⚪, A⚪> и T◎ = <ND◎, A◎> такие, что

1. ND⚪ ⊆ ND◎ (множество ND⚪ вершин одного дерева является подмножеством ND◎ вершин другого)
2. если (ndb, nde) - дуга T⚪, то в T◎ существует путь (ndb, .. , nde) между концами этой дуги
3. если nd0 - ближайшая общая вершина для nd1 .. ndN дерева T⚪, то она является таковой для них и в T◎

Тогда T⚪ называется (Д-)проекцией T◎, а оно в свою очередь (Д-)прообразом T⚪:

T⚪ ⊴ T◎ либо T◎ ⊵ T⚪

█

Замечание 9.1

Свойство, обратное 3-му условию, то есть сохранение в Д-проекции отношения к ближайшей общей вершине, верно при условии существования в ней всех вершин, исходно образующих это отношение.

Замечание 9.2

Такое определение Д-проекции основано на том взгляде, согласно которому отношение смежности между вершинами дерева разбиения любой системы ВС могут пониматься не только как "непосредственное следование", но и как просто "следование" между теми же вершинами, но уже некоторой надсистемы.

Назад Вперёд