( ), f(n) : O(p(n)) p(n). , .
() , q0 qY qN. , . qY, , qN, . , / , . . .
(-) p: Q x A Q x A x {L,S,R}. .
. w 1, 2, , |w|, / 0, 1. , A , . p.
, - , . , (qY qN); , qY. , , .
- p w, - A*. , - p w, , w , . , p, - Lp = {w Î A*: p w}. , - p , w Î Lp, , qY, p w. - p Tp: N+ N+, N+ = {1, 2, 3, }, Tp (n) = max {{1}È{m: w Î Lp, |w| = n, w p m}}.
|
|
p(n), Tp (n) £ p(n) n ³ 1, - .
NP ( ) (.. , , ), - . , , , .
NP NP-, NP . , NP- , NP , - NP , NP- .
6. ................................................................................................................ 49
6.1. ......................................................................................................................................... 49
6.2. ......................................................................................................................................... 50
6.3. ..................................................................................................................................... 53
6.4. ......................................................................................................................................................... 55
6.5. ...................................................................................................................................................... 61
7. ............................................................................................................... 63
7.1. ..................................................................................................................................... 64
7.2. .......................................................................................................................................................... 67
7.3. ............................................................................................................................................ 69