Аноним

Connected to relation: различия между версиями

Материал из WEGA
нет описания правки
(Новая страница: «'''Connected to relation''' --- отношение связности ''к'', (достижимость) в гиперграфе. The relation '''connected to''', …»)
 
Нет описания правки
 
Строка 1: Строка 1:
'''Connected to relation''' --- отношение связности ''к'', (достижимость) в гиперграфе.  
'''Connected to relation''' — ''[[отношение связности ''к'']], [[(достижимость) в гиперграфе]].''


The relation '''connected to''', which is denoted by the symbol
The relation '''connected to''', which is denoted by the symbol
<math>\succ</math>, is defined for a given subset <math>R</math> of nodes and a node <math>y</math>;
<math>\succ</math>, is defined for a given subset <math>\,R</math> of nodes and a [[node]] <math>\,y</math>;
we say that <math>R</math> is '''connected to''' <math>y</math> and write <math>R \succ y</math> if and only if a ''directed hyperpath'' exsists in a hypergraph from <math>R</math>
we say that <math>\,R</math> is '''connected to''' <math>\,y</math> and write <math>R \succ y</math> if and only if a ''[[directed hyperpath]]'' exsists in a [[hypergraph]] from <math>\,R</math>
to the node <math>y</math>.
to the node <math>\,y</math>.


It is easy to check that the relation <math>\succ</math> satisfies the following set of
It is easy to check that the relation <math>\succ</math> satisfies the following set of
Строка 16: Строка 16:
(3) <math>R \succ y, \; \forall y \in Y,\mbox{ and }Y \succ z \Rightarrow
(3) <math>R \succ y, \; \forall y \in Y,\mbox{ and }Y \succ z \Rightarrow
R \succ z</math> (transitivity).
R \succ z</math> (transitivity).
==Литература==
* Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.