图的k-支配集与Gr¨obner基求解-山东大学学报理学版.PDFVIP

　第５０卷　第１２期 山　东　大　学　学　报　（理　学　版） ２０１５年１２月　 　　　　　 　Ｖｏｌ．５０　 Ｎｏ．１２　　　　　ＪｏｕｒｎａｌｏｆＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ（ＮａｔｕｒａｌＳｃｉｅｎｃｅ） Ｄｅｃ．２０１５　 　文章编号：１６７１９３５２（２０１５）１２０１３００７　　　ＤＯＩ：１０６０４０／ｊ．ｉｓｓｎ．１６７１９３５２０２０１４５６７ 图的ｋ支配集与Ｇｒｏ¨ｂｎｅｒ基求解 尹杰杰 （海南大学信息科学技术学院应用数学系，海南 海口５７０２２８） 摘要：对于具有ｎ个顶点的简单连通图Ｇ，首先证明了求解Ｇ的所有支配集等价于求解一个多元多项式方程组的 所有０１解；其次，对于任一正整数ｋ＜ｎ，证明了这一多项式方程组模型可改进为求解Ｇ中具有ｋ个顶点的支配 集（即ｋ支配集）的多项式方程组模型，并使用Ｇｒｏ¨ｂｎｅｒ基给出求解方法，从而得到求Ｇ的极小支配集和支配数的 一个可行途径。通过实例验证了这一代数计算方法的有效性。 关键词：图；ｋ支配集；极小支配集；支配数；Ｇｒｏ¨ｂｎｅｒ基 中图分类号：Ｏ１５７．５　　　文献标志码：Ａ ＳｏｌｖｉｎｇｔｈｅａｌｇｅｂｒａｉｃｍｏｄｅｌｏｆｋｄｏｍｉｎａｔｉｎｇｓｅｔｓｏｆｇｒａｐｈｂｙＧｒｏ¨ｂｎｅｒｂａｓｉｓ ＹＩＮＪｉｅｊｉｅ （ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓｏｆＩｎｆｏｒｍａｔｉｏｎａｎｄＴｅｃｈｎｏｌｏｇｙＣｏｌｌｅｇｅ，ＨａｉｎａｎＵｎｉｖｅｒｓｉｔｙ， Ｈａｉｋｏｕ５７０２２８，Ｈａｉｎａｎ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ＬｅｔＧｂｅａｓｉｍｐｌｅｃｏｎｎｅｃｔｅｄｇｒａｐｈｏｆｎｖｅｒｔｉｃｅｓ．ＩｔｉｓｓｈｏｗｎｔｈａｔｆｉｎｄｉｎｇａｌｌｄｏｍｉｎａｔｉｎｇｓｅｔｓｏｆＧｉｓｅｑｕｉｖａ ｌｅｎｔｔｏｆｉｎｄｉｎｇａｌｌ０１ｓｏｌｕｔｉｏｎｓｏｆａｓｙｓｔｅｍｏｆｍｕｌｔｉｖａｒｉａｔｅｐｏｌｙｎｏｍｉａｌｅｑｕａｔｉｏｎｓ；ｆｕｒｔｈｅｒｍｏｒｅ，ｉｔｉｓｓｈｏｗｎｔｈａｔｔｈｉｓｐｏｌｙ ｎｏｍｉａｌｅｑｕａｔｉｏｎｍｏｄｅｌｃａｎｂｅｍｏｄｉｆｉｅｄｔｏｇｉｖｅａｐｏｌｙｎｏｍｉａｌｅｑｕａｔｉｏｎｍｏｄｅｌｆｏｒｆｉｎｄｉｎｇｄｏｍｉｎａｔｉｎｇｓｅｔｓｏｆｋｖｅｒｔｉｃｅｓ （ｉ．ｅ．ｋｄｏｍｉｎａｔｉｎｇｓｅｔｓ）ｏｆＧ，ａｎｄｔｈａｔｓｕｃｈａｍｏｄｅｌｃａｎｂｅｓｏｌｖｅｄｂｙｕｓｉｎｇｔｈｅＧｒｏ¨ｂｎｅｒｂａｓｉｓｍｅｔｈｏｄ．Ｃｏｎｓｅｑｕｅｎｔｌｙ， ａｆｅａｓｉｂｌｅｗａｙｏｆｆｉｎｄｉｎｇｍｉｎｉｍａｌｄｏｍｉｎａｔｉｎｇｓｅｔｓａｎｄｔｈｅｄｏｍｉｎａｔｉｎｇｎｕｍｂｅｒｏｆＧｉｓｏｂｔａｉｎｅｄ．Ｔｈｅｎｕｍｅｒｉｃａｌｅｘａｍｐｌｅ ｉｓｐｒｅｓｅｎｔｅｄｔｏｉｌｌｕｓｔｒａｔｅｔｈｅｅｆｆｅｃｔｉｖｅｎｅｓｓｏｆｔｈｉｓａｌｇｅｂｒａｉｃｃｏｍｐｕｔａｔｉｏｎａｌｍｅｔｈｏｄ． Ｋｅｙｗｏｒｄｓ：Ｇｒａｐｈ；ｋｄｏｍｉｎａｔｉｎｇｓｅｔ；ｍｉｎｉｍａｌｄｏｍｉｎａｔｉｎｇｓｅｔ；ｄｏｍｉｎａｔｉｎｇｎｕｍｂｅｒ；Ｇｒｏ¨ｂｎｅｒｂａｓｉｓ ０　引言 自从Ｂｕｃｈｂｅｒｇｅｒ在１９６５年创立交换多项式理想的Ｇｒｏ¨ｂｎｅｒ基理论及其算法以来，该理论及其算法对于 有效解决数学领域大量涉及多元多项式的实际问题有着十分广泛的应用。特别地，多项式理想的Ｇｒｏ¨ｂｎｅｒ 基方法在判别多项式方程组解的存在性，在解存在的情况下判别解的个数的有限性，以及在具体求解中的 有效性是众所周知的事实。此外，由于计算Ｇｒｏ¨ｂｎｅｒ基的著名Ｂｕｃｈｂｅｒｇｅｒ算法在通用计算机上的成功实现， Ｇｒｏ¨ｂｎｅｒ基方法已经成为当今国际上使用计算机求解多项式方程组的一种非常成熟的、功能强大而有效的 方法。用诸如ＭＡＰＬＥ，ＣｏＣｏＡ，ＭＡＣＡＵＬＡＹ等