参数复杂性相关论文
本文为k-边诱导子图问题提供了一个固定参数算法,从而解决了由蔡雷振提出的一个公开问题。更具体地说,我们证明,对于任意给定的k,......
参数化点覆盖问题(the Parameterized Vertex Cover Problem，简称PVC或VC)和最小点覆盖问题(the Minimum Vertex Cover Problem，简称......
参数复杂性作为经典复杂性研究的一个新的分支发展时问并不长。在20世纪90年代初期基于图镜定理的证明后[50][51][52],Downey和Fel......
对于一种逻辑(?),它在一类结构C上的模型检测问题是询问一个给定的(?)语句在一个给定的C结构中是否成立。核化是一个在设计固定参......
最大圈分解问题最早由Erd6s和Pbsa提出，随后研究人员在图论领域和理论计算机科学领域中对其进行了广泛的探索。最近研究发现，该问题......
SAT命题可满足性问题的隐蔽集作为引导搜索SAT问题的关键决策变量,可以优化SAT问题的求解,成为人工智能方向的研究热点之一。本研......
参数复杂性作为算法研究的一个重要分支，近十年来在国际上受到了广泛的关注，确定参数可解算法是参数复杂性研究的一类重要问题，因此被......
参数复杂性作为算法研究的一个重要分支近10年在国际上受到了广泛的关注,线性内核问题作为参数复杂性研究的一类重要问题被广泛研......
核心化和彩色编码是两种重要的参数算法设计技术。核心化技术广泛应用于Cover、Packing和Cut等问题的研究,而彩色编码已成功应用于......
学位
