. )
G : G × . (a, b) G, , b G.
, - .
:
1. , .
2. , .
3. , . .G1 = X.
4. , .G2 = Y
5. (-), , , .
. )
, .
. f , , A B ( f: A B). a f b . f(a)=b. a , b .
f: A B. f: A B.
A A A.
. )
, . n - φ: × ×... × ( φ: n ) - . , φ ( φ ). :
1. φ () = , φ: , .
:
x, log x, sin x .
- Ā;
, , ;
2. φ (, ) = z, φ: × ̮ , .
:
: , , , , ;
: ᴖ, ᴗ , \;
|
|
, , . a,b ∈ φ, z ∈ , φ b = z.
:
1) φ - , ,b,
( φ b) φ = φ (b φ )
( , , - ).
( ) , a φ b φ ;
2) φ - , , b,
a φ b = b φ a
( , - ; , , - );
3) φ - ψ, , b,
φ (b ψ ) = ( φ b) ψ ( φ )
φ , , b,
( ψ b) φ = ( φ ) ψ (b φ )
( , : ; ).
. )
( ), ( ). , ( ).
, . , , ( ).
( ), . , , . , ( , ).
, , (. . ) .
() . , ( ). , , . , .
( ) ( , ).
, , .
, ( ).
, , .
( ).
|
|
, . , .
1. , .
. , , , . , , , .
)
G=(V,E) . , , , () .
: () (p, q) G=(V,E) p [p x p].
aij:
- 1, Vi, Vj
- 0,
: . .
: () (p, q) G=(V,E) p q [p x q]
Bij:
1, Vi ∈ ej
0,
: .
12. ( . )
:
1) v G G-v G v v .
2) e G=(V,E) G-e=(V,E {e})
3) e = (u, v) G=(V,E), u,v, G+e=(V,E∪{e})
R A R B, V. V, (, B) , A R B.
, R V, (, B) A R B.
, , . . - .
- Æ B, .
U U B, .
R ( ) , , R. G () G (R) U, V.
G () = U (V) - G (R),
U (V) = G (R) È G ().
R R *:
B R* , R B.
, G (R *) G (R), G (R) G (R *) V .
R * = R (. . A R B = A R * B), . B () . . , .
: R Î V. .
|
|
R Î V, , .
A R B B R R , . G (R), (A, B) (B, ), (, ), .