.

2007

 22.1
47

47

. | .: ,
2007. | 40 .: .
ISBN 978-5-94057-271-8

, | , . , , (
!),
.

22.1
- .

ftp://ftp.mccme.ru/users/shen/games.zip
(. 1320)

http://commons.wikimedia.org/wiki/Image:Meister der Manessischen Liederhandschrift 004.jpg

Manessische Liederhandschrift (Szene: Schachspiel),

, The Yorck Project: 10.000 Meisterwerke der Malerei, DVD-ROM, 2003,
ISBN 3936122202, distributed by DIRECTMEDIA Publishing GmbH Wikimedia
Common ( The Yorck Project, Erwin Jurschitza,
, , Jedes einzelne Bild ist Public Domain, .

http://mail.wikipedia.org/pipermail/wikide-l/2005-April/012208.html)

20.01.2007 . 60
.

. . 2,5.

90 1/16.

3000 .

119002, , ., 11. . (+7-495)-241-74-83.
.

ISBN 978-5-94057-271-8

c ., 2007

1.

, |
. , | |
.
, ? ,
. , .
, :
, ,
;
, ,
;
,
(= ), ,
.
, . ,
, .
; , , (, , ).
,
. !
2.
1 25 .
. ( ),
.
, .
.
( ,
. .). 20
, 15, 10, 5 , , 0 | .

, 25 , 24?
: , 20, 5 .
2

, , N . N
5 , ,
5. N 5 ,
3

. , ,
5.
3 : 10, | 7.
. (1; 2; 3; : : :)
( ). (
), .
, , .
, , .
4 , m ,
n ?
m 6= n , :
, . m = n , :
, .
5 5 8,
40 .
: (
) . ( ), .
| | , .
, 39 ,
. ( ?
.)
,
1. 1 ( ), 40
(). , 39 .
( 1; 3; 5; : : : ; 39).
, .
,
( , , ,
).
6 , . ,
7, | .
( ) . .

 , 7. (
, 7, .)
7 , 7 13?
: 13. , ,
. , ;
. ,
, 13. .
,
13,
, .
( ,
).
8 , .
, , | .
9 () , .
10 n -. , ( ). ,
, . ( ,
.)

3.

. ,

. ? , . ,
.
11 25 . 1, 2
4 . ( ), .

, , (
). ,
5

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

. 1. .
( | ,
| ). , 9 ( ), 8, 7 5 ,
.
; , | ( )
.
, .
, .
, ,
| .
, |
.
, ?
. . , ( ).
| ( , ).
. ,
,
. , | .
, , .
5, 4 2 .
, | .
| , 7, 8 10 | . , 1, 2 4 , 6.
| :
8, 7 5 .
2.
, 3: , 3, ( ,
), | . , 25
, , .
6

. 2. .
? , ,
. (,
, .)
.
.
12 ,
. ,
( );
, .
(
) . (
, ).
,
(. 3).

. 3. : .
, b2 ( , )
, ( )
. , b2 (. 4).

. 4. : .
: c3 ( , ) , ( ) .
. d4 ,
, (. 5).

. 5. : .
. ,
. ,
. ,
|
, .
, ,
| , . (m; n ) ( m , n )
m - n - ( ), . . 6.
8

(0; 4) (1; 4) (2; 4) (3; 4) (4; 4)

(0; 3) (1; 3) (2; 3) (3; 3) (4; 3)
(0; 2) (1; 2) (2; 2) (3; 2) (4; 2)
(0; 1) (1; 1) (2; 1) (3; 1) (4; 1)
(0; 0) (1; 0) (2; 0) (3; 0) (4; 0)
. 6.

; .
(0; 0) (
).
, ; |
( ).
.
, .
13 : 10, | 7.
.
( ) .
( ), .
: , , - . ;
( ), .
, .
| ; (
, ). (2; 0)
(0; 2) | ,
. . (2; 2) , . :
2 (. 7).
, :
, ,

. 7. .
| , ,
.
:
x ,
x | ;
x ,
x | ;
:
.

,
.
14 60.
(
). ,
.
[. , .]
15 .
2 9, 2
9, 2 9 . .
, 1000.
16 . .
(1; 2; 3; : : :)
( ).

10

 ( , ).
, .
[. , . : (0; 0), (2k + 1; 2k + 2) (2k + 2; 2k + 1)
k = 0; 1; 2; : : :]
17 .
.
6, .
18 m n ( m n |
). . ,
, ( ;
).
( , ), .

4.

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

, , .
, . ,
, | .
? - . ,
, . (
, , ).
.
,
.
|
, , !
11

 ,
.
, , ,
:

()
0
1
2
3
4
5
6
7
8
9
10
...

0
1
10
11
100
101
110
111
1000
1001
1010
...

1
2
2+1
4
4 +1
4+2
4+2+1
8
8
8

+1
+2
...

, , , 3, 5 7 , . 3, 5 7
( ,
):
3 = 11
5 = 101
7 = 111
.

, ; -

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

12

 . , , . . ,
, , .
, , | . .
1. ,
.
, ,
. ,
, | .
2. ,
.
. . , , ,
. .
, . , ( , )
. , , (
).

1 2 ,
, ( | , , | , ). ,
( ),
,
, . (
, .
.) .
:
( ) . , 3, 5 7 ,
- , , , 3, 5, 6.
, ,
. .

13

5.

,
( ,
).
( ,
).
20
; ( )
. , . ( .)
,
, .
( | 180 .) , ,
, (
). .
, .
, - ,
, . ,
(
). ?
,
, .
( , .)
: ,
( ) .
,
( ).
( ).
21 8 8 ,
( ) .
| ?
: , .
, , , .

14

 , . , , .
, , , ( , ,
).
( ). ( ?
?)
, .
22 . ; . :
?
,
. ( ) (
). ,
, .
11.
23 ,
, (
).

6. :

, , .
24 1000 1000 500 . ( |
, | ). , (
).
(: , . , ,
, .)
, - ,

15

. , | ,
.
:
, , ,
, . (
:
, .)
, . ,
999 , 998 . 500,
. , .
, - ! (
.)
25 -
: , | ,
| , | . . ,
100 . ,
.
, ( ) , ,
( !), , . .
.
, 100 1, .
N ,
, N=2 ( N ). (,
, . .)
N=2 , N=2
.
N=2 ,
N=4 (, N=2 ).
N=4 ,
N=4 .
. N = 2100 ,
, 100

16

 ( ).
26 .
, 100 ,
, 100 . ( .) ,
.
, n , .
, ,
. ? , , n (n 1)=2,
n (n 1), . (
, , n .)
, n (n 1) 100n . n ( 101), ,
, .
27
. , | . ( ), .
, ()
.
,
. 8: , ,
.

. 8. .
, . ,
17

, . .
.
(: , | . , ,
.)
28 - 3 3 3,
.
?
29 n , 3 . : ,
. AB
A , | BC , | CD . ( ABCD : : :
, .)
, ( ),
. , .
30
, 100 . , , ( , ).

7.

, (). ,
( 9). .
:
. , .
( , , .)
31 m n ,
1 1. (
) . () ;
, . , ,
?

18

 ,
, (. 9).

d
c
a

. 9. .
, ?
, , (
, ), ,
a; b; c; d (, ,
).
.
, a; b; c; d
: , .
,
4.
| , , . ,
, , (
).
32 1; 2; 3; 4; 5; 6; 7; 8; 9 ( ).
( | ). , 15.
( , .)
? ?

19

 ,
| . 1
9 3 3 , ,
15:
4

, 15 ( , ) (!).
,
, , -.
( | ), ,
15 (
).
- ,
. (
,
.)
8.

(, -, )
. , ,

( ).
,
, . (
, .) : , (
), | ( ). , ( -)
: +1 ( ), 0 () 1 (
).
.
33 20 .
( ) (
). . (

20

 10 ), | , .
.

:::
. 10. .
, | , (19
), | ,
(0 ). , ,
. - ?
, ,
9 . ( |
9) - ,
, . (
, .)
, ,
9.
( 10 ) ,
. ( :
- , .)
, ,
9.
, 9 . , :
, 9
;
, 9
;

9, .
, . ,
, , (
21

1, 0 1). 1 , , 1 , ,
0 , ,
.

,
.
34 a1 .
,
. .
( ), , (
) (. 11).

. 11. .
, ,
( ) . , ()
.
(. 12) | , , .
3
3 1
4 4
4 1
5 5
9 9
9 2
6 6
. 12. .
, 22

 , .
(. 13).
3
3 1
3 4 4
4 4 1
4 5 5
5 9 9
9 9 2
6 6 6
. 13. .
( , , ..), (. 14). , ,
3
3
3
4
4
4
4
5

1
4
4
4
4
5
5

4
4
4
5
5
9

1
5
5
9
9

5
9 9
9 9 2
9 6 6 6

. 14. .
. c ,
| . , (
a1) 5.
(5 ),
, .
. ,
. ,
, 5.
, , ,
,
. , 5.
23

 .
35 ,
( ) , .
( ) ,
. ( . ,
| , .)
[. ,
( ,
).
p q , p > q ,
p=2 ( p
), q ( p ).
max(p=2; q ) ( :
q , q ; p ,
p=2, q ,
). , max(p=2; q )
, 2 : 1.]
36 n . , ;
, ( ). :
. n = 6 n = 7.
( ,
,
, . , ,
n ).

37 1; 2; 3; : : : ; 20 .
(
). (
, ).

9.

.
( ).

24

 . ,

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

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

, , ,
. .
. ( )
c ,  
:
, ,
(, ) c ;
,  ,
c .
,
, .
:
;

25

 ( ) ,
;
( ) ,
.
, .

: .

, ,
. - ,
. , -
, -
. , .
. c | , .  ,
,
( , ). ,
 , .
,
, .
,  , .
,
c ; . .
+1 ( ) 1 ( ), (
)
:
x , x ,
, x ;
, x , , x ;
.
| , |
, . ,
(. . 5).

( , 26


), (
, 1912 ) .
10.

,
(
). ( ) , . .

38 - n n , (, ) k ( ). ,
,
.
, , ,
, . |
| , .
|
.
, .
. , : , , ,
,
.

.
. , ,
, () (
; , , | ).
. -, , .
,
. ( , ) .

27

(. , ,
,
.)
-, | .
| (hex), , , , - | .

. 15. .
39 (. 15) |
. ( ); | (,

).
, , , ,
. ,

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

28

 . ( , ,
,
.)
, ,
.
, .
, . -,
, ,
(
). ,
( ,
).
? |
,
, . . ( | ).
, (.
12 ).
, ,
-,
( ), . (., , : , ftp.mccme.ru/users/shen/progbook.)
( , ).
40 n (n + 1), 1 1. :
,
. ( .) -
( | ).

11. {

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

, (
), .
, . {
( , ).
( .
, ,
, ,
. .)
: , ,
(
| , ). ( ,
).
. ,
() (),
. :

, ,
.

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

1. 0 , .
. ,
( , ).
: (
) . ,
.
0.
,
30

 , 0, 1.
,
, 0 1, 2.
| n ,
0; 1; 2; : : : ; n 1 .
0; 1; 2; : : : ; n 1, n .
(, , , |
.)
(, , ). ,
:
,
(. 16).

. 16. | .
, v
: v (m; n ) ,
v (m; n 0 ) n 0 < n v (m 0 ; n ) m 0 < m .
v :

m 6= m 0 , v (m; n ) 6= v (m 0 ; n ) n ;
n 6= n 0 , v (m; n ) 6= v (m; n 0 ) m ;
k < v (m; n ), k v (m; n 0 )
v (m 0 ; n ) m 0 < m .

n 0 < n

( m 0 < m n 0 < n ,
, .)
(. 17).
, . , v (m; n )
m n , ,
, ( ). , i - v (m; n )
31

4
3
2
1
0

5
2
3
0
1

6
1
0
3
2

7
0
1
2
3

0
7
6
5
4

. 17. v .
, i - m n ( ). , , v (m; n ) = m n .
, :
. () m 0 6= m , m n 6= m 0 n n .
() n 0 6= n , m n 6= m n 0 m .
() k < m n , k = m 0 n m 0 < m k = m n 0
n 0 < n .
2

. m n ,
|
. () ().
(). k < m n . ,
k m n . k , m n
. , () m n
. ,
, m n k . .
{ . (

.) , (
), ,
. , -
(P; Q ), P | , Q |
. (P; Q ) (P 0 ; Q )
P 0 , P , (P; Q 0 )
Q 0 , Q .
{ . (P; Q ) P Q .
, P p , Q q , (P; Q )
p q .

32

. (P; Q ). ',

'(P; Q ) = '(P ) '(Q ):

,
'(P ) '(Q ) '(P 0 ; Q 0 ) (P 0 ; Q 0 ),
(P; Q );
'(P ) '(Q ) .

(P 0 ; Q 0 ) ,
(P; Q ), -. '(P 0 ; Q 0 ), '(P 0 ) '(Q 0 ), '(P ) '(Q ) ,
. .
, k , '(P ) '(Q ). k
p 0 '(Q ) p 0 < '(P ) '(P ) q 0
q 0 < '(Q ). , , .
p 0 '(P 0 ) P 0 , P ,

k = p 0 '(Q ) = '(P 0 ) '(Q ) = '(P 0 ; Q )

( ), k , (P; Q ).
.
(, , .)
.
. (m; n ) (
m , n ) m n
, m n . , (m; n )
, m n = 0, m = n .
( ). ,
(m; n; k ) m n k . (, ,
(m n ) k m (n k ), , , . m n k
.)
, , m n k = 0,
, 2
33

 ( ). , 4.

. (P; Q )
, '(P ) = '(Q ).
, '(P ) '(Q ) = 0 '(P ) = '(Q ).
, , (P; P ) . ( : .)
, : P1 6= P2 ,
'(P1 ) = '(P2 ), (P1 ; P2 ) .
,
.
, .
(
).
1. { .
(, ) . (A; a ) (B; b ) , (C; c )
(A; a )+(C; c ) (B; b )+(C; c )
. , , ,
, . ( , (A; a ) + (A; a ) + (B; b )
(B; b ); ,
(A; a ) .)

2.
2.
, . ( )
, . , (,
) !
3.
( ).
,
. (John Conway, On Numbers and
Games, 1976).
34

12.

, (
) , .
, , . | ? ,
? , , ,
?
, .
: 16 64
, 6416 = 296 > 1027 . ( . | ,
|
, | , . | .) :
(
) 1027 , 1026 ,
1017 , () , 1014 |
. . .
, ?
, |
, ,
. , (
) .
- (,
). ( , ,
), |
.
( ), , ( ). ,
, ,
. (
, .)
.
, ,
35

 . ,
, ,
( ) | ,
, .
13.

, .
(, , ). . ,
, ( ).
, , .
,
: A1 ( ) A2 ( ).
, , ( ), | (
): A1 , A2 | . , , . ,
. ,
.
: ( ) , ,
, | . ( ,
| , ,
, - .
.) , , , . ( ,
, .)
( ) ?
, | , () , , , .
,
| ,
!
36

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

. , (
)
,
(. ).
41 ,
, ,
( | , | ). .
, ; ,
| .
, , . .
, , . ,
. (, ,
.)
x
x 0 x 1 , x . x
x 0 x 1 , x .
, ,
;
, , . , ; ,
,
( , ) |
. , (
).
( , : .)
(
G -).

37

42 , :
, ,
| .
. ,
( ).
, .
. ,
| ,
( ). ( ), ( )
,
. ,
. ( ,
. ,
, .) ,
, ,
.
, , , . ,
: ( ) , , ,
, .
|
.
.
( , |
). .
, ,
. | |
. , . ,
, , (
). ,
.
, ,
. ,

38

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

. , (
) .
. :
43 { { : (), ( ) ( ). , . ,
() , () ,
() .
(
, )? .
, , ,
, | .
,
. , ,
, | ,
, .
(
, ).
? . , , ,
, , | . (, ,
, 1=3.) ,
, , ,
. ,
( ) , , 1 2 , 3 4 | , 5 6 | .
, , , .
,
. , . , , -

39

 , ,
, , . ( ),
( ) ( ), .
, ? , . .
44 .
, , .
, , ,
.
: , ? , . ,
.

. |
XX .
. (
, |
.)
;
,

|
. ,

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

, | . , , !)

40