Page 60 - 4387

Оскільки ≠ , то збільшуємо r на 1 і знову переходимо до
1
2
1 1
кроку 2.
Крок 2. r=1.

Зворотній пошук (використовуємо співвідношення (7.6)):

d 3 4 , 1 = d 2 4 , 1 = (− , 1 ∞ ,∞ ),

d 3 3 , 1 = (d 3 4 , 1 ⊗ L 3 , 4 ) ⊕ d 2 3 , 1 = (( − ,1 ∞, ∞) ⊗ ,2( ∞, ∞)) ⊕ ,0( ∞, ∞) =

= , 1 ( ∞ ,∞ ) ⊕ , 0 ( ∞ ,∞ ) = , 1 , 0 ( ∞ ),

d 3 2 , 1 = ((d 3 3 , 1 ⊗ L 2 , 3 ) ⊕ (d 3 4 , 1 ⊗ L 2 , 4 )) ⊕ d 2 2 , 1 = ((( , 1 , 0 ∞) ⊗

⊗ ( ∞, ∞, ∞)) ⊕ (( − ,1 ∞, ∞) ⊗ ,3( ∞, ∞))) ⊕ ,1( ∞, ∞) = (( ∞, ∞, ∞) ⊕

⊕ , 2 ( ∞ ,∞ )) ⊕ , 1 ( ∞ ,∞ ) = , 2 ( ∞ ,∞ ) ⊕ , 1 ( ∞ ,∞ ) = , 2 , 1 ( ∞ ) ,

d 3 1 , 1 = ((d 3 2 , 1 ⊗ L 1 , 2 ) ⊕(d 3 3 , 1 ⊗ L 1 , 3 ) ⊕ (d 3 4 , 1 ⊗ L 1 , 4 )) ⊕ d 2 1 , 1 =

= ((( , 2 , 1 ∞) ⊗ , 2( , 4 ∞)) ⊕ 0(( , 1 , ∞) ⊗ , 2 ( ∞, ∞)) ⊕ (( − , 1 ∞, ∞) ⊗

⊗ ( ∞, ∞, ∞))) ⊕ ,0 ( ∞, ∞) = ((( ) 5 , 4 , 3 ⊕ 2 ( , 3 , ∞)) ⊕ ( ∞, ∞, ∞)) ⊕ , 0 ( ∞, ∞) =

= (( ) 4 , 3 , 2 ⊕ (∞ ,∞ ,∞ )) ⊕ , 0 ( ∞ ,∞ ) = ) 4 , 3 , 2 ( ⊕ , 0 ( ∞ ,∞ ) = ) 3 , 2 , 0 ( .

Отже, оцінюючий рядок буде наступним:
3
1
3
d 1 = ) 3 , 2 , 0 ( , 2 , 1 ( ∞ ) , 1 , 0 ( ∞ ) (− , 1 ∞ ,∞ ) .

Оскільки ≠ , то продовжуємо процедуру алгоритму.
2
3
1 1
Прямий пошук (використовуємо співвідношення(7.7)):
d 4 1 , 1 = d 3 1 , 1 = ) 3 , 2 , 0 ( ,

d 4 2 , 1 = (d 4 1 , 1 ⊗U 2 , 1 ) ⊕ d 3 2 , 1 = 0(( ) 3 , 2 , ⊗ ,1( ∞, ∞)) ⊕ ,1( , 2 ∞) =

= ) 4 , 3 , 1 ( ⊕ , 2 , 1 ( ∞ ) = ) 3 , 2 , 1 ( ,

d 4 3 , 1 = ((d 4 1 , 1 ⊗U 3 , 1 ) ⊕ (d 4 2 , 1 ⊗U 3 , 2 )) ⊕ d 3 3 , 1 = ((( ) 3 , 2 , 0 ⊗

⊗ ( ∞, ∞, ∞)) ⊕ 1(( ) 3 , 2 , ⊗ ( − ,1 ∞, ∞))) ⊕ ,0( , 1 ∞) = (( ∞, ∞, ∞) ⊕ ,0( 2 , 1 )) ⊕

⊕ , 1 , 0 ( ∞ ) = ) 2 , 1 , 0 ( ⊕ , 1 , 0 ( ∞ ) = ) 2 , 1 , 0 ( ,

59