ZoomToday

曼特尔定理(Mantel's Theorem)在一个2n个顶点的图G中没有三角形圈，最多有多少条边?当然G可以有条边不包含一个三角形:令G为二部完全图，由两个部分n个顶点的集合组成，所有边在两个集合之间的。实际上，是可能的最大边数:如果我们再取一条边，那么图形就会有一个三角形。定理(Mantel 1907)如果2n个顶点的图G包含条边，则G包含一个三角形。证明：数学归纳法：对n进行归纳，如果n=2，G有一个三角形。假设结果对于n成立，现在考虑一个关于2(n+1)顶点的图G具有.

优化问题的算法通常会通过一系列的步骤，在每一个步骤通过一系列的选择。一个贪婪算法总是目前看起来最好的选择。也就是说,它

在启发式算法的上下文中，启发式将是执行小的修改的一种方法，或一系列的修改，对给定解或部分解的修正，为了得到不同的解或部分解决方案。实际的修改这些工作将涉及到邻居搜索。按照一定的设计策略，一个启发式算法将包括迭代地应用一个或多个启发式。...

概率方法是解决离散数学中许多问题的有力工具。大致说来，该方法的工作原理如下:为了证明具有某些所需属性的结构存在，定义了一个适当的结构和概率空间。然后显示所需的属性保持不变这个空间的概率是正的。证明存在性分为结构性证明和非结构性证明。支配集(Dominating set)无向图G=(V,E)的一个支配集是点集合的子集合，使得每个点至少有一个邻居在集合U中。举例说明：...

双计数狭义上讲，对于一个集合运用两种不同的方式，得到精确表达式等式结果或者不等式的结果。握手定理对于图G=(V，E)，有，即所有点的度为边的二倍。推论：图中奇度点数目为偶数。可以用关联矩阵角度看握手定理(自己可以画一个简单的图，写出它的关联矩阵)；...

基本概念简单图1.图(Graph)，是点和边的二元集合，表示为G=(V,E)；其中V表示点集合，E表示边，由点的二元子集合构成的；2.关联(Incident)，表示点和边的关系，如果点在边上，即V∈e，那么这个点和边是关联的；3.邻接(Adjacent)，表示点和点的关系，如果两个点在一条边上，即e={u,v}，那么这两个点是邻接的；4.度(Degree)，点u的邻接点的个数(...