斯坦纳树的板子，可以看一下我的博客：动态规划求解斯坦纳树

3k多字，还算比较详细，适合新学斯坦纳树的人，有比较严谨的证明。