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