In fact,P is also the class of languages that can be accepted in polynomial time. Theorem 34.2 P={L:L is accepted by a polynomial-time algorithm}. •证明: ·为何我们只需证明被接受的语言(问题)一定可 以被判定? ·How to do it? 用接受这个语言的算法A来构造判定这个语言的算法A' 多项式算法A=>最多cnk步执行=>将这cnk步看做算法A'=>A'可以在cnk内对输入x进行判定•证明: •为何我们只需证明被接受的语言(问题)一定可 以被判定? •How to do it? 用接受这个语言的算法A来构造判定这个语言的算法A’ 多项式算法A=>最多cnk步执行=>将这cnk步看做算法A’=>A’可以在cnk内对输入x进行判定