时间复杂性和空间复杂性研究.pdfVIP

第9卷第5期 智 能 系 统 学 报 Vo1．9No．5 2014年 10月 CAAITransactionsonIntelligentSystems 0ct．20l4 时间复杂性和空间复杂性研究 高强，徐心和 (东北大学信息科学与工程学院，辽宁沈阳 110004) 摘 要：计算复杂性是衡量问题求解的难易程度的。研究问题的计算复杂性，可以明确该问题是否存在有效的求解 算法。介绍并分析了计算理论的一些基本概念 ，论述了时间复杂性 (包括 P、NP、NP—hard、NP—complete和EXPTIME) 和空间复杂性 (包括PSPACE、NPSPACE、PSPACE—hard和PSAPCE—complete)中的各个主要分类。最后分析了各个复 杂性类之间的关系。 关键词：计算复杂性；图灵机；确定型多项式时间复杂性 ；非确定型多项式时间复杂性；非确定型多项式时间复杂性 的完全问题；确定型多项式空问复杂性 ；确定型多项式空问复杂性的完全 问题；可归约性 中图分类号：TP301．5 文献标志码：A 文章编号：1673—4785(2014)05—0529—07 中文引用格式：高强。徐,65n．时间复杂陛·和空间复杂性研究 [J]．智能系统学报 ，2014，9(5)：529-535． 英文引用格式：GAOQiang，xuXinhe．Researchontimecomplexityandspacecomplexity[J]．CAAITransactionsonIntelligent Systems。2014，9(5)：529-535． Researchontim ecomplexityand spacecomplexity GAOQiang，xuXinhe (CollegeofInformationScienceandEngineering，NortheasternUniversity，Shenyang110004，China) Abstract：Computationalcomplexityisusedtomeasurethelevelofdifficulty ofaproblem beingsolved．There— searchoncomputationa]complexityoftheproblem canmakeitexplicit．Thispaperintroducesandanalyzessome fundamentalconceptsofthecomputationtheoryanddiscussessomemainclassesoftimecomplexity(includingP， NP，NP-hard，NP—completeandEXPTIME)andspacecomplexity(includingPSPACE，NPSPACE，PSPACE— hardandPSAPCE—complete)byexamples．Finallytherelationsamongcomplexityclassesareanalyzed． Keywords：computationalcomplexity；Tufingmachine；P；NP；NP—complete；PSAPCE；PSAPCE-complete；re— ducibility 理论与实践是密切相关的，计算理论为实际工 地了解计算机的能力及局限性 。研究问题的复杂性 作者提供 了在计算机工程 中使用的理性工具 。 可以了解该问题求解 的难易程度 ，如果它被证明是 计算复杂性是计算理论的重要分支，它告诉人们问 难解 的，就不必将大量精力花费在寻找有效的求解 题求解需要多少资源 (时间或空间)。它所涉及到 算法上 ¨J，从而在实际工作中做出理性的抉择。本 的一些典型的难解 问题包括旅行商问题 、SAT问 文介绍了与计算复杂性相关 的基本概念 ，同时综述