.
( ) , , , .
, .).
, ,
10. 9.,
1
- , n+ 1 ( );
- , n+ 1 ;
.. n ,
- n
, ,.. .
: P NP. P - , , . P ;
2} , , . NP. NP . , , , , . NP , .
P , P NP. P NP P NP, .. . , , .
|
|
.., .. .- . , 1988
.. . .-. , 1986
. . . .-. 1976
., . . . ,1981
/ . . ..: . . 1972
1) ( ) ( ).
01 25
=
26 49
= 50 -
50 74
= 75 -
75 99
= 100 -
=13
2)
.
_________ .. _______ _______
2.1) .
.
2.2) , , , ) :, , , , .
.
3-
2.3) () 4- , ,
( , ) , ( ).
, ,
F(a) |
|
|
B l
) 4- ,
a | ||||||||||||||||
F(a) |
)
B 2
) 4- ,
a | ||||||||||||||||
F(a) |
)
B 3
)
)
B 4
) 4- ,
a | ||||||||||||||||
F(a) |
)
5
) 4- ,
F(a) |
)
6
) 4- ,
F(a) |
)
7
)
)
8
)
)
9
) 4- ,
F(a) |
)
10
) 4- ,
F(a) |
)
11
)
)
12
)
)
13
|
|
) 4- ,
F(a) |
)
14
) 4- ,
F(a) |
)
15
) 4- ,
F(a) |
)
16
) 4- ,
F(a) |
) -
17
)
5)
18
)
) -
19
)
) -
20
)
) -
21
)
)
22
)
)
23
)
)
24
)
)
25
)
)