【无标题】

prim算法正确性证明：

证明：令无向图为 $G=(\mathbf{V},\mathbf{E})$,其中 V = { v 1 , v 2 , … , v n } \mathbf{V} = \{v_1,v_2,\dots,v_n\} V={v1​,v2​,…,vn​}, E = { e 1 , e 2 , … , e m } \mathbf{E} =\{e_1,e_2,\dots,e_m\} E={e1​,e2​,…,em​},其生成树为$G^{\prime }=(\mathbf{V},{\mathbf{E}}^{\prime })$,其中 E ′ = { e t 1 , e t 2 , … , e t n − 1 } \mathbf{E}'=\{e_{t_1},e_{t_2},\dots,e_{t_{n-1}}\} E′={et1​​,et2​​,…,etn−1​​},且$G^{\prime }$为连通无环图。
（贪心选择性质）
不失一般性，令起始点为$v_1$,贪心选择策略是找到与$v_1$连接边最短的节点，以及相应的边的点记为$v_a$,相应的边为$e_b=(v_1,v_a)$,现证明$e_b$包括在某个最优解中。
令$G^{\prime }$为一棵最小生成树，其中不包括$e_b$,则将$e_b$加入$G^{\prime }$中，将形成一个环，不考虑该环之外的节点，每个节点的度刚好为2，令该环中与$v_1$相关的另一条边为$e_c$，则删除$e_c$后，获得另一棵生成树$G^{\prime \prime }$，由于$w(e_b)\le w(e_c)$，$G^{\prime \prime }$也一定为一棵最小生成树。
（最优子结构性质）
不失一般性, 令某棵最小生成树$T_1$中, 权值最小的边$e_1$连接的两个节点设为$v_a$和$v_b$， 在原图$G$去除边$e_1$，合并$v_a$和$v_b$，令 V ′ = { v 1 , v 2 , … , v n − 1 } \mathbf{V'}=\{v_1,v_2,\dots,v_{n-1}\} V′={v1​,v2​,…,vn−1​}，将节点$v_a$和$v_b$合并后节点设为$v_c$，对于$G$中同时和$v_a$和$v_b$相连的边，选择其中权值最小的边与合并的$v_c$相连，得到新的子图$G^{\prime }$，现需证明$G$的最小生成树$T_1$包含图$G^{\prime }$的生成树$T_1^{\prime }$是图$G^{\prime }$的最小生成树，。
假设$G^{\prime }$的最小生成子树不是$T_1^{\prime }$，则存在另外一棵生成树$T_1^{\prime \prime }$。即$W(T_1^{\prime \prime })$<$W(T_1^{\prime })$，将$T_2$的点$v_c$分裂成点$v_1$和$v_2$，以边$e_1=(v_1,v_2)$相连，则得到图$G$的一棵生成树$T^{\prime }$，有
$W(T^{\prime })=W(T_1^{\prime \prime })+w(e_1)<W(T_1^{\prime })+w(e_1)$

这与假设中的$T_1$为最优最小生成树矛盾。

红蓝眼睛

假设岛上有100个人，其中95个蓝眼睛，5个红眼睛的人。游戏规则是：知道自己眼睛颜色的人能得到赏金并且离开小岛，且红眼睛个数决定最终。（岛上的人不能通过消息传递，或是镜子等一切物品了解到自己眼睛的颜色。）一天，一个旅行者到达岛上来说了一句话“岛上有红眼睛的人”。那么在第几天岛上的人能全部离开？
首先从第一个人推理：如果我是红眼睛看到了有4个红眼睛的人和95个红眼睛的人，那么第一天无人敢领（证明不止1个红眼睛），第二天无人敢领（证明不止2个红眼睛），…，到第四天还是无人敢领，（证明存在>=5个红眼睛），而我就是那第五个红眼睛的人，最终第五天红眼睛的人都去领了赏金离开小岛，蓝眼睛的人第六天都去领了赏金离开了。
思考：1.旅行者的话起来什么作用？
通知了一个公共消息，作为触发条件开始执行。
2.若旅行者的消息改为“岛上有蓝眼睛的人（蓝眼睛的人先去领）”是否与刚刚的消息等价？
这样条件换了貌似结果相反，跟从眼睛颜色个数来确定领赏的天数。
若还是红眼睛的先去领赏，那么当有99蓝，1红，那么永远那个红眼睛的人不敢去领。
但99蓝，1红，能按照上面逻辑推出来。