, ( ), , .
.
1. , . ( ) , , , . , ‑ ( n 2 n ). .
2. ( ). , , , , . ( ). , , , .
. - , . , , .
. (p Þ q)(q Þ r) Þ (p Þ r)
3. ( ). , . , , . , . , .
. (p Þ q)(q Þ r) Þ (p Þ r).
, . (p, q, r), ,
(p Þ q)(q Þ r)º ; (1)
(p Þ r)º . (2)
(2) =, (3)
r= (4)
(1) , (p Þ q)º ; (5)
(q Þ r)º ; (6)
(6) (4) q = , (7)
(7) (5) = . (8)
(3) (8). , (1) .
.
1. -, , , , .
, , , , y, z,
|
|
. . , , , . , , , , . , . , , , , .
2. , , , .
. .
, .
G (V,U,j), V ={ n } ; U= { u } ; j , u Î U ( ) (n1,n2), u.
vUu . .
j (u)= (n1,n2) , (.. (n1 ¹ n2) Ù (n1,n2)¹ (n2,n1)), n , n1 (), n2 ( ).
j (u)=(n1,n2) , .
, ().
G (v,u,j) , , j, .
, , , .
G= (v,u,j), j (u)=(ni,nj) ni,nj Î V, . , :
G= (v,u,j), () , -.
G= (v,u,j) G= (v,u,j), G .
, , . , , .
, ni ( ), .
S= ( n1,n2,), n n-1, . , ().
|
|
, . () ; , .
, .
, , (), .
, , , , .
, , .
( ), ( ).
() .
, , .
, , .
(v,u,j) G (v,u,j), , G, .. Ì G, n Î V.
- . i G (v,u,j) , G.
G () G (v) , Ì v, G, .
, G () G (v), Ì v G (v)= G (v)Ç .
= v, G ()= G (v); ={ }, .. , G () ; Ì v G (v), G (v) -.
(), Ì G (v) , G (v), .
, () G (v), Ì (v)= G (v)Ç v Î V.
() G (v) , G (v), () G (v).
1 - G (v).
2 - G () G (v).
3 - () G (v).
4 - () G (v).
, v, , G (v), v . v , .
ni nj G (v) , S ni nj. n n S.
, . . .
, '''' , . , G (v) () Ì v G (v), , vi Î A v Ç .
:
. G (v) () Ì v , , vi Î A vj Î v Ç . , . , 2- ,
|
|
, .
, .
:
, .
, , .