线段树优化建图一种编号方式的理解
int id(int l,int r) {return (l+r)|(l!=r);} //代码1
证明思路:引导并说明某种做法发生冲突的情况,并证明修改后不会发生冲突
首先让我们考虑如果为
int id(int l,int r) {return (l+r);} //代码2
会出现什么冲突,如图

此时 [1,3] 与 [2,2] ,[1,5] 与 [3,3] 冲突
结论1:线段树中序遍历节点l+r单调不降,且节点u只在长度为奇数时会与左儿子右链端点的l+r相同
显然对于每一个节点u,
因此我们只需要证明任意节点u大于等于其左儿子的右链终点
当
为奇数,则左儿子右链端点为 ,结论成立 当
为偶数,则左儿子右链端点为 ,结论成立 结论2:
小于右儿子左链终点 与结论1证法相同
结论3:叶结点
为偶数
由结论1,只有节点u在长度为奇数时会与左儿子右链终点冲突。
由结论2,节点u不会与右子树冲突。
此时我们选择对于非叶结点长度为奇数的点,将其编号加1。(冲突解决措施,即代码1)
由结论2,3,因为长度为奇数的节点l+r为偶数,叶结点与其不同且也为偶数,因此将父节点加1后,与右儿子左链终点仍不冲突。
因此该编号方式正确。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 地球OL攻略 —— 某应届生求职总结
· 周边上新:园子的第一款马克杯温暖上架
· Open-Sora 2.0 重磅开源!
· 提示词工程——AI应用必不可少的技术
· .NET周刊【3月第1期 2025-03-02】