完全二部图的平衡划分.docVIP

完全二部图的平衡划分 数学与系统科学学院应数06-1班：张莹 指导教师：颜娟 摘要：图 的一个二部划分 ，如果满足 则称它是平衡的。Bollobas和Scoot在文献 [1] 中提出了猜想：设 是一个最小度至少为2的图，则 存在顶点集 的平横二部划分 ， 使得 。由完全图 可以看出界 是最好的，由星图 可以看出最小度至少为2的条件是必要的。文中计算了完全二部图 的平衡二部划分的 ，以及 的平衡二部划分的最大割所包含的边数。 关键词：平衡划分；最大割；完全二部图 The balanced bipartition for the completed bipartition graph Abstract: A bipartition of a graph is called a balanced partition if . Bollobas and Scott conjectured in ([1]). If is a graph with , there exist a balanced partition , of vertice s.t. . The bound is the best from the complete graph and the condition is necessary from the Star . In this paper, we calculate the of the balanced bipartition for the completed bipartition graph and the number of the edges contained by the graph ’s maximum cut. Key words: balanced partition; maximum cut; completed bipartition graph 定义及定理 本文中，我们只考虑无向的有限简单图。我们采用图论中常用的定义和术语(见文献 [5]，[6])。下面只列出几个重要的定义和定理。 定义1：对图 和图 。若 ，，则称 是 的一个子图。若 ，用 表示 在 中的导出子图。即图 以 为顶点集， 当且仅当 且 。用 表示 在 中的导出子图所包含的边数，即 。特别的，。若 是图 的顶点集的一个二部划分，则用 表示 与 之间的边数。 定义2：设 是图 的顶点集，如果 ，且 ，则称 ， 是图 的顶点集的一个2-划分，也称其为图 的一个2-划分。如果 ，则称这个划分是平衡的。 定义3：对于图 ，用 表示 的最大割所包含的边数。用 表示 的平衡划分的最大割所包含的边数。即 。 Bollobas 和 Scott 在文献 [1] 中提出了下述猜想： 猜想2.1：任意给定图 ，，则 存在顶点集 的平衡二部划分 ，使得 。 由完全图 可以看出界 是最好的，由星图 可以看出最小度至少为2的条件是必要的。 二、完全二部图平衡二部划分的 本节通过讨论 的顶点集 ， 的元素个数的奇偶性，计算完全二部图平衡二部划分的 。 定理1：设 为完全二部图 ，。则当 和 均为偶数时，取遍 的所有平衡二部划分 ，有 （1），、 为偶数 （2），、 为奇数 （3）， 奇数 偶数 （4）， 偶数 奇数 下面只证明定理3.1（3），其余的证明与其类似。 定理3.1（3）的证明：设 ，， 为独立集，，。当 是奇数， 是偶数时， 将 分成两部分 ，且 ，其中 。那么 的一个平衡二部划分为 ，，则 ，。 从而 的所有平衡二部划分可表示为 ，。 其中 ，，且 。 只需取 0 到 之间的所有整数即可。此时， ………………………..………….(3) 因为(3)式是 的减函数，所以若令 。则当 时；当 时，。 令 ，。 情况一：当 时， 因 ，故 。而 和 是两个相邻的整数，且 只能取整数。 （1）当 时，。因此考虑 ，令。将 ，， 分别代入 中，得 ，，。 比较三者，得：当 ， 时， 在 处，有最小值 。 （2）当 时，。因此考虑 ，令 。将 ，， 分别代入 中，得 ，，。 比较三者，得：当 ，时， 在 处，有最小值 。而 ， 故综上知，当 时， 取遍0 到 之间的所有整数时，==。 同情况一的方法一样我们可以证明下述情况： 情况二：当 时， 取遍 0 到 之间的整数时， ==。 综合情况一和情况二知定理 3.1（3）得证。 三、完全二部图最大割所包含的边数 本节通过讨论 的顶点集 ， 的元素个数之间的同余关系，计算完全二部图平衡二部划分的最大割所包含的边数。 定理2：设