POJ 3123 Ticket to Ride 状压dp+树形dp 斯坦纳树

题目链接：点击打开链接

题意:

给定n个城市和m条可选择修建的道路

下面n行给出每个城市的名字

下面m行给出每条道路及修建该道路的花费。

下面4行，每行给出一对城市。

目标:使得最后4行的每对城市连通（不同对之间可以不连通）所需要修建的最小花费。

数据保证存在可行解

思路：

首先如果这个问题问的是所有城市都连通，就是一个最小生成树的问题。

这里就相当于多个最小生成树的 问题。

当然图里我们只关心最后的4行8个点，所以我们状压这8个点。

设dp[i][j] 表示以i为根 ，j为8个点中是否在 i 的子树里 时的最小花费。

（注意i这个点是不一定出现在j里的，因为i点可以是除这8个点之外的点）

首先跑个floyd。

dp[i][j] 的初始化就是以8个点其中一个点为叶子，任意一个点为根来初始化一遍，

转移:

1、从2个点集合并得到

dp[i][j] = min( dp[i][ X ]+dp[i][ Y ])

其中X | Y == i;

即我们把 根为i ，点集为X 的子树和根同样为i 点集为Y的子树的花费和 就是根为i ，点集为 j = X+Y 的一个花费，取个最小即可。

2、把i点加到一个子树上得到。

我们枚举这个子树，显然这个子树的点集就是j，当然根是不确定的，因为根不一定是j中的点，所以枚举根K。

这样我们就能得到子树的状态是 dp[K] [j] , 而加入i点时 可以和树上任意一个点相连

（要枚举树上所有点和i连一次？其实我们就认为是 add(i, K); 因为我们一定会枚举到树上那个最优 的点）

3、求答案。

首先一个可能的解就是dp[ anypoint ][ 255 ].

当然这样的结果等同于最小生成树了。

实际上是每对点都可能互相独立也可能互相连通之类之类的。

我们可以造4个盒子(编号为0,1,2,3)，然后任意地把4对点扔进去，在一个盒子里的点就表示他们是连通的，不在一个盒子里就说明是不连通的。

每个点对有4个状态(0,1,2,3)，表示所在哪个盒子，即四进制状压。

over

import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.math.BigInteger;
import java.text.DecimalFormat;
import java.util.ArrayDeque;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.Collections;
import java.util.Comparator;