专栏文章
无向图三元图和四元图计数
个人记录参与者 1已保存评论 0
文章操作
快速查看文章及其快照的属性,并进行相关操作。
- 当前评论
- 0 条
- 当前快照
- 1 份
- 快照标识符
- @minpwmf6
- 此快照首次捕获于
- 2025/12/02 06:25 3 个月前
- 此快照最后确认于
- 2025/12/02 06:25 3 个月前
对于原图 ,首先我们给每条边定向。将度数小的节点向度数大的节点连边,如果度数一样,则按节点编号(这点很重要!!!否则无法产生偏序关系!!!)。产生新图
然后可以有一个结论,就是对于任意顶点 ,有 。
可以用反证法来证明
这么做有一个好处,就是我们可以遍历每条边 ,然后在任意一个顶点 或 继续遍历以它为出发点的所有边,这么做的复杂度是 的。
换句话来说,我们可以在 里枚举所有的 ,,或者是,,因为它们的总量是 级别的。
当然要注意,只能以 和 为出发的节点,不能是到达的节点,因为我们只能保证它的出度,无法保证入度。
现在考虑三元环计数的问题,对于原图 上的三元环 ,我们可以对应到新图 上的三元环 ,其中满足 ,,。并且这是一个双射(即一一映射)。
考虑枚举 ,首先枚举它的所有出边,并对所有 打上一个标记,说明它是能由 直接到达。然后枚举 , ,并用原来打在 上的标记看它是否能由 直接到达。
这样我们便在 里解决了三元环计数问题
接着我们来看四元环问题。
一样的道理,对于原图 上的四元环 ,映射到新图 上可能有如下几种情况。
-
,,,
-
,,,
-
,,,
至于这三个类型怎么想出来,可以画一个四元环,然后钦定第一个节点度数最小,这样两条边的方向就定了(这里也可以看出确定偏序关系的重要性),剩下两条边共 种定向方式,并且有两种是一样的,所以就把这三个给定出来了。
对于第一种情况,固定 ,在 时间里枚举 ,,在 时间里枚举 ,。并把结果存在 里。
对于第二种情况,固定 ,直接枚举 , 和 ,,把答案存在 上,注意求的是 ,复杂度
对于第三种情况,固定 ,枚举 , 和 ,。可以在 做完。
至于五元环以上的计数问题,目前没有 以内算法。
相关推荐
评论
共 0 条评论,欢迎与作者交流。
正在加载评论...