ICode9

精准搜索请尝试: 精确搜索
首页 > 编程语言> 文章详细

树同构AHU算法·魔改版

2022-07-23 11:34:35  阅读:136  来源: 互联网

标签:标号 改版 同构 map 复杂度 vector 虚点 AHU


本文是博主树哈希被卡爆之后,又受学长指点,弃暗投明之作
该算法用来解决树同构问题。我们先考虑给定一棵树,如何判断两棵子树是否同构。
我们考虑,给每个点一个标号,使得同构子树的根,标号相同。
怎么做到呢?对于一个点 \(u\),把它的儿子的标号拎出来塞进一个vector里面,然后把vector排序,那么这个vector就是 \(u\) 的标号了!
但是拿vector当标号未免有点离谱,而且会出现vector套娃的情况。所以我们把每个vector用map进行编号就行了!
至于复杂度的问题,我们最后再来讨论。如果还没懂,可以看看下面的核心代码。

非常简单吧!正确性也十分显然。
接下来我们解决多棵有根树同构问题,这个只要每棵树都用同一个map跑AHU就行了。也可以建一个虚点连向每一个根。
无根树怎么办呢?如果有一个重心,以重心为根;否则在两个重心中间那条边上建一个虚点做根。
注意要把虚点特殊处理(比如往它的vector里塞个-1),不然会出现把两个点的链和三个点的链判成同构。
复杂度是什么呢?map<vector<int>,int> 是用平衡树实现的。所以插入一个vector的复杂度不会超过这个vector的长度乘 \(\log\)。因此总复杂度是 \(O(n\log n)\) 的!
也可以优化到线性,但是不一定会快

标签:标号,改版,同构,map,复杂度,vector,虚点,AHU
来源: https://www.cnblogs.com/black-swallow/p/16511234.html

本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享;
2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关;
3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关;
4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除;
5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

专注分享技术,共同学习,共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有