怎么样证明这样的一一映射一定存在
更新:不再依赖两个子树上分别递归构造。为避免再次打脸,我要把过程完整写~下~来~为方便阅读,从构造的角度叙述。记
令
,显然
是
上的最小生成树。For
令
由于
是棵树,所以去掉
后,分成不连通的两棵子树
,记对应点集为
。令
由于每次迭代仅去掉
中的边,故
始终成立,所以
始终连通,故
非空。又因为
是棵树,所以
,所以
。令
,由于
是
上的最小生成树,所以
令
则
是
上的最小生成树。Loop——————————————————想当然了,自打脸,啪啪啪——————————————————爪机码字不易,先写大概的。用归纳法。点集大小为1显然成立。若大于1,找T*里权最小的边e(若有多条,任选一条),e是T*的一条割边,设割的两个子树分别为T1,T2,显然e是连接T1T2的所有边中权最小的(之一)(因为T*是最小生成树)。设在T中连接T1T2的边是e\u0026#39;,令f0(e)=e\u0026#39;。又T1T2分别是点集的两个子集的最小生成树,由归纳假设可得映射f1 f2令f=f0并f1并f2, over。一些细节没写的很具体,以后补。题主貌似叉院的?最后谢妖~
■网友
谢邀,昨天没来的及看。做法如下:1.选出
中最小的边,假设是
推荐阅读
- 兰州启动进口冷链食品监管总仓“出仓”须查验证明
- |艾滋病“后悔药”你知道吗?高危性行为后,这样做能救你一命
- 为啥知乎上普便有一种【我在北上广深打工,所以拥有更好的视野】这样的错觉
- |警方提醒:冬季这样做极易引发交通事故!
- 上市公司孵化新项目成熟之后,拆分出去成立新公司,这样不会损害其他股东的利益吗
- 怎样评价类似前橙会、百老汇、南极圈这样类型的离职帮抱团,对企业的积极意义和消极意义
- dart这编程语言现在发展怎么样了,语法与Java,c#很相似,甚至更简洁
- 汽车|把车越卖越贵,全新领克01为何可以这样?
- 联通校园宽带限制笔记本发射wifi让其他设备连接,这样做合法吗
- 青年|一汽奔腾T77怎么样?车主吐槽:后排座椅太短,和坐小板凳似的
