图论中的两种递推计数法

递推计数法

生成树计数:

τ ( G ) = τ ( G − e ) + τ ( G ⋅ e ) \tau(G) = \tau(G-e)+\tau(G\cdot e) τ(G)=τ(G−e)+τ(G⋅e)

G的生成树的颗数,可以分为两类:包含边e的为 τ ( G ⋅ e ) \tau(G\cdot e) τ(G⋅e),不包含边e的为 τ ( G − e ) \tau(G - e) τ(G−e)

生成树的计数还可以通过计算Laplace矩阵任意元素的代数余子式求得。

色多项式计数:

P k ( G ) = P k ( G − e ) − P k ( G ⋅ e ) P_k(G) = P_k(G-e)-P_k(G\cdot e) Pk(G)=Pk(G−e)−Pk(G⋅e)

G-e的k着色方案可以分为两类:e的两个端点着不同色的为 P k ( G ) P_k(G) Pk(G), e的两个端点着相同色的为 P k ( G ⋅ e ) P_k(G \cdot e) Pk(G⋅e)

相关推荐
前端小L4 天前
图论专题(十九):DAG上的“关键路径”——极限规划「并行课程 III」
算法·矩阵·深度优先·图论·宽度优先
scx201310044 天前
20251116 树状DP总结
算法·深度优先·图论
前端小L4 天前
图论专题(二十一):并查集的“工程应用”——拔线重连,修复「连通网络」
数据结构·算法·深度优先·图论·宽度优先
前端小L4 天前
图论专题(二十五):最小生成树(MST)——用最少的钱,连通整个世界「连接所有点的最小费用」
算法·矩阵·深度优先·图论·宽度优先
前端小L4 天前
图论专题(二十三):并查集的“数据清洗”——解决复杂的「账户合并」
数据结构·算法·安全·深度优先·图论
点云SLAM4 天前
图论中邻接矩阵和邻接表详解
算法·图论·slam·邻接表·邻接矩阵·最大团·稠密图
前端小L4 天前
图论专题(二十二):并查集的“逻辑审判”——判断「等式方程的可满足性」
算法·矩阵·深度优先·图论·宽度优先
搂鱼1145147 天前
(dp 优化)洛谷 P14460 寻雾启示 题解
算法·图论
前端小L7 天前
图论专题(十五):BFS的“状态升维”——带着“破壁锤”闯迷宫
数据结构·算法·深度优先·图论·宽度优先
司铭鸿7 天前
图论中的协同寻径:如何找到最小带权子图实现双源共达?
linux·前端·数据结构·数据库·算法·图论