【BZOJ3875】【Ahoi2014】骑士游戏 SPFA处理有后效性动规

广告：

#include <stdio.h>
int main()
{
    puts("转载请注明出处[vmurder]谢谢");
    puts("网址：blog.csdn.net/vmurder/article/details/44040735");
}

题解：

首先一个点可以分裂成多个新点，这样就有了图上动规的基础。
即f[i]表示i点被消灭的最小代价，它可以由分裂出的点们更新。

但是这个东西有后效性，所以我们用SPFA来处理它。

spfa处理后效性动规

我们每更新一个点A的动规值，就会有若干个点的动规值可能被更新。
即可以分裂出点A的那些点。
于是A出队后一旦动规值被更新了，就把那些点入队。

初始时要把所有点入队，因为它们都可能被更新。

代码：

#include <queue>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define N 201000
#define M 2010000
#define inf 0x3f3f3f3f
using namespace std;
struct KSD
{
    int v,next;
}e[M],E[M];
int head[N],HEAD[N],cnt;
inline void add(int u,int v)
{
    e[++cnt].v=v;
    E[cnt].v=u;
    e[cnt].next=head[u];
    E[cnt].next=HEAD[v];
    HEAD[v]=head[u]=cnt;

}
long long A[N],dist[N];
bool in[N];
int n;
queue<int>q;
void spfa()
{
    while(!q.empty())q.pop();

    int i,u,v;
    for(i=1;i<=n;i++)q.push(i),in[i]=1;
    while(!q.empty())
    {
        u=q.front(),q.pop(),in[u]=0;
        long long temp=A[u];
        for(i=head[u];i;i=e[i].next)
            temp+=dist[e[i].v];
        if(temp>=dist[u])continue;
        dist[u]=temp;
        for(i=HEAD[u];i;i=E[i].next)
            if(!in[v=E[i].v])q.push(v),in[v]=1;
    }
}
int main()
{
    int i,j,k;
    int a,b,c;
    scanf("%d",&n);
    for(i=1;i<=n;i++)
    {
        cin>>A[i]>>dist[i]>>c;
        while(c--)
        {
            scanf("%d",&a);
            add(i,a);
        }
    }
    spfa();
    cout<<dist[1];
    return 0;
}