时间复杂性和空间复杂性研究-智能系统学报.pdf

第９卷第５期　 　 　 　 　 　 　 　 　 　 　 　 　 　 智　 能　 系　 统　 学　 报　 　 　 　 　 　 　 　 　 　 　 　 　 　 Ｖｏｌ．９ №．５ ２０１４年１０月　 　 　 　 　 　 　 　 　 　 　 ＣＡＡＩ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ　 　 　 　 　 　 　 　 　 　 　 　 　 Ｏｃｔ． ２０１４ ＤＯＩ：１０．３９６９／ ｊ．ｉｓｓｎ．１６７３⁃４７８５．２０１３１１０５５ 时间复杂性和空间复杂性研究 高强，徐心和 （东北大学信息科学与工程学院，辽宁沈阳１１０００４） 摘　 要：计算复杂性是衡量问题求解的难易程度的。 研究问题的计算复杂性，可以明确该问题是否存在有效的求解 算法。 介绍并分析了计算理论的一些基本概念，论述了时间复杂性（包括Ｐ、ＮＰ、ＮＰ⁃ｈａｒｄ、ＮＰ⁃ｃｏｍｐｌｅｔｅ和ＥＸＰＴＩＭＥ） 和空间复杂性（包括ＰＳＰＡＣＥ、ＮＰＳＰＡＣＥ、ＰＳＰＡＣＥ⁃ｈａｒｄ和ＰＳＡＰＣＥ⁃ｃｏｍｐｌｅｔｅ）中的各个主要分类。 最后分析了各个复 杂性类之间的关系。 关键词：计算复杂性；图灵机；确定型多项式时间复杂性；非确定型多项式时间复杂性；非确定型多项式时间复杂性 的完全问题；确定型多项式空间复杂性；确定型多项式空间复杂性的完全问题；可归约性 中图分类号：ＴＰ３０１．５　 文献标志码：Ａ　 文章编号：１６７３⁃４７８５（２０１４）０５⁃０５２９⁃０７ 中文引用格式：高强，徐心和． 时间复杂性和空间复杂性研究［Ｊ］． 智能系统学报，２０１４，９（５）：５２９⁃５３５． 英文引用格式：ＧＡＯ Ｑｉａｎｇ，ＸＵ Ｘｉｎｈｅ． Ｒｅｓｅａｒｃｈ ｏｎ ｔｉｍｅ ｃｏｍｐｌｅｘｉｔｙ ａｎｄ ｓｐａｃｅ ｃｏｍｐｌｅｘｉｔｙ［Ｊ］． ＣＡＡＩ Ｔｒａｎｓａｃｔｉｏｎｓ ｏｎ Ｉｎｔｅｌｌｉｇｅｎｔ Ｓｙｓｔｅｍｓ，２０１４，９（５）：５２９⁃５３５． Ｒｅｓｅａｒｃｈ ｏｎ ｔｉｍｅ ｃｏｍｐｌｅｘｉｔｙ ａｎｄ ｓｐａｃｅ ｃｏｍｐｌｅｘｉｔｙ ＧＡＯ Ｑｉａｎｇ，ＸＵ Ｘｉｎｈｅ （Ｃｏｌｌｅｇｅ ｏｆ Ｉｎｆｏｒｍａｔｉｏｎ Ｓｃｉｅｎｃｅ ａｎｄ Ｅｎｇｉｎｅｅｒｉｎｇ，Ｎｏｒｔｈｅａｓｔｅｒｎ Ｕｎｉｖｅｒｓｉｔｙ，Ｓｈｅｎｙａｎｇ １１０００４，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｃｏｍｐｕｔａｔｉｏｎａｌ ｃｏｍｐｌｅｘｉｔｙ ｉｓ ｕｓｅｄ ｔｏ ｍｅａｓｕｒｅ ｔｈｅ ｌｅｖｅｌ ｏｆ ｄｉｆｆｉｃｕｌｔｙ ｏｆ ａ ｐｒｏｂｌｅｍ ｂｅｉｎｇ ｓｏｌｖｅｄ． Ｔｈｅ ｒｅ⁃ ｓｅａｒｃｈ ｏｎ ｃｏｍｐｕｔａｔｉｏｎａｌ ｃｏｍｐｌｅｘｉｔｙ ｏｆ ｔｈｅ ｐｒｏｂｌｅｍ ｃａｎ ｍａｋｅ ｉｔ ｅｘｐｌｉｃｉｔ． Ｔｈｉｓ ｐａｐｅｒ ｉｎｔｒｏｄｕｃｅｓ ａｎｄ ａｎａｌｙｚｅｓ ｓｏｍｅ ｆｕｎｄａｍｅｎｔａｌ ｃｏｎｃｅｐｔｓ ｏｆ ｔｈｅ ｃｏｍｐｕｔａｔｉｏｎ ｔｈｅｏｒｙ ａｎｄ ｄｉｓｃｕｓｓｅｓ ｓｏｍｅ ｍａｉｎ ｃｌａｓｓｅｓ ｏｆ ｔｉｍｅ ｃｏｍｐｌｅｘｉｔｙ （ｉｎｃｌｕｄｉｎｇ Ｐ， ＮＰ，ＮＰ⁃ｈａｒｄ，ＮＰ⁃ｃｏｍｐｌｅｔｅ ａｎｄ ＥＸＰＴＩＭＥ） ａｎｄ ｓｐａｃｅ ｃｏｍｐｌｅｘｉｔｙ （ｉｎｃｌｕｄｉｎｇ ＰＳＰＡＣＥ，ＮＰＳＰＡＣＥ，ＰＳＰＡＣＥ⁃ ｈａｒｄ ａｎｄ ＰＳＡＰＣＥ⁃ｃｏｍｐｌｅｔｅ） ｂｙ ｅｘａｍｐｌｅｓ． Ｆｉｎａｌｌｙ ｔｈｅ ｒｅｌａｔｉｏｎｓ ａｍｏｎｇ ｃｏｍｐｌｅｘｉｔｙ ｃｌａｓｓｅｓ ａｒｅ ａｎａｌｙｚｅｄ． Ｋｅｙｗｏｒｄｓ：ｃｏｍｐｕｔａｔｉｏｎａｌ ｃｏｍｐｌｅｘｉｔｙ；Ｔｕｒｉｎｇ ｍａｃｈｉｎｅ；Ｐ；ＮＰ；ＮＰ⁃ｃｏｍｐｌｅｔｅ；ＰＳＡＰＣＥ；ＰＳＡＰＣＥ⁃ｃｏｍｐｌｅｔｅ；ｒｅ⁃ ｄｕｃｉｂｉｌｉｔｙ 　 　 理论与实践是密切相关的，计算理论为实际工 地了解计算机的能力及局限性。 研究问题的复杂性 ［１］ 作者提供了在计算机工程中使用的