-

, 2012.

:
, , . .

:
, ,

, ,

:

, 283
:
, . .
:
. .
:
. .
: 15
:


.
. .

,

.
.

.
15 .
.
, ,
,
.

, .

,
17. 03. 2012.

1.
1.1.
1.2.
1.2.1.
1.3.
1.4.
1.5.
1.6. T
2.
2.1.
3.
3.1.
3.2.
3.3. -
3.4.
4.
5.
5.1.
5.2.
5.3.
5.4.
6.
6.1.
6.2.
6.3.
6.4.
6.5.
6.6.
6.7.
7.
8.
8.1.
9.
9.1.
9.2.
9.3.
10.
10.1.

1
2
3
3
4
5
6
12
12
13
19
20
29
29
31
35
37
43
48
50
51
51
52
54
54
55
57
57
58
59
60
67
73
74
82
82
82
85
88
93

11.
11.1.
11.2. -
11.3.
11.3.1.
11.3.2.
11.4.
11.5.
12.
12.1.
12.2.
12.3.
12.4.
13. a
13.1.
13.2.
13.3.
13.4.
13.5.
13.6.
13.7.
13.8.
13.9.
13.10.
13.11.
13.12.
13.13.
14.
14.1. -
14.2. -
14.3. -
14.4. -
14.5. -
14.6.
15.
15.1.
15.2.
15.3.
15.4.
15.5.
15.6.

108
108
110
111
112
114
117
117
122
123
125
127
128
133
134
134
135
135
136
137
139
140
141
143
145
157
160
162
162
163
164
167
168
171
185
185
187
188
188
189
189



.
:

,
,
,
,
,

,
,
.

, .
.
18., 19. 20. .
18.
j ,
.
.
.
,
(
)
.

, ,
, , ,
, ,
.


:
,
,
,
,
,
,
,
,
,

.

- .

.
:
1
: 1, 3, , , 2,
2
: x, y , a, b, , ,
:
: , , , / ; :
, , , , ; : , , \, , .
: , , , , , .
: , , , , , , , ,!,

.
, .
: x 3 .
.
.
: x 3 7 .
.

1.


:
1.
2.
3.
4.
5.

,
,
,
, ,
.
1.1.

.

, .
. 4. ... ,
,
, ,
.

 (384-322 ...). je
, . ,
, III
, . 18. 37.
. II
, 13
.
, .
.

1.2.

19. ,
. ,
.
.

1.2.1.

T
.
T , . , ,
: (), (, ).
p p .
2 2 4 T , 2 3 6 .
T
, 2 2 4 , 2 3 6
.

. , x 5 .
, 6 7 2 ( ).
, , . ,
,
x 1 3, x 1, 2, 3 , x 4 x
x ( )
. x

, . , x 2

2 1 3, 2 1, 2, 3 , 2 4 2
T , T , . 2
, .
x, y ,
.
.

T, p ,
p
, p je .
: T 1 0 .
1 0 1 0 .

: p : 5 3 8
, . p T .
: q : 5 3 8
, . q .

: x 2 4
. x ,
x 2 , .
1.3.

, ,
, , , .

.
:
p : .
q : 22. 2010.

22. 2010.
.
p q , ,
, p q .
:

(), ,
(), ,
( - ), ,
( ), ,
(), .

: .
.
6

p q ,
p q . , p ,
q , p q .

:
p

pq

T
T

pq

p q

pq

T
T

T
T
T

p q
p , q ,
p , q .
: 2 2 (
T , T , T ), 2 3 3 4 ( , , ).

p q

T
T

T
T

. .
,
p , q T , p q T ; :
p , q , p q T .
p , , : ,
.
,
, .
, .
!
T , T T .
,
, :
, .

. ,
x 3 x 2 ( x )
.
x 1, 2, 3, 4, 5, ...

1 3 1 2 , 2 3 2 2 , 3 3 3 2 , 4 3 4 2 , ...

 . ,

. T ,
T T ,
T T T .
,
: p , q .
. T ,
T T , , :
, T T T , T T
: .
:
p , q ,
p q ,
p q ,
p q ,
p q .
q p .
, p q , :

q p,
p q ,
q p .

:
, . ()
, . ()
, . ()
, . ()
p q , ,
p q q p ,
. :

pq

T
T

, p q p
q ,
.
,
.

.
:
3, 9.
:
, ,
.
:
6, 2 3.
,
p

T
T

10

 1. ,

T :
) 3 x 5 10 ( x ),
) x 6 ( x ),
) x x 9 ,
) x 3 x 5 x ,
) x 1 x 5 x .
2. ?
3. x 2 4 x 2 , x .
: p, q, r , s , p1 , q1 , r1 , s1 , , pn , qn , rn , sn ,
, , .
:
(1) .
(2) A , B ,

A B , A B ,

A B , A B , A .
(3)
(1), (2).
4.

r s , p q3 , r , r s2 , p q , p q .
. , ,
.
, , r s , p q ,

p q , p q r
p q r .

: r s , p q , p q ,

5. p q p, p q r , p p q .

11

1.3.1.

,
p q p ,
p q p r .
.
.

,
2
,
3
1.3.2.

.


.
:
,
.
p : .
q : .
p : .
q p .

12

1.4.

.
:

p p p,
p p p.

p p.

p q q p,
p q q p.

p q r p q r,

p q r p q r.

p q p r p q r,

p q p r

p q r .

p q p q ,

p q p q .

13


?
.
?
.
:
1 1
) ,
) x 2 y 2 2 xy ,
7 4
1.
2.
3.
4.
5.

) x 2 y .

2 ,

:
) ,

) ,

) ,

) .

6. :
1 1
) ,
) x 2 y 2 2 xy ,
7 4
)

) 1 3 3 5 .

2 ,

:
1 1
) ,
7 4
) x 2 y 2 2 xy T ,
)

2 ,

) 1 3 3 5 T T T .
7. :

1 1 1 1 10
p : ,
2 3 4 5 3
1 1 1 1
r : 7 ,
2 3 4 5

1 1 1 1
37
: ,
2 3 4 5
6
1 1 1 1 2
s : .
2 3 4 5 5
q

14


:
) p q r ,

) p q r s ,

) p q r s ,

) p q r s .

:
p T , q T , r , s ,
) p q r ( T T ) T T ,
) p q r s ( T T ) T T ,
) p q r s ,
) p q r s .
8. :
3

p 4 x4 y3 : 2 x 2 y 2 x 2 y3 ,

q 3x 4 y 2 : 3x 6 y 3 xy 4 ,

r 2 x y 2 x y 4 x 2 y 2 ,

s x 2 y x 2 4 xy 4 y 2 .

:
) p q r ,

) p q r s ,

) p q r s ,

) p q r s .

:
p , q , r T , s ,
) p q r T ,
) p q r s ,
) p q r s T ,
) p q r s .
9. x 2 x 0 .

15

:
x 2 , x 0 ,
x 2 x 0 .,
x 2 x 0 ,
x 2 x 0 ,
x 2 x 0 .
x 0 x 2 .
10. ,
x 2 x 0 .
:
p : x 2, q : x 0
q p

x 0 x 2 .
p q

x 2 x 0 x 2 x 0
q p

x 0 x 2 x 0 x 2 .
11. :
) p q p q ,

) p q p q ,

) p q p ,

) p p p ,

) p q r p r q r .
:
) p q p q , .
p q A , p q B .

p q

T
T

T
T

16

T
T
T

T
T
T

F
T
T
T
T

) p q p q ,
) p q p ,
) p p p ,
) p q r p r q r .
M p q r , N p r q r
F p q r p r q r .

p q

p r

q r

T
T
T
T

T
T

T
T

T
T
T
T
T
T

T
T
T
T
T

T
T
T

T
T
T

T
T
T

p q r p r q r .
12.
) p q q p ,
) p q p q ,
) p p p ,
) p p ,
) p q p r p q r .

17

13.
p q p p .
:
, ,
p q

p q p p .

p q p T p .
p q T , p q .
, p T q .
p ,
. p q
.
.
14.
.
) p p q ,

p q p p ,
) p r p q r r ,
)

) p q p q ,
) p q p p q .

18

2.

:
1. ,
2. ,
3.
.

0 1.
,

. -, -,
- .
. 0 1 ,

(bit). (true)
(false). , .
AND,
R,
.
(byte).
: AND OR
0110110110 1100011101 :
0110110110
1100011101 AND
0100010100
0110110110
1100011101 OR
1110111111

19


, .
(string) (charcter data), ,
, , .
.
ASCII EBCDIS . 1111001
.
, .
,
.
.

.
2.1.

(Claude Elwood Shannon, 1916. 2001)

.

. 1938.
.
1948. .

, 21- I-,

, .

20


.
, , ,
,
,
.
,
.
p 1
, . , p 0 , .
.

.
.
:
.
1 p q ,
.
0. ,
1 p q .
, p q , p q
ND .

21

:
p q
. ,
p 1 q 1 1
p q . ,
p q , p q R- .

22

 p ,
. 1
p , p 0.
.
p

( , ) :
, p q .

, p q .

p q .

23


1. ?
2. ?
3. ?
4. p q p r :
) ,
) .
:
)

9. p q r :
) ,
) .
:

24

10.
:
) p q r s ,
) p q r s ,
) p q r ,
) p q p r ,
) p q p r r .
11.

25

26

:
) p q r p q

12.
:
)

:
)

p q r .

27

28

3.


:
,
,
,
.

1.
2.
3.
4.

3.1.

.
, , , ,
, ,
. .

, ,
(Georg Kantor 1845.-1918.).
.

.

.
.
.

A , B , C , ...
a , b , c , ...

a A ,
a A , ,
a A .

29

A B A B ,
A B .

A B x x A x B .

A B , A
B B
A .

A B x x A x B .

30

P A

A ,

, . P A X X A .
:
A 1, 2,3 , P A , a , b , c , a, b , b, c , a, c , a, b, c.

3.2.

A B A B x x A x B .

: A 1, 2 , B 2, 3, 6, 7 ; A B 1, 2,3, 6, 7 .

,
A1 , A2 , , An , :
n

A A A
i

i 1

31

An .

A B A B x x A x B .

: A 1, 2 , B 2, 3, 6, 7 ; A B 2 .

A B , . A B ,
.

A1 , A2 , , An
:
n

A A A
i

An .

i 1

A B A \ B x x A x B .

32

: A 1, 2 , B 2, 3, 6, 7 ; A \ B 1 , B \ A 3, 6, 7 .

A B A \ B
B \ A , .
A B A \ B B \ A .

A B (
A B ) A B CB A B \ A .

(a, b) (
) ,
.

(a, b) (c, d ) a c
bd.

A B
A B (a, b) a A b B .

: A 1, 2,3 B x, y .
A B (1, x), (2, x), (3, x), (1, y ), (2, y ), (3, y ) ,
B A ( x,1),( x, 2), ( x,3),( y ,1), ( y, 2), ( y ,3) .

A B B A ,
.
A A A2 .
2 .
A A A An n .

33

 (Descartes Ren, 1596-1650)

,
.
, ,
. (La
geometrie) .

. :
.
,
,
, ,
. ,
.

, ,
,
.
", " (Cogito, ergo sum).
1649.
.
,
.

,
.
1650. .

34

3.3.


. , ,
.
.

1-1 f A B ,
() A B .
A B ,
k A k B .

.

:
: .

.

1
2
3
4
n

2 1 2 2 2 3 2 4 2 n
k

k 2 .

1638 .

.

.
2 ,

35


,

.
:
.
0 1
.
: 0, k 0 .

, 0
k 0 .

36

2.4

1872. .
, 2 ,
4. (
). (
) 40- 19. ,
. .
, 1894.
.
1911. . ,

.
1890. 1908. 1920.

. 1921.
.
,
.
1936. .
,
1930. .
. 1952. ,
,
1925. .
1960 2.
1970. 98. .
.
" "
50- 60- .

37


. ,

. ,
, .
1902. .
,
, .
:
,
, .
?
,
, .
, ,
.
. ,
.
:
,
, ,
, ,
?

R S
, R S S S .

S . S
? ,
, .
, ,
, .

.
, , , .

38


, ,
, .

1. ?
2. .
3.
?
4. .
5. .
6. .
7. ?
8. ?
9. ?
10. ?
11. ?
12.
?
13. A 1, 2,3 , B 2, 3, 4, 5 C 2,3, 4,5, 6, 7 ,

) A B , A B C ,
) A B , A B C ,
) A \ B, C \ A. ,
) A B , P A .
:
) A B 1, 2,3, 4,5 , A B C 1, 2,3, 4,5, 6, 7 ,
) A B 2,3 ,

A B C 2,3 ,
A \ B 1 , C \ A 4,5, 6, 7 ,

)
)
A B

1,1 , 1, 2 , 1,3 , 1, 4 , 2, 2 , 2,3 , 2, 4 , 2,5 , 3, 2 , 3,3 , 3, 4 , 3,5

39

P A ,1 , 2 , 3 , 1, 2 , 1,3 , 2,3 , 1, 2,3 .

14. A x x 2 1 0 x

B x 2 x 1 7 x N , A B, A B, A \ B
B\ A.

:
A 1,1 .
2 x 1 7 2 x 6 x 3 ,

B 1, 2 .
A B 1 , A B 1,1, 2 , A \ B 1 , B \ A 2 .

15. P 0,1, 2, ,9 . A x x P x 3
B x x P x 8 , A B, A B, A \ B .
:
A 3, 4,5, 6, 7,8,9 B 0,1, 2,3, 4,5, 6, 7 .
A B 3, 4, 5, 6, 7 , A B 0,1, 2,3, 4,5, 6, 7,8,9 , A \ B 8,9 .

16. P 0,1, 2, ,9 .

x2
2x

A x x P
P B x x P x P ,
2
12 x

A B, A B, A \ B, B \ A, P A \ B .
:
A 0, 4, 6,8,9 , B 0, 2, 4 .
A B 0, 6,8 , A B 0, 2, 4, 6,8,9 ,
A \ B 6,8,9 , B \ A 2 ,

P A \ B , 6 , 8 , 9 , 6,8 , 6,9 , 8,9 , 6,8,9 .

40

17. A a, b, c, d , B a, b, 4 , C 2, 4, c ,
D a, b,3 E 1, b . ,,, B A ,
C A, D A E B .

: a 1, b 2, c 3, d 4 .
18. A n n , n 10 , B n n , 2 n 7 ,
C 2,3, 6 , X Y X A ,

C X B.
: X 2, 3, 4,5, 6, 7 .
19. :
) A A B A ,

) A / B B ,

) A B B A ,

) A B C A B A C .

:
)
x A A B x A
x A x A B x A
x A x A x B x A
: p : x A q : x B ,

p p q p .
,
.

) A / B B p q q .

41

42

4.

:
1.
2.
3.

,
,
.

.
, , , , , .
.
A , , ,
B . x A y B
, x, y A B
, .
:

. A B x, y , x
y x y .
,
.
: 1,1 , 2, 2 , 2,1 , 1, 2 , 3, 3 , 4, 4 ,
.

1
2
3
4

43

 A B , A2 A A .
:
A2 .
() x A x x

() x, y A x y y x

() x, y A x y y x x y

() x, y , z A x y y z x z

,
.
:
,
.
,
.
: , .,
, .
.
:

44

 , x,
C x C x y x y
C x .

, .
: S x x

x 12

: x, y S : x y 3 x y .
.
.
, x S : 3 x x 3 0
,
x, y S : 3 x y x y 3k

y x x y 3k
3 x y 3 y x
,
x, y S : 3 x y x 3 y z

x y 3k y z 3m
x z x y y z 3k 3m 3 k m 3n.
.
S .
S 0 3, 6,9,12 x x S x 3k ,
S1 1, 4, 7,10 x x S x 3k 1 ,
S 2 2,5,8,11 x x S x 3k 2.
S / S0 , S1 , S 2 .
,

,
- ,

45

 -
. (E. F. Codd), , ,

1970. .
1971.
.
2002. .
, (
)
(3).

,
.

. 1970.
, -
.
.
.
.
, ( ),
( ).
- (Entity-relationship model) ( )
. . .
.
1970. .
- ()
. UML,
, .
, ,
- () ,
.
,
.
(, ,
...) . ,
-, ,
.

46

 -
() .
, ,
.
, .
, , , .
. , 80 kg
180 cm, 90 kg, 170 cm,
,
. , . ,
,
.
, .

. , .
, ,
, . .
, ,
.
.
,
.

1.
2.
3.
4.
5.

.
.
?
?
, .

()

47

5.

:
1. ,
2. ,
3. .

. , ,
,
A B ,
A
B.

,
, 13. 16. .

. 19. L.
Dirichlet (1805-1859)
,

.

.

48

 A B .
f : A B
x A y B
y f x .
x A , y B .
Dx A A
B
.
Dy B B
B Dy
.
f : A B
A
yB.
f : A B 1 1

x1 , x2 A x1 x2 f x1 f x2 .

f : A B

y B , x A y f x .

f : A B 1 1
, (
).
:
f x 3x 2 , A B
2

f x 3x 2 , A
.

, .

, B 2, , 1 1 , ,

49

5.1.

.
y f x ,
F x, y 0 .
.
.
.
:

A a, b, c B 1, 2
a b c

f

1 2 1
f a,1 , b, 2 , c,1 .

f b,1 ,
1 2.

:
f : A2 A , .
, , .
:
.

50

5.2.

f : Dx , . x Dx
f x .
5.3.

f : A B ( 1 1 ),
f 1 : B A

f 1 f x x .

f : A B
f 1 : B A .
: f x 2 x 1 .
.
x1 , x2 x1 x2 f x1 f x2
1 1 .

f x1 f x2 x1 x2 . 2 x1 1 2 x2 1 x1 x2 ,
1 1 .

1
1
1
1

y . x y . y , x x y
2
2
2
2

.
1 1 , ,
f 1 .
1
1
x y x y

2
2
1
1
f 1 x y x .
2
2
f f 1 y x .

51

: f x x 2 .
f x x 2

f:

1 1

, f 1 .

5.4.

f : A B g : B C
g f : A C , :

x A g f x g f x .
g f .
:
f x x 3 g x 2 x x . f g , g f
ff .

f g x f g x 2x 3 x .
g f x g f x 2x 6 x 3 .
f f x f f x x 6 .

52

A 1, 2,3 , B a, b, c C 5,6, 7 ,

1
f : A B g : B C , f
a
1 2
g f : A C g f
7 6

2 3
a b c
g

.
b c
7 6 5
3
.
5

:
f x 2 x 1 g x x 2 x 1 .
:
2

g f x g f x 2 x 1 2 x 1 1 4 x 2 6 x 3,
f g x f g x 2 x 2 x 1 1 2 x 2 2 x 2,
2

g g x g 2 x x 2 x 1 x 2 x 1 1 x 4 2 x3 4 x 2 3x 3,
f f x f x 2 2 x 1 1 4 x 3.

1.
2.
3.
4.

.
.
.
f x 2 x 1 g x 3 x 2 .
f g x , g f x , f f x g g x .

( 1-1)
( )
( 1-1 )

53

6.

:
1.
2.
3.
4.

,
,
,
.

6.1.

.
17. ,
,
.
.

.
,
,
.
:
1, 2,3 .
2?
2
2, 213 231 .

.

54

,
,
.

6.2.
A a1 , a2 , , an .
n A .

A .
:
1 2 3 4 5
A 1, 2,3, 4,5 ,
.
2 5 4 3 1
n
P n n n 1 2 1 n !

n ! n
n .
0! 1 .
:
5! 5 4 3 2 1 =120.
:
A a1 , a2 .
, ?
.
: a1a2 a2 a1 .
P 2 2 P 1 2 1 2 .

55

:
A a1 , a2 , a3 .
, ?
.
: a1a2 a3 a1a3a2 a2 a1a3 a2 a3a1 a3 a1a2 a3 a2 a1 .
P 3 3 P 2 3 2! 3 2 1 6

:
A a1 , a2 , a3 , a4 .
, ?
24 . :
a1a2 a3a 4 a2 a1a3a4 a3a1a2 a4 a4 a1a2 a3
a1a2 a 4 a3 a2 a1a4 a3 a3a1a4 a2 a4 a1a3a2
a1a3a2 a 4 a2 a3 a1a4 a3a2 a1a4 a4 a2 a1a3
a1a3a 4 a2 a2 a3 a4 a1 a3a2 a4 a1 a4 a2 a3a1

a1a4 a2 a3 a2 a4 a1a3 a3a4 a1a2 a4 a3 a1a2

a1a4 a3a2 a2 a4 a3a1 a3a4 a2 a1 a4 a3 a2 a1
P 4 4 P 3 4 3! 4 6 24 .

:
6
? P 6 6! 6 5 4 3 2 1 720 .
:
7 .
.
7 ?
P 7 7! 7 6 5 4 3 2 1 5040 .
. ,
,
, ,
.

56

6.3.

A a1 , a2 , , an .

, n , k1 , k2 , , km

n n k1 n k1 k2 km
n!
.
Pk1 ,k2 ,, km n

k3
k1 k2
km k1 !k2 ! km !

:
a, b, b .
a, b, b abb, bab, bba .
:
0, 0, 0,1,1,1,1 .
7 7 3 7! 7 6 5 4!
P3,4 7

35 .

3!4!
3 4 3!4!
6.4.
: A a1 , a2 , , an .
k k -
A .

k 1

Vkn n i n n 1 n k 1 .
i 0

A n
B k ,

57

f :AB.
:
,
-.
:
A a1 , a2 , a3 .
?
.
: a1a2 , a1a3 , a2 a1 , a2 a3 , a3a1 , a3a2 .
V23 3 2 6 .

:
6
, .
?
3 6 . () ,
6 .
V36 6 5 4 120 .
6.5.
A a1 , a2 , , an .
n k - A .

Vkn n k
: ,
.

n 1
k 0 ,

f :AB.

58

:

1, 2,3 ?
V23 32 9 .
: 11,12,13, 21, 22, 23, 31,32, 33 .

6.6.
A a1 , a2 , , an . k
k - A .

Vkn n n n 1 n k 1
C

k! k
k!
n
k

n
n k .
k
n
A k .
k
:
A a1 , a2 , a3 .
?
3 3 2
C23
3.
2 2!
: a1a2 a1a3 a2 a3 .
: ,

,
. ,

,
.
59

:

1, 2,3 ?
, .
V23 3 2 6 .
:

A, B, C ?
,
.
3 3 2 3 2
C23

3.
2 2! 2 1
AB , AC BC .
6.7.
A a1 , a2 , , an .
k

n k 1
Ckn
.
k
:
12 6
.
6 12 1
C612
6188 .
12

60


1. .
2. .
3. .
4. 5 ?
:
P 5 5! 5 4 3 2 1 120 .
5.
0,1, 2,3, 4 , ?
:
P 5 P 4 5! 4! 120 24 96 .
6. A 1, 2,3, 4,5, 6 .
) 1, 2
?
) 1, 2
?
) 1, 2
?
) 1, 2
?
:
) P 4 4! 24 ,
) 2 P 4 2 4! 48 ,
) P 5 5! 120 ,
) 2 P 5 2 5! 240 .
7. a, b, b, c
.
:
abbc , abcb , acbb , babc , bbac , bbca , bcba , bacb , bcab , cabb ,
cbab , cabb .
61

P2 4

4! 24

12 .
2! 2

8. a, a, a, a, a, b, b, b, c
) a ,
) b ,
) c ?
:
8!
280 ,
4! 3!
8!
) P5,2 8
186 ,
5! 2!
8!
) P5,3 8
56 .
5! 3!

) P4,3 8

9.
1, 2,3 ?
:
V23 32 9 .
: 11,12,13, 21, 22, 23, 31,32, 33 .
10. A 1, 2,3, 4 .
) ,
.
)
.
:
) 12,13,14, 21, 23, 24,31,32,34, 41, 42, 43 .
V24 4 3 12
) 11,12,13,14, 21, 22, 23, 24,31,32, 33,34, 41, 42, 43, 44
V24 4 2 16 .

11.
, ?

62

:
V49 9 8 7 6 3024 .
12. 7
15 .
.
?
:
V614 14 13 12 11 10 9 2162160 .
13.
?
:
) ,
V410 V39 10 9 8 7 6 9 8 7 5040 504 4536 .
) ,
V410 V310 104 103 9000
14.
0,1,3,5, 7, 9 ,
?
:
2 V45 480 .
15. 12 .
12 ?
:
V123 312 531441 .
16. 1, 2, ,1010 ,
9 ?
:

63

 9,
1, 2, ,8 .
910 1 1 3486 784 401 .
, 1010 .
9
1010 910 6513215599 , .
17. 15 .
.
?
:
15 15 14
C215
105 .
2 1
2
18. ?
:
5 54
C25
10 .
2 2 1
19. 40 , 3
.
?
:
V240C338 13160160 .
17. x1 x2 xk n ,
x1 , x2 , , xk , .
:
1, 2, , k . xi
, x1 , x2 , , xk

k n .

64

 k n 1

.
n
18. :
) ,
) .
: V510 , V510 .
19. 22 15 .
4 ?
: C412 C415 .
20. 18 , 5 , 6
, 4 .
: C218 C25 C26 1 C24 1 124 .
21. 5 , 4 3 .

2 ?
: C25C24C13 C25C34 C25C14C23 C35C14C13 C35C24 C45C14 540 .
210 .
,
?
: 21 .
23. 0, 0, 0, 0,1,1,1 .
?
:
7!
P4,3 7
35 .
4!3!
24. 0101010 0000111 .
:
6!
0
20 , .
3!3!
22.

65

 01

5!
10 ,
3!2!

010

5!
10 ,
3!2!

3!
3 , 01010 .
2!
14- 0101001, 15- 0101010.
25. 15- 0000111 ?
:
6!
14 :
14 : 20 , , 0.
3!3!
5!
14 :
14 :10 1 4 ,
2!3!
1.
4!
4:
4 : 6 , , 0.
2!2!
3!
4 : 4 : 3 11 , 1.
2!
1: 2! , , 0.
1:1 1 0 , 1.

0101

15- 0101010.
26. .
: 50.

66

7.

:
1. ,
2. ,
3. .
n
:
k
n n n 1 n 2 n k 1
n
n!

.
k!
k ! n k ! n k
k
n n n 1 n n

1.
k 1 k k 0 n
:
n
n
n
n n1 n
n n k k
a n a n 1b a n 2b 2
ab

a b
k 0 k
1
2
n 1
n,k .

a b

n
Tk 1 a n k bk .
k
:
6

x .
x

67

6
6 4 6 2 6 6 1 6 1 1
1

6
x x 1 x 2 x 3 4 2 5 4 6
x
x

x x
15 6 1
x 6 6 x 4 15 x 2 20 2 4 6 .
x
x
x

:
12

2
12

x x 3 .

12 4

12 12
T5 x
4

20
23
x 495 x 3 .

:
n n n
n
2n .
0 1 2
n
a 1 b 1
.
:
n n n
n n

0 2 4
1 3
a 1 b 1
.

n
1. ?
0
n
2. ?
n
3. x .
2 12

x x

:
68

12
Tk 1 x12 k x 2
k
12 3k 0 k 4

12
12
x12 k x 2 k x123k
k
k

12
12 1110 9
T41 T5 x 0
495
1 2 3 4
4
11

1
1

4. x 3 x 2

x .

:
11 k

1 11 11k k 11 22 k
11 1
Tk 1 x 3 x 2 x 3 x 2 x 6
k
k
k
22 k
5 k 8.
6
,
11
11
1110 9 5
T9 T81 x 5 x5
x 165 x 5 .
8
3
3 2 1

5.
n

9x
, 105.
3x

:

n n 1
n
105 n 2 n 210 0 n 15 , n 14 .
2 105
1

2

n n 15 .
15

9 x
,
3x

69

12

15
15 3 3 1
15 1 455
3 1
T13 T121 9 x

9 x 6 6 3 3

3 x 3 x
x
3x
12
15 12

6. ,
n

2 1
x 46. x .
x

:
n n 1
n n n
46 n 9 .
0 1 1 46 1 n
2

9

x 2 .
x

k
9 k 1
9
9
1 9
Tk 1 x 2
x18 2 k k x183k

x
x k
k
k
18 3k 0 k 6
9 9 987
T61 T7
84 .
6 3 1 2 3

5. ?
:
n
k .
k

n
n
n
n
n


n

2 .
k 0 k
0 1
n
2:
A x1 , x2 , , xn B A . B

n - b1 , b2 , , bn , i 1, 2, , n bi 1 xi B
bi 0 xi B . A
n - .
n - n 0,1 .
2n .
70

6. X Y ,
X Y?
:
X x1 , x2 , , xm Y n .

m -

f x , f x , , f x .
1

f : X Y

f xi Y i 1, 2, , m , m - n m .

7. n
?
:
X
X 2 X 2 n 2 ,
2
2n .
x

8. x 3 2 3 ,
3

, 1:6.

: x 9
n

1
9. 2 x
,
x1
2

22.
x
135.
: n 16, x 1 x 2 .
10.

2 3

10

: 32, 2160,15120, 22860, 7292, 243 .

71

11.
n

x 5:18.
x

x.

: n 12, k 8, T9 495 .

72

8.

:
1. ,
2. ,
3. .

. ,
,
.

.

,
, ,
.

.

73

Prvi problem i njegovo reenje, teorije grafova jeste rad Leonarda Ojlera
(Leonhard Paul Euler,1707-1783) pod nazivom Sedam mostova
Kenigsberga, objavljen 1736 godine. Kasnije, Frensis Gutri 1852. godine je
izloio problem etiri boje koji postavlja pitanje da li je mogue obojiti
zemlje na geografskoj karti sa samo etiri boje, a da se ne pojave dve
susedne zemlje obojene istom bojom. Ovaj problem su reili tek 1976.
godine Kenet Apel i Volfgang Heken, ali se postavljanje ovog problema
smatra roenjem teorije grafova. Tokom pokuaja reavanja ovog problema
otkrivene su mnoge teoreme i postavljeni mnogi teoretski pojmovi i
koncepti.

8.1.

.
, ,
() , .

V, .
, V .

74

:
G V , E V
V
E .
2

.

. ,
.

, .
,
.

:
a)

V a, b E a, b .

b)

V a, b, c E a, b , b, c .

c)

V a, b, c, d E a, b , b, c , a, d , c, d .

75

 .
.
:

:
G a, b, c, d , a, b , a, c , b, c , c, d .

.
.
.
.
G V , E
V
E V . .
2

76

: .

G V , E
E V V . ,
v a, b b .

:
V a, b, c, d
E a, b , a, c , b, c , b, d , c, d , d , a

:
V a, b, c, d
E a, a , a, b , b, c , c, c , b, d , d , b , c, d , d , a

77

, , .

.

,
. .

78

.
.
1 .

c , ab, d c.
f , c bf.
b,c,d 2, f 3.

79

 .
.
( 2).

:
, ,
.
: d1 , d 2 , , d n x1 , x2 , , xn
.
., 2 .
d1 d 2 d n 2m .

2:
,
.

80

 .

.
.

.
,
.
G'=(V',') G=(V, )
(V') G (V),
(') G ().

1. ?
2. , .
3. .

81

9.

:
1. ,
2. ,
3. .
9.1.

:
W G W v0 , e1 , v1 , e2 , , et , vt ,
v0 , v1 , , vt , , ei vi 1vi , i 1, , t .
W t . v0 vt
.

. - .
,
.
9.2.

.
.
.

82


. , i -
j - 1, i - j -
, 0.
:
G V , E V V ,

1, u , v E ,
A
0, u , v E.
,
.
:

a 0
b 1

c 1

d 1

1 1 1
0 1 0

1 0 1

0 1 0

,
.

83

0
1

1
0
1
0

1
1
0
1

1
0
.
1

:
()

a 0 1 1
b 1 1 1 .
c 0 0 0
n2 ( n )
, .

.
,
(). , i - -
- - .
50%

, .

.

84

9.3.

:
e u, v E u v
e .
G V , E . B
, . bij , 1
i-
- , . B
G.
:

e1 e 2

a 1
b 1

c 0

d 0

e3

e 4 e5

1 1 0 0
0 0 0 1
.
0 1 1 1

1 0 1 0

.
:

85

e1

a 1
b 1

c 0

d 0

e2

e3

e4

e5

1 1 0 0
0 0 0 0

0 1 1 0

0 0 1 1

.
:
G, k

0 , u, v , ,

Auk,v k u v .
0 .
1, u v
w0 u , v
, A0 I w0 u, v .
0, u v
.
:
1
1
2
A
0

0 0 1
0 1 0
0 0 1

1 1 0

86

1
1

0 0 1
0 1 0
.
0 0 1

1 1 0


a12 2 a11 a12 a12 a22 a13 a32 a14 a42

1 0 0 0 0 0 1 1 0 0 0 1 1.
a12 2 1 a14 1, a42 1 , 1
4 4 2.
2 1 2.
Aij 2 1 2 .

a34 2 a31 a14 a32 a24 a33 a34 a34 a44

0 1 0 0 0 1 1 0 0 0 0 0 0
2 3 4.

1. ?
2. ?
3.
?
4.

87

10.

:
1.
2.
3.
4.
5.
6.

,
,
,
,
,
.

,
.
:
T ,
:
- (root),
- n 0
T1 , T2 , , Tn .
.
:
.

88

=v-1 .
v =v-1 .
.
.
1.
, .

:
.

:
.

89

 .
.
:

, ,
.
.
:
.
.

.
, .
0,
1.
90

. .
0,
.

x,
x, x .
x , , .

. .
1.
.

.

, , m ,
m - . ,
m 2 , .
91

2
.

,
.

2k .

0 k ,
n
n 1 2 22 2 k 2k 1 1 .
n 1
() 2k
,
2
n 1
2k 1
.
2

p q q r p q ,

92


1.
.

10.1.

,
.
,
.
:
: , ,
, , , , , , , .
.
,
, .

, ,
.

93

 A
, , ,
.

94


(1707.1783.) 1735.
.

1735. ,
. ,
,
.

.
, .
.

95

 .
:
.

.
,
.
, .

. ,
. ,
,
.
:
G
G.
. G
G.
.
26. 1735.
,


. ,
,
.
.
96

 1736.
. 1741.
,
XX
.
.

.

. ,

,
.
,

.

, .

.
1962..
,

,
.

, . -
.

97



(1805-1856)
.
,
, .

.
.
.
.
:
G
G.
. G G.
.

.
.
,
.
.
,
.
x m,n 3, 3x3,
3x5, 3x6 4x4.
98


,
,

.

.

, .
,
.
,
.
,
()

().


.
,
,
, . ,
, , ,
1990. 1998. .
X- .


.
.


.
,
.

. .
99

:
:
G
.
.
G.
( ).
.
:
G .

, 5,333,
,
.
100

:
0 2
.

.

, , .
.
1859.
.
. (20)
.
(
) .
:
:
,
.
.
.
.

101


.

.
, .
.

1. ?
2. ?
1)

2)

3)

4)

102

: 1,2,4.( 3 ).
3. 5 ?
:
v , e , e v 1 5 1 4 .
4. 5 ?
:
v e 1 5 1 6 .
5. 1 2
v1 .
:

;
6. v3 .
: v 4 , v5
7. v1 .
: v1 , v1 .
8. v1 .
: v1 .
9. v1 1.
: v0 , v 2 , v3 .
10. .
: v0 , v 2 , v 4 , v5 .

103

11. v3 .
:1
12. .
:2
13. 1 v3
.
14. ? ( )
15. ? ( )
16.
?
17. ?
18. 4 ?
:
n 20 21 22 23 24 25 1 31 .
19. 7
?
:
n 1 7 1
2k

4.
2
2
20.
: , , , , , ,
.
21.
.
22.
: 25, 15,27,48,36, 2,44,18, 30,42,11,9,32.
23.
.
24. ?
25. ?

104

26. :
a) ,
b) , ,
c) , ,
d) , .
:

a) C3 ,
b) K 4 , , ,
c)
K 2,4 , ,
,
d) , K 4 , .
27. ,
?

105

:
a) ,
b) ,
c) ,
d) ,
e) .
28. G V , E ,
V 0,1, 2,3, 4,5, 6, 7,8, 9 ,
E 0,1 , 0,3 , 0, 9 , 1, 4 , 1, 7 , 1,8 , 1,9 , 2,3 , 2,5 , 2, 7 , 3, 6 , 7,8

. 0 5
.
29. G V , E ,
V 0,1, 2,3, 4,5, 6 ,
E 0,1 , 0,3 , 0, 6 , 1, 4 , 1, 5 , 2,3 , 2, 4 , 2,5 , 3, 4 , 3,5 , 4, 5

. G
.

106

29. G V , E ,
V 0,1, 2,3, 4,5, 6 ,
E 0,1 , 0,3 , 0, 6 , 1, 4 , 1, 5 , 2,3 , 2, 4 , 2,5 , 3, 4 , 3,5 , 4, 5

30.

. G ?
.
G V , E ,

V a, b, c, d , e, f ,
E a, b , a, c , a, e , a, f , b, c , b, d , b, e , c, d , c, e , c, f , d , e , e, f

. G ?
.
31. G V , E ,
V 0,1, 2,3, 4,5, 6 ,
E 0,1 , 0,3 , 0,6 , 1, 4 , 1, 5 , 2,3 , 2, 4 , 2,5 , 3, 4 , 3,5 , 4, 0 , 4, 5 , 5,1

.
.
32. G V , E ,
V a, b, c, d , e, f ,
E a, b , a, c , a, e , a, f , b, c , b, d , b, e , c, d , c, e , c, f , d , e , e, f

. :
a) f .
b) .

107

11.

:
1.
,
2.
,
3.
.
, .

. :
1. ,
2. ,
3. ,
4. ,
5. ,
6. ,
7. .
11.1.

.
Al Khowarizmi (
850. ) . Al
Khowarizmi ,
.
,
,
.

108

5. 1833. A .
( ),
. A ,
.
. ,
, , .
,
,
. :
, ?.
,
. 1835. ,
(Earl of Lovelace).
. ,
,
,
. , ,
. 1842, e
, ,
. ,
,
.
,
. ,
.
, ,
, .
. , ,
.
, .

,
.
. ,
,
,
.
... , ,
. ,
. ,
1979.
.

109


,
. , ,

.
.
,
, ,
, .
.

,
.

.
,
, .
,
.
11.2.

,
- .
.
:

110

11.3.

:
1. ,
2. ,
3. .

111



. .
,

.
11.3.1.

:
Z a b 2c .

112

 ,

. ,
,
.

:
a b, a b
.
Z
a b, a b

113

11.3.2.

. .
,
.
.

114

 .

, .
:
n
x1 , x1 , , xn .

115

116

.
.
.
:

11.4.

1. .
,
.
2. . ,
.
3. .
.
4. .
.
5. .
.
11.5.

,
.
,
,
.

. ,

117

 , .
,
.
.
.

1. ?
2. ?
3. ?
4. ?
5. .
6. ?
7. .
8. .
9. .
10. ?
n
1
11. ,
k 1 k
n .
12. .
13. ?
14. : S a b c .
:

118

15. .
:

119

16. : S 1

4
9
n2

.
1 2 1 2 3
n!

120

121

12.


:
1.
2.
3.

,
,
.

. ,
,
. .

.

.

.
,
, , ,
, .

,

.

.
-





122

12.1.

.
,
.
(. recursio, recursion o recurrere: )

. :
1. a
( 0 1)
2. n ,
a ,
n 1.
.
:
1 .
n , n 1 .

.
, .
.
.
:
f n a n ,
.
n a .

f 0 1 a 0 1 ,
.
f n 1 a f n .
f 3 .
123

1. a o 1 ,
2. f 3 a f 2 a a f 1 a a a f 0 a a a 1 a 3
:
fak n n ! ,
.
fak 0 1

fak n 1 n fak n
f 3 .
1. 0! 1 ,
2. f 3 3 f 2 3 2 f 1 3 2 1 f 0 3 2 11 6
:
1,
1,
. 1,1,2,3,5,8,13,........

fib 1 1
fib 2 1
fib n f n 1 f n 2
fib 3 .
1. fib 1 1, fib 2 1 ,
2.

fib 3 fib 2 fib 1 1 1 2

C/C++ Jave
, .
.

.

.

124

 ,
.
.
:

f 1 1

f k f k 1 k

f 1 1

1 2
2

f 2 1 2

2 3
2

f 3 1 2 3

3 4
2

f 4 1 2 3 4

4 5
2

f n 1 2 3 n
n 1
1 2
f 1
1
2
k 1 k k k k 1 f k
f k 1 k

2
2
:

f 1 2,

f k 2 k f k 1 .
: f n 2n n !

12.2.

125

n n 1
.
2


, .

procedura : stepen(a je realan broj, n je nenegativan broj )

if n 0 then stepen a, n 1
else stepen a, n a stepen a, n 1

procedura : fakt (n 0)
if n 1 then fakt n 1
else
fakt n n fakt n 1

procedura : fakt ( n 0)
x 1
for i 1 to n
x ix
x je n !

procedura : fib(n 0)

if n 0 then fib 0 0
else n 1 then fib 1 1
else fib n fib n 1 fib n 2

126


procedura : fibonaci(n je nengativni broj )
if n 0 then y 0
else
begin
x 0, y 1
for i 1 to n 1

begin
z x y
x y
yy
end
end
y je fibonacijev broj
.
12.3.

.
, .
. ,
. ,
.
.
:
.
.


.
.
.
, ,
,
. .

127

12.4.

.
.
1936. .
.

(1912-1954), ,
. .

, .
. 1947.
, I,
. ,
,
- 8, .
,
, ,
. 1952.
,
. 1954.
. .


.
.
,
.
, .
128


.
.
,
.
, .
,
,

.

,
:

.

.
.
,
.
C
, Q
. , ;
,
, .
, ,
. ,
129

 ,
, (
), .
.
.
. ,
. .
,
.
.
,
, ,
. ,
.

.
,
, .
1936
, ,
.

.
,
.
, .

.
,
, .

1.
2.
3.
4.
5.
6.
7.

?
.
?
.
- .
?
?

130

:
S 0,1, b , b .
8. ?
:
Q q0 , q1 , q2 , q , q , b . q0 ,
q , q .
9. ?
10. .
11. f n 2 n .
12. f n n ! .
13. .
14. n
.
15. x
3 x .
16. x
n x 11 p .
17.
a b .
a b
a 0 b 0 .
18. n
.
19. n
.
20. n
a, b , a, b n
.
21. a, b c
ax 2 bx c 0 .
,
.
22. a i
i 0, n 1 .

131

23. a i
i 0, n 1 .
n

24. S i ! , n
i 0

.
n

25. S x
i 0

x i
,
i!

n x .
n
1
26. P ,
i 1 i !
n .
27.
n
2x i
P x
, n x .
i 1 n i
28.
n
x
P x i , n x .

i 1 i !
29.
nx
V x
, n x .
(n 1)x
1
(n 2) x
1
x
...1
1

132

13.
A

:
1. ,
2. .
.
,
,
?.
.
.

.

. ,
n
n2 .
n2 . ,
. , O
. O n 2
, O n 2
.
:

. ,

(. -
).

133

 ,
, .
O .
13.1.

.
.

.
.

.

(.
), .
,
.
.
13.2.

.

, , , ,
.

.

.

.
, .

134

13.3.

,
, .
,
.

, 2n
n .
n 100 , 1012
, 4 1010 .
13.4.

1. .
,

.
2. .

.
3. .

.
4. .

.
5. .
.
6. -
.
7.

.

135

13.5.

.

,
,
. ,

, .
, ,
.
, ,
.
,
, .

.
.
.
,
.
,
, , ,
. ,
, .

,
.

,
.
,
136

 , ,
. ,
.
, ,
.
13.6.

,
.
.
K 1: n n .
K
SEQ-SEAECH, .

.
K ,
.
SEQ-SEARCH(K, key)
i=0
while (i n ) do
if (key = K[i]) then
return i
else
i = i+1
end_if
end_while
return 0

(sentinel), SEQ-SEAECH -SENT.

137

SEQ-SEARCH-SENT(K, key)
K[n+1] = key
i=1
while (key K[i] ) do
i = i+1
end_while
if (i = n+1) then
i=0
end_if
return i
SEQ-SEAECH -SENT n 1
.
. ,
, SEQ-SEAECH,
,
.
i n 1 ,
.
50% n . ,
.

. ,

1 2 n n 1
n

,
n ,
.
O n , n .

.

138

13.7.

,
.
.
,
.

, ,

.
,
.

.
, ,
.


.
, ,
, ,

.
.

, ,
,
.
.
,

.

139



.
,
.
13.8.


,

.
.
.
,
,
50%.

,
.

,
n

.
2

.
,
.
,
.

- .

. , ,
,
.
, . ,
140

 ,
, ,
.
13.9.

,
.
,
i ,
1, , i 1 ,
.
i ,

.
.


.
.

,
.
, BIN-SEARCH
K key.

mid K. ,
mid .
, (mid + 1).. n

1..(mid - 1). ,
. , ,
.
,
key.

141

 ,
.
BIN-SEARCH(K, key)
low = 1
high = n
while (low high ) do
mid=(low + high)/2
if (key = K[mid]) then
return mid
else if (key < K[mid])
then
heigh = mid 1
else
low = mid + 1
end_if
end_if
end_while
return 0
, i
n 2i .
,
, i log n .
, O log n ,

.
,
.
.

O n .
,
,
.
,
.
142


, .
,
.

.

13.10.


.
,


. ,

.
.
,

.
:
:
- p
y() = ,
- pl ( )
(y( pl ) < ),
- pr ( )
(y( pr ) > ).
,
.

143


. ,
,

. ,
, .
,
,
. ,
:

:
,
144


.

.
,
.
13.11.

. SEARCH K .
BST- SEARCH ,
, , .
BST-SEARCH(rt,)
p=rt
if (p = nil) or ( = y(p))
then
return p
lse if (<y(p)) then
return BSTSEARCH (left(p),)
else
return BSTSEARCH (right(p),)
end if
end if

145


.
, ,

. ,

K ,
, .
.

, h .
O h .


. BST-MIN

.
BST-IN(rt)
p=rt
while (left(p) nil ) d
p=left(p)
nd while_
return p
,
. BST-X
BST-IN
.
BST-X(rt)
p=
while (right(p) nil ) d
p=right(p)
nd_while
return p

146



.
.
, .
z
TREE-SUCUCCESSOR z
TREE-SUCUCCESSOR(z)
p=z
if (right(p) nil) then
return BSTMIN(right(p))
lse
q=parent(p)
while(q nil and
p=right(q)) d
p=q
q=parent(q)
nd_while
rturn q
nd_if
,
.
. ,
.
.
.
,

. ,
.
, BST-IN
BST-X, right lft.
,
,

147

 , O h ,
.

.
.
BST-INSERT
nw rt.
. .
,

, ,
(
nw ),
nw.
BST-INSERT(nw,rt)
p=rt
if (p = nil) thn
rt = nw
lse
if (y(nw) = y(p)) hn
ERROR(Postoji kljuc)
lse if (y(nw) < y(p)) hn
BST-INSERT(nw, left(p))
lse
BST-INSERT(nw, right(p))
nd_if
nd_if
nd_if
O h , h .

148



, .
.
( ).

.
.


( ).

( ).

.
(
),
,
.

a)

149

150

)
: : ) , ) 31, )
14, ) 19
BST-DELETE
K rt.
BST-DELETE(, rt)
p=rt
q = nil
while (p nil and y(p)) d
q=p
if ( < y(p)) thn
p = left(p)
lse
p = right(p)
nd_if
nd_while
if (p = nil) then
RROR(Kljuc nije pronadjen)
nd_if
if (left(p) = nil) thn
//prvi slucaj i drugi slucaj
d postoji sam desni sin
rp = right(p)
lse if (right(p) = nil) thn //drugi slucaj
rp = left(p)
151

else

//treci slucaj
f=p
rp = right(p)
s = left(rp)
while (s nil) d
f = rp
rp = s
s = left(rp)
nd_while
if (f p) thn
left(f) = right (rp)
right(rp) = right(p)
end_if
left (rp) = left (p)

nd_if
nd_if
if (q = nil) thn
rt = rp
lse if (p = left(q)) thn
left(q) = rp
lse
right(q) = rp
nd_if
nd_if

,
, ,
. .

O h .


O h , h .
O log h ,
(, ). , ,

152

 .
h n 1 , n , O n ,
.
, .
( ,
, , ).
, .

153

)
,
, n ,

O log n , O n .
.
:
n .
, ,
PE PI 2n ,
PE , PI .
:
.
n 1 ()
, PI 0 , PE 2 , .
n .
,
, n 1 .
k , k ,
PI n 1 PI n k .
k
, 2 k 1 , ,

154

 k ,
k 1 .
PE n 1 PE n k 2 k 1 PE n k 2 .
n . PE n PI n 2n

PE n 1 PI n 2n k 2

PI n 1 2 n 1 .
, n , n 1 ,
.

,
n , n
. ,
,
. S n
n
, U n
.
,
i
i 1 .
,
.
0 n 1
S n 1 U 0 U1 ... U n 1 n .
(1)
,
.
, , PI ,
n

S n 1 n pi 1 PI n n .
i 1

,
,

. n 1

155

. U n
PE
U n PE n 1 .

PE PI 2n ,

S n PE 2n n n n 1U n n n n 1 n U n 1 .
(2)
(1) (2),
2n U 0 U1 ... U n 1 n 1U n .
(3)
n n 1 ,
2 n 1 U 0 U1 ... U n 2 nU n 1 .
(3) (4)
2 U n 1 n 1 U n nU n 1

U n U n 1 2 n 1 .

(4)

U 0 0 U1 1 , H n 1 1 1 2 ... 1 n 1
, U n
:
U n H n 1 2 .
S n n 1 n U n 1 ,
S n 2 1 1 n H n 3 .

H n ln n 1 12n 2 ... ,
0.577 , n

S n 2 ln n 3 2 ln n c .


2ln n log n 2ln 2 1.386 .
,

156

 O log n
40%.

.
40%
,
. ,


13.12.
.

( hl ) ( hr )
1. 1962.,
.

.

, .
h 2h .

:


.
.
:
b hl hd
.
1, 0 -1.
1 , -1
.
157

 C,
:
struct AvlNode{
lementTyp lement;
vlr Lft;
vlr Right;
int
B;
};


, .
.

. , ,
.
.
.
:

, (, )),

,
(, ),

, , ,
(, )).

158

a)

)
: )
, ) ,
)

159

13.13.
-
: ,
.
, -
, .
2log n ,
O log n .

:
-
:
1. .
2. () .
3. , .
4.
.

, -
, .
:
v ,
bh v .

.
.

160

: - ;

,
,
.
C.
typedef enum ColorType { Red, Black } ColorType;
typedef struct RedBlackNode *RedBlackTree;
struct RedBlackNode{
ElementType Element;
RedBlackTree Left;
RedBlackTree Right;
ColorType Color;
};
:
C
- -

, Left Right
NullNode . ,
.

161

14.

:
1. - ,
2. - .

.
, , ,
.
:
. ( ,
.
,
.)

. ,

.

.
.
.
.
14.1.
-

G , G
.

162

 .
.

,
, .
,

.
14.2.

. , ,
.

.


.

.
.
.
. v w
, v, w
. .
w v ,
. v, w ,
v . G
.
:
,
, .
. .
, .
, .
163

 .
, , .
,
.
,
.
.
DFS (dept-first-search).
.
14.3.
-

n (), ().
1. G n .
2. v0 G
.
3. v0 n v v0 .
4.
v .
w v .
w , v, w
, w , w v ,
4.
w w v ,
v, w 4.
5. v v0 , v ( v ) 4.
6. .
v w ,
v w .
, 5 v .

164


procedura : pretraga u dubinu (G povezan graf sa vorovima v0 , , vn )

T stablo koje sadri samo vorove v0

poseti v1
procedura : poseti v vor G
za svaki vor w susedan voru v i nije jo iz T
poni
dodaj vor w i granu v, w stablu T
poseti w
kraj
:
. .

a .
a n y b a b n ,
a, b b n y
b d , b .
, b, d . d
, a , f g .
,
. g , n ,
y d , g . g
165

 f , g , y
g , f . f d .
d y d , f
.
,
f , g .
g , d . d
a , y , d , a
b .
b , a .
c e .
c , n y a, c
. e c ,
y c, e . a
e , y , e, a
. e .
h e , y
e, x . h ,
e , c a .

166

14.4.
-

.
. 1.
1 ,
. 2.
G .
BFS (breadth-first-search).

167

14.5.
-

V , E ,
V T E T .
1. v0 G
. v0 V T L v0 0 .
2. v V V T , v v0 ,
v V T , v0 , v E T L v 1 .
3. i 1 .
4. v j V T , L v j i .
5. v V V T . v v j ,

v V T , v0 , v E T L v i 1 .
6. 5 V V T .
7. 4, 5 6 v j
L v i .
8. i i 1 .
9. 4-8 V V T .

procedura : pretraga u irinu (G povezan graf sa vorovima v0 , , vn )
T stablo koje sadri samo vorove v0
L je prazno
definii nivo L vora v0
dok while L nije prazno
poni
pomeri prvi vor , v, iz L
za svaki susedni w od v
if w nije iz L i nije iz T onda (then)
poni
dodaj vor w na kraj liste L i granu v, w stablu T
kraj

168

:
.

a . L a 0, a V T .
b a b V T , L b 1, a, b E T .

c a , c V T , L c 1, a, c E T .

d
T
T
d V , L d 1, a, d E .
1. L b 1,
, .
f b , f V T , L f 2, b, f E T .
e c , e V T , L e 2, b, e E T .
, .

169


A B
.
, , ,
, .
,
, .
,
.
, ,
. ,
.
G ,
.
G , T

G.

i -
- w j
i - - . ,
.
, 1,
0.
.

170

14.6.

v1 vn .

1. v1 , 0 , v1 0, 0
. .
2. vk m, vr ,
vk , m vk v j .

3.
4.
5.
6.

v j ,

vk .

. .
vn 2.
vn , vn
v1 vn .
, vn
( ). v j ,
v1 .
.

171


procedura : dajkastra(G graf sa vorovima v0 , , vn i teinama w0 , , wn )
gde je w vi , v j ako vi , v j nije grana G
for i 1 to n
L vi
La 0
S je prazan
while z S
poni
u a vor koji nepripada S sa L u min
S S u
for svi vorovi v koji nisu u S
if L u w u , v L v then L v L u w u, v
end
L z je duina najkraeg puta iz a do z

: A F ,
.

172

 A .
,
,
. ,
0.

B C A , 2
5, A B , 6, A
C . 3
, 5 B 5, A .

2, C , D, E , F
B . AB
173

 . C 5 3 8 , D 5 7 12 ,
E 5 2 7 F 5 10 15 .
C ,
C 6, A . D, E , F
B ,
D 12, B ; E 7, B ; F 15, B .

3
( 6,12,15,7 ), 6 C 6, A
.

C . 2 ,
3
E 7, B .
174

 2 F 15, B F 11, E F
.

F
A F 11. F
, ,
A F . , F
E , B , A . ABEF .

1. , .
v0 v .
175

176

177

 v0 v4v1v3v2v 9.
2. , .
P Q .

P, A1 , A2 , A5 , A3 , A6 , Q . 14.
3. ,
.
178

179

180

181

 2300 $.
4. , .
a z .

182

183

 acbde 13.

184

15.

:
1.
2.
3.
4.

,
, ,
,

,

15.1

.
.
,

.

185

 ( , 1815 - 1864)
. ,
, .


. , , 49-
, ,
, , .

. 1937.

. ,

.
.

186

15.2
B
*, , 0 1 B ,

B, ,*, ', 0,1

, a, b, c
B :

a *b b *a

abB
a *b B
ab ba

a b * c a b * a c ,
a * b c a * b a * c

a*a 0

a0 a
a a 1

a *1 a

0 , 1
.
a a .
+ * .
* ,
a * b ab .
.
, *
+.

187

15.3
a, b, c B , ,
:

a b c a b c , a * b * c a * b * c

a a a

a 1 1

a a *b a

0 1
1 0

a *b a *b a
a b*a b a

a*a a
a*0 0
a *a b a

a a

a b a *b

a * b a b

A , ,
A + *
, .

15.4

,
{0,1}.

, (0) (1),
.
B 0,1 +,* , , , ,
, .
+

188

0=1, 1=0.

15.5
F F p1 , p2 , pn .
p1 , p2 , pn 1 0.

F : B n B .

F1

F2

F3

F4

2n 22 ,
n
n
V22 22 .
F 8, F 5, F 7 F10 ,
, .
.

15.6

189

p1
1
1
1
1
0
0
0
0

p2
1
1
0
0
1
1
0
0

p3
1
0
1
0
1
0
1
0

F
1
0
0
1
1
0
1
1

():
F F1 F2 F1 F2 F1 F2 F1F2 .

,
():

F F1 F2 F1 F2 F1 F2 F1 F2

: .

,
,

0.
F p1 p2 p3 p1 p2 p3 p1 p2 p3 .
,
,
1.
F p1 p2 p3 p1 p2 p3 p1 p2 p3 p1 p2 p3 p1 p2 p3 .

190


1. ?
2. .
3.
4. ?
5. :

aa a
:
a a a a *1

neutralni element

a a*a a

inverzni element

a a * a

distribucija

a0
a

inverzni element
neutralni element

a * 0 0 .
:
a * 0 a *0 0
a*0 a*a

neutralni element
inverzni element

a *0 a

distribucija

a*a

neutralni element

inverzni element

) a * a b a .

) a a * b a
:
)

191

a a *b
a *1 a * b neutralni element
a * 1 b

distribucija

a *1

zakon nule

neutralni element

a * a b
a 0 * a b neutralni element
a 0* b distribucija
a0
a

zakon nule
neutralni element

a a

:

a a a a 1
a *a a *a 0
x a ,
x a a x 1
x*a a* x 0
a x , a a .
) 0 1
:
)
0 a*a

a a
a a
1

inverzni element
De Morganovo pravilo
zakon involutivnosti
inverzni element

192

) 1 0

1 a a
a *a
a *a
0

inverzni element
De Morganovo pravilo
zakon involutivnosti
inverzni element
) a * b a * b a

a b*a b a

:
)

)
a *b a *b
a * b b distribucija
a *1
a

inverzni element
neutralni element

a b*a b
a b * b distribucija
a0
a

inverzni element
neutralni element

6.
?
p

1
1
1
1
0
0
0
0

1
1
0
0
1
1
0
0

f
0
1
0
0
1
0
1
1

r
1
0
1
0
1
0
1
0

:
f pqr pqr pqr pqr -
f p q r p q r p q r p q r -

193

7. :
) f1 pq pr qr
) f 2 p qr .
:
p
q
r
f1
f2
1
1
1
1
1
1
1
0
1
1
1
0
1
0
1
1
0
0
1
1
0
1
1
1
0
0
1
0
0
0
0
0
1
1
1
0
0
0
1
0

194

1. . , . , . ,
, ,
, 2008.
2. M. T, , , 2005.
3. .. , ,
, , 2005.
4. . , , , , 1996.
5. . , ,
, , 2004.
6. . , . , . , . ,
, , 2008.
7. . , , ,
, 1990.
8. K. H. Rosen, Discrete Mathematics and Its Applications, Mc Grew
Hill, 2003.
9. . , , , 1998.
10. . , . , . , . ,
, , 2003.
11. . ,
, , 2005.