皇宫看守 树形DP

题意/Description：

太平王世子事件后，陆小凤成了皇上特聘的御前一品侍卫。 
皇宫以午门为起点，直到后宫嫔妃们的寝宫，呈一棵树的形状；某些宫殿间可以互相望见。大内保卫森严，三步一岗，五步一哨，每个宫殿都要有人全天候看守，在不同的宫殿安排看守所需的费用不同。 
可是陆小凤手上的经费不足，无论如何也没法在每个宫殿都安置留守侍卫。 

读入/Input：

帮助陆小凤布置侍卫，在看守全部宫殿的前提下，使得花费的经费最少。

输出/Output：

输入文件中数据表示一棵树，描述如下： 
第1行 n，表示树中结点的数目。 
第2行至第n+1行，每行描述每个宫殿结点信息，依次为：该宫殿结点标号i（0<i<=n），在该宫殿安置侍卫所需的经费k，该边的儿子数m，接下来m个数，分别是这个节点的m个儿子的标号r1，r2，...，rm。

对于一个n（0 < n<=1500）个结点的树，结点标号在1到n之间，且标号不重复。 



题解/solution：



     题目说的很清楚，用最少的点覆盖所有的点。题目给出的是个树,所以可以用动态规划来解决。

     给出如下定义：
F[i,0]表示i点不放，且以i为根节点的子树（包括i节点）全部被观察到；
F[i,1]表示i点不放，且以i为根节点的子树（可以不包括i节点）全部被观察到；
F[i,2]表示i点放，且以i为根节点的子树全部被观察到；

     转移如下：
1、由F[i,0]定义可知，设j为i的儿子节点，至少要有一个i的儿子节点是放置守卫的，其余的儿子节点可放可不放，但由于根节点i不放，所以其余的儿子节点如果不放的话，必须保证能被观察到，即F[j][0]；所以我们需要枚举必须放置的儿子节点，即下:

  F[i,0] = min{∑(min(F[j][0],F[j,2]))+F[k,2]}

其中k为枚举的必放的儿子节点，j为除了k之外的儿子节点


2、由F[i,1]定义可知，i可以被观察到也可以不被观察到,但儿子节点必须都要被观察到，即下：

  F[i,1] =[b]∑(min(F[j,0],F[j,2])) [/b]

 
j是i的儿子节点


3、由F[i,2]定义可知，i点放置了守卫，所以对于每个儿子节点都能被观察到，取F[j,0],F[j,1],F[j,2]最小值即可，即下：
  F[i,2] = min(F[j,0],F[j,1],F[j,2]) j是i的儿子节点

对于叶节点i，F[i,0] = F[i,2] = data[i],F[i,1] = 0;

讲得已经十分详细了，剩下自己解决吧。

代码/Code：

var
son:array [0..1501,0..1501] of longint;
f:array [0..1501,1..3] of longint;
a,l:array [0..1501] of longint;
n,x,t:longint;
function min(o,p:longint):longint;
begin
if o<p then exit(o);
exit(p);
end;

procedure main(x:longint);
var
i,j,k:longint;
begin
if l[x]=0 then
begin
f[x,1]:=a[x]; f[x,3]:=a[x];
f[x,2]:=0;
exit;
end;
for i:=1 to l[x] do
main(son[x,i]);
f[x,1]:=maxlongint;
for i:=1 to l[x] do
begin
k:=0;
for j:=1 to l[x] do
if i<>j then
k:=k+min(f[son[x,j],1],f[son[x,j],3]);
f[x,1]:=min(f[x,1],k+f[son[x,i],3]);
end;
f[x,2]:=0;
for i:=1 to l[x] do
f[x,2]:=f[x,2]+min(f[son[x,i],1],f[son[x,i],3]);
f[x,3]:=a[x];
for i:=1 to l[x] do
f[x,3]:=f[x,3]+min(f[son[x,i],1],min(f[son[x,i],2],f[son[x,i],3]));
end;

procedure init;
var
i,j:longint;
d:array [0..1501] of longint;
begin
readln(n);
fillchar(d,sizeof(d),0);
for i:=1 to n do
begin
read(x,a[x],l[x]);
for j:=1 to l[x] do
begin
read(son[x,j]);
inc(d[son[x,j]]);
end;
readln;
end;
for i:=1 to n do
if d[i]=0 then
begin
t:=i;
break;
end;
end;

begin
init;
main(t);
write(min(f[t,1],f[t,3]));
end.