1184
правки
Glk (обсуждение | вклад) (Новая страница: «'''Factor-control-flow-graph''' --- фактор-уграф. Let <math>R</math> be a set of alts of a cf-graph <math>G</math> such that every node of <math>G</math>…») |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 20: | Строка 20: | ||
of some subset <math>Y\subset V(G)</math>. | of some subset <math>Y\subset V(G)</math>. | ||
Then <math>R(G)</math> is defined as cf-graph <math>R'(G)</math>, where <math>R'=R\bigcup \{ \{p\}: p\in V(G)\setminus Y\}</math>. | Then <math>R(G)</math> is defined as cf-graph <math>R'(G)</math>, where <math>R'=R\bigcup \{ \{p\}: p\in V(G)\setminus Y\}</math>. | ||
[[Категория: Сводимые и регуляризуемые графы]] |