0

我的书用此定义为多项式复杂类(L是一个二进制语言):混淆复杂类?

Definition

但是,根据这个定义,不是所有语言都属于多项式复杂类?因为如果我将A定义为对所有语言都是1,那么A将在一定时间内(因此多项式时间)决定所有L,因为它会立即返回1,这意味着所有语言都属于多项式复杂度。

为什么我的逻辑不正确?

+0

给我们更多的背景。定义是什么意思是“决定L”?无论如何,你的论点中的缺陷是A = 1在大多数情况下不会“决定”L. –

+0

我投票结束这个问题,因为它属于理论上的CS Stack Exchange –

回答

0

在我的理解,“A决定L”意味着该算法A决定,如果给定词w属于L。在这样的假设,让一个总是返回真值没有任何意义,因为该算法只能决定语言包含每一个可能的词。这不会是任何其他语言的算法。