If the set of outgoing edges of s0

If the set of outgoing edges of s0 is not a bunch, let (s0, b0, q0) be a
blue edge going out of s0 with q0 6= r. If q0 does not belong to T , we get an
equivalent automaton satisfying Condition (*) by flipping (s0, b0, q0) and the
red edge going out of s0. If q0 belongs to T , we flip (s0, b0, q0) and the red
edge going out of s0. We also flip (t, b1, p1) and the red edge going out of t if
q0 is not a descendant of s1, or (t, b2, p2) and the red edge going out of t in
the opposite case. Note that s0 6= t since the height of T0 is equal to the non
null height of T . We get an equivalent automaton satisfying Condition (*)
(see the right part of Figure 6).
We now treat the case of ρ = 1. As before we denote by T0 the tree
rooted at r obtained if we flip (t, b1, p1) and the red edge going out of t and
keep only r and the subtree rooted at the child s0. If the height of T0 is
greater than the height of T , we do the flip and the equivalent automaton
satisfies Condition (*). If the height of T0 is less than the height of T , we
do not flip the edge (t, b1, p1) and the red edge going out of t, and return
the automaton together with the edge (t, b1, p1). We now come to the case
where the height of T0 is equal to the height of T . If the sets of outgoing
edges of s0 and s1 are bunches, there is a trivial stable pair (s0, s1). If the
set of outgoing edges of s0 is a bunch and the set of outgoing edges of s1 are
not a bunch (see the left part of Figure 7), we flip the edge (t, b1, p1) and
the red edge going out of t. We then call the procedure FlipEdges(A, r)
with this new red cycle. The root r has now a unique child (s1) ancestor
of maximal state whose set of outgoing edges is a bunch (see the right part
of Figure 7). This call is thus performed at most one time. Finally, if s0
is a not a bunch, let (s0, b0, q0) be a blue edge with q0 6= r. If q0 does
not belong to T we flip the edge (s0, b0, q0) and the red edge going out of
s0. The equivalent automaton satisfies Condition (*). It q0 belongs to T
and is not a descendant of s1, we flip the edge (t, b1, p1) and the red edge
going out of t and we flip the edge (s0, b0, q0) and the red edge going out
of s0. The equivalent automaton satisfies Condition (*). If q0 belongs to T
and is a descendant of s1, we return the automaton together with the edge
(s0, b0, q0).
The previous sequence of flips is described below in the pseudocode
FlipEdges. The value of previous[r, p] is the pair (s0, s1), where s0 is
previous[r], i.e. the predecessor of r on its red cycle, and s1 is the child of r
which is an ancestor of p. When all states ti are equal to a same state t, the
code is split into to procedures, FlipEdgesChild and FlipEdgesChildren
corresponding respectively the case of ρ = 1 and the case of ρ > 1

Результаты (русский) 1:

Если набор исходящих края s0 не кучу, пусть (s0, b0, q0) бытьсиний край собирается из s0 с q0 6 = r. Если T не принадлежит q0, получиманалог автомата, удовлетворяющих условию (*), пролистывая (s0, b0, q0) икрасный край, идя из s0. Если q0 принадлежит T, мы флип (s0, b0, q0) и красныйкрай собирается из s0. Мы также перевернуть (t, b1, p1) и красный край, идя из t, еслиQ0 не является потомком s1, или (t, b2, p2) и красный край, идя из т впротивоположный случай. Обратите внимание, что s0 6 = t, так как высота T0 равна nonNULL высота T. Мы получаем аналог автомата, удовлетворяющих условию (*)(см. в правой части рис. 6).Мы сейчас рассматривать случай ρ = 1. Как и прежде мы обозначим, T0 деревокорнем r, если мы флип (t, b1, p1) и красный край, идя из t иДержите только r и поддерево с корнем в s0 ребенка. Если высота T0больше, чем высота t, мы делаем сальто и эквивалентные автоматаудовлетворяет условию (*). Если высота T0 меньше, чем высота T, мыне флип краем (t, b1, p1) и красный край, идя из t и возвратаавтомат вместе с краю (t, b1, p1). Теперь мы переходим к делугде высота T0 равна высоте T. Если наборы исходящихкрая s0 и s1, пучки, есть пару тривиальных стабильной (s0, s1). Еслинабор исходящих края s0 куча и набор исходящих края s1не куча (см. в левой части рис. 7), мы перевернуть Эдж (t, b1, p1) икрасный край, идя из t. Мы, а затем вызвать процедуру FlipEdges (A, r)с этой новой красной циклом. Корень r имеет теперь предок уникальный ребенок (s1)Максимальная государства, чьи набор исходящих края является кучей (см. правую частьРисунок 7). Таким образом, этот вызов выполняется в большинстве один раз. Наконец если s0Это не куча, пусть (s0, b0, q0) быть синий край с q0 6 = r. Если q0не принадлежат к T, мы перевернуть Эдж (s0, b0, q0) и красный край, идя изS0. Эквивалентные автомат удовлетворяет условию (*). Это q0 принадлежит Tи не является потомком S1, мы перевернуть Эдж (t, b1, p1) и красный крайидя из t и мы перевернуть Эдж (s0, b0, q0) и красный край, выходитьиз s0. Эквивалентные автомат удовлетворяет условию (*). Если q0 принадлежит Tи является потомком s1, мы вернемся автомата совместно с краю(s0, b0, q0).Предыдущая последовательность отражения описан ниже в псевдокодеFlipEdges. Значение предыдущего [r, p] является пара (s0, s1), где s0Предыдущая [r], то есть предшественник r на его красный цикла и s1 — ребёнок rкоторый является предком p. Когда ti все государства равны же состояние t,код делится на процедуры, FlipEdgesChild и FlipEdgesChildrenсоответственно в случае ρ = 1 и в случае ρ > 1

Результаты (русский) 2:

Если набор исходящих ребер s0, не куча, пусть (s0, b0, q0) будет
синий ребро, выходящее из S0 с q0 6 = R. Если q0 не принадлежит Т, мы получаем
эквивалентную автомат, удовлетворяющее условию (*), щелкая (S0, B0, q0) и
красный край, выходящих из s0. Если q0 принадлежит Т, перевернуть (s0, b0, q0) и красный
ребро, выходящее из S0. Мы также флип (т, В1, Р1), а красный край выходит из Т, если
q0 не является потомком s1, или (т, В2, P2) и красной границы выходить из т в
противном случае. Следует отметить, что s0 6 = Т, так как высота равна Т0 на не
высоте нулевой Т. Мы получим эквивалентную автомат, удовлетворяющих условию (*)
(смотри правую часть рис 6).
Теперь мы рассмотрим случай ρ = 1. Как и раньше, обозначим через T0 дерева
с корнем в R получается, если перевернуть (т, В1, P1) и красный край выходит из Т и
сохранить только г и поддерево с корнем в детской s0. Если высота Т0
больше, чем высота Т, мы делаем сальто и эквивалент автомат
удовлетворяет условию (*). Если высота T0 меньше высоты Т,
не перевернуть край (т, В1, Р1) и красный край выходит из т и возвращают
автомат вместе с краем (т, В1, Р1) , Перейдем теперь к случаю,
когда высота T0 равна высоте T. Если множества исходящих
ребер S0 и S1 являются пучки, то есть тривиальное стабильной пары (S0, S1). Если
набор исходящих ребер S0 является связка и множество исходящих ребер S1 проходят
не куча (см левую часть рис 7), мы перевернуть край (т, b1, Р1) и
красную ребро, выходящее из Т. Затем мы вызываем процедуру FlipEdges (, R)
с этой новой красной цикла. Корень г имеет сейчас уникальный ребенок (S1) предка
максимального состоянии, множество исходящих ребер куча (см правую часть
рисунка 7). Этот вызов таким образом, выполняется не более одного времени. Наконец, если s0
является не связка, пусть (s0, b0, q0) будет синий край с q0 6 = R. Если q0 ли
не относятся к T мы перевернуть край (s0, b0, q0) и красный край, выходящих из
s0. Эквивалентно автомат удовлетворяет условию (*). Это q0 принадлежит Т
и не потомок s1, мы перевернуть край (т, b1, Р1) и красный край
, выходящих из т, и мы перевернуть край (s0, b0, q0) и красный край, выходящего
из S0. Эквивалентно автомат удовлетворяет условию (*). Если q0 принадлежит Т
и потомок s1, мы возвращаемся автомат вместе с краем
(s0, b0, q0).
предыдущий последовательность бросков описано ниже в псевдокоде
FlipEdges. Значение предыдущего [R, р] пара (S0, S1), где s0 является
предыдущая [г], то есть предшественник г на своем красном цикла, а s1 является ребенок R
, который является предком р. Когда все государства ти равны одному и тому же государственной т,
код разделен на процедурам, FlipEdgesChild и FlipEdgesChildren
соответствующих соответственно случай ρ = 1 и случай ρ> 1

Результаты (русский) 3:

Если набор исходящих края s0 это не на Банч, позвольте (S0, b0 q0) a
синий кромка из s0 с q0 6= r. Если q0 не принадлежит T , то можно получить
эквивалент автоматов удовлетворяет состояние ( * ) зеркальное отражение (S0, b0 q0) и
красного края из s0. Если q0 принадлежит к T , мы flip (S0, b0 q0) и красная
кромка из сна S0. Мы также flip (t, b1, p1) и красного края из t если
Q0 не является производной от s1, или (t, b2, p2) и красного края из t в
в противоположном случае. Обратите внимание на то, что s0 6= t поскольку высота T0 равно не
null высота T . Мы получить эквивалент автоматов удовлетворяет состояние ( * )
(см. правую части рис. 6) .
мы теперь относиться к делу принцип локальности = 1. Как и прежде, мы обозначения на T0 дерево
уходит корнями в r получены, если мы flip (t, b1P1) и красного края из t и
оставьте только r и поддерево корни на ребенка s0. Если высота T0 -
больше, чем высота T , мы флипа и аналогичных автоматов
удовлетворяет состояние ( * ). Если высота T0 меньше, чем высота T , мы
не flip края (t, b1, p1) и красного края из t, и возвращение
автоматная вместе с краем (t, b1, p1).Теперь мы переходим к делу
где высоты T0 равна высоте T . Если исходящий
края s0 и S1, пигментация, тривиальные стабильные пары (S0, S1). Если
набор исходящих края s0 - a Bunch и набора исходящих края s1 являются
не Банч (см. левую часть см. рис. 7), мы flip края (t, b1, p1) и
красного края из t.Затем мы вызов процедуры FlipEdges(A, r)
с этой новой красный цикла. Корневой r в настоящее время является уникальной ребенка (s1) предок
максимального государство, набор исходящих края является Банч (см. в правой части
рис. 7). Этот призыв является таким образом выполнена на большинстве один раз. И наконец, если s0
- это не на Банч, позвольте (S0, b0 q0) быть синим краем с q0 6= r. Если q0 не
не принадлежат к T мы flip края (S0, b0Q0) и красным краем из
s0. Эквивалент автоматов удовлетворяет состояние ( * ). В Q0 принадлежит к T
и, по сути, не является производной от s1, мы flip края (t, b1, p1) и красным краем
из t и мы flip края (S0, b0 q0) и красным краем,
от s0. Эквивалент автоматов удовлетворяет состояние ( * ). Если q0 принадлежит к T
и является производной от s1,Мы вернуть автоматов вместе с краем
(S0, b0 q0) .
предыдущей последовательности сметает описывается ниже в используя псевдокод
FlipEdges. Значение предыдущего[r, p] - это пара (S0, S1), где s0 -
предыдущих[r], т.е. предшественника r на его красного цикла, и S1 является ребенком r
которых является прародителем п. Когда все государства ti равны в одной и той же государство-t,
код разделяется на процедуры,FlipEdgesChild и FlipEdgesChildren
соответствующий случае принцип локальности = 1 и в случае принцип локальности > 1