> > . .1
<<
>>
<< >>

,

, () , . , , , ( . ). . , S - S , . . S, S , . . -

. Q Q , , (1), .

- .: . , -, , . . ; , .

. , - . , . - -, , (, , . .), - , . , . . . . . . , . . . , , . , - -, , ( . . . . . . 1943). . 2, , . . , ( . 2) , 2. , ., . - . . ., , : GP ѻ ( G , 4).

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

.: . . . . . . л, 1964, . 72; . . . , 1966, 17; . . . . . . л, 1967, , 93; Post . L. Formal reductions of the general combinatorial decision problem. American lournal of mathematics, 1943, v. 65, Jsis 2. . . .

<< >>