小直径图的导出匹配3-划分和导出匹配3-覆盖问题的NP-完全性.pdfVIP

小直径图的导出匹配3．划分和导出匹配3．覆盖 问题的NP．完全性 郑永猛 禹继国 (曲阜师范大学计算机科学学院，山东日照，276826) 1．引言 如本文所研究的图均为有限简单图。对图G，分别用v(G)和E(G)表示它的顶点集和边 集。若顶点“和v在图G中是连通的，则“和v之间的距离如(¨)是G中最短【】路的长．G 的直径d(G)=ma】({如())州￡y(G)】．对Xe矿(G)，x的邻域心(x)定义如下： ⅣG(X)={y∈矿(G)、x：存极Ez使得砂∈E(G))． 对z∈y(G)，Ⅳ6({石))简记为心(x)。对Sc矿(G)，令 ‰(s)={w∈E(G)：“，-．，∈S)． 对M‘￡(G)，令 矿(肘)={v∈V(G)：存极∈y(G)使得wEM)． 对eE 美匹配。如果乓(y(M))=M，则称M为导出匹配。 一个集合X的k．划分是一个k元组(五，五，．．．，以)，其中五，也，．．．，五是x的互不相交的非 空子集且IJ Xt：X．一个有完美匹配的图G的一个导出匹配k．划分是对v(G)的一个七．划分 i五‘ 子图G【K】是1．正则的．导出匹配七．划分问题是指对给定的图G，判定G是否存在一个导出 匹配k．划分。 {M，鸠…．，帆)为图G的导出匹配k．覆盖。导出匹配k．覆盖问题是指对给定的图G，判定G是 否存在导出匹配t．覆盖。其他未定义的概念和术语可从【l】中找到。 究【2t 出【7】。对于上述两问题的研究，目前结论还不是很多。本文将证明直径为3的图的导出匹 配3一划分和导出匹配3．覆盖都是NP．完全的。 主要结论及其证明 将直径为3的图的导出匹配3．划分问题记作问题A并用下面的问题加以变换．给定一 基金资助：国家自然科学基金，山东省优秀中青年科学家奖励基金(2005BS01016) 联系作者：禹继国，E-mail：jiguoyu@sina．com 560 第10部分理论计算机科学 存在对X的真值分配使得每一个c仅有一个文字为真．我们称这一问题为“One．in．Three 3SAT”：以下记作问题占。 地变换成P。则P是NP．完全的。 引理2．2【4】问题B是NP．完全的。 定理2．3直径为3的图的导出匹配3．划分是NP一完全的。 证明 显然，问题A属于NP类．为证明它是NP一完全的，我们将证明已知的NP一完全问 题B可以多项式地变换成问题A。 给定问题B的一个实例： x={五，x2，．．．，k)； cl，c2，．．．，巳∈x； lc,1=3，i=I，2，．．．，m． Cj=X．我们按下面的方法构造问题A的实例： 不失一般性，假设I‘J 函 G=(g只]u(0只)u(Q彬j+(Qq)+毛， 其中F，只，形和q为互不相交的子图，岛为边集．下面给出E，E，形，U，和矗的定 三个顶点构成的完全图，Hi是由只b小只k】和州而】三个顶点构成的完全图．％=矽(而，z2) 是由顶点集‰z：】构成的完全图，形=∥(z。[‘】，乞【‘】)对应于布尔变量‘，其中lrn，且它 是由顶点集{刁k】，乞k】)构成的完全图．“=u(％，屹)是由项点集协，地)构成的完全图， q=【，(％[xA，％【‘】)对应于布尔变量‘，其中l≤，≤行，且它是由顶点集{z；【‘】，乞【‘】)构成的完 全图。 岛=EU易U易U丘U乓U毛U易U磊(互不相交)，其中 巨={(vf【‘】，只【‘】)：_∈Ctli-m，Isrs竹)， E2={(¨【_】，五)：‘∈Ct1≤i≤m，1≤，≤n,i≤f≤2}， 乓={(qf‘】，弓【‘】)：‘∈c，1-im，1≤，s刀’1≤，s2}， 巨={(乙k】，zr)：lSr-n，1sf，f’≤2}， 毛={(刁，蜥)：I≤f，t’≤2J， 民={(只【‘】，约f‘】)：‘∈c『，lsim，1s，s哺1≤，≤2}， 易={(只【‘】，蚱)：‘∈q，1≤j≤m，1≤，≤行，1≤f≤2}， 岛={(％【_】，ur)：i≤，≤一，1sf，，s2}． 显然上述构造可以在多项式时间内完成且图G的直