Аноним

Factor-control-flow-graph: различия между версиями

Материал из WEGA
нет описания правки
(Новая страница: «'''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>…»)
 
Нет описания правки
 
Строка 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>.
[[Категория: Сводимые и регуляризуемые графы]]