О ветвлении и непосредственных предшественниках состояний в конечной динамической системе всех возможных ориентаций графа

Подсчитывается ветвление и определяются непосредственные предшественники состояний в конечной динамической системе, состояниями которой являются все возможные ориентации данного графа, а эволюционная функция задаётся следующим образом: динамическим образом данного орграфа является орграф, полученный из исходного путём переориентации всех дуг, входящих в стоки, других отличий между исходным орграфом и его образом нет. Определяется также свойство недостижимости состояния в данной динамической системе.