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

< >

28

. .



2003

519.1
22.15
18

XX
. .

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

( ) .
, 7 2002
911 .
, : , , .



. .

ISBN 5-94057-121-2

. ., 2003.
, 2003.

.
.
(: < ,, >. . 28).
.: , 2003. 44 .: .
. . .
. . . .
. . .
01335 24/III 2000 . 10/X 2003 .
6088 1/16 .
1.
.
. . . 2,75 + 0,50 (.). . . . 3,18. .-. . 3,45. 3000 .
3923.
.
121002, , -2, . ., 11. . 241 05 00.

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


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

, .
- . ,
, .
, ,
, , ,
, (,
), , . < > ,
, *),
. , ,
, , :
(1933), ,
(1913), (1957), .
.
,
, . , XX **), -,
. . . .
, ,

*) . (19081981) .
**) . (19131996) ,
,
, , , .
3

. 15 , : 1961 ,
, ,

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


, . . () ,
 1 , ,
*). x, y . .,
|xy|. , ( )
.
. **)
(1 ), , 1 ,
.
, , , , , .
, , - , ,
,
<>. :
1 =V1 V2 ...V ,

(1)

i, j (1i, 1j, i= j) *) 1, 2 3 ;


(. .
) , <>,
<>, <n-> <> .
,
< >.
**) <> ;
<>.
4

Vi Vj = ( Vi Vj ). ,
(1 ) , , ,
(1) :
Vi (1i) x, y, ,
(|xy|= 1).
, : , ,
1 ?
,
, <> ?
: ,
1 (1 )
, . , (1 ) ,

, , 1 =V1 V2 ...V , a>0,
1 =W1 W2 ...W ,
b>0:
Vi <> ( <>) b/a , , , Wi .
5

. 1

: (1 ). , (1 )
2, :
, 1. ,
, . , , - (<>)
,
. . 1,
: 1 =V1 V2 ,
V1 =

+
[

[2i, 2i+1),

i=

V2 =1 \V1 =

+
[

[2i1, 2i).

i=

, , , , :
I. (1 )=2.
5

, ,
.
,
.
1. V 1 ,
(<>) , V. ,
, , ?*)
2. , , ,
()? ,
, ?

,
2 . 2 (x1 , x2 ) x1 , x2 ,
() x=(x

1 , x2 ).

**): x=(x

1 , x2 ) y=
=(y1 , y2 ) 2 ,
p
|x
 y|=

(x1 y1 )2 +(x2 y2 )2 .
, ,
(1 ) .
1 2 .
,
, (2 ). ,
.
, <> , ,
. :
,
, .
*)
.
**) -, ,
, , <>.
, ,
.
6

II. (2 )4.


III. (2 )7.
, , <>
. II 1961 , III
A7
A1
1
(1961 ). ,
.
II.
1
1
1
1
A5
A3
, A
A6
1
1
2
,
1
1
< 1
1
> (. 2). ,
, A1 , A2 , A3 ,
A4
A4 <>, . 2
1,
A2 A3 . A4 , A5 , A6 ,
A7 : <>, A4
, A1 A7 <> 1.
A A1 , A2 , ...
..., A7 .
. Ai , Aj ,
Ak A , ( A B), , |AB|=1.
, .
A . , Ai , Aj , Ak A ,
( A ), , , ,
1,
. , , (2 )4, II .
,
, . ,
(2 )4
. .
. A
(M, D)- , A
(. . A ; X #X ) M F
7

A , , #F =D+1, F1 , F2
1.
, (M, D)-
, , .
, (M, D)- M=7 D=2,
. (2 )4,
- (M, D)- (2 )M/D ,
M D , (2 )[M/D]+1 ( [a] a,
, , [M/D]+1=4).
, ,
<> - , , , [M/D]+1>4
(c M/D>4). ,
, . , (2 )=4. ,
1994 . , (M, D)- [M/D]+1>6 (c M/D>6).
, (2 )6, .
III. ,
- .
, <> (. . ,

), ,
1 ,
77
88
99
77
88
99
.
, , 5
6
,
5
6
44
5
6
4
5
6
4
(2 )9,
33
11
22
0,7
33
11
22
(1 )2. ,
, 2,1,
2,1

- . 3
8

77
77

88
88

99
99

77
77

88
88

99
99

77
77

88
88

99
99

44
44

55
55

66
66

44
44

55
55

66
66

44
44

55
55

66
66
1,4

11
11

22
22

33
33

11
11

22
22

33
33

11
11

22
22

33
33

77
77

88
88

99
99

77
77

88
88

99
99

77
77

88
88

99
99

44
44

55
55

66
66

44
44

55
55

66
66

44
44

55
55

66
66

11
11

22
22

33
33

11
11

22
22

33
33

11
11

22
22

33
33

1,4

1,4
. 4

0,7 (. 3). .
, : , <1>
<2> <1> ( <2>) . . , x,
 y,

,
p
p
, . . 0,72 +0,72 = 0,98<1. ,
,
, :
, .
2 . ? :
<> ,
(. 4). , -,
, . . ,
(), -, , ,
. , ,
, , . , ,
x y,

, |x
 y|=1.

9

555

444
111

333

222
66
6

333

777

222

777

111

66
6

777
444

777

111

222
66
6

333

222
66
6

444

555

444
111

555

333

222

333

222
66
6

333

111
555

444

555

444
111

66
6

777

444
111

. 5

, :
, , , 20,7=1,4>1
(. . 4). , (2 )9,
<>, , , :
.
, , ,
, .
, , , , , ,
, - (. 3).
: ,
. . 5:
, 2 ( , , ).
,
, ,
<> . <>
, <> .
, >0 , ,
-, x,
 y
|x
 y|1,

-, x
, y

,
>0
|x
 y|1+

. 10

: ,
, . -,
,
.
III ,
. , ,
, ,
.
, , ,
:
,
, ,


( ), , ,
, ,
. , ,
<>
(2 )7 (, . 2),
, <> .
.
,
*).
. ax+b

y=(ax

1 +by1 , ax2 +by2 ),
x=(x

,
x
)

y=(y

,
y
)

(. . (0, 0), (x1 , x2 )


1
2
1
2
(y1 , y2 ) ), a b
. , x y .
.
2 , (1, 0)
(0, 1). , ,
*) < > , , ,
< >. ,
, ,
, . . (17771855) . (17071783),
XIX XX
. . (18681908), . . (18371908), . . (18471878) . (18641909).
11

x2

x2

B
B
B
B

x1

O
O
O
O

A
A
A
A

x1

. 6

. ., , 2 , , (2, 1) (5, 2).


. T , () T1 , T2 , ..., T1 T2 ...
2 , ,
(, ).
, 2 .
. . , x ,
Vx , ,
x :
2 : |y
Vx ={y

 x||

y
 z| z}.


, x

Vx
( )
. ,
.
. , Vx ,
x,

2 .
() .
: 2 , OA OB, . 6, , OAB
1. , 2
12

, ,
(. 6, );
, , , , , <>,
(. 6, ). ,
:
, . , *)
,
< >
.
, : ,

. , ,
, , , , , , . .

.
2 ,

, ,
- . ,
. ,
, ,
. .
3. , ,
.
4.
2 , .
5. , 4, .
, . . (2 )9?
6. , , 

1 2
(1, 0),  , .
3 3
*) (.) .
13


(1 ) (2 ). ,

, ,
, () 3 , , . . () x=(x

1 , x2 , x3 ) ( x1 , x2 ,
x3  ), ()
q
|x
 y|=

(x1 y1 )2 +(x2 y2 )2 +(x3 y3 )2 ,
3
x=(x


1 , x2 , x3 ), y=(y
1 , y2 , y3 ). ( )
,
, , -, .
, ,
,
(3 ) , , . ,
.
IV (. . , 1970).
(3 )5.
V (. , 2000).
(3 )15.
,
: ,
IV V.
IV.
(M, D)-A1
. ,
. 1
1
3 1
, A3

A2
1
[M/D]+1 M/D ( 5),
1
1
.
A4
1

1
1
.
, 3 1 A
1
A1 , A2 , A3 , A4 (. 7).
. 7
A
1 A2 A3 A4 ,

14

C1
A1

B1

A3

B2
A2

A1

B1

B3
A4
B4

A
1

A
1

. 8

. 9

A2 A3 A4 (. . 7).
, . < > ( A
1 ),
, < > () (, B1 ) 1 A1 ( A1 B1
<> ) (. 8). ,
A
1 ,
C1 , |A1 C1 |=1 |B1 C1 |=1
(. 9). ,
A1 A2 A3 A4 A
1 B2 B3 B4 B1 (. . 8).
, (M, D)-
M=9 D=2 (
1). , (3 )[M/D]+1=5, IV .
, ,
, ,
, , (2 )4: , ,
, .
V. , (3 )27.
,
(1 )2 (2 )9: , , ,
.
15

y
x

. 10

, <> 3 <> 1,65, , ,


27 <> -<>,
0,55.

0,55 3<1,
, 1,1>1.
,
, , -, <> , , , . , , -
.
.
ax+b

y+c

z=(ax

1 +by1 +cz1 , ax2 +by2 +cz2 , ax3 +by3 +cz3 ),
x=(x



1 , x2 , x3 ), y=(y
1 , y2 , y3 ) z=(z
1 , z2 , z3 ) (. . (0, 0, 0), (x1 , x2 , x3 ), (y1 , y2 , y3 ) (z1 , z2 , z3 )
), a, b c
. , x,
 y z
.
, 3 ,
3 ,
16

x
y

. 11

(1, 0, 0), (0, 1, 0)


(0, 0, 1).
. T , () T1 , T2 , ..., T1 T2 ...
3 , ,
(, ).
, , ,
.
( ). ,
.
. ,
, x,

3 .
() .
17

x
y

. 12

:
- 3
. ,
, . .
, , , , ( ),
, , .
, . , (3 )27
, 3 . ,
(3 )21, (1996),
,
(1, 1, 0), (0, 1, 1), (1, 0, 1); (3 )18, 1997 ,


1 1 1
(1, 0, 0),  , , , (0, 0, 1), 2 2 2
V ,
18



 2 2

 , 2 , 0,
3 5
5 

 



 
 2 2

 , 0, 2 ,  2 2 , 2 , 0. , . 10
 3 5


5
3 5
5 

12 , ().
, (3 )15
, ,
, .
7.
3 ,
.
8. (3 )27
?
9.
. , , ,
? , , , 30?
10.

 

 1 2 
3
(1, 0, 0), 0, , , 0, 0, .
3 3
4

, , ,
:
, , < 1> , ,
< 3> - .
( ) ,
,
, , <> (. . )
. , ,
, . ,
, <> <>
. , , , ,
19

, , , ,
.
,
<> ,
.
n- , ,
, n , . ,
: , n
n (<>
<>) x1 , x2 , ..., xn <> ( <>) x=

=(x1 , x2 , ..., xn ), <>
q
|x
 y|=

(x1 y1 )2 +(x2 y2 )2 +...+(xn yn )2 ,
, , x=(x


1 , x2 , ..., xn ) y=(y
1 , y2 , ..., yn ). , n 1 , 2 3 . ,
, <> n n4 - , ,
. , ,
, :
,
< >, .
, n ,
: , (n ), ,
n- , ,
1, .
, , 1 :
,
(n ) .
<> <>.
, 2
3, n .

( , )
20

, . (n ) n,
4n15. , *).
n

(n )

4
5
6
7
8
9
10
11
12
13
14
15

6
8
10
15
16
16
19
20
24
31
35
37

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

. , 1971
. . ,
. , 2000
. , 2000
. . ,
. . ,
. . ,
. , 2000
. . ,
. . ,
. . ,
. . ,

1972

1972
1972
1972
1972
1972
1972
1972

(n )

49
45
46
47
48
59
510
511
512
513
514
515

. , 2002

n15. -,


n. , , , ,
- . ,
,
, n
, n .
,
u(n)(n )v(n), u(n) v(n) n. . 1971
. . , ,
, (n )n+2 (, n=2
, n=3 ). 1972
. . . , (n )c1 n2 , c1 ,
( c1 ).
1978 . ,
(n )c2 n3 . , 1981 .
. , ,
*) , , ,
, , .
, .
21

, , (n )
1 1,207n (1 >0 ). ,
, , -,
*).
20 : ,
, (n )2 1,239n . -
.
:
? , , (n )

n3, -

(. . v(n)=, , n, v
, n
)? ,
( ) , ,
: ,
. , , ,

. (n )(4[ n+1])n ,
, ( ) .
, - .
**),
: 1972 ,
(n )3 3,001n . ,
.
, <> :
2 1,239n (n )3 3,001n ;
*) <> : ,
, , cn c>1 ( <>) <> , . .
k nk /cn 0 n. ,
n,
, .
<>, . . , <> . , , n100 1,207n ,
, , n0 ,
.
n1000 ( ), n1000000 , . .
**) ,
,
, ,
, (4[ n+1])n .
22

,
, , <>
. .
: (n )n+2
n=2 3, ,
,
, <>
. , . ,
, , , , ,
, ,
4 , . .
, :
(. . )? :
, ,
1;
3 . ,
, () n4.
.
x 1 , x 2 , ..., x n+1 , n ,
(, ), , x 1 , x 2 , ..., x n+1
n- . < > , . . x,

x=

x

+
x

+...+
x

,

1 1
2 2
n+1 n+1
1 0, 2 0, ..., n+1 0 1 +2 +...+n+1 =1*).
(, ,
, , )
: , , x 1 =










 1
1
1 
=  , 0, ..., 0, x 2 = 0, , 0, ..., 0, ..., x n = 0, ..., 0, , x n+1 =
2
2
2



 1+ 1+n 1+ 1+n

1+
1+n
. , ,

= 
,
, ...,

n 2

n 2

n 2


*) 1 x 1 +2 x 2 +...+n+1 x n+1 , , x 1 ,
x 2 , ..., x n+1 , x i i
.
23

, ,
: ,
, ,
(n=2) 2+1=
=3, (n=3) 3+1=4. ,
, , ,
. , .
, , .
k- (n-)
k+1n , x 1 , ..., x n+1 . , k-
, .
Ck+1
n+1 =
=

(n+1)!
. (k+1)! (nk)!

*).
, ,
,
.
, ,
n ,
. ,
<> <> .
, .
A1 A2 ...An+1 n (, , ;
, , 1**)) ()
n1: , A1 A2 ...An .
n-
, .
. A1 A2 ...An+1 ,
() A1 A2 ...An A
n+1 ,
A1 A2 ...An . *) , . . , -
.
**) , < > Ai Aj ,
, . .
Ai Aj .
24

<> A1 A2 ...An An+1 A


n+1
<>, A
n+1 B1 B2 ...Bn Bn+1 , ,
A
n+1
An+1 Bn+1 1.
.
, ( ) ( ) .
, 2 3
(M, D)- , , n (. ,
). , ,
A1 , A2 , ..., An+1 , A
n+1 , B1 , B2 , ..., Bn+1
(2n+3, 2)- , , ,


 2n+3 
 +1=n+2,
(n ) 
2

.
: (5 )8
, , ,
- , : ,
A1 , A2 , ..., An+1 , A
n+1 , B1 , B2 , ..., Bn+1
.
, : -,
(
<>
,
), -, *)
, -, . <> , , ,

.
(0, 1)- n ,
0 1. 16- (0, 1)-:
*) .
25

(< > (0, 0, 0, 0, 0)), C25 =10


( (1, 1, 0, 0, 0), (0, 1, 0, 0, 1)
. .) C45 =5 . ,
, (M, D)-
M D,
, M=16. D
,
< >
.
2
.
(0, 1)-
.
, n ( n=5) .
Rn ( ): ,
, Rn ={1, 2, ..., n} Rn ={3, 4, ..., n+2},
. . ,
, Ri,j , {i, ..., j}, . .
, i j . , Rn =Ri,i+n1 , i ,
.
(0, 1)- x=(x

1 , x2 , ..., xn )
M=Mx Rn ={1, 2, ..., n} : xi =
=1, <> i M; .
, M={iRn : xi =1}. . ,
, . .
|x
 y|=a

, #(Mx My )=b,
a b .
, M ={M1 , ..., M16 }, Mi
( ) <> (
(0, 0, 0, 0, 0)), 10 () 5 () . , ,
(!):
1) #Mi =0, #Mj =2, #(Mi Mj )=2;
2) #Mi =2, #Mj =2, #(Mi Mj )=1;
3) #Mi =4, #Mj =2, #(Mi Mj )=2;
4) #Mi =4, #Mj =4, #(Mi Mj )=3.
1)4), , 26

M
M , ,
. , , M

( 4)),
( 1))
,
( 2) 3)).
D2. , (5 )M/D=8, .
: (n )c1 n2

c1 ,

.
. n2.
(n )C3n+1 /n
, , ,
n
=n, n=4q, q , . . n 4 ;
n
=n1, n=4q+1 n=4q+2, q ;
n
=n+1, n=4q+3, q .
-, ,
, n=4q, n=
=4q+1, n=4q+2, n=4q+3. -, ,
n 4 c1 . , <>

(n )

(n+1)n(n1)
n(n1)
n2

6n
6
12

( , , , n
n+1,
, n2 , , n(n1)=n2 nn2 /2). ,
c1 1/6, , :
*),
. ., c1 ( ,
) (
) .
,
.
, , (5 )8,
*) . n=10, 12, 13, 14, 15.
27

. ,
, , (M, D)- ,

(0, 1)- . , (n+1)-
={x=(x

1 , ..., xn+1 ):
xi {0, 1} i=1, ..., n+1;

x1 +...+xn+1 =3}.

, , ,
n- , , n- ,
,
. ,
, (<>) n . -
. ,
, ,
n , n+1 , < > n- , ,
,
, ( 3) , ,
: , , ,
, , .

. , ,
, ( ) M=C3n+1 , , ,
(n ), .
, . . D , , , :
2.
: Rn+1 M Rn+1 .
.
. M
M ,
M1 , M2 , ,
(. . #(M1 M2 )=2,
#(M1 M2 )=0), #M
n
.
28

.
, .
, :
,
.
: ,

D=n
.
? ,
. :
, M
Rn+1 , ,

#M
=n
.


 n+1 
.
. t= 
4 
4tn+1, 4(t+1)>n+1, . . n+1=4t, n+1=
=4t+1, n+1=4t+2, n+1=4t+3. R4t =
={1, 2, ..., 4t}Rn+1 t
R1,4 , R5,8 , ..., R4t3,4t , Rn+1 , , Rn+1 =R4t R, ,
, #R=i, 0i3. Mj , j=1, 2, ..., t, ()
R4j3,4j . , , Mt+1 ,
#R=3, Mt+1 ={R}
( Mt+1 ). M

M1 M2 ...Mt , M1 M2 ...Mt+1.
M
, , 4t 4t+1, ,
, n
*).
, . ,
. , ,
1978 ((n )c2n3 )

={x=(x

1 , ..., xn+1 ): xi {0, 1} i=1, ..., n+1; x1 +...+xn+1 =5}.
(M, D)- 6, 2
*) , n+14.
( ).
29

Rn+1 , M=C5n+1 Dconstn2 .


,
( ).

. ,
, (0, 1)-
={x=(x

1 , ..., xn ): xi {0, 1} i=1, ..., n;

x1 +...+xn =a},

a=a(n) (, ,
n) , ,
n. M=Can , D
l=l(n),
l>0 l2a . . ,
D l ,
a-
Rn , ,
(
l, ,
,
). ,
, 1981
, , , <> (n ).

a<n/2 l= 2p, p , a2p<0, . . pa/2*). ,


ap, . . <>
, .
( ). M
M a-
Rn ,
M1 , M2 , ,
ap , #M
Cnp1 .
(n )

Can
M
= p1
, ,
D
Cn

a, (n )
*) , p
.
.
.
30

1 1,207n . ,
Cyx =

x!
, y! (xy)!

: x

 x

x
x! 2x  
e
( 3,1415926 e2,718281828 ,
<> , x
, ,
, . . x!
)*).
() <> (, , < >**)).
,
,
, , ,
, ,
.
. .
< >.
, ,

. ,
:
,

. (. [1]), ,
*)
. .
, , , n=
=4p (p ), a=2p1: ,
, .
**) ,
<> ,
- (. ., , ) :
.
31

.
,
. , ,
, k- n- kn/2,
, Ck1
n1 .
, , , , ,
.
,
, 2000
, , : (0, 1)-
(0, 1, 1)- (. . ). ,
. . , , (0, 1, 1)- . , <
Rn >,
, , ,
, ,
. . (x,
 y)=x

1 y1 +x2 y2 +...+xn yn . , , , (0, 1)- , , .
11. , (.
), : , , n=4p (p ),
a=2p1, M
a- n- ,
,
, (n), , (n) , (. . Cnp1 )
P(n) , P(n)=ut nt +ut1 nt1 +...+u1 n+
+u0 () t,
n. , , , (n).
12. ( .)

p? ? ,
32

?
13. - <> n,
, n=4, 5, ..., 10 . . , (0, 1)-
? ,

({0, 1}n )=max (, l),
, l

n- (0, 1)-, l
, (, l) , ,
: - l,
. ,
, , ,
(0, 1)- . ,
. .
14. , 13, (0, 1,
1)- ( ). , , . , (b1 , b2 , ...
..., bt )-, . . , t :
, .
15. ( .)
(. . ) (0, 1, 1)-. ,
, ,
(. [1]) , , (n )2 1,239n .

(n )(4[ n+1])n



, , , ,
<> (1 )2, (2 )
9 (3 )27. ,
, 1, 2 3
n4, , ( ), .
33

,
, n- ,
(
, , <> n : .
n3).
, n- .
, , , .

,
(n )

(4[ n+1])n . , .
. n- ( [0, 1]n )
2n (0, 1)- n . (0, 1)-
( ) .
(, K )
<> (<>) :
K =k[0, 1]n + x,
 k>0 , <> (<>), x n-
, . ,
y K y=k

z+
 x,
 ,
 xK

z[0,

1]n ).
, z[0,

1]n ( , kz+
,
-, - ,
(. ).
<> K1 =

2[ n+1]

[0, 1]n <n

1
2 n

> -<> K2 = [0, 1]n . K1 n- , K2


. ,


 a

a 
a=
  1 , ..., n , ai 0ai 4[ n+1]1,
2 n

2 n

1in, K2 : K2  K2 + a.

,

(4[ n+1])n , K1 .
. ( -
34

xK

1 ,
.) n , ,
1/2<1. <> K1
- , K1


,
...,
kb
),

b
,
...,
b

k=2[
n+1]/
n
(
b=(kb
1
n
1
n
). ,
,
2[ n+1]

, ,
>1, , ,
n
2 n

(n )(4[ n+1])n .


. ,
.

, (n )( n+2)n .
, ( 4n ) . , ,
(n )c3,001n , , ,
. ,
n3,

n>3. , (
, 3 ), ,
, ,
c3,001n . , ( )
, ,
: ,
,
. , , , , - ,

, *). , ,
*) , , , (n )2n+1 1 (, 2000), , ,
. , n=2 2n+1 1 7, n=3 15 (. . 11 19).
35


.
16. ,
[0, 1]n ={x=(x

1 , ..., xn ): 0xi 1, i=1, ..., n}.
17. n- , a1 x1 +...+an xn =b, a1 , ..., an , b
, ai = 0, i=1, ..., n. ,
n1 .
18. l- (0ln1) n-
[0, 1]n {x=(x

1 , ..., xn ): xi =1 , ..., xi
1

nl

=nl }.

i1 , ..., inl , 1 n, j 0, 1.
l-
, , n=1, 2, 3.
l- K .
19. , n
, - l.
.
1

, : -
, - , - .
, , , :
,
, ,
.
. , ,
, , , ,
, XX , , -
36

v3
.
v5
v1

, , v4
v7
, , ,
- v2
v6

. . 13

(., , [2]),
.
. <> (V, E), V () vi ,
, , , E
() (vi , vj ) V, ,
(vi , vj )=(vj , vi ) (. . < >,
< >) (vi , vi ) E (. .
<>). V E ,
; < >, < >.
, . ,
, . , V (. . )
- . ,
, , (. 13). , ,
: ,
.
: <> , . .
V E ,
?
, . 14, , ,
, ( V ={v1 , ..., v10 }, E={(v1 , v2 ), (v1 , v4 ), (v1 , v3 ), (v2 , v3 ), (v2 , v5 ),
v1

v7

v2
v5

v3

v4

v6

v3

v1
v9

v7

v2

v8

v10

v4

v5

v6

v10

v8
v9

. 14
37

K5

K3,3

(v4 , v5 ), ..., (v9 , v10 )}).


. . 1927 , , . 1930 : . 15

, ,
. 15, ,
( . [2]). ,
,
.
, -, () 3 ( ). , ,
V , <>
, . ,
, . XIX , , , ,

, :
, , <>. ,
; ,
<> , 2 .
: <>
, .
,
, .
, , , , <> ,
, . () ,

: ( ,
) , , ,
<> ( ) <> (,
, <>) . ,

, , ,
38

, , .
, ,
, ,
, , Gn =(Vn , En ), Vn =n , En ={(v1 , v2 )=(x,
 y):

|x
 y|=a},

a>0 ( ). ,
Gn n- ,

n- , . , , ,
, ,
<>
. , ,
, ,
n 2 , . . -
. , Gn ,
, , .

(M, D)- . , ,
, G
=(V
, E
) G=(V, E)
, V

V G, , , E
, V
, ,
E.
, , , , , (G)(G
). ,
Gn . ,
=(V
, E
), , #V
=M.

. () V
, ,
. ()
, , ()M/().
,
Gn , , (),
, - D
. , , , (M, D)-
, M
39

, D, . . (n )M/D,
, - (Gn )()M/(). , ,

Gn ,
-. ,
.
, (Gn )=(n )3 3,001n <, ,
, , , ,
, : .
2

2 ,
, , ,
.
,
, ,
, . . <>
(x,
 y)
 , . ,
, (x,
 y)=|

x
 y|,
 (, <> ),
. -, ,
. -, <>, . . |x
 y| ,
|y
 x|
 ( , ). , < >:
|x
 y||

x
 z|+|

z
 y| ( x,
 y,
 z
). , . .
, ,
: (x,
 y),

|x
 y|.
 ; , ,
, , [3].
, , ,
, .
40

,
(X, ), X () , =
=(x, y) (x, yX).
, , (n , ),
[1, )

1/ ,
(x,
 y)=(|x

1 y1 | +...+|xn yn | )

= max{|x1 y1 |, ...
..., |xn yn |}. , 2 .
C[0, 1],
[0, 1] (f, g)=max |f(x)g(x)|.
x

- (X, ),
((X, ), a). a>0 <>,
. . ((X, ), a) , , , (<>)
X, x, y,
<> a ((x, y)=a), . ,
. ,
. , , ((X, ), a)=
=(G), G=(V, E) V =X
E={(x, y)X: (x, y)=a}.
1976 . . .
, .
,

.
. ,
, (n , ). 2 , :
((n , ), 1)=2n . , ((n , ), 1)2n n- (0, 1)-:
<> 1, 2n .
(n , ) 2n : x=(x

1 , ..., xn ) <> (1 , ..., n ),
i =0, ai , xi ,
41

, i =1, ai . , <> 2n
x,
 y (x,
 y)
 = 1.
, ,
. ( n , 2 ), n
n- . , n ,
. .
. ,
n
, , , 1*), ,
<> . , ,
, <> ,
.

(( 1 , 2 ), 1)=2

(( 2 , 2 ), 1)=2

, 1973

(( 3 , 2 ), 1)=2

, 1976

(( , 2 ), 1)=4
5

7(( , 2 ), 1)
5

(( , 2 ), 1)8

, 1976
. , 2001
, 1990

n,
: ,
(( n , 2 ), 1)c1 1,172n (. . , 2001 )
(( n , 2 ), 1)(n )c2 3,001n ( , 1972 ),
,
, . , <>
<> . n5.
. ,
( n , 2 ) - (M, D)- .
*) , n ,
.
42

 p 2  p 2
p1 p2
,
,  1  +  2  =1. ,
q1 q2
q1
q2

.

.
. Gn1 ,
(n ), Gn2 . G21
(
) - G42 .
, ,
(2 )=4. , (G42 )=4,
( 4 )=4. ,
G42 . , ,
G21
. ,
- (2 )4.
20. ((2 , 1 ), 1).

21. ( 2 ( 2), 2 ), 2 ( 2)

p1
p
+ 2 2. (( 2 ( 2), 2 ), 1).
q1

q2

22. 5 , .
, , , , 1?
23.
. ,
1 1.
24. .

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

,
.
: (n , a1 , ..., ak ) (n , A ).
n
( , a1 , ..., ak ) ,
n- , , () ai >0,
i=1, 2, ..., k, . (n , A ) ,
n ,
A . ,
. . ,
,
a1 >0, ..., ak >0
, , ck ln k (c>0 ).
-, (n ).
- ,
(n , a1 , ..., ak ) (n , A ) ,
.

[1] . . // . .
2001. . 56. . 1. . 107146.
[2] . . .: , 1973.
[3] . . .
.: , 2002. (: < ,,
>. . 16).

. 1

. 2

. 3

,
,

. , ,
. 1, 2
.

, .
, ,
,
- ,
?
,

. , , . . .
, < >
(. 36), .

,

. 4

. 5
, () . ,
, .
, . 710 ,
. , . 7 3 .
, ,
27 . . 810. . 8
21 , . 9 10
18 15 .

. 6

. 7

. 8

. 9

. 10