)(03683168

19/06/2016
:
: .
.

, .
, .
, .

c
, , , , , , ,
.

1
 15) .1( PSPACE :

} M x s | .A = {hM, x, 1s i

20) .2(

)( ) 10( pk.PH
)( ) 10( : P 6= BPP .P 6= NP

20) .3(

)( ) 10( NPA = NP .A NP coNP

)( ) 10( A NP coNP .NPA = NP

) NPA : ,
, (A
20) .4(

)( ) 10(

} G s t | EUSTCON = {hG, s, ti

.RL
)( ) 10(

} G | .Bipartite = {G

.Bipartite coRL

15) .5(
: ,0 < < <1 ] gap-IndependentSet [, NP ,
gap-IndependentSet 2 , 2 NP.

15) .6(
: ,1 a < b
n
.DTIME O nb 6 DTIME (O (na )) /



2


, O nb
) O (na .n/2