趣题:完全图K_n最少可以拆成多少个完全二分图?
来源:互联网 发布:淘宝评价无法晒图 编辑:程序博客网 时间:2024/05/01 16:23
一个完全图K_n是指一个有n个顶点的图,其中每两个点之间都有一条边相连。一个完全二分图是指这样一种图,图中的顶点分为两个点集L和R,L里的每个顶点都和R里的所有点相连。上图显示了一种把K_5划分为四个完全二分图的方法(分别用红蓝绿灰四种颜色来表示这四个子图)。你觉得,最少可以把完全图K_n划分成多少个完全二分图?给出一种划分方案,并证明这个数目已经不能再少了。
和你想象的一样,这个答案就是n-1。一个完全图K_n永远不可能被拆分为n-2个或更少的完全二分图。拆成n-1个是很好办的:从K_n中随便取出一个点作为L集,其余n-1个点作为R集,把这n-1条边从图中取出来形成一个完全二分图,然后继续递归地处理K_(n-1);当规模降到K_2时,我们已经得到了n-2个二分图,并且图中就只剩下一条边了,合起来正好是n-1个完全二分图。现在的关键是,如何证明n-1个已经是最少的了?
这个证明牛B就牛B在,它根本就不是用组合数学的方法证明的。它居然是用线性代数来证明的!这可以说是我见过的最诡异的证明了。假设我们把K_n划分为了m个完全二分图,第i个二分图的左右两个点集分别记作L_i和R_i。给图中的每个顶点设置一个变量,第i个顶点上的数就记作x_i。于是呢,有
现在,让我们假设m<n-1。考虑下面这个线性方程组:
这个线性方程组的式子个数比未知量少,因此它一定有一组非零解c_1, c_2, ..., c_n。既然每个L_i里面的变量和都为0了,根据前面的那个恒等式,我们得知
考虑所有c_i的和的平方,展开后有
但是,一方面,由线性方程组的第一个方程知c_i的总和为0,其平方当然也等于0;另一方面,c_i是非零解,它的平方和是大于0的。矛盾产生。
题目来源:Proofs from THE BOOK, Chapter 9
- 趣题:完全图K_n最少可以拆成多少个完全二分图?
- 一个完全图K_n有n^(n-2)棵生成树
- POJ3692 最大完全二分子图
- Courses(二分图完全匹配)
- soj4522 完全二分图的判断
- 完全二分图的最大边数
- UVA 10615 Rooks <二分图 + 正则二分图 + 完全匹配>
- 判断 n 以内的完全数有多少个!
- 完全二分图的最大权完美匹配 KM算法
- hdu 5313 Bipartite Graph 完全二分图 深搜 bitset应用
- 二分图最大匹配 完全匹配 匈牙利算法
- hdu 2813 二分图最大权匹配 非完全匹配
- 二分图最少点覆盖
- 二分图最少路径覆盖
- 区间完全覆盖问题 &&区间均取最少2个点的问题
- HDU 2767--Proving Equivalences【scc缩点构图 && 求向图中最少增加多少条边才可以使新图强连通】
- 【算法题】寻找最少完全平方数
- 面试题:完全二叉树699个节点,则叶子节点有多少个?
- Steffen可活动多面体
- (官方消息)正式宣布本人脱光 公布情侣Blog
- 漫话二分(上)
- 祝各位网友节日快乐
- 经典证明:不用数学归纳法直接推导平面图的Euler公式
- 趣题:完全图K_n最少可以拆成多少个完全二分图?
- UyHiP趣题:(√2 +√3)^1948小数点后第48位是多少?
- World of Goo与Sierpinski三角形
- 构造函数使得任意小的区间所对应的值域都是整个实数域
- 号外:物理构建类解谜游戏World of Goo下载
- 《从一到无穷大》选谈:思维的尺度
- 趣题:用最少的“并行交换”完成排序
- 趣题:只用赋值、自增和循环操作实现减法运算
- 很好很强大的pi pie