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

C

90%

80%

70%

60%

50%

40%

30%

20%

10%

90%

80%

70%

60%

50%

40%

30%

20%

10%

90%

80%

70%

60%

50%

40%

30%

20%

90%

80%

70%

60%

50%

40%

30%

20%

10%



2006

: (495) 2417285
E-mail: biblio@mccme.ru
http://biblio.mccme.ru/

9 785940 572497

10%

ISBN 5 94057 249 9



. .

, , , , ,
, , , .

, , .

.
<>.

(
) 1130 2000.
1330 1350 1630 1650.
: 119002, , . ., 11. : . . <> <>, (. ).


. .

< >

< >

< >

< >



. .

, , , , ,
, , , .

, , .

.
<>.

(
) 1130 2000.
1330 1350 1630 1650.
: 119002, , . ., 11. : . . <> <>, (. ).

. .

ISBN 5 94057 249 9

: (495) 2417285
E-mail: biblio@mccme.ru
http://biblio.mccme.ru/

9 785940 572497



2006

90%

80%

70%

60%

50%

40%

30%

20%

10%

90%

80%

70%

60%

50%

40%

30%

20%

10%

90%

80%

70%

60%

50%

40%

30%

20%

10%

90%

80%

70%

60%

50%

40%

30%

20%

10%


< >
33

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

1999



2006

519.1+514.174
22.135
12

1.

, 4 2004
911 .
, ,
n-
n+1 . , n=1, 2, 3
.
. ,
( , , ).
,
, .
.
, , . .
( ).
, : ,
, . , , , ( ) .


(: < ,, >)
.: , 2006. 56 .: .
. , . , . , .
.
. .
01335 24/III 2000 . 21/VII 2006 .
6088 1/16 . 1. . . . . 3,5.
2000 .
.

( 77.99.02.953..003873.06.04
2/VI 2004 ).
.
119002, , . ., 11. . (495) 241-72-85, (495) 241-05-00.

<- >.
140010, . ., -, 403. . 554-21-86.

ISBN 5-94057-249-9

. ., 2005.
, 2006.


, .
1933 *), 70
. ,
,
, , .
, , .
<
>, < > (. [1]).
, ,
, ,
.
, - . , ,

. ,
. , ,
.
2. ,

: , , .
. ,
.
-, <>,
, .
,
.

*)
(8 1905 . 24 1982 .)
. , . .
3

, ?
, , .
, .
. , , ?
. , ,
, , , , ,
, -,
. , . :
, , , , ,
. , , , ,
.
. , , , ,
. ( ) .
=1 , 2 ,
3 .
: () , 2 x=(x
~
1 , x2 )
x1 , x2 , 3 x=(x
~
1 , x2 , x3 ),
x1 , x2 , x3 . , 2 3 ,
. , ( x1 , x2 , x3 )
.
, ? ,
. , ,
- ( )
( ), ,
(. . 1).

. 1
4

,
, -
. - , .
,
. , , , ,
.
. n3.
A n , (
n=1), ( n=2) ( n=3),
A .
, . ,
, . :
q
|x
~
~y|= (x1 y1 )2 +(x2 y2 )2 ,
2
x=(x
~
1 , x2 ), ~y=(y1 , y2 ) ,
q
|x
~
~y|= (x1 y1 )2 +(x2 y2 )2 +(x3 y3 )2
3 .
x,
~ y
~
.
A n
n3. x,
~ ~yA
. (
, ) .

A . , : ,

. , . , A =(a, b) .
a+1/k, b1/k. , k
ba.
A ,
ba. , .
, , (
). . , , ,
, (, ), ,
- , (. ).

, , ,
. ,
.
A diam A .
. -
A n , n3. A
A =A1 . . . Af ,
, diam Ai <diam A i, 1if. f(A ) f,
. , f(A )
, *) A . f(n)
A n f(A ). , f(n)

n- , n , f(n)1 .
, f(n).
1.
?
2. , . 2.

a
. 2

3. . 2 .
.
4. , f(n) ,

, 1.
5 . n ,
. , f(n) ,
.
*) , ,
Ai .
<>. ,
f(A ).
6

3.
,
.
, f(1).
, f(1)2 . , -
. , <contradictio in adjecto>, . .
. , , , : f(1)2,
f(1)=2. , .
() A .
, , , diam A =1
(. 4 ). A
< > < > . , , , ,
. , (a, b), , a+1/k
b1/k k <>, .
< > , - : < >
( ), < >
( ). ,
a b. , < >,
. . - A , . , ba=1. , [a, b],
, A , , .

 

 a+b   a+b 
 
[a, b]= a,
, b .
2

,





 a+b 

1
 A , A2 =  a+b , b A ,
. , A1 = a,
2
2
2

A =A1 A2 diam Ai 1/2. f(A )2, ,


f(1).
, , . , 1
;
, .
. , <> : <>, < 2,1 >, < 2,0001 > . .
7

. [0, 1] ,
, ,
1/2.
4.
, . ,
. .
-, , f(2)3.
.
, ,
,
, . ,
<> . , , f(2)3, . . 3
<>
. <>, ,
, , , () 3/2=0,866. . . <1.
.
.
, f(2)3, , f(2)=3, . ? ,
, . ,
- , ( 1)
, . , , ,
. .
. Un n3
1, A diam A =1 ',
A '(U).
- , U
, <> ,
, . ,
. 3
- . ,
8

,
: , . , ,
, , . .
1929 . :
.
1 2 , .
, ,
. . .
. . < >
(. [2]). , ,
.
. 4.
, . ,

, 3/2=0,866. . . <1. , , , f(2)3.


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

, 3/2.
, , , ,
<> ,


3/2 (
<>
). , <>
3/2 1/2. , , (
) . -

.

. , ,
1
, .

,
, . 4
. 9

, ,
3 .
, f(2)3.
: ( ),
. ,
, , < >,
, ( - )
. ,
, 1946
. *):
. .
,
, : ,
, .
.
. x~ 1 , . . ., x~ m 2 ,
diam {x~ 1 , . . ., x~ m }=1.
.
. ,
A ={x~ 1 , . . ., x~ m }, m.
. . , m3,
, . , m>3 A , m1
, . ,
m- A .
x~ i , x~ k A , 1,
. ,
m . , , , x~ 1 ,
(. . 5). x~ 1 x~ i , x~ 1 x~ j x~ 1 x~ k . <> , x~ 1 x~ i x~ 1 x~ k
60 , |x~ i x~ k ||x~ i x~ 1 |=|x~ k x~ 1 |=1. x~ 1 x~ j .
*) (19131996) .
.
, ,
.
10

x~ j x~ p ,
~xj
~xk
x~ 1 x~ i , ~xi
x~ 1 x~ k ,
, ,
. x~ p x~ 1 . , x~ j
~x1
.
A x~ j , . 5
m1 ,
m1 . m1 x~ 1 x~ j ,
.
,
. , A
, m 1. m3, A
, . , m>3 A ,
m1 , . , m- A .
, A
1.
, A ,
3m/2, . , xA
~
,
. x~ A , A r{x}
~ m1
. .
,
, x.
~ ,
x~ , A ,
- .
.

6. , 1/ 3
1 2 .
7. , 6
.

8. B1 1/ 3 . B2
1 . , B1 B2
(. . 6) . 3 .
, .
?
11

9 . , ,
.
10 . 1 ,
.
5. 3
, ,
<> ,
11
11
.
, , , ,
,
, .
. 6
, f(3)4,
. ,
, ,
. ,
f(2)3. , , . , .
, ( B)
. ,
, 1. B A1 A2 A3 A4 .
, O ,
U1 , U2 , U3 , U4 , O
OA1 A2 A3 ,

OA1 A2 A4 ,

OA1 A3 A4 ,

. 7, )

OA2 A3 A4 .

B1 =BU1,

B2 =BU2 ,

B3 =BU3 ,

B4 =BU4.

, B=B1 B2 B3 B4 (. . 7). ( ),
t

diam Bi =

3+ 3
=0,888. . . <1,
6

i=1, . . ., 4.

, 1932 , ,
. , , , , . .
12

. 7, )

13

,
, , 0,888. . ., . ,
, [2]. , B=B1 B2 B3 B4
: <
> ,
.
, , f(3)?
, , , ,
f(3)=4? , ,
f(n)=n+1. . , f(3)4,
. . ,
, , , - . ,
. ,
, A 3 , 1, A1 , . . ., A4 ,
diam Ai <1 i. n2 < >: ,
diam
Ai <1/2,
diam Ai < 3/2=0,866. . ..
diam Ai <1, ,

1/2 3/2 .
1955 ,
. .
. , ,

. -, < >, , ,
. . A1 A2 A3 A4 A5 A6 ,
1 (. . 8). , A1 A2 A3 A4
1/2 ( A5 ), B1 B2 B3 B4 A5 (. . 9).
C1 C2 C3 C4 A1 D1 D2 D3 D4 A4
(. . 10). , < > U, ,
1 .
, [2].
, , -, diam U>1. -,
U
14

A5

A5

B1
A2

B3
B
B44444
B
B
44

A2

A3

A1

B
B
B2222222
B

A3

A1

A4

A4

A6

A6

. 8

. 9
A5

B
B22222
B
B
22

B3

B1
B
B44444
B
B
44

C2

D2

A2

A3

C
C
C1111111
C
C
C
C3333333
C

A1

A4444
A
A
A
444

D
D11111
D
D
11

D
D33333
D
D
33

D
D
D
D4444444

C4

A6
. 10

15

. .

9+4 3
=0,99775. . .,
4

6129030937419 3

=0,9887. . ..
1518 2

: ,
, . [2], .
, (. . 11), .
, , ? ,
, , 1
0,9887. . .. , ,
0,888. . .. 0,9887 0,888, ,
( ) , , , 3
, .
, [0,888. . ., 0,9887. . .], <> .
, (
) .
(- ,
) , ,
, 0,888. . .. 1953
. , =
=0,888. . ., . . <>
. (. ). -
0,9887.
1997 ,
, . . , . , , 1 3
,
16

. 11, )

17

. 11, )

. 11, )

. 11, )

18

19

1 (. . 12). ,

, .
, ,
4 . ,
1/2 (. . 13). U
0,98, , . , ,
,
. ,
:
, . , , U
, ,
. , ,
.
. , U.

. 12

. 13

0,9887. . .
, .
. U1 , . . ., Us n n3

1, A
Ui ', A '(Ui ).
,
U,
1, U1 ,
U2 . . Us . ,
,
20

s. , s ,
, 1. , < >, .
,
, . . ,
0,97 (. ).
,
, ,
.
50- XX ,
gd (n) (, ) d1,
A n
. , A

A B1 . . . Bg ,
, B1 , . . ., Bg diam Bi =ddiam A
i, 1ig. gd (A ) g, ,
gd (n) A gd (A ).
, , f(n). . , n=3
. -,
1967 , d0,999983 gd (3)=4. ,
f(3)=4 0,999983. ,

. : ,
.
,
. , - ,
.
, 3

. , - . ,
,
, .
. .
21


11. , 3/8
1 3 .
12. , 11 .
1
?

13. B1 3/8 , , . B2
1 . , B1 B2
(. . 14) . 5 1.
, .
B1 B2
1?

. 15, )

1
11
1

. 14

14 . . 8.
, , .
, <> , , , ,
.
,
1/2 <> . ,
- ( ) r1 , . . ., r6 .
1 (r1 ), . . ., 6 (r6 ). ,
ri
. U(r1 , . . ., r6 ). . 15

) r1 = . . . =r6 =

3
,
4

2 3

3 3

. 15, )

) r1 =r2 =r3 = , r4 =r5 =r6 = .

r1 , . . ., r6 22

23

? r1 , . . ., r6 , U(r1 , . . ., r6 ). ,
,
. , ,
0,97?
.
15.




V1 = (x=(x1 , x2 , x3 ): xi {1, 0, 1} , i=1, 2, 3) .
, V V1
.
V Vs , Vs [s, s]3 ,





Vs = (x=(x1 , x2 , x3 ): xi {s, . . ., s} , i=1, 2, 3) .

( , ) Vs s?
16 . A1 A2 A3 A4 ,
1. B , . ,
, B. B1 , B2 , B3 , B4
1 A1 , A2 , A3 , A4 .
BB1 . . . B4 (. . 16).
< > (. . 17).
. ,
?
17 . . , .
18 . - - d<0,999983.

. 16

6.
n>3
, ,
, , ,
, . ,

, .
, ,
n n3. ,
24

. 17

25

. , n3 , -, . , , ,
, ,
,
. ,
. ? n=4
, , , n=100, 1000 . .? , ,
, ,
.
, , .
,
. ,
n n>3 , ,
.
, , , , , , ,
n . , ,
, ,
, . ,
, , n n .
, , . , n () n
. , n () x=
~
=(x1 , . . ., xn ), xi , i=1, . . ., n (xi ). ,
n3. :
q
|x
~
~y|= (x1 y1 )2 + . . . +(xn yn )2 .
, 2. ,
f(n) ,
n- . n . < > , ,
. -.
<> . ,
, 3. , .
26

, a=(a
~
1 , . . ., an ), ():



2
2
2
B= (x=(x
~
1 , . . ., xn ): (x1 a1 ) + . . . +(xn an ) r ) ,



2
2
2
S= (x=(x
~
1 , . . ., xn ): (x1 a1 ) + . . . +(xn an ) =r ) .

B , S , r . ,
A n ,
B ( A B). , .
, - f(n) , 1.
f(n) , , ?
7.
-, , f(n)n+1. ,
, ,
(. 9). , ,
, n3, . , n>3
f(n)=n+1. , , <>
3 (. ), n+1 (. 9).
1933 , , :
, f(n)=n+1? .
, < >, <> .
. , ( ), ,
. ,
. , . ,
, , ,

. , ,
f(n). ,
f(n)n+1, -
, , ,
, .
27

f(n), .
f(n)t(n), t(n) :
n, < >.
. , ,

,


: f(n) a+o(1)n . a>1 . o(1) ( < >)
, .
, . o(1)
n,
, .
< >? , n o(1) . ,
b/n , b >0 -
. 1/ln n,
. . ,
o(1); ,
.  ,

n , a+o(1)n . , 
,

- a+o(1)n an . , o(1)
. , b/n b
.
( ).
< - > .
,


.

a=2, o(1)=2/ n. , 2+2/


nn

n , 2n e n . , , 2n

. , n
, 1,999n 2n e n 2,001n , n,

- . ,
( ) , (a+o(1))n <> an :
a10100 , a a+10100 -
.


 . ,
f(n) 2[ n+1]n (. 10). f(n)2n (. 11). , 1982 .
, f(n)2n1 +1, 11.
28

<> .
,
( ),
,
n+1.
? 1965
. .
,
, , f(n)
 ,

 2+o(1)n (. 13). 17
. , ( )
. , n o(1) , ,
:
.
1988 , . ,
p

f(n)S(n)=  3/2+o(1)n

(. 12),
. , 1991 . . (. 13),
. ?
1993 , 60
, . .
. ! .
: , n=2015.
. 2015 , . f(n),
, . n+1;
 ,

f(n) 1,203+o(1) n .
f(n)S(n).
, , < >
,

n 1,203+o(1) n S(n).
, < >.
,
,
f(n).
,
.
1993 .
29

. , . , 1993
. , 1994
. , . , 1997
. . , 1997
. . , 1999
. , 2000
. , 2001
. , 2002
. , . , 2003

2015
946
903
561

560
324
323
298

f(n)


1,203 +o(1) n


1,203 +o(1) n


1,203 +o(1) n


1,203 +o(1) n


1,2255+o(1) n


1,203 +o(1) n

. ,
. . -
, , , f(n) , ,
, , n <
>.

: <



 ?

1,2255+o(1) n , 1,203+o(1) n ? ?> ,
, ,
o(1). ,
1,203 1,2255, , o(1) . , :






1000  n
1  n

f(n) 1,203+

f(n)
1,2255+
.

n 
n

, n
, ,
. ,
o(1) . ,
, , ,
, < >,
.
,
, . .
. , 14.
, , ,
4n297.
30

<> , n=4
.
f(4)241 +1=9,
, , , , n=4
. ,
.

,
n3
.
8.
.
.
x=(x
~
1 , . . ., xn ),

~y=(y1 , . . ., yn )n

, . x+
~
~y ~z=(z1 , . . ., zn ),
zi =xi +yi , i=1, . . ., n.
.
. x~ 1 , . . ., x~ k - . A ,
,
1 x~ 1 +. . . +k x~ k , 1 , . . ., k , . A
conv {x~ 1 , . . ., x~ k }, *),
.
, . ,
. , , , ,
( ).
.
.
. A n ,

, .
, .
*) convexus (.) .
31

. x~ 1 , . . ., x~ n+1 n
n- , .
conv {x~ 1 , . . ., x~ n+1 }
n- . , x~ i , . . ., x~ i ,
1
k
1kn. , (k1)- .
-, n (. [1]). -,
,
n+2 , .
,
, n n3: , <>
. , ( k=2) ( k=1).
k :
,
. . n1
. , k1
k
Cn+1 . , n+1
. ,
.
. a1 , . . ., an
n
. x=(x
~
1 , . . ., xn ) ,
a1 x1 + . . . +an xn =b,
b , .
2 3 .
, , (
). , n+1 (, ). x~ i A ;
n , . , n
2n , . n- ,
x~ i A (. 5). ,

3 , n=2 n=3.
32


. [1].
.
. n- ( [0, 1]n )
2n (0, 1)- n (. . , 0
1). (0, 1)- ( ) . (, K )
<> : K =k[0, 1]n + x,
~
k>0 , (), x~ n- ,
.
, ~y K
~y=k ~z+ x,
~ , , ~z[0, 1]n ( , k ~z+ xK
~
~z[0, 1]n ).
. A n .
, xA
~
A ,
n
x,
~ A . x
~
, A , n rA ,
A . A Int A
A .
A () @A A . Int A , , A . Int A =A , A
( ).
A , A ( ).
,
.
. A , x@A
~
. , x.
~
A ,
. A x*)
~
( , A < >
). x@A
~

A x~ , A .
2 . .
*) -, ,
.
33

. 18.
, .
.

n . ,
. x,
~ y
~
, x~ ~y,
x+(1)
~
y,
~ .
, ,
. , x~ ~y.
. x,
~ On

={x+(1)O}
~
,
. 18

,
. , A
x@A
~
, A x~
A . 2 .
0
0
x=(x
~
1 , . . ., xn ),
a1 x1 +. . . +an xn +b=0, , , a1 x1 +. . . +an xn +b =0. A x~
, , ,
0

|a1 x1 + . . . +an x0n +b |

(a1 )2 + . . . +(an )2

, . , 2 3 ,
.
, .
. A , , -,
, -, x@A
~
.

(. ).
. A n .
On , x~ A .
, O x.
~ r
. ~y, O r, (0, 1) . xA
~

A , A O .
,
. ,
diam A = diam A <diam A .
34

. , x~ =x+2O
~
x~ O. A
On ,
xA
~
x~ , x~ O, A .
A -, O .
, . ,
,
. ,
,
. ? -, 1947 .
,
n+1 , ,
: ,
, , ,
,
. , : . ,
- ,
. [2] - , .
19. , [0, 1]n x=(x
~
1 , . . ., xn ),
0 max xi 1.
i=1,...,n

? ?
20. , .
? ?
21. ? ?
22. >0




A = (x=(x1 , . . ., xn ): |x1 | +. . . +|xn | 1)
? -?
?
35

23. , (. . 17)
.
2 , ?
24. ?
A 22?
25. ,
.
26. B1 , B2 r1 , r2
(r1 >r2 ). A =B1 rB2 . A ? -? ?
27. , n- ,
s
n
1,
.
2n+2

, f(n) , .
29 . Qn n . @Qn ?
28 .

9. f(n)n+1
,
f(n)n+1. , ,
n- .
n , , , ,
. ,
. , , n3, ,
, ,
<> . ,
, ,
.
n+1
.
(< >
).
, B , S , O
.
R=conv {A1 , . . ., An+1 } ,
S (. 27).
Ri =conv {O, A1 , . . ., Ai1 , Ai+1 , . . ., An+1 } .
36

Ri O n-
Ui ,
. i
BUi, n+1 .
,
.
, 1932
B n .
, f(n)n+1.


10. f(n) 2[ n+1]n

, .
. ,
, A 1 n
n, . . [0, 1]n + x,
~
n . ( ) x
~
,
.
, ,
K1 =

[ n+1]

[0, 1]n
n

( - , ).
-
1
2 n

K2 = [0, 1]n .
,



 a1

 , . . ., an  , a , 0a 2[ n+1]1,
a=
~


i
i
2 n

2 n

i=1, . . ., n,

K2 :
K2 7 K2 + a.
~
 , 
2[ n+1]n ,
K1 . n , ,

1/2<1, .
, , , . , :
, . , f(n)( n+1)n
37

. , , , ,
, .
11. f(n)2n f(n)2n1 +1
. , ,
, n3,
. , ,
, , ,
. .
, , <>, ,
, .
, . ,
1, ,
< > ? ,
. ,
. 1901 . .
. 1 n
s
n
Y(n)=
.
2n+2

,
, , , . : -,
(. 31 32); -, [3],
; -, , . , 6 4 11 5
. 1/ 3,
3/8. ,
Y(n) n,
. , 7 12
4 5 , . ,
, . , ,
, . 27 8
38

(. 9), 1 Y(n). ,
: < > ,
(. 31).
f(n)2n .
B Y(n) 2n
1. . -, ,
, O=(0, . . ., 0). ,
{xi =0}, i=1, . . ., n. m=2n U1 , . . ., Um (. n=2, 3,
). , ,
n
1/ 2, () Ui B, , .
f(n)2n1 +1
. A n , diam A =1, B. , , , B O.
, A <> B,
A @B6= . xA
~
@B. A B 1 x.
~ , A BB ,
,
x={0,
~
. . ., 0, Y(n)}
( , BB x).
~
{xn ="},
"(0, Y(n)) , . BB
, x.
~ B1 , B1 .
{xi =0} ,

i=1, . . ., n1.

, , B1 m=2n1 B2 , . . ., Bm+1 .
BB
B1 , . . ., Bm+1 . , "
, diam Bi <1
i.
,
, . ,
8 13 4 5 . . 19 BB .
. 19
39

30 . , BB "
,
u
p
diam Bi

4n2 + 8n2 +11


<1.
4n2 +4n

i.
31 . : A n ,
n+1 , r, A r.
32 . , .
12.

,


f(n)  3/2+o(1)n , .
1988 . ,
. .
,
. ,
- , .
A n
diam A =1. h(A ) A (0, 1), A . , A1 , . . ., Ah , A

A A1 . . . Ah .
, ,
, .
,

, ,

. , h(A ) ,
f(A ), , f(A )h(A ). ,
h(A ) ,
< >.
28 8 ,
f(n)=max f(A ),
40

A . , , h(n). , h(n)
1, .
- f(n)h(n).
h(n) 1960
. . . . . ( 1957 )
. . , ,
A n , 1. ,
, ={ ~y: }, A
x@A
~
, x+
~
yInt
~
A . ,
, : , ,
, ,
, (>0),
< >, , , < > A
(, , , -
, , ,
, ). , , <>
. i(A ) n , , x@A
~

. i(A ) A .

i(n)=max i(A ).
A

, A 2 h(A ) i(A ) (. [2]).


.
1960 . . . , f(n)h(n)=i(n).
- n- K ,
, h(K )=i(K )=2n (
). , ,
, i(n)2n . ,
(. ). , ,
, ,
, f(n)2n
: ,
. ? , .
. A n , 1,
W , 41

, . ,
1 () n .

 : 
W , i(W )  3/2+o(1)n .

 n? , -, h(W )
 3/2+o(1) . -, A ,
W ,
A 

. , f(W )h(W )  3/2+o(1)n , , f(A )
f(n) , .
. ,
, , , (, n ).
- <>:
. . 1965 , A n -,
i(A )2n (n ln n+n ln ln n+5n).
, 3
. , ,
i(n)(n+1)n .
13.

, . . 1991 . ,
? .
? , . ,
,
,
: , , ,
.
, gd (n) d,
1 . , 5 ,
, ,
n4.
d=1. ,
: ,
42

,
1
1/ 2,
. ,
(. 27 8).
, g1 (n)
, , . , g1 (n) ,
(n+1)g1 (n) : -
n+1 , , . , f(n)(n+1)g1 (n), ,


g1 (n) c+o(1)n , c>1,

f(n) (o(1) ,
: *)).
c, ,
.
, . . ,
c 2,


, c 3/2.
, , ,
.
,

:


r r/+o(1)n <r.
, , -,
,
.
,


 2+o(1)n 1, f(n). ,
.
:

3/8, . , .
,
, .
, - . ,
: , - , ?
, ,
,
. , ,

*) , , . , n+1
, , , < >.
43

, ,
, . , , 


g1 (n) 1,067+o(1)n . ,
, , g1 (n) ,
p



1,067+o(1)n g (n)  3/2+o(1)n ,
1

. .
( ), f(n) ,
p



1,2255+o(1) n f(n)  3/2+o(1)n .
14.


. ,
, ,
. -
, , <>,
, ,


f(n) c+o(1) n .
-
:
, ,
, , .
,

.
, , , (. 28
8). , , : .
, , ,
.
, , .
, .
,
  <> f(n) 1,2255. . . +o(1) n .
.
44

. p , m=4p, n=m2 .

f(n)

C2p
m
.
4Cpm

(
); ,
, , ,
. , .
, . . .
C2p
m!
p!(mp)!
m
=

.
4Cpm
(2p)!(m2p)!
4m!


, , k
,
 k

k
2k   .
e

e ,
, < >
 k 


k
k!= 2k   1+o(1), k.
e

, , k .
, -
<> (. ).
, , , ,


C2p
2m
m
m/4  3m/4 = 1,139. . . +o(1)m .
p =P(m) 
 1 
 3 
4Cm
   
4
4

P(m) , 2k k, , p=m/4.
,
: , P(m), o(1)
45

(1,139. . .)m . ,
,




f(n) 1,139. . . +o(1)m = 1,139. . . +o(1) n ,

. , , n ,

C2p
m
>n+1.
4Cpm

, n ( , 2014),
.
, . ,
n, , n=m2 m=4p, p .
,
. ,
,
. :
, k,
, k/ ln k ( <> );
c, k k+ck39/61
k. , , ,
, , ,
. .
- .
.
. R={1, . . ., m} , m . R





() M = (M1 , . . ., Ms ), :
|Mj |=2p ( Mj 2p-) j{1, . . ., s};
|Mi Mj |6= p i, j.
p
s=|M |2Cp1
m <2Cm .

, . , 2p- Mj M
, ,
p . ,
. : s
C2p
m , s ( ) . - , <>.
46

. . 1981
-
.
, .
-, , . :
R 2p-, 3-,
. , , ,
3- m (. [1] ). , - :
C3m m. ,
, , .
, , , . ,
, .
60- XX . (. [1]),
< > ( ( ,
)).
-, < >. ,
M ,
, 2Cpm
(. ). , : p ?
? . , .
, .
- 2p- M R. (0, 1)- x=(x
~
1 , . . ., xm ), xi =1, iM, xi =0 . ,
M, NR, x,
~ ~y,
(x,
~ ~y)=x1 y1 + . . . +xm ym . . , , ,
|x
~
~y|2 =(x,
~ x)+(
~
~y, ~y)2(x,
~ ~y)
( !), (x,
~ x),
~ (y,
~ ~y) ( ) 2p. .
.




V = ((x1 , . . ., xm ): xi {0, 1} , i=1, . . ., m; x1 +. . . +xm =2p) .

47

QV,
p, Q
p1 .
2Cm

.




W= ((x1 , . . ., xm ): xi {1, 1} , i=1, . . ., m; x1 +. . . +xm =0) .

QW,
, Q
2Cp1
m .
x=(x
~
1 , . . ., xm )W

2 , x x , . . ., x x , x x , . . ., x x , . . ., x x , . . ., x2 ),
x
~ x=(x
~
1
1 2
1 m
2 1
2 m
m 1
m

. . , m2 =n. W n .
,
1
2

1
2

|W |= |W|= C2p
m
( x
~ x~ x(
~
x)
~ ).

x
~ x~ ~y ~y W :
~y ~y, ~y ~y)2(x
~ x,
~ ~y ~y).
|x
~ x
~
~y ~y|2 =(x
~ x,
~ x
~ x)+(
~
,

m
2
X



(x
~ x,
~ ~y ~y)=
xi xj yi yj = 
xi yi  =(x,
~ ~y)2 .


i=1 j=1
i=1
m X
m
X

~ x,
~ ~y ~yW , x
( x
~ x,
~ ~y ~y W )
,
x,
~ ~yW .
, W

W =W1 . . . Wf ,
diam Wi <diam W i.
f<

C2p
m
4Cpm

i, |Wi |>2Cpm . |Wi |>2Cpm ,


Wi W Wi . ,
Wi x,
~ ~y,
48

, , diam Wi =diam W , .

f(n)f

C2p
m
,
4Cpm

.
,
. , ,
. , , , , < > ( );
(1,139) . , .
-, , , ,
. , ,
2
W W , , W m . - , ,2 , , -, :
W Cm . .
, m2
? 3 , ,
1 2. : 2
xi xj =xj xi x2i =1 m
, - .
n=C2m , m 2 n,
, ,




f(n) 1,139. . . +o(1) 2 n 1,203. . . +o(1) n .
, , ,
. ?
.






W= 
~
, . . ., x ): x {b , . . ., b } ; {i: x =b } =l 


(x=(x
).
1

, W , l1 b1 , l2 b2 , . . lr , br . ,
b1 , . . ., br , l1 + . . . +lr =m. ,
|W|=

m!
.
l1 !l2 ! . . . lr !

, r=2, b1 =1, b2 =1, l1 .


<> . , , .
49

, - ,
. , , , , . ,
r=3, b1 =1, b2 =0, b3 =1,
.
, . .
:
n9 , (0, 1)-,
n+1 . ,
,
, .
33. ,
 n
 n
 n 
 
  n!e  n  .
e

34 (<> ). m=8q, q . ,
 q  R={1, . . ., m}
, C4q 2 2q-,
q .
,
 q 2 



C4q  = 1,754. . . +o(1)m C2q = 1,754. . . +o(1)m .
m

, ,
.
35.



~
V =
(x=(x
1 , . . ., xm ): xi {0, 1} ; x1 + . . . +xm =3) .



Q= 
(x~ 1 , . . ., x~ s ) V , (x~ i , x~ j )6= 1 i j.
Q.
36 .




V = (x=(x
~
1 , . . ., xm ): xi {0, 1} ; x1 + . . . +xm =5) .




Q= (x~ 1 , . . ., x~ s ) V , (x~ i , x~ j )6= 2
i j. , c>0, ,
s=|Q|cm2.
37 (). m=4q, q
.




V = (x=(x
~
1 , . . ., xm ): xi {0, 1} ; x1 +. . . +xm =2q) .




Q= (x~ 1 , . . ., x~ s ) V , (x~ i , x~ j )6= q i j.
s ?
50

38 (). m=2k ,









{i: x =1} = m 
V =
x=(x
~
,
.
.
.,
x
):
x
{1,
0,
1}
;


1
m
i
i
(
).
2

m/2 . , |V|=Cm/2
m 2
QV,
? , m=16 ,
8

|Q|

C16 28
137

( ), n135.
39 (). V n ,
a, b, . . V
. ,
f(V)n+1?
40. ,
(1, 0, 1)- n+1 .
41 ( ).
k- {1, . . ., m} . ?
42 ( ).
k- {1, . . ., m}
t . ?
15. f(n)

, ,
. (. [1]),
, n ,
1. ,
(n )=min , ,
n =V1 . . . V ,
i{1, . . ., } x,
~ ~yVi
|x
~
~y|6= 1.
, f(n) (n ) - . ,
51


, < > 1,
1. , <>
. A n , diam A =1,

A =A1 . . . A ,
, Ai ,
a(0, 1]. a (A )=min
( - <>), ,
(n, a)=max a (A ).
A

, a, , , a, ,
. ,
,
, , *).
(n, a) .
, : , .
. . . . .
, , (n, a)
-
. .
. ,





f(n) 1,2255. . . +o(1) n (n ) 1,239. . . +o(1)n

(. [1]); .
, .
. >0,


f(n) 1,2255. . . ++o(1) n ,



(n ) 1,239. . . ++o(1)n .

,
.
*) , a ,
a=1 .
52

[1] . . . .: ,
2003.
[2] . ., . .
. .: , 1965.
[3] ., ., . .
.: , 1968.
[4] . ., . . .
.: , 1951.
[5] ., .
. .: , 1965.
[6] . . .: , 1968.


1.
2.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
,
. . . . . . . . . . . . . . .
3. . . . . . . . . . . . . . . . .
4. . . . . . . . . . . . . . .
5. 3 . . . . . . . . . . . . . . . . . . . .
6.
n>3 . . . . . . . . . . . . .
7. . . . . . . . . . . . . . . .
8. . .
9. f(n)n+1 . . .


10. f(n) 2[ n+1]n . . . . . . . . . . . . . . . . . . .
11. f(n)2n f(n)2n1 +1 . . . . . . . . . .
12. . . . . . . . . . . . . . . . . . . . . .
13. .
14. . . . . . . . . . . . . .
15. f(n)
. . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .

...

< >

.
.
.
.

.
.
.
.

. 3
. 7
. 8
. 12

.
.
.
.

.
.
.
.

.
.
.
.

24
27
31
36

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

37
38
40
42
44

. . . 51
. . . 53

1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.

..

..
(100 )
..

..

..

..

..

.., ..
:

..

..

..

..

..

..

..
( )
..

..
17.

..
18.

..
19.

..
20.

..
21.

..
22.

23. ..

..
24.

..-
25.

..
26.

..
27.

..
28.

..
29.

..
30.

..
31.

..
32.

..
33.