, , (( , C C P P
C , P C P C C
C , C C C C C )P C ) C P C P C
P C P C P
P P cut contraction C C C C C C C C C C C C C C C , C C C , C C, C C C C , C C contraction
C P P P
, , C , C C C P P ,C P P
, C C P P C , P C P C P C P , C C P P
C , P C P
C P C P
F(x )2F(x )F(x)F(x)2
F(x )F(x)2
F(x )F(x)F(x)F(x)F(x)
F(x )x 2F(x )F(x )x 2F(x ),
F(x)F(x)F(x)F(x)F(x)F(x)F(x )2F(x )F(x)2F(x )0F(x )F(x)F(x)2F(x )000
,00
000
x 2F(x )00
00000
,F(x*x )substitution rule 2z z 2x 2x z 2x z 2x z 2x x z z 2x F (z )F (z)x F (z )F (z)k-2k-2k-2
k-2x z z 2x F (z )F (z)x F (z )F (z)k-2k-2k-2k-22x k-2x F (( z ) )F (( z )x k-2x F (( z ) )F (( z )x k-2x F (( z ) )F (( z )x k-2x F (( z ) )F (( z )x 2x F (z )k-2k-2x F (( z ) )F (( z )x F (z) F (z)x F (z )x F (z )k-2k-2k-2k-2
, F (z) F (z)x F (z )x F (z )k-2k-2k-2k-2
F (z),
F (z)x F (z )x F (z )x F (z ),,
x F (z )F (z)F (z),F (z), z F (z)x F (z )z F (z)x F (z ) F (z )F (z ),
F (z)x F (z )F (z)z F (z)x F (z ) F (z) F (z )F (z )F (z)x F (z )F (z)F (z)x F (z )z F (z)z F (z )k-2k-2k-2k-2k-2k-2k-2k-2k-2k-2k-2k-2k-2
k-2k-2k-2k-2k-2k-2
k-2k-2k-2k-2k-2
k-2k-2k-2k-2
k-2k-2 F (z )k-2k-2x F (z * )x substitution substitution
x z w 00F (w) F (w )z z w 00F (w) F (w )z (z 0F (w)0F (w )z x )z ((20F (w)0z x F (w ) ) )
0F (2)0
F (e(n,2))0F (2)1F (e(n-1,2)),2n-2(2 )20
F (2)0F (2)0F (e(n,2))0
F (e(n,2))0F (e(n,2))2n-2(2 )20F (e(n,2))0
F (2)F (2)1F (2)1F 1(2 )22n-30
F (e(n,2))0F (2),F 1(2 )22n-30F (e(n,2))0
F (2),F (2)1,F (2)1 F (2)10F (e(n,2))0F (2)F (e(n-2,2)),2
,0F (e(n,2))F (2)10F (2),F (2)n 0F (e(n,2))F (2)10F (2),F (2)n
,0F substitution 0F substitution
z w z 0F (z)0F (z )w )(0F (z)0w F (z )(x z w z 0
F (z)0F (z )w )(0F (z)0w F (z ))x 2x z z 0F (z)0w F (z )2w 0F (z)0F (z )w )(z 02F (z )0F (z)0F (e(3,2))0F (2),,,a b c d a b c d
Γ?, A[B, B]
A[B, B],ΣΠ
Γ, ΣΓ, Π
p , p p p
p p
p , p p p
p p
Z G( )n N
11Z[1/2]BS 1,22Z 0
-1
b