参数复杂性相关论文
本文为k-边诱导子图问题提供了一个固定参数算法,从而解决了由蔡雷振提出的一个公开问题。更具体地说,我们证明,对于任意给定的k,......
参数化点覆盖问题(the Parameterized Vertex Cover Problem，简称PVC或VC)和最小点覆盖问题(the Minimum Vertex Cover Problem，简称......
参数复杂性作为经典复杂性研究的一个新的分支发展时问并不长。在20世纪90年代初期基于图镜定理的证明后[50][51][52],Downey和Fel......
对于一种逻辑(?),它在一类结构C上的模型检测问题是询问一个给定的(?)语句在一个给定的C结构中是否成立。核化是一个在设计固定参......
