2?t bt?vD
?
1c
?
??ê
T?
?|
@msE
? 4.1 ¨???, ??
TV
U¥?
?f
?
? 4.2 í÷?
??
E F¥?ê
T
? 4.3 í÷?
?Mf
?¥?ê
T
? 4.4 Y?
?¥?ê
T
? 4.5 ¨?
?E FV
U¥?ê
T
? 4.6 ???, ?¥?
?μ_m
? 4.7 μ÷?
?¥?ê
T
? 4.8 ?|
@m#MD?5
? 4.9 Mason
T
? 4.10 L??
?¥ SFGs#
?Mm
? 4.1 ¨???, ??
TV
U¥?
?f
?
? 4.2 í÷?
??
E F¥?ê
T
? 4.3 í÷?
?Mf
?¥?ê
T
???, ?¥?
?μ_m
? 4.7 μ÷?
?¥?ê
T
? 4.8 ?|
@m#MD?5
? 4.9 Mason
T
2?t bt?vD
2?t bt?vD
?4-1 ¨ Y
n
¥?
TV
U¥?
?f
?
B a
g¥|??f
?
Y
n
U
n
= J
n
1
1'
k
k'
j
j'
m
m'
I
k
U
k
N
J
n
=[0, …, I
k
, - I
k
, 0, …, 0]
T
kkkkkkkkk
n
kkkkkkkkkkkk
n
nknkk
I
IIII
UUU
)(
1
)]()[(
1
''''
''''
'
?????+?
?
=
???????
?
=
?=
2?t bt?vD
n
kkkkkkkk
k
k
kk
I
U
Z
?
?????+?
==
''''
'''' kkkkkkkk
n
k
k
kk
U
I
Y
?????+?
?
==
| k ' 1? I??
kk
n
k
k
kk
n
kk
k
k
kk
U
I
Y
I
U
Z
?
?
==
?
?
==
Y
n
¥?
T
Y
n
¥í
í y
kk
¥
}
??0
T
2?t bt?vD
= a
gW¥ME FDMèa1
n
jkjkjkjk
k
j
jk
I
U
Z
?
?????+?
==
'' ''
U
j
1
1'
k
k'
j
j'
m
m'
I
k
U
k
N
| k ' 1? I??
n
jkjk
k
j
jk
I
U
Z
?
???
==
'
' ' ' '
'' ''
kkkkkkkk
jkjkjkjk
k
j
jk
U
U
?????+?
?????+?
==μ
| k ' 1? I??
kk
jkjk
k
j
jk
U
U
?
???
==
'
μ
? a=
g?
? Z?
?D Y?
?
1
1'
2
2'
I
1
I
2
U
1
U
2
N
?
?
?
?
?
?
?????+????
????
?
=
?
?
?
?
?
?
=
2'2'22'2'222'1212
1'22111
2221
1211
1
n
zz
zz
Z
2?t bt?vD
2?t bt?vD
? go^?
?
?
?
?
?
?
?
?
?
?
?
?
?
???+?
?
???+?
???
???+?
???
???+?
???+?
=
?
?
?
?
?
?
=
'1122'2'1121122
11
'1122'2'1121122
12'12
'1122'2'1121122
12'12
'1122'2'1211122
'22'2'222
2221
1211
22
22
2
yy
yy
Y
?
kjpq
1 ?
n
???? k? a? p?[#? j
a? q
¥=
¨}
??0
T
2?t bt?vD
+ è? 2'
D 1'
1]B
O¤1
H5???
?
???¥
? g¥ Z? Y?
?¥}
?
T1
?
?
?
?
?
?
???
???
?
=
?
?
?
?
?
?
??
??
?
=
1121
1222
1122
2212
2111
1
;
1
YZ
n
?
?¥|??E F?Mf
??
??
?f
?¥}
?
Vr
T??¨???, ?¥}
??0
TD?
T
-1V
U b
??
?
?f
?¥}
?
Ta?
?f
?¥?ê
Tù
5üM1 Y
n
¥?
T#}
??0
T¥?ê
Tù5
?4 2 í÷?
??
E F¥?ê
T
B a ?
n
¥?ê
T
Topological formulas
Binet-Cauchy? ?
! P aQsY1 n ?m? m ?n¨
?O m ?n
5 det(P·Q )= P¥v0
Te[?¥ Q¥v0
T
? ? 5 ?Ym G¥ A¥ n ?n0?ds
N0?¥
??¥|
^?? G¥B?
?O?0?
¥?
T-′1 1 b
w
? det(AA
T
)= ( 1) ( 1)=
?
?"
2?t bt?vD
2?t bt?vD
?? Y
b
= diag(y
1
, y
2
, …, y
b
)
A# A
T
¥d
,v0
T (major)D
??O1 +1 -1
1
?AY
b
¥d
,v0
TgD
??O′1
( 1) y
j1
y
j2
… y
jn
,? ú j
1
, j
2
, … j
n
V
UB?
?¥
?|
?AY
b
# A
T
¥?d
,v0
T¥e??
( 1)
2
y
j1
y
j2
… y
jn
= y
j1
y
j2
… y
jn
?T
( j)
( y)
?
n
= det Y
n
= det AY
b
A
T
)()(
) ()()()(
) (
21
YW
yTyyy
t
j
j
j
jnjj
j
j
T
j
b
≡=
==
∑
∑∑∑
??
?
?|?,
LAAY
íBL
P1
?
???
?
? X
?3
TV
U?
?¥B?
?¥
?
|?,¥e?1 “
??, ” (tree
admittance product) ,e? “
? ”
(tree product)
2?t bt?vD
2?t bt?vD
= a ?
kk
¥?ê
T
?
kk
' det AY
b
A
T
??? k? ak
a-′'?? ?
(AY
b
)¥? k?(9ü
^?? A¥? k?:1 A
– k
) a?
? ? (A
T
)¥? k
( V:1 A
– k
T
)a
?-¥?
T 7???? A¥? k?M??| ?? kD? I?
?¤ (|¤a¥?
?:1 N
– k
) b?
^
)() (
)(
) ()()(
0
,
) (
,
) (
0
YWyT
yT
rk
j
j
rk
k
j
j
k
N
j
j
T
-k
j
b-kkk
N
≡=
=
==?
∑
∑
∑∑
?
?
¥??
?
?|?,
AYA
?l12-
?
' ?Ym G¥?
? T??
???B
?|¥0m b
2-
??é
c G¥????
?cí
^
s ?1
? ?Y??B?sg V1B? ???
·N
– k
¥
?'1e?
? k?? I?? r
0
?]B ?Y?
¥
? :T T
k
ro
b
?N
– k
¥
?? V?cem?]
H ?Y?? k? r
0
¥|
^ (?t|
^ N
– k
?XM?1ì )O N
– k
1e N¥?
???
?
B?' N
– k
e N¥
?|
?
B? b
2?t bt?vD
2?t bt?vD
)() (
) ()()(
0
,
) (
,
) (
0
YWyT
yT
rk
j
j
rk
j
j
k
N
j
j
T
-k
j
b-kkk
≡=
==?
∑
∑∑
?
AYA
?? k?M??|?? kD? I??M¤