【问题标题】:Confused about complexity classes?对复杂性类别感到困惑?
【发布时间】:2015-12-05 22:19:00
【问题描述】:

我的书将这个定义用于多项式复杂度类(L 是一种二进制语言):

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

为什么我的逻辑不正确?

【问题讨论】:

  • 给我们更多的上下文。定义是什么意思“决定L”?无论如何,您的论点中的缺陷是 A = 1 在大多数情况下不会“决定” L。
  • 我投票结束这个问题,因为它属于理论 CS 堆栈交换

标签: math time-complexity complexity-theory computer-science formal-languages


【解决方案1】:

在我的理解中,“A 决定 L”意味着算法 A 决定给定单词 w 是否属于 L。在这种假设下,让 A 始终返回 true 是没有意义的,因为该算法只能决定包含每一个可能的词。这不是任何其他语言的算法。

【讨论】:

    猜你喜欢
    • 2012-12-23
    • 1970-01-01
    • 2020-08-21
    • 2020-04-19
    • 2018-03-18
    • 2015-02-28
    • 1970-01-01
    • 1970-01-01
    • 2015-02-11
    相关资源
    最近更新 更多