【codevs2131】【BZOJ1924】所驼门王的宝藏，tarjan+拓扑DP

Time:2016.06.01

Author:xiaoyimi

转载注明出处谢谢

传送门1

传送门2

思路：

比较简单

使用规则建出一个包含N个点的无向图来，然后tarjan，得到重构后的有向无环图，然后拓扑DP就可以了

f[u]代表以i为起点所能走到的最多的点数

f[u]=max(f[v])∀(u,v)∈E

由DP方程我们可以开出来要求出点i的f值，必须要求它所有能到达的点的f值，所以我们可以反向建图拓扑排序，这样就能求出全部的f值了

注意：

1.建原图时处理起来很烦人，我用vector存储同一行、列的点，map存储周围一圈的点，所以常数大得吓人……

2.存边的数组一定要开大点……

代码：

#include<bits/stdc++.h>
#include<map>
#define M 100004
#define LL long long
using namespace std;
int in()
{
int t=0;char ch=getchar();
while(!isdigit(ch)) ch=getchar();
while(isdigit(ch)) t=(t<<3)+(t<<1)+ch-48,ch=getchar();
return t;
}
int k=in(),n=in(),m=in(),tot,cnt;
int IN[M],OUT[M],f[M],belong[M],siz[M],low[M],dfn[M],X[M],Y[M],T[M],first[M];
int dx[8]={0,0,-1,-1,-1,1,1,1},dy[8]={-1,1,-1,0,1,-1,0,1};
vector<int>a[M*10],b[M*10];
bool vis[M];
stack<int>S;
queue<int>Q;
map<LL,int>mp;
struct edge{int v,next;}e[M*40];
void add(int x,int y){e[++tot]=(edge){y,first[x]};first[x]=tot;}
void dfs(int x)
{
low[x]=dfn[x]=++cnt;
S.push(x);
vis[x]=1;
for (int i=first[x];i;i=e[i].next)
if (!dfn[e[i].v])
dfs(e[i].v),
low[x]=min(low[e[i].v],low[x]);
else if (vis[e[i].v])
low[x]=min(dfn[e[i].v],low[x]);
if(low[x]==dfn[x])
for (int y=-1;y!=x;y=S.top(),S.pop())
siz[x]++,
vis[S.top()]=0,
belong[S.top()]=x;
}
main()
{
for (int i=1;i<=k;i++)
X[i]=in(),Y[i]=in(),T[i]=in(),
mp[(LL)(X[i]-1)*m+Y[i]]=i,
a[X[i]].push_back(i),
b[Y[i]].push_back(i);
for (int i=1;i<=k;i++)
{
if(T[i]==1)
for (int j=0;j<a[X[i]].size();j++)
if (i!=a[X[i]][j]) add(i,a[X[i]][j]);
else;
else if (T[i]==2)
for (int j=0;j<b[Y[i]].size();j++)
if (i!=b[Y[i]][j]) add(i,b[Y[i]][j]);
else;
else
for (int j=0;j<8;j++)
{
LL t=(LL)(X[i]+dx[j]-1)*m+Y[i]+dy[j];
int x=mp[t];
if(x) add(i,x);
}
}
for (int i=1;i<=k;i++)
if(!dfn[i]) dfs(i);
tot=0;
memset(first,0,sizeof(first));
for (int i=1;i<=k;i++)
{
if(T[i]==1)
for (int j=0;j<a[X[i]].size();j++)
if (belong[i]!=belong[a[X[i]][j]])
IN[belong[i]]++,
OUT[a[X[i]][j]]++,
add(belong[a[X[i]][j]],belong[i]);
else;
else if (T[i]==2)
for (int j=0;j<b[Y[i]].size();j++)
if (belong[i]!=belong[b[Y[i]][j]])
IN[belong[i]]++,
OUT[b[Y[i]][j]]++,
add(belong[b[Y[i]][j]],belong[i]);
else;
else
for (int j=0;j<8;j++)
{
LL t=(LL)(X[i]+dx[j]-1)*m+Y[i]+dy[j];
int x=mp[t];
if(x&&belong[i]!=belong[x])
IN[belong[i]]++,
OUT[belong[x]]++,
add(belong[x],belong[i]);
}
}
for (int i=1;i<=k;i++)
if (!IN[i]&&siz[i])
Q.push(i),
f[i]=siz[i];
for (;!Q.empty();Q.pop())
{
int x=Q.front();vis[x]=0;
for (int i=first[x];i;i=e[i].next)
{
if (f[e[i].v]<f[x]+siz[e[i].v]) f[e[i].v]=f[x]+siz[e[i].v];
IN[e[i].v]--;
if (!IN[e[i].v]) Q.push(e[i].v);
}
}
for (int i=1;i<=k;i++)
f[0]=max(f[0],f[i]);
printf("%d",f[0]);
}