Page 59 - 4387

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

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

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

= ((( ∞, ∞, ∞) ⊗ ,2( , 4 ∞)) ⊕ (( ∞, ∞, ∞) ⊗ ,2( ∞, ∞)) ⊕ (( ∞, ∞, ∞) ⊗

⊗ ( ∞, ∞, ∞))) ⊕ ,0( ∞, ∞) = ((( ∞, ∞, ∞) ⊕ ( ∞, ∞, ∞)) ⊕ ( ∞, ∞, ∞)) ⊕

⊕ ,0 ( ∞, ∞) = (( ∞, ∞, ∞) ⊕ ( ∞, ∞, ∞)) ⊕ ,0 ( ∞, ∞) = ( ∞, ∞, ∞) ⊕ , 0( ∞, ∞) =
= , 0 ( ∞ ,∞ ).

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

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

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

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

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

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

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

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

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

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

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

⊕ (∞ ,∞ ,∞ ) = (− , 1 ∞ ,∞ ) .

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

58