斯坦纳树

Model

有N个点，其中M个为黑点。点与点之间有边，边权已知。要求将所有黑点连通（可能同时连通一些白点），且边权和最小。
这是经典的NPC问题，可以用状态压缩DP解决
显然最后连通的是树状结构
设$f[s][i]$表示树根为i，连通的黑点集合状态为s
转移即为

1. $f[s][i]=f[s'][i]+f[s-s'][i]\ \ (s' \in s)$ 枚举子集
2. $f[s][i]=f[s][j]+a[j][i]$

然后当初我看到这里就懵逼了，这样有些状态算了边权但s里面没有
但是注意到这种情况不可能成为最优解，所以对答案不会有影响
或者还有一种理解方式，f[s][i]表示的是至少连通的状态集合为s
但是是不是仍然觉得方程非常奇怪？跟你所想的完全不一样？
通常，我们是分类讨论转移的是黑点还是白点，代码繁琐。但是经过这样两个方程，无需再进行判断黑白
注意转移方程1,2的顺序不能调换，必须先将所有的f[s][i]更新成最优解
另外，可见方程2的转移有后效性，所以要像SPFA队列一样进行转移
复杂度$O(2^k*(spfa玄学+n*枚举子集))$

Summary

斯坦纳树问题，要求最后连通的是一棵树
而且转移要满足那个spfa的三角不等式
其他的暂时还不是很清楚QAQ，例题也不多，适用范围好像挺狭窄