Powracojoc od grofu zastępczego C do grofu piorwotnogo c', olemonty s^ aotomy wyrazić neotępuj^co
'U
2 a(xł) - r(x1) dla i - j dla i / j
- r
gdzla r1J Jest eleaontea aacierzy przyległoścl R-[r1 j] Kończy to dowód twierdzenia.
nxn
Przykład 0.3.1
Wypiszeay aacierz Ab, A°. A2. pC l S dlo grafu G1 » ■ <X,u',p’> przedetawionego na rya.0.3.1.
Rya.0.3.2
Craf zastępczy C ■ <X,U.P> jest przedstawiony na rys.0.3.2.
1 2 3 4 5 6
12 3 4
6
1110 0 0 0-10111 -10 0-100 O 0-1 O -i -1
12 3 4
3 -1 -1 -1 1 4 -1 -2
1-1 2 O
1-2 O 3
S-AZ (/?)•
1110 0 0 0-10111 -10 0-100 0 0-1 0-1-1
10-10 1-10 0 10 0-1 0 1-10 0 10-1 0 10-1
Zgodnie z twiordzonloa Lontlori-Tronto ilość różnych karkoaów togo grafu Jeot równa głównoau alnoronl K
4-12 - -1 2 0
-2 0 3
- 29