拟阵
拟阵
考虑一个集合
子集族:所有元素都是
- 空集是独立集
- 独立集的子集也是独立集
- 如果两个独立集
满足 , 那么存在一个元素 , 使得
满足上面三个性质的话,
- 一个图的所有无环的边集的子集构成独立集
性质:
- 所有极大独立集大小都相等
应用:最小/大权独立集
有一个权值函数
算法:把
证明:
设最小权独立集是
记
- 当
, trival - 当
, 已知 , 设 ,只需要证明
由性质 3, 存在
由于算法流程,保证了
考虑一个集合
子集族:所有元素都是
满足上面三个性质的话,
性质:
应用:最小/大权独立集
有一个权值函数
算法:把
证明:
设最小权独立集是
记
由性质 3, 存在
由于算法流程,保证了
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· 没有源码,如何修改代码逻辑?
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战