Вы находитесь на странице: 1из 74

. . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1
. . . . . . . . . . . . . . . .
1.1
. . . . . .
1.2
. . . . . . .
1.3
. . . . . . . . . . . . . . . . .
1.4
. . . . . . . . . . .
1.5
. . . . . . . . . . . . . . . .
1.6
. . . . . . . . . . . .
1.7
. .. . . . .
1.8
. . . . . . . . . . . . . . . . . . . . .
1.9
. . . . . . . . . . . . . . . . . . . . . .
2
. . . . . . . . . . . . . . . . . .
2.1
. . . . . . . . . . . . . .
2.2
. . . . . . . . . . . . . .
2.3
. . . . . .
2.4
. . . . . . . . . . . . . . . . . .
2.5
. . . . . . . . . . . . .
2.6
. . . . . . . . . . .
2.7
( ) . . .
2.8
. . . . . . . . . . . . . . . . .
2.9
. .
2.10 . .. ,
.. .. . . . . . . . . . .
2.11 . . . . . . . . . . . . . . . . . . . . .
2.12 . . . . . . . . . . . . . . . . . . . . . .
3
. . . . . . . . . . . .
3

6
11
11
13
17
19
21
24
26
28
30
50
50
53
56
57
62
65
67
69
70
72
79
82
95

3.1
. . . . . . . . . . . . . . . . . 95
3.2
. . . . . . . . . 97
3.3

98
3.4
. . . . . . . . . . . . . . . . . . . . . 101
3.5
. . . . . . . . . . . . . . . . . . . . . . 102
. . . . . . . . . . . . . . . . . . 105
4.1
. . . . . . . . . . . 105
4.2
. . . . . . . . . . . 106
4.3
. . . . . . . . . 108
4.4
. . . . . . . . . . 109
4.5
. . . . . . . . . . 111
4.6
. . . . . . . . . . . . . . . . . . . . . 112
4.7
. . . . . . . . . . . . . . . . . . . . . . 115
() . . . . . . . . . . . . 126
5.1
. . . . . . . . . . . . 126
5.2
. . . . . . . . . 127
5.3
. . . . . . 129
5.4
. . . . . . . . . . . . . . . . . . . . . 131
5.5
- . . . . . . 132
5.6
. . . . . . . . . . . . . . . . . . . . . 134
5.7
. . . . 135
5.8
. . . . . . . 137
5.9
. . . . . . . . . . . . . . . . . . . . . 142
5.10 . . . . . . . . . . . . . . . . . . . . . . 144
. . . . . . . . 153
6.1
. . . . . . . . . . . . . . . . . . . . 153
6.2
156
6.3
. . . . . . . . . . . . . . . . . 174
6.4
-2 . . . . . . . . . . . . . . . . 178
6.5
. . . . . . . . . . . . . . . . . . . . . 181
6.6
. . . . . . . . . . . . . . . . . . . . . . 184
. . . . . . . . . . . . . . . . . . 195
7.1
- 195
7.2
. . . . . . . . . . . . . . . . 199
7.3
. . . . . . . . . . . . . . . . . . . . . 201
7.4
. . . . . . . . . . . . . . . . . . . . . . 202

. . . . . . . .
8.1
. . . . . . . . . . . . . . . . . . . . . . .
8.2
. . . . . . . . . . . . . . . . . . . . .
8.3
. . . . . . . . . . . . . . . . . . . . . .
9
. . . . . . . . . . . . . . .
9.1
. . . . . . . . . . . . . . . . . . . . . . .
9.2
. . . . . . . . . . . . . . . . . . . . .
9.3
. . . . . . . . . . . . . . . . . . . . . .
10 : . . . . . . . . . . . .
10.1 . .
10.2 (. , . ) .
10.3 . .. . . . .
10.4 . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
11 2014-16 . . . . . . . . .

5
207
207
209
209
212
212
215
216
218
218
219
221
222
223
227
233

?
. ,
(, )
, . . [S4],[Z],[J].
( , ).
,
, .
(. . )
, , computer science , . - .

. ..
.. , . ,
.. , ,
.
. . , , , , ,
. , . ,
, - . , .

. , . , , .
.
.
,
; 1 ,
.
[O, 89], [Vi, 1-3], [Z, 3.1-3.4 3.7].
( ), .
: .
.
(, ) .
( 3 4,
). -
, ,
.
. 2.1.
.
, . 1

(, 1.1) 6-. ,

(
).
6- -, ., , [GIF].

.
.
.
. ,
.
, .
, . 2 . , . (
- , .)
, . [IKRS],
[Z], [L] .
.

(
). ,
.
- .
,
.
[Ga, GKP, Gr, Har, Hal, K, M, R1, R2, R3,
R4, S1, S2, VS, 8] [AM, BKS, BKKSS, I, Ja, J, KZP, KR, O, P, Vi, R5,
R6, S3, S5]
, [AS, B, Bo, G, L, S7, So] . ,
2

: , ,
( ). , . .

10



[x] () x.
d | n n d ( d n).
Rn {1, 2, . . . , n}.
N {1, 2, . . . , n, . . .} .

R, Q, Z ,
, .
Z2 {0, 1} 2
2.
Zm {0, 1, . . . , m 1} m
m.
( )
n

k- n-
k
( : Cnk ).
( )
X

k- k
X.
|X| X.
A \ B = {x | x A x
/ B} A B (
/).
AB A B.
A B, A B = .
A B A B. ( A B, A B
A B B.)
x = a x := a.

1.

1
1.1

11

( ) (
)
( )
( )
n
n
n
n
1.1.1. (a)
=
. (b)
+. . .+
.
k
nk
0
n

) (
) ( )
n+1
n
n
=
+
, 0 6
1.1.2. (a) .
k+1
k+1
k
k 6 n{ 1. (

}
{
}
{ } 1.1.4.a.)
{ }
n+1
n
n
n
= (k + 1)
+
.

(b)
k+1
k+1
k
k
n- k (. . ); , . .
{1, 2, 3} {1, 2} {3} {3} {1, 2} . .
1.4.7.e.
{ }
n
.
k
; ., , [GKP, . 287].
(

1.1.3. (a) R11


?
(b) .
( )
n
n!
n(n 1) . . . (n k + 1)
1.1.4. (a)
=
=
.
k
k!(n k)!
k!
( )
n
n j nj
n
(b) . (a + b) = j=0
a b .
j

? ,

1.1.2.a.
( , , . .)

1.

13

1.1.5.(
) ( ):
( )
n
n
n
(a)

+ . . . + (1)n
;
1 )
n
(0)
(
( )
( )
1 n
1 n
1
n
n
(b)
+
+
+ ... +
;
3( 2)
n
( 0 ) 2( 1)
( +)1 n
n
n
n
n
(c)
+2
+3
+ ... + n
;
1
2
3
n
( ) (
)
(
)
n
n+1
n+m
(d)
+
+ ... +
;
k
k+1
k+m
( )2
( )2
n
n
(e)
+ ... +
;
0
n
( )( ) ( )(
)
( )( )
n m
n
m
n m
(f)
+
+ ... +
;
0
k
1
k

1
k
0
( ) (
) (
)
( )
2n
2n 1
2n 2
n
(g)

+
. . . + (1)n
;
0
1
2
n
( )
(
)
(
)
( )
2n
2n 1
2n 2
n
(h)
+2
+4
+ . . . + 2n
.
n
n
n
n
1.1.6.

( n )
( n )
;
;
(a)
(b)
2k
4k
k>0

k>0

(c)

( n )
k>0

3k

.
1.1.7. (a) 1, 2, . . . , n.
k , .
( k- , .)
(b) n ,
.

1.2

-.
?
.

14

. , - ,
. ,
.
.. .
(n) , . .
1 n, n.
1.2.1. (a) , 1001
7, 11, 13.
(b) (1), (p), (p2 ), (p ), p , > 2.
(c) (n) = n(1 p11 ) . . . (1 p1s ), n = p1 1 . . .ps s
n.
1.2.2. (a) 24 2
( ) 12 2 . 4 2 .
(b) ( ).
. .
(c) , (b), .
1.2.3. 1 n,

(a) 1, 2 ?
(b) 1, 2 3 ?
(c) 1, 2 3 ?
(d) 1, 2, 3 4 ?
1.2.4. 10 .
(a) ,
?
(b) ,
4 , 50000.
:
U () Ak U ,

1.

19

. ,

.
1.3.8. 10 , 100 ,
. ,
(a) , , 1 .
(b) ,
, 2
,
( (a) , ).
1.3.9. n v1 , . . . , vn 1 1 , . . . , n = 1,

(a) | nk=1 k vk | 6 n, (b) | nk=1 k vk | > n.

1.4

1.4.1. ,
.
1.4.2. 33 .
(a) ?
(b)
, . . , 8 .
(c) , 10
.
(d)* , (b).
( )
n
1.4.3. (a) n
k =
k
[n/2].

20

(b) Best in their own ways. k . ,


A B , A B, ,
B, A.
? ,
n, k n- ,
() .
1.4.4. n . .

: , .
, (
)?
1.4.5.
n . (
). ,
. ,

( )?
. (
) ( )
. , Rn . k- , k- . , .
. n- .
Zn2 .
Zn2 7.1. L Zn2 , x + y

1.

21

L x, y L ( ). ,
n- , (. .,
2).
1.4.6. (a) (0, . . . , 0).
(b) .


n


k
Zn2 , 2k (
Zn2 k-, . 7.1).

2
1.4.7. (a) k = 0, 1, 2.
k

3
(b) k = 0, 1, 2, 3.
k






n n
n n
=
= 1,
=
= 2n 1.
(c)






0
n
1
n1



n n
=
.
(d)
k nk





n+1 n


n
=
+ 2nk
.
(e)




k+1
k+1
k


n
.
(f)
2


n
.
(g)
k
, 7.1.

1.5

d|n

n.

24

(a)

Mr (d).

d|n

(b) Tr (n) Mr (d), d | n.


1
l
d.
(c) Tr (n) =
(d)r
l
(d) Tr (n)

l|n
= n1

d|l

(d)r d . (

d|n

[ZSS, 23].)
1.5.6. n r ,
(a) s ns s = 1, . . . , r. (
, 1.5.5.c.)
(b) 4 r = 5 .

1.6

. . 6.2, 6.3. 2.4.3, 2.6.5, 2.6.7, 2.7.2, 3.1.11.b, 4.1.5, 4.3.4.


. . (, , .) .
1.6.1. (a) 21 30-
. - 30- .
(b) 40 . 10 , 1 .
60 .
(c)
5 ( ).
3.

1.

25

(d) Pn (k) 1 n, k
n

.
k Pn (k) = n!.
k=0

1.6.2. F k- n .
(a) k > l l- n-

F,
( ) /(
)
n
k
|F| >
.
l
l
(b) (k 1)- n-
,
k|F|
F,
.
nk+1
1.6.3. 100 , 50 . ,
. . (. 1.6.2.a.)
1.6.4. 19 97- , .
97- . (
, , .)
1.6.5. n > k S n .
S
P S k

1
S, P , k < 2 + 2n.
1.6.6. n n/3 ,
, .
1.6.7. 100 8
. . , ,

50

2
2.1

G = (V, E) V = V (G),
(. .
) .

( ) E = E(G). ,
V
E
.
2
V . . ,
. , , . a b , , (a, b)
a b a b.
,
.
, n e , .
(,
), . .
. 2, 3, 4, 7, 8, 10 11 .
.
, . , , .. .
Pn 1, 2, . . . , n
(i, i + 1), i = 1, 2, . . . , n 1. Cn 1, 2, . . . , n (1, n) (i, i + 1), i = 1, 2, . . . , n 1. (
, .) n ,
, Kn . , ,
, ,

2.

51

. Km,n
m n , mn
.
2.1.1. ,
.
deg v v
. , .
, . , G H,
G H, G
H. G, H,
G.
k- k , .
, .
v1 e1 v2 e2 . . . en1 vn ,
i ei vi vi+1 .
n 1 . ( e1 , e2 , . . . , en1
.)
v1 e1 v2 e2 . . . en1 vn en ,
i < n ei vi vi+1 ,
en vn v1 . , .
n . , v1 , v2 , . . . , vn
e1 , e2 , . . . , en . (
) .
2.1.2. (a) , , .
(b)
.
(c)
, ?

52

(d) ,
a b, ,
b c. , a c.
,
, .
2.1.3. n
.

n
2

1,

, . .

. 1: G e, G/e
G x
. 1. (. 1)
A B
D, , A B ,
, D . (
, . 2.5,
, 1 1.) ,

2.

53

,
.
( ) G =
(V, E) V = V (G), . E = E(G). ,
E {(x, y) V V | x = y}. (a, b),
(b, a), .
,
.
2.1.4. G,
u f (u). ( ,
, .) p : V (G) R () ,
f (x, y) = p(x) p(y) u = (x, y),
,
( , , ).
, . (..
v, w (v, w) (w, v),
.)

.

2.2

, .
, .
2.2.1. (a) , .. 1.
(b) n n 1 .

54

(c) .
(b) n ,
n 1
.
(b) n ,
n 1 .
(c)
, .
(d) n
, 2n 2.
, ({1, 2, 3}, {{1, 2}}) ({1, 2, 3}, {{1, 3}}) . ,
( 2.3). ,
, . .
2.2.2. n :
(a) ?
(b) ?
2.2.3. (a) . n
nn2 .
(b) d1 , . . . , dn 2n
2, n , i- (n 2)!
di ,
.
(d1 1)! . . . (dn 1)!
deg (1)1
deg (n)1
, (x1 + . . . + xn )n2 = T x1 T
. . . xn T
,
T 1, 2, . . . , n,
degT (k) k T .
(c) * T1 , . . . , Tr , . ,
r , T1 , . . . , Tr ?

2.

55

2.2.4. 1, 2, . . . , n 1 n . .
,
1. (. 2.2.1) v .
2. , v.
3. v .
, .
(a) 1, 2, . . . , 10 (8,9),(8,4),(4,10),(10,3),(3,5),(10,6),(10,1),(1,7),(1,2).
(b) 1,1,2,5,4,2,7.
(c) -
n
n 2 .
(d) d d 1 .

2.2.5. , . (, ,

.)
(a) , 100
98 ?
(b) n n .
2.2.6. (a) ,
.
(b) G h1 (G)
, . ( .) ,
h1 (G) . h1 (G) n , e k .
.
( ).
, , , [S3, 6].
(c) + . , .
.

56

(d) G h1 (G)
+ ,
. ,
h1 (G) . h1 (G) n, e k.
. , . , , , [S7, 11.1, 11.2].
(e)* , h1 (G) h1 (G) , , h1 (G) = h1 (G).

2.3

, , (
). ,
G1 G2 ,
f : V (G1 ) V (G2 ),
: A, B V (G1 )
, f (A), f (B) V (G2 ) .
l'
lll  ''
l
l
ll
 ''
lll

l
>> ''
.. 
>> '
.. 
>>'
. 

l'
lululuu ''
l
l
ll u
lll uuu > ''
l
.. uu > ''
>> '
..
uu
>>'
. uuu
u

vv ===

v

v
===

vv
v

v
= vv



I
=
 IIII vvvv ===

===

vIvII
v
II 
v
= vv


. 2: ?
2.3.1. 2 ?
2.3.2. k, l, m, n N
(a) k Kn ,

2.

57

(b) k Km,n ,
(c) k Kn ,
(d) k Km,n ,
(e) Kn , Kk,l ,
(f) Km,n , Kk,l .
: ,
.
2.3.3.
(a) ,
(b) ,
(c) .
2.3.4. , 8 25 ?
2.3.5. n
(. . n ) 4n .

2.4

,

( , , ).
, ,
( ) .

. 3:
,
. , .

58

2.4.1. , .
.
(a) , ?
(b) , ,
?
(c)
3. ,
, ?
2.4.2. (a) .
f n e + f = 2. n, e
( ., , [P]. . V E + F = 2.)
(b) k .

K5

K3,3

. 4:
2.4.3. .
(a) K5 K3,3
.
(b) n . , .
- . , , . -

2.

59

, . n
, ?
(c) ( ),
(. .
).
. (a), (b) (c) ,
. . 2.3.
(d)* ( , ) 5 ( ). ,
.
(e)
, , 2e > 3f e 6 3n 6.
(f) 5.
(g)
d, k > 3 ,
1 1
1 1
+ = + .
d k
2 e
2.4.4.
(, ). , ,
, . ,
(a) 6 ; (b) * 5 ; (c)** [ .]
. , ,
d
d (3.1).
, . ,
.
.

60

. 5:
,

; , , ,
.
, .
.
, , K5 K3,3 (. 4). ( ., , [S1].)
2.4.5.
(a) (
);
(b)*
.
n . . .
n ,
. . 6.1.
-.
.
2.4.6. (a) . , .
(b) .
A X, AX .
, . ,

2.

61

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

. 6: ,
2.4.7.
(5) K5 ; (33) K3,3 ; (6) K6 ; (34) K3,4 ; (7) K7 ;

(44) K4,4 .

2.4.8.
(5) K5 ; (33) K3,3 ; (6) K6 ; (34) K3,4 .
2.4.9. ( ) . , ,
, .

(5) 5 ; (6) 6 ; (7) 7 ?
. [S3, 2].
. g g (.. 2g-,
),

62

, ,
,
2g-.

2.5

( )
,
. ( , , : , , .)
, i- j- , ( )
i j i = j i i = j. ,
.

. k,
, k , k
2k .
( ) .
(, ) , 1, , .
, ()
() ,
() .
2.5.1. n
(a) , , , ?
(b) , , , ?
2.5.2. n , k

2.

63

(a) ?
(b) ,
?
() (),
.
2.5.3. (a) , .
(b) , .
(c) ?
(d) ?
(e) n Kn ?
(f) Km,n .

( ). . k
k , .
2.5.4. (a)
2k,
k ,
.
(b) , ,
,
.
(c) .
. ,
.
(d)
, 2 , .. ,
.

64

2.5.5. a. , (
). ; . ,

(a) 29 ,
1, 3 7;
(b) 1002 ,
.
(c) 0 < 1 < 2 . . . < 8 < 9
1002 .
(. . .) n k
,
k ( {0, 1, . . . , k 1}),
n , k n . ( , . . . k n + n 1.)
( . . . k n ,
k n + n 1 . . . n k.)

2.5.6. k =
2 ()
(a) n = 3, 111;
(b) n = 4, 1011;
(c) n = 4, 1010.
2.5.7. 0 1. 0
1, . k . 1, 0 k .
1
k ,
. , .
2.5.8. n .
dk k .

2.

65

(a) , , 1.
(b) T (a). (
), . 1 . ,
v. , T , . ,
, T ( ). , 1,
.
(c) (d1 1)! . . . (dn 1)!.

2.6

() (),
.
2.6.1. 4 .
(2.1), ( ).
2.6.2. (a) 2e > n2 3n + 6,
.
(b) . , n, .
(c) . a0 . . . as , , s > 3
deg a0 + deg as > s,
s.
(d)
s < n, s,
.
(e) , n 1, .

66

2.6.3. k > 2
k + 1
k 1 .
.
2.6.4. k + 1
k 1 .
(a) .
(b) v1 , . . . , vs . W ,
. X ,
W .
|X| > k.
(c) vi , vi+1 X.
(d) vi , vj X, vi+1 vj+1 .
1

7
13

14
16

5
12

15
11

3
10

. 7: ?
2.6.5. (a) 7?
(b) 8?
(c) n , 3- n- , ,
?

2.

67

. 8: .
?
2.6.6.

[
]
n1
Kn
.
2

2.6.7. (a) .
(b) n n ,
n!/2n .
2.6.8. G , G;
, G . G
.
. [Ve].

2.7

( )

2.7.1. , (b), .
3.
(a) , e 6 n2 /4.
(b) e = [n2 /4] + 1, [n/2]
.

68

(c) n = km (k + 1)-, 2e 6 k(k


1)m2 . ( , , n =
km (k + 1)-, 2e > km(m 1).)
(d) (k +1)-, 2e > km(m1)+
2mr, m := [n/k] r := k{n/k}.
2.7.2. (a)
4, e < n3/2 .
(b) K3,2 , e < 2n3/2 .
(c) K3,3 , e < 2n5/3 .
(d)* s, t, 2 6 s 6 t,
Ks,t , e < tn21/s .
2.7.3. n n , . . () ,
n .
2.7.4. n A1 , . . . , An Rd D(A1 , . . . , An )
() ,
1.
En (d) = max{D(A1 , . . . , An ) : A1 , . . . , An Rd }.
:
(a) En (2) > n[log2 n]/4; (b) En (2) 6 2n3/2 ; (c) En (3) 6 2n5/3 ;
(n 1)2
2(n + 4)2
(d)
6 En (4) 6
.
4
5
2.7.5. (a) V 11q -
Rq ( Rq . 7) 10q - x, y
1: |x y| = 1. , q
V ,
12q /2:
12q
1
|{(x, y) V V : |x y| = 1}| >
.
2
2
(b) , 12q /2 12q .

72

2.10

. .. , ..
..

1. (a) E n n E
, 3? (
3.)
(b) n k n ,
k?
2.
, , . , , , ,
.
n, d1 , . . . , dn .
(a) n (, ), d1 , . . . , dn
, ?
(b) , (, , , ).
(c) , (, ,
).
(d)* , ,
.
( 2d): ,
? n
, n 1,
.
3. ,
.
4.
(a) (43 , 16 ), (b) (64 , 23 ), (c) (53 , 33 ), (d) (1810 , 123 , 68 ), (e)
(158 , 106 , 34 )?
( : ak , k -

2.

73

a.)
5. , d1 , . . . , dn
()

i=1

di 6 k(k1)+

min(k, di ) k = 1, 2, . . . , n1.

i=k+1

6. a, b, c, d , (ab),
(cd) , (ac), (bd) . , (ab), (cd)
(ac), (bd).
G1 , G2 d1 > d2 > . . . > dn . ,
G1 G2 .
7. (a) , , n , [2004, n/2004].
(b) , n

, n/2, .
8. d1 , d2 , . . . , dn , (*) di . t = min{i : di > di+1 }.

{
di ,
i = t, n,
c = (c1 , c2 , . . . , cn ) ci :=
di 1, i = t, n.
,
(a) c , d .
.

(b) d , c

9. (*)
d c
(a) k > t; (b) dk 6 k1 6 t2; (c) dk = k 6 t1;
(d) dk > k + 1 6 t.
10. , ,
(*).
11.* (abcd) , 2, .

74

(abcd) 2 .
,
2.9.1. (a) ,
. ,
,
.
(b) ( .) . C D. M D
D, . , M D
M ( D) M ( D).
M D M D d , M d (
).

M = M = ,

#(M D) < #M

#(M D) < #M.

.
: ( M = ) (
M = ).
( ).
D x
D. M {x} d 1
d 1 C1 , . . . , Cd1 . x
{Ci }d1
i=1 d .
D1 D2 . , x D1 y D2 ,
x y. M {x, y}
M .
2.10.1. (a) : (V, E) = (2k, 3k)
k > 1.
: 3. 2E.

2.

75

3V = 2E. (V, E) (2k, 3k) k. , k = 1


.
k > 1 , , 2k-
, i- (i + k) .
(b) : k {0, 1, . . . , n 1}
kn .
n-. ,
[k/2]. k . k
n , .
e := (d1 + + dn )/2.

2.10.2. : (a,b) e . (c) e di 6 e


i. (d) . 5 10.
() . (, , , , ) n d1 , d2 , ..., dn >
0 , e := (d1 + + dn )/2
di 6 e i.
( . ).
e , e
. , ,
.
e. : e = 0 . . e < k. , e = k > 1.
k > 1 di 6 e ,
. , d1 > d2 > ... > dn . d1 1, d2 1, d3 , ..., dn .
, 2,
, 1. :
d1 1, d2 1, d3 , ..., dn . -

76

1 2. ,
. , . ,
d1 , d2 , d3 , ..., dn . QED
2.10.4. (a,c) . (b,d,e) .
2.10.5. ,
k .
2.10.8. (a) AB, ,
C, A.
D, C, B.
.. ( 9, 10). , d1 , d2 , . . . , dn
k

i=1

di 6 k(k 1) +

min(k, dj ),

j=k+1

k = 1, 2, . . . , n 1,
d1 , d2 , . . . , dn .

di . , di , 1b. di . , dn > 0.
t = min{i : di > di+1 }.
{
di ,
i = t, n,
c = (c1 , c2 , . . . , cn ) ci :=
di 1, i = t, n.

Sk =


()

di ,

i=1

Sk

= Sk 1 6 k(k1)+

ci . 8 -

i=1

6 k(k 1) +

k > t
Sk

Sk

i=k+1

i=k+1

min{k, ci }.

min{k, di }1 6 k(k1)+

i=k+1

min{k, ci }.

2.

77

k 6 t 1. Sk = Sk = kdk .
dk 6 k 1 (*) .
dk = k
(4)

(3)

Sk k(k 1) = k 2 k(k 1) = k = dk+1 6


6 dk+1 +

i=k+2

di 2

(5)

i=k+1

min{k, ci },

(3) , k 6 t 1;
(4) , k + 2 < n; k + 2 = n,
d = ((n2)(n1) , dn ) dn > 2 d1 +d2 + +dn .
(5) , min{k, ci } = ci i >
k + 1.
dk > k+1. dn > k+1, min{k, di } = min{k, ci } = k
i > k + 1 (*) Sk .
dn 6 k.
min{k, ci } = min{k, di } k+1 6 i < n

min{k, cn } = min{k, dn }1.

Sk = Sk , ,
()

Sk 6 k(k1)+

i=k+1

min{k, ci } = k(k1)+

i=k+1

min{k, di }1.

, dk+1 = dk > k + 1,
Sk+1

n
k + 1 (3)
k+1
= (k+1)dk =
Sk 6 (k+1)(k1)+
min{k, di } =
k
k
i=k+1

n
(5)
k+1
= (k + 1)(k 1) + (k + 1) +
min{k, di } >
k
i=k+2

> (k + 1)k +

i=k+2

min{k + 1, di } > Sk+1 .

78

(5) , k + 2 6 i < n
i = n . , (3)
. (**).
. , d1 , . . . , dn 5, , d2 1, d3 1, . . . , dd1 +1
1, dd1 +2 , dd1 +3 , . . . , dn1 , dn , .
2.10.11. (abcd) ,
2, e > n 1.
(c) . (, , ) n d1 , d2 , ..., dn > 1 , :
(1) e := (d1 + d2 + ... + dn )/2 ;
(2) di 6 e i;
(3) n 1 6 e.
( . ). e .
(1) (2) 2.c.
(3) .
, 2.c. c .
, c > 1, , . (3)
e > n 1 > n c.
. a1 a2 b1 b2
. ,
a1 b1 a2 b2 (. 6).
, 1.
1. . QED

3.

3
3.1

95

(.. ) , .
3.1.1. , :
;
2 ;
.
3.1.2. (a)
d, d + 1 .
(b) d d,
d .
(c)
d, ,
, d .
(d) G, , , d ,
d .
3.1.3. k n
k + 1 ,
, n/k .
3.1.4. ,
.
3 .
3.1.5. (a) . , 3
, .
, - . ,
3 .

3.

97

3.1.9. , d , 2d + 1 .
3.1.10. .
n 6 2k1 , k . ( , ,
, .) ,
.
3.1.11. (a)
d, d + 1 , ,
, .
(b) K

(m,n)(
) ,
m n 1ab
Ka,b
2
.
a
b

3.2

(G) G
,
G.
3.2.1.
, (G) 6 1 + [2e/n].
3.2.2. (a)
, ? , , k, G u
, (G) (G u) = k.
(b) (V, E1 E2 ) 6 (V, E1 )(V, E2 ). (, . 2.1,
(V, E) V
E.)
(c) r1 , r2 N (V, E1 ) (V, E2 ),
(V, E1 E2 ) = (V, E1 )(V, E2 ), (V, E1 ) = r1 (V, E2 ) = r2 .
3.2.3.
. .
, ,

98

, .
(a) G ,
(G)
.
(b) k > 0
, ,
, ,
k .
, ,
, .
,
, , . ,
.

. 10:
3.2.4. (2.4),
:
(a) , 10;
(b) 11.

3.3

G G t t .

3.
jjjTTTTTTT
j
j
j
''=j==



'' I

'' IIII uuuu 


IuIu
''

I
'' uu == 
=



=N=NN
GF
==NNN
 pp
ppp

p
@A

ED
p-p
p

pp  - C
pNNNN=== -NN=  - BC

99
jjjTTTTTTT
j
j
j
''=j== 



''  .
.. uuu 
''
u
''

uu..
u

'' u == 
=



. 11: ,

3.3.1. (a) ;
(b) , ; (c) ; (d) ; (e)
n .
3.3.2. (a) G = Gu G/u u G.
(b) . G
, t G (t) G t t
.

t > 0 (. (e)).
(c) G n, 1, (e), (. . tn2k
tn2k+1 k).
(d) , , , 3 .
(e) |G (1)|
G, . . ,

.
3.3.3. (a) t(t1)n1 ,

100

.
(b) t4 3t3 +
3t2 .
3.3.4. (a) GH , G H .
(b) m
G, n .
m + n 1 G .
(c) H, K , G
, tG = (t 1)H K .
3.3.5. G = G (t) G t .
(a) G t.
(b) G te .
( v)

.
(c) te1 G vV (G) deg
2

,
. ,
. ,
, , 1 1.
3.3.6. G TG = TGu + TG/u ,
u G, , ,
TG
(a) (. . );
(b) ,
;
(c) , .
3.3.7. ,
. (. . )
G u, , ,
G G u, G/u.

126

5
5.1

()

, , .
5.1.1.
n- 2n1 .
5.1.2. 2 6 t 6 n 2.
(a) 2nt n- , , t
.
(b) 2nt + 1 ?
5.1.3. . F k n- .
(a) ( 2k 6)n F ,
n1
|F| 6
.
k1
(b) 2k > n
F
(
)
n1
n- , |F| 6
.
k
5.1.4. 5- 15 6 ,

.
. (. 7.1) .
, .
5.1.5. l < k M (n, k, l) k- Rn ,
l- Rn
(n)
(k). , 1.6.2.a ,
M (n, k, l) > l / l .

6.

6
6.1

153

, o, O ( : o, O), n .
f (n)
f (n) g(n) , f (n) = o(g(n)), .. lim
= 0.
n g(n)
f (n) & g(n) , f (n) > (1 + o(1))g(n).
f (n)
f (n)
a(n), lim
= 1.
n a(n)
6.1.1.
(a,b,c) 1.1.6;
(d) An {1, 2, . . . , n}, ;
(e)* , (d), .
xP (a, b),
a, b P ,
[a, b], .
6.1.2.
n , k-. k = kn = o(n).
6.1.3. , , n , k . ( exH (n)
2.7.6.)
n2
k1
(a) exPk (n) & k2
2 n. (b) exC2k+1 (n) & 4 . (c) exK1,k (n) 2 n.
. --
, H , (H) >
n2 (H) 2
2, n exH (n)
. (
2 (H) 1
H , exH (n) = o(n2 ).) ,
H, , ,
H. ,

154

! [1]. ( 6.1.3.b.)
)n
(
6.1.4. (a) n2 2 + n1 = (2+o(1))n . ,
( ,
)n
2
(n) = o(1), n 2 + n1
=
(
)n
(2 + (n))n ; , , n n2 2 + n1 2 = o(1).
(
)n
(b) 3 n 2 + n1 = (2 + o(1))n .
(
)
n
n
6.1.5. (a)
(.
[n/2]
1.4.3.b 6.1.10.b).
(
)
2n
n
<
< 2n .
(b)
n+1
[n/2]
( )
3m
(c) m
.
m
( )
33m
3m
(d)
< 22m
< 33m .
3m +)1
m
(
n
(e)
= (aa (1 a)a1 + o(1))n .
[an]
n!
(f)
=
(ea1 ln a1 ...as ln as + o(1))n ,
[a1 n]! . . . [as n]!
a1 + . . . + as = 1.
6.1.6. (a)
ln(n!).

n
(b) n!.
(c) nn en+1 6 n! 6 nn+1 en+1 ;

(d) n! 6 nn en+1 n.

(e)* . n! nn en 2n, . . lim

1.

n!

nn en 2n

( )
n
nk
6.1.7. (a)
<
.
k
k!
(
( ))
(n 1)(n 2) . . . (n k)
k
k(k + 1)
(b) ln
1
+
O
k =
=

nk
2n
n
( )
kn < n/2. , (n) = O nk ,

6.

155

(n 1)(n 2) . . . (n k)
k(k + 1)
=

(1 + (n));
2n
nk
2n
(n 1)(n 2) . . . (n k)
, , 1
ln
=
k
k(k
+
1)
n
( )
k
O
.
n( )
n
nk k(k1) +O(k3 /n2 )
(c)
=
e 2n
k = kn < n/2.
k!
k

ln

k(k1)

(
, e 2n +O(k /n ) .)
( )

n
nk
(d)

k = kn = o( n).
k
k!

, , k n k n
nk n

2 .
k!
, .
(
) ( )
2
2n
2n
kn (1+o(1))
(e)
/
=e
k = kn = o(n).
nk
n
k2

( , e n (1+o(1)) .)
, , k n Pk nk 2n
2
P0 ek /n ( ).

6.1.8. (a) , eo(n) o (en ) ?


. ., , f : Z (0, +)
ln f (n)
lim
= 0 lim f (n)en = 0 ?
n
n
n
(b) f, g : Z (0, +) , f (n) g(n),
ef (n) = O(eg(n) ).
(c) f, g : Z (0, +) f (n) = o(g(n)) g(n) = o(f (n))?
(d) f, g : Z (0, +) f (n) = O(g(n)) g(n) = O(f (n))?
(e) (d), f (n) g(n)?
6.1.9. (a) : x(x
x
x
lim x(x ) (x!)(2 ) .
x

x)

(x!)(2 ) ? . .

156

(b) (n) = o(1),


(2 + (n))n 2n e n ?
( , :
, .)
6.1.10.bcde 6.1.11.cef, ,
6.1.6.e.
6.1.10.
(
)
( 2)
( 2 )
n
n
n
(a) ln
;
(b)
(c)
;
[n/2]
n
n
(
)
n
(d)*
(e) (2n1)!! := (2n1)(2n3). . .31;
, (0, 1);
[n ]
n ( )2
n ( )4

n
n
(f)
;
(g)*
.
k
k
k=0

k=0

6.1.11. s = s(n),
(a) ss = n;
3
(b) ss = n;
(c) s(n) := max{k
{ | k! 6 n};
}
(n)
m
(
)
(d) s(n) := min m N | m < 2 2 ;
(e) s(n) := min {m N | 2m /m > n} ( 2m /m


);
{
}
( m )
(f) s(n) := min m N | [m/2] > n (. 1.4.3.b).
6.1.12.* ,
.
(a) Zn2 (. 1.4.7
);
(b) n (.
2.2.5.b ).

6.2

174

, .

6.3

,
. (
. ,
.)
6.3.1. G = (V, E) n ,
(a) p (0, 1) A
V , A ,
A, np+n(1p)+1 .
(b) D V , V \D D,
1 + ln( + 1)
|D| 6 n
.
+1
6.3.2 6.3.3.c .
6.3.9.
( )
( )
n
k (m)
k
6.3.2. (a) E
p 2 +
(1 p)( 2 ) < 1 p
m
n
(0, 1), R(m, n)(> k. )
n2
(b)* R(4, n) >
( g > (f ), f = O(g)).
ln2 n
6.3.3. (a) Cherchez la femme. -
.
,
. ?
(b) . 100 .

6.

175

, .
200 ? (. 6.3.9.a.)
(c) l, q > 0 , l
q . (. 3.1.)
p (0, 1) ( , , -) c n n(n1)

{1, 2, . . . , n} e P(G) = Pp (G) := pe (1p) 2 e .


(, , )
1, 2, . . . , n
.
, c 1, 2, . . . , n.
, .
Y k y1 , . . . , yk . (. ) Y
k

ys P(Y 1 (ys )), Y 1 (ys ) G,


EY :=
s=1

Y (G) = ys . P(Y = ys ).
6.3.4. n p k ,
, ek ln npk(k1)/2 .

6.3.5. n p .
(a) ;
(b) ;
(c) k-;
(d) k-, ;
(e) ;
(f) k;
(g) k, ;
(h) k ;
(i) k, .. k , .

176

6.3.6. p ( k
n ) E(k) (Y ) := E (Y (Y 1) . . . (Y k + 1)) (. . k-
), Y .
X DX :=
E(X EX)2 .
6.3.7. n p (a) ; (b) .
6.3.8. (a) E( + ) = E + E;
(b) D( + ) = D + D, .
6.3.9. X ( ) a >
0.
(a) . P(|X| > a) 6 E|X|/a. (.
6.3.3.a.)
(b) . P(|X EX| > a) 6 DX/a2 .
An (
1) f (n), Pf (n) (An ) 1. :
p(n) = f (n) An ... (,
, p(n) = f (n), An ..., f (n)
An ...
). , n .
6.3.10. p(n) = 1/(2n)
(a) ... n/2 .
(b) C > 0 ...
C ln n ( : O(ln n) ).
(c)* ... .
(d)* C > 0 ... C
.

6.

177

(
)
6.3.11. (a) p(n) = o n3/2 ... .
(
)
(b) p = p(n) = o n3/2 pn2 r = r(n) = o(pn2 ), ... 1
pn2 r pn2 + r, .
6.3.12. . c > 1 (0 < c <
1), p(n) = c ln n/n ... ().
6.3.13. (a) p (n),
p(n)/p (n) 0 ... ,
p(n)/p (n) + ... .
(b) , K4 .
. p . . ()
, ().
6.3.14. ...
(a) p(n) = o(1/n2 );
(b) p(n) = o(1/n);
(c) p(n) = c/n, c < 1.
6.3.15. *
(a) (. 3.2.3)
... 2 + .
(b) , > 0 Gn
n , Gn , (Gn ) n1 , . ( ,
, , , , ,
, !)
( .)
. . [R3, R4, R5]. , [R4] .

7.

195

7.1

, F
F n := {(a1 , a2 , . . . , an ) : a1 , a2 , . . . , an F }.
(
). F {Z2 , Z, Q, R}, :
(x1 , . . . , xn ) + (y1 , . . . , yn ) := (x1 + y1 , . . . , xn + yn ).
F {Z, Q, R},
F :
(x1 , . . . , xn ) := (x1 , . . . , xn ).
( F = Z2 , .)
7.1.1. .
(Z2 ) n + 1 n
( ) ,
.
(Q) n + 1 v1 , . . . , vn+1 Qn 1 , . . . , n+1 , ,
1 v1 + . . . + n+1 vn+1 = (0, . . . , 0).
(R) (Q) , .
7.1.1.(Z2 ),(Q) Z2 Q .
. () Z2 Q .
(
7.1.4.c, 7.1.5.c, 7.1.7.b .)
F {Z2 , Z, Q, R} F n F n F

(x1 , . . . , xn ) (y1 , . . . , yn ) := x1 y1 + . . . + xn yn .

196

x, y F n , x y = 0.
Rn

|(x1 , . . . , xn ), (y1 , . . . , yn )| := (x1 y1 )2 + . . . + (xn yn )2 .

L

. L n,
v1 , . . . , vn L, v L
, . . 1 , . . . , n Q,
v = 1 v1 +. . .+n vn . n
L. . 1.4.7.
. .
( !)
( 7.1.1.(Z2 ),(Q))
. (
.)
.
Qn ,

7.1.2. F Rn .
(a) F ,
F , |F| 6 n.
(b) , .
(c) F q
F q ,
|F| 6 n.
(d) q > 0 F
q , |F| 6 n.
7.1.3. (a) 2k 2k- ,
.
(b) , 2k , (a)
.

7.

197

7.1.4. (a) Rn
n + 1.
(b) n(n 1)/2 Rn ,
.
(c) a R v = (v1 , . . . , vn ) Rn , x = (x1 , . . . , xn ) Rn
Pv (x) := |x v|2 a2 . k u1 , . . . , uk Rn a, Pu1 , . . . , Puk
Q.
(d) k Rn
, k 6 (n + 1)(n + 4)/2.
7.1.5. (a) 327 9-
25- , 3 6 .
(b) n, k Z

n
Vn,k := {(x1 , . . . , xn ) {0, 1} :
xs = k}.
s

327 V25,9 ,
{0, 3, 6}.
(c) a V25,9
(a (x1 , x2 , . . . , x25 ) 1)(a (x1 , x2 , . . . , x25 ) 2),

x1 , x2 , . . . , x25 . : i xni , xi . Fa (x1 , . . . , x25 ). ,


a1 , . . . , as
V25,9 3, Fa1 , . . . , Fas Q.
(d) 326 ,
Fa , a V25,9 .
7.1.6. (a) 107 14- , 2 .

198

(b) 93 .
(c) 92 .
(d) 21 14- , , ,
.
(. 5.1.4. .
14- . , . ,
21 .)
7.1.7. (a) p t G(t) := (t 1)(t
2) . . . (tp+1) p , t
p.
(b) p n = 4p.
M = {(1, y2 , y3 . . . , yn ) |
| yk {1, 1} y2 , . . . , yn }.

G(t) := (t 1)(t 2) . . . (t p + 1). a M


G(a (1, x2 , . . . , xn )), x2 , . . . , xn
. i
x2i 1, .
Fa (x2 , . . . , xn ).
, a1 , . . . , as M , Fa1 , . . . , Fas Q.
(c) n Rn ,
n + 1 .
7.1.8. (a) -. t , c t1 ( )

n
1+
n- ,
j
j=0

k-, , t.
(b) , q t
q t.

218

10

10.1

. .

0.* (a) - 5 , (.. 10) ? , .


(b) , . ,
?
,
, (
) . . 3,
[P, S1].
1. (abcd*) , 2 , .
2. (abcd*) , 2 ,
.
, .
, ,
( , ) .
, .
( ) ,
(..
).
3. (abcd*) , 2 ,
.
4. (abcd*) , 2 ,
g (g
n d1 , . . . , dn ).

10. :

219

3 4 .
g .
g
V E . F . V
E + F = 2 2g.
5 6
m .
( , ) ,
,
.
5. (abcd) , 2 ,
.
6. (abcd) , 2 ,
m (m
n d1 , . . . , dn ).
7-11. (abcd) , 3-6,
n , d1 , . . . , dn , .
(a,b) 3-6 [Mo]. -, (c)
(d) .
[Mo] B. Mohar, 2-cell embeddings with prescribed face lengths and
genus,
Ann.
Combin.
14
(2010)
525-532.
http://www.fmf.uni-lj.si/~mohar/Reprints/Inprint/BM06_AC_Mohar_
2cellEmbeddings.pdf.

10.2

(. , . )

() , .
, . .
2.6.
1. (a)
.

220

(b) , (.. K3,2 ),


.
H . X H-, X , X
H.
( (f)) ,
. ,
, .
2. (a) , , -.
(b) - , .
(c) ,
, K4 -.
(d) K4 - , -.
(e) G H G- ,
H-.
(f)* "" :
H- G-?
2. (b,d*,e*,f*) , 2, .
,
(1) ,
(2) , - ,
.
3. (Greenbergs) .
4. (a) [Boll, Kokseter, Matematicheskie
esse i razvlecheniya, M, Mir, 1986, str. 285] -.
(b)* () K4 - ,
-.
: udalit trehvalentnuyu vershiny i na ee mesto
vkleit graf Greenbergsa s udalennoi vershinoi.
5.* (a) "" : H-

10. :

221

G-?
(b) () G , G-. ( : "vkleivanie"grafa
Greenbergsa.)
(c) G H G-
, H-?
,

6.* ( ) -

(a) K4 -, -.
(b) K4 -.
(c) H-
H G. (, G = K4 .)

10.3

. ..

[?].
1. (a) K5 K5 ? K3,3
K3,3 ?
(b) G2 G3 , 1 7, Gk
, i j 1 mod 7, i j k mod 7.
(c) n > 1 ,

.
2. . ,
. , a, b ( ,
),
, a b (
).
.
(a) n () n .

222

(b) 6, 12 30 ,
(a).
(c) ,
.
(d) p- (p ).
(e) , 8 .
(f) , ( ) , .
(g)* .
3. . ,
. ,
.
4*. .

(a) G G
V > 3 . k {1, . . . , V }
k, G G

G k G
k k
. k {1, . . . , V } Gk G
?
. , G G
E > 5 . (b) G G
k ,
k {1, . . . , E} Gk G
GG
k .
k. k {1, . . . , E} Gk G
?
, G G

10.4

. .

. (
) .

10. :

223

, . ,
. , ,
.
1. () k
n ?
, .
, . ,
. ,
. - , ,
, 1. ,
,
. 1 , ,
.
2. (a) ,
(.., , ), .
(b)

.
,
10.1.1, 2. (a,b,c) , 11abc.

(d) .

10.1.4. (a) e e > n 1 + 2g [Mo].


max di e > n 1 + 2g [Mo].

10.1.6. (a) e e > n1+m [Mo].


e > n 1 + m [Mo].

(b) e , e >

(b) e , e > max di

11. 2014-16 .

11

233

2014-16 .

, . 2.1-2.7, 3.1, 3.2,


4.1, 4.2, 4.5, 5.1, 5.2, 5.5, 6.1-6.3, 7.1, 7.2
, .. ,
.. , .. , .. , .. ,
.. , .. , - , 2016,
http://www.mccme.ru/circles/oim/discrbook.pdf
( ) . .
,
: , . 5 ( )
( ).
/. ( ).
.
2. (1- )
1. (4) , . .
. (. 2.1 2.2.1.)
2. (5) . . ( 2.2.3.a 2.2.4.c.)
3. (6) . (
2.2.5.b.)
4. (5) . (/). .
(/). (. 2.4 2.4.2.)
5. (6)
. ( 2.4.3.cdefg.) 6-
. ( 2.4.4.a.)

234

6. (3) . (). (. 2.1.)


. (
2.5.3.ac.)
7. (5) . . ( 2.5.52.5.8.)
8. (5) .
. ( 2.6.2.b.)
9. (6) . .
1- 3- n- . ( 2.6.3, 2.6.4 2.6.5.c.)
10. (3) . , . ( 2.6.7.)
11. (5)
.
n k-. ( 2.7.1 6.1.2.)
12. (6)
.
. ( 2.7.2, 2.7.4, 2.7.5.)
3. (1- )
13. (5) . . , . ( 3.1.3.)
4. (2- )
14. (3) R(s, t): s + t 6 7. . ( 4.1.1, 4.1.2.ac.)
15. (4)
. (/).
. ( 4.1.2.b, 4.1.5.)

11. 2014-16 .

235

16. (5) Rk (l1 , . . . , lr ) . R3 (s, t).


R3 (s, s). ( 4.2.2.b, 4.2.7.)
17. (8) :
l, m, r, s
(/); . ( Conlon, .)
18. (8) R(s, s).
[R3]
19. (6)

R(s, s). [R3]
5. () (20-23 1- , 24-31 2- )
20. (5) . t-.
( 1-);
/. ( 5.1.3.)
21. (7) . ( 5.1.3.)
( )
22. (7) nt
kt n- , k t .
23. (7) : ( ), ,
, ( /,
). ( 5.1.2, 5.1.3.)
24. (2) (...). .
25. (5) ( ) ...
. ( 5.2.1, 5.2.5, 5.2.6.a.)
26. (9) ... ( 5.2.6.b.)

236

27. (7) ... ... (


5.2.6.c.)
28. (10) ... ( 5.2.6.def.) .
29. (6) ... ( ).
. ( 5.5.1.) (/). (
5.5.2.bc.) n- . ( 5.5.9.) ( ).
30. (8) -. .
31. (6) (/). : ()
.
6. (32-36
1- , 37-49 2- )
32. (3)
( n ) .
( 6.1.7.a.) n/2 . (
6.1.5.ab.)

33. (5) ln n! n n! . (/). ( 6.1.6.)


( n )
34. (5) [an]
, a (0, 1).
. ( 6.1.5.cdef.)
( )
35. (5) nk k 2 = o(n).
( n
) ( n
) k. n/2 / n/2x . (
6.1.7.bcde.)
36. (7) . ( 6.1.12.b.)

11. 2014-16 .

237

37. (5) (/). ( ). ( 6.2.15, 6.2.21.b 6.2.26..)


38. (6) ( , ). ( 6.2.15 6.2.26..)
39. (9)
R(3, t): R(3, t) (/). (
6.2.26.b .)
40. (5) : .

R(s, t). ( ; ,
.)
41. (5) . . . (. 6.3, [R4, . 1.11 1.12])
42. (5) (/).
, . [R4,
. 2.5]
43. (7) : p = c ln n/n c < 1.
ln n + + o(1)

(/). [R4, .
n
2.5]
44. (8) : p = c ln n/n c > 1.
[R4, . 2.5]
45. (3) (/). : p = o(1/n2 ) p = o(1/n). [R4,
. 2.6]
46. (9)
: p = c/n, c < 1 (/) ,
. [R4, . 2.6]

238

47. (7)
:
( ). [R4, . 2.7]
48. (10) , , , , 2 . (/). (. , " " , .)
49. (9)
. ( 6.3.3.c.)
7. (50-58 1- , 5964 2- )
50. (4) .
(/). ( 5.1.3.)
51. (5) .
. . .
. ([R7] := . , " .)
52. (6) .
(/;
8). [R7]
53. (7) , . [R7]
54. (6) m(n, k, t) n-
, k t .
m(n, 3, 1): .
- m(n, 3, 1).
m(n, 5, 2) . [R1]

11. 2014-16 .

239

55. m(n, k, k p) k < 2p


(6). (10). ( 7.1.8 [R1].)
56. ( 2015) (9) m(n, k, kp)
k > 2p. [R1]
57. ( 2015) (7)
k, t. k- n- ,
t . , (/). [R1]
58. (6) . .
m(n, k, t) . m(n, k, t). . ([R1] . , " ".)
59. (3) . .
. . ( 7.2.1-7.2.3,
7.2, [Hal].)
60. (5)
.
61. (5) (/). [Hal, AS]
62. (6)

: , 2n ln(2s)

6 n (/). [R3]
63. (8) : . [R3]
64. (6) , ( ).

240

( 2014 ). /; .
( )
1. nk
k 2 = o(n).
2. n , .
3. . ( .
, .)
4.
G(n, p) p = o(1/n) n .
5. 4n ,
n+1 .
, .
6. , 5 20- , , ?
7. R4 (15, 4, 4, 4).
8. VC- {1, . . . , 10} 5 .
(
). , . , ( ,
,
).
.
. 57 60-
, 30 , 15 ?
( 7.2.4, .)
. .

11. 2014-16 .

241

52 , 5 2,
?
( , .)
. . f (n), R(n, n) & f (n). ( , .)
( n! > (n/e)n (6.1.6.)
(6.2.15.b), ;
.)