首页 > 其他分享 >picnic planning证明

picnic planning证明

时间:2023-10-19 22:34:47浏览次数:37  
标签:picnic 删掉 生成 planning 条边 证明 我们

首先最终的答案一定包含最开始的T条边,不然的话,我们选择这T条边中没被包含的任意一条边,把它加入现有的生成树

由于这T条边连接的是不同的连通块,所以加入这条边后生成树会形成一个环,而且这个环除了这一条边不包含其他任何一条这T条边中的一边

又因为这T条边是最小的T条边,我们选择这个环上从1出发的不是这条边的边,权值肯定比我们选的这条边大,删掉即可

然后再证明我们接下来的添加操作是正确的

假设按照书上的操作,我们本来会选择一个\(x_0\),但是最终却没有选择(我们无论最后是什么方案,每个连通块内部的连接都是不变的,都是最开始我们算出来的最小生成树),那么我们把\((1,x_0)\)这条边加入进去,再把本来应该删除的边删掉,此时还是一颗生成树,但是1号节点的度数多了一,然而我们

好吧我不会证

标签:picnic,删掉,生成,planning,条边,证明,我们
From: https://www.cnblogs.com/dingxingdi/p/17775840.html

相关文章

  • 第K短路相关证明
    Dijkstra正确性证明采用反证法+数学归纳法设目前已经出对的点得到的都是最短路,那么对于现在刚好出队这个点t来说:因为它是优先队列的对头,而且图中的边权都是非负数,所以它不可能被队列中的点再更新因为每个点只会出队一次,所以它也不会被已经出队的点再次更新还没有入队的点距......
  • 证明反对称矩阵的秩是偶数
    对反对称矩阵消元,如果有非零元素,不妨假设\(a_{1,2}\neq0\)。定义对\((i,j,k)\)使用操作1表示,第\(i\)行\(\timesk\)加到第\(j\)行然后第\(i\)列\(\timesk\)后加到第\(j\)列。注意到操作完仍是反对称矩阵。可以使用操作1把所有第一行第二行,第一列第二列除了......
  • 图形学、02 推导证明 | 任意一点经过透视投影后 z 坐标相对于之前有什么变化
    齐次坐标知识点:\(\begin{bmatrix}x\\y\\z\\1\\\end{bmatrix}\Rightarrow\begin{bmatrix}nx\\ny\\nz\\n\\\end{bmatrix}\)两个都表示同一个点透视投影:先将远截面按一定规则缩放到跟近截面一样大,然后再正交投影缩放规则:远截面缩放后\(z\)不变,缩放过后大小同近......
  • 导出微信支付交易明细证明账单记录修改删除PDF文件
    微信支付交易明细证明有两种修改方式,一种是导出账单到邮箱后再下载PDF账单文件到电脑桌面进行修改。第二种是导出前在后台修改,这种情况较为复杂要根据个人情况而定,暂不做陈述。现在先来说说第一种方式,先下载账单文件然后把PDF转成WORD的方式进行修改,这种方式简单粗暴,相信很多人都......
  • 从(0,0)到(n,n)的路径个数证明
    今天来更新一下我万年不更得博客求\(n\)维平面内从\((0,0,0,...,0)\)到\((x_1,x_2,x_3,...,x_n)\)的路径方案数首先我们可以考虑二维平面内的情况,显然是\[{x_1+x_2\choosex_1}\]表示从总共走\(x_1+x_2\)个格子里面选\(x_1\)个格子是向下走的格子方案。那么我们......
  • 子树合并背包类型的 dp 的复杂度证明
    首先,我们发现,转移一颗子树的背包,实际上就是把该子树的根节点的所有儿子的子树背包合并,再与根节点合并。具体的,合并两颗子树的转移方程式如下:\[f(u,i)=\max\limits_{j+k=i}\{f(v_1,j)+f(v_2,k)\}\]于是有如下伪代码:dfs(u): su=1 f(u,1)=w[u] for(vinu) sv=siz......
  • 《【告天下】费马最后猜想归一原理证明步骤及其它——》 回复
    《【告天下】费马最后猜想归一原理证明步骤及其它——》   https://tieba.baidu.com/p/8632684851     学帝 写了一篇酣畅淋漓的文章,  本帖提出了许多纲领性的知识点, 也是对过去的一些总结 。  费马大定理的证明步骤 这个之前好像看到......
  • 诗人小G (恶心的四边形不等式证明)
    前言:没有前言(快累死了,不想写)。solution:题目传送门设$f_i$为第$i$句时最小的不协调度。\[f_i=f_j+\left|s_i-s_j+i-j-1-L\right|^P\]\[f_i=f_j+\left|s_i+i-(s_j+j)-(L+1)\right|^P\]令$w_{i,j}=(s_i+i)-(s_j+j)-(L+1)$。\[f_i=f_j+\left|w_{i,j}\righ......
  • 证明不知道具体值的两个实数相等
    定理  当且仅当且. ......
  • 二项概率公式的泊松逼近证明
    泊松定理内容设实验\(E\)是由实验\(E_0\)形成的n重伯努利概型,\(A\)和\(\overline{A}\)是\(E_0\)的事件,\(P(A)=p_n\),\(P(\overline{A})=1-p_n=q_n(0<p_n<1)\)则当\(n\rightarrow+\infty且\lambda_n=np_n\rightarrow\lambda(\lambda>0为常数)\)时,事件A发生k(k为非负整数)次的......