浅析算法——斯坦纳树

阅读量：276 次

发布时间：2019-03-01

本文共 579 字，大约阅读时间需要 1 分钟。

斯坦纳树与斯坦纳森林

斯坦纳树

用途

给一个图，求最小生成树？

这个很简单，prim/kruskal搞一搞。

如果只要求联通某几个点，而不强制要求其他点的联通？

这个prim/kruskal就不好做了。

那怎么求这个呢？

当然是要用到斯坦纳树啊。

计算方法

假设 ( f_{i,sta} ) 表示最后一个联通的是 ( i, s, a ) 中的 ( i ) 和 ( s ) 的最短路径。状态压缩中有两种状态转移：

( f_{i,sta} = f_{i,s} + f_{i,sta-s} )，其中 ( s ) 是当前要求点的联通性。

( d_v = d_u + val_{u,v} )，其中 ( u, i ) 之间有边相连。

第一个方程是很好维护的，关键是第二个方程。

观察到，第二个方程与spfa的方程很相似。

那么我们就可以用spfa维护第二个方程啦！

斯坦纳森林

用途

给一个图，求最小生成树？

这个很简单，prim/kruskal搞一搞。

如果只要求联通某几个点，而不强制要求其他点的联通？

这个很简单，斯坦纳树可以解决这个问题。

如果只要求某几个集合中的点互相联通，而分属两个不同集合的点没有要求，可以共用边？

这个就需要用斯坦纳森林了。

计算方法

把所有的集合放在一起，做一遍斯坦纳树，然后对所有集合做一遍子集合并dp。

例题

（此处无具体例题内容）

转载地址：http://eywo.baihongyu.com/

你可能感兴趣的文章

PROFINET 模拟器使用教程

查看>>

Program type already present: android.support.v4.widget.EdgeEffectCompat

查看>>

PyTorch中文版官方教程来啦（附下载）

查看>>

Progress Kemp LoadMaster 远程命令执行漏洞复现(CVE-2024-1212)

查看>>

Project configuration is not up-to-date with pom.xml. Run Maven->Update Project

查看>>

Project Euler 15 Lattice paths

查看>>

Project Euler 48 Self powers（大数求余）

查看>>

Project Euler Problem 12: Highly divisible triangular number

查看>>

ProjectEuler 2

查看>>

projection介绍及EPSG:4326和EPSG:3857的投射转换

查看>>

project打开文件时，显示无法识别此文件格式？

查看>>

Prometheus + Grafana on Kubernetes部署

查看>>

prometheus + grafana进行服务器资源监控

查看>>

Prometheus Alertmanager 告警配置详解

查看>>

Prometheus Grafana 展示平台

查看>>

Prometheus pushgateway使用详解

查看>>

Prometheus 云原生 - Prometheus 数据模型、Metrics 指标类型、Exporter 相关

查看>>

Prometheus 云原生 - 基于 file_sd、http_sd 实现 Service Discovery

查看>>

Prometheus 云原生 - 微服务监控报警系统（Promethus、Grafana、Node_Exporter）部署、简单使用

查看>>

Prometheus 云原生 - 监控 Linux、MySQL、Redis、RabbitMQ、Docker、SpringBoot 3.x

查看>>