图最小填充分解定理.pdfVIP

维普资讯 第 8卷 第 l期 虚崩 数学与计算 数学学报 Vo1．8 N0．1 1994 6月 COMM ．ON APPL．M ATH．AND COMPUT jttlt．．1994 弓7厂一％ 图的最小填充的分解定理 ———塑——————～一。苎望 ， 一(=)，／一，、、／ (郑州大学数学摹·拜州·45∞驰) ’ - z 摘耍 在计算数学镘域，稀疏矩炸 的最小填充捧序 问题 由于其 藏耍 的 理一些特殊结构·从而导出一些特殊罔的最小填充数’ } 俎 ． 号 囤 ————～ ， 板商 绠J元’ 1弓l 言 一 ， 在许多数学分支如数值分析、敷学规划、敷理统计、工程计算、以及计算机辅助设计中 经常要处理一个稀疏的对称方阵的线性方程组^z=b的术解阃题．在运J_fIGau亏s消去法或 cholesky分解法的过程中，为了保持矩阵的稀疏灶以减少计算量，在消去或分解过程 中要求 确定矩阵的消元顺序使填充的非零元尽可能少．此u便可考虑一个相应的筒 图的最小填充 问题1 ．设对应于矩阵A的筒 图为G=(E】，其中顶点集V：{ ． ． }对应于矩 阵A的n个行 (列}，边禁E={ ，咭l ，≠0}对应于矩阵A的所有非零元，则 程组^0=6 的消去或分解过程相l当于如下图G的消去运算． 给定一个茼 图G = (研 JVJ= ．顶点 ∈ 的邻集记为Ⅳ(}： {u∈Vlu≠ 口，(“，)∈E) 任一 射，：V一 {1，2，…，n)称为图G的一个顶点标号， =， () = l2． n)便是图0 的一个顶点顺序．在图Go= 中进行如下消去诞葬：(1l漕丧埙点 (及其关联边)j(2J增加边 使其邻集Ⅳ(u)中的顶点蹦_蚺楣邻．这样得到的囹记为G ．在 G 中再消去顶点u。，如此类推．其中第(2J步消击顶点 u 使其邻柴^r l中顶点婀l随l相 邻所增加的边称为填允边，记这些边所成的集合为 】．对标母，及，述消去运算，定义 F(G，，)=∑I() 为图0在标号，下的填充数；并称 F(G)=nnF(C，n 为图G的最小填充数．使F(G)：F(G ，)的标号，称为最优标母．于是求使填允非零元 可能少的矩阵A昀消元顺序相当于求^对应图的最优标号．这个问题已被证明是NP一 完 全问题 因而人们的_丰要兴趣便转化为研究某些特殊图的最小填允数问题ll1】并希望得到 本文 1993 6月4日收 甜 维普资讯 应 州 数 学与计 算数 学学报 8卷 有普遍意义的方法．本文第2节讨论图的最小填充问题的基本性质；第3节给H5最小填充的 分解定理；第4节应用分解定理得到一些特殊图的最小填充数结粜． 2．基本性质 在算法复杂性研究方丽，一般图的最小填充问题于1981年已被证明是NP一完仝问题 I 摄近原晋江等 把这方面的研究推进了一步，证明了当图G为偶图及平方图时该问题仍然 是NP 完仝问题