我正在读这本书＆lt;＆lt;算法简介＆gt;＆gt;，第三版。定理34.2（第1059页）有一个证明：
因为多项式时间算法决定的语言类是多项式时间所接受的语言类的子集 算法，我们只需要表明如果L被a接受 多项式时间算法，由多项式时间决定 算法。设L是某个多项式时间的接受语言 算法A ...（省略证明）......因此A是多项式时间 决定 L。
的算法
我认为这意味着如果有两个集合A和B，并且A是B的子集，并且元素x∈A，则证明x∈B。
另外，我理解“由多项式时间算法决定的语言类是多项式时间算法所接受的语言类的子集”。所以这个证据让我困惑......
答案 0 :(得分：0)
在计算复杂性理论中，P，也称为PTIME或 DTIME（n ^ O（1））是最基本的复杂类之一。它 包含可以通过确定性解决的所有决策问题 使用多项式计算时间的图灵机，或 多项式时间。