斯坦纳树

【算法简介】

斯坦纳树一般用于解决这样一类问题，一个无向图，k个关键点，每个边有边权，求联通这k个点的最小代价

最小生成树可以认为是斯坦纳树的特殊情况

由于k个关键点的要求精确覆盖，只能用状压，所以k一般最多到10，n也不会太大

 

方法：设F[i][s]表示以i为根的子树内，选择的关键点状态为s的最小代价

外层枚举状态S

然后考虑转移：

1.由自己的其他状态转移来F[i][s]=min{F[i][t]+F[i][s^t]}

2.由其他边走过来F[i][s]=min{F[i][s],F[j][s]+e[j][i]}

第二个式子这种三角形不等式可以spfa转移一下

 

这个时间复杂度为

前一半的复杂度是枚举第一种转移，后一半是spfa

这里是要很好的枚举子集，否则会退化成

也就是不能暴力验证一个集合是否是另一个集合的子集，我们要用一种巧妙的方式构造出来这个子集

for(int s=sta;s;s=(s-1)&sta)

 

【例题】BZOJ2595. [Wc2008]游览计划

sol.(这个是的做法)

【习题】P3264 [JLOI2015]管道连接

sol.(这个是，建议用这个当成板子记)