Description

策策同学特别喜欢逛公园。公园可以看成一张N个点M条边构成的有向图,且没有 自环和重边。其中1号点是公园的入口,N号点是公园的出口,每条边有一个非负权值, 代表策策经过这条边所要花的时间。

策策每天都会去逛公园,他总是从1号点进去,从N号点出来。

策策喜欢新鲜的事物,它不希望有两天逛公园的路线完全一样,同时策策还是一个 特别热爱学习的好孩子,它不希望每天在逛公园这件事上花费太多的时间。如果1号点 到N号点的最短路长为d,那么策策只会喜欢长度不超过d+K的路线。

策策同学想知道总共有多少条满足条件的路线,你能帮帮它吗?

为避免输出过大,答案对P取模。

如果有无穷多条合法的路线,请输出−1。

solution

正解:拓扑序DP

这题其实有两个拓扑序,一个是 \(dis[i]\) ,即1到 \(i\) 的最短路的长度,另外一个就是图本身的拓扑序了,我们单独拿出满足1到 任意一点\(i\) 最短路的边,然后做DP即可,状态设计为 \(f[i][j]\),表示到达点 \(i\),路径长度为 \(dis[i]+j\) 的方案数,然后枚举转移即可,判 \(-1\) 的方法很巧妙,因为边的长度为0,所以0环上的点的 \(dis\) 都满足拓扑序,也就是拓扑排序中会出现环,那么直接判掉即可,即如果存在某个0环上的一点 \(i\) 满足 \(dis[S][i]+dis[i][T]<=dis[S][T]+K\) 那么就有无穷多的方案数了

#include <algorithm>
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <queue>
#include <cmath>
#define RG register
#define il inline
#define iter iterator
#define Max(a,b) ((a)>(b)?(a):(b))
#define Min(a,b) ((a)<(b)?(a):(b))
using namespace std;
typedef long long ll;
const int N=200005,inf=2e8;
int f[2][N],mod,n,m,K,head[N],nxt[N<<1],to[N<<1],dis[N<<1],num=0;
bool vis[N],imp[N];int Head[N];
void link(int x,int y,int z){
nxt[++num]=head[x];to[num]=y;dis[num]=z;head[x]=num;}
void Link(int x,int y,int z){
nxt[++num]=Head[x];to[num]=y;dis[num]=z;Head[x]=num;} queue<int>q;
void priwork(bool t){
for(int i=1;i<=n;i++)vis[i]=0,f[t][i]=inf;
if(t==0)q.push(1),vis[1]=1,f[t][1]=0;
else q.push(n),vis[n]=1,f[t][n]=0;
while(!q.empty()){
int x=q.front();q.pop();
for(int i=(t?Head[x]:head[x]);i;i=nxt[i]){
RG int u=to[i];
if(f[t][x]+dis[i]<f[t][u]){
f[t][u]=f[t][x]+dis[i];
if(!vis[u])vis[u]=1,q.push(u);
}
}
vis[x]=0;
}
} int dp[N][55],d[N],sum=0,Q[N];
void solve(){
for(int i=1;i<=n;i++)
for(int j=head[i];j;j=nxt[j])
if(f[0][i]+dis[j]==f[0][to[j]])d[to[j]]++;
for(int i=1;i<=n;i++)if(!d[i])Q[++sum]=i;
RG int t=0;int x,u;
while(t!=sum){
x=Q[++t];
for(int i=head[x];i;i=nxt[i]){
u=to[i];
if(f[0][x]+dis[i]==f[0][u]){
d[u]--;
if(!d[u])Q[++sum]=u;
}
}
}
} void Clear(){
memset(dp,0,sizeof(dp));
for(RG int i=0;i<N;i++)Q[i]=d[i]=head[i]=Head[i]=imp[i]=0;
sum=0;num=0;
}
inline void add(RG int &x,int y){x+=y;if(x>=mod)x-=mod;}
void work()
{
Clear();
int x,y,z;
scanf("%d%d%d%d",&n,&m,&K,&mod);
for(int i=1;i<=m;i++){
scanf("%d%d%d",&x,&y,&z);
link(x,y,z);Link(y,x,z);
}
priwork(0);priwork(1);solve(); for(int i=1;i<=n;i++)
if(d[i]>0 && f[0][i]+f[1][i]<=f[0][n]+K){
puts("-1");return ;
} dp[1][0]=1;
for(int k=0;k<=K;k++){
for(int P=1;P<=sum;P++){
int i=Q[P];
if(!dp[i][k])continue;
for(RG int j=head[i];j;j=nxt[j]){
x=to[j];
if(f[0][i]+dis[j]==f[0][x])
add(dp[x][k],dp[i][k]);
}
}
for(RG int i=1;i<=n;i++){
if(!dp[i][k])continue;
for(RG int j=head[i];j;j=nxt[j]){
x=to[j];
if(f[0][i]+dis[j]!=f[0][x]
&& f[0][i]+k+dis[j]-f[0][x]<=K)
add(dp[x][f[0][i]+k+dis[j]-f[0][x]],dp[i][k]);
}
}
}
int ans=0;
for(int i=0;i<=K;i++)add(ans,dp[n][i]);
printf("%d\n",ans);
} int main()
{
freopen("park.in","r",stdin);
freopen("park.out","w",stdout);
int T;cin>>T;
while(T--)work();
return 0;
}

【NOIP 2017】逛公园的更多相关文章

  1. [NOIp 2017]逛公园

    Description 策策同学特别喜欢逛公园.公园可以看成一张$N$个点$M$条边构成的有向图,且没有 自环和重边.其中1号点是公园的入口,$N$号点是公园的出口,每条边有一个非负权值, 代表策策经 ...

  2. NOIP 2017 逛公园 记忆化搜索 最短路 好题

    题目描述: 策策同学特别喜欢逛公园.公园可以看成一张N个点MM条边构成的有向图,且没有 自环和重边.其中1号点是公园的入口,N号点是公园的出口,每条边有一个非负权值, 代表策策经过这条边所要花的时间. ...

  3. NOIP 2017 逛公园 - 动态规划 - 最短路

    题目传送门 传送门 题目大意 给定一个$n$个点$m$条边的带权有向图,问从$1$到$n$的距离不超过最短路长度$K$的路径数. 跑一遍最短路. 一个点拆$K + 1$个点,变成一个DAG上路径计数问 ...

  4. 洛谷 P3953 [ NOIP 2017 ] 逛公园 —— 最短路DP

    题目:https://www.luogu.org/problemnew/show/P3953 主要是看题解...还是觉得好难想啊... dfs DP,剩余容量的损耗是边权减去两点最短路差值...表示对 ...

  5. NOIP 2017 逛公园 题解

    题面 这道题是一道不错的计数类DP: 首先我们一定要跑一遍dijkstra来求得每个点到1号点的最短路: 注意题干,题中并没有说所有点都可以到达n好点,只说了存在一条1号点到n号点的路径:所以我们在反 ...

  6. [NOIP 2017 day1]逛公园

    题目描述 策策同学特别喜欢逛公园. 公园可以看成一张 N 个点 M 条边构成的有向图,且没有自环和重边.其中 1 号点是公园的入口, N 号点是公园的出口,每条边有一个非负权值,代表策策经过这条边所要 ...

  7. 逛公园[NOIP2017 D2 T3](dp+spfa)

    题目描述 策策同学特别喜欢逛公园. 公园可以看成一张 \(N\)个点\(M\) 条边构成的有向图,且没有自环和重边.其中 1号点是公园的入口,N号点是公园的出口,每条边有一个非负权值,代表策策经过这条 ...

  8. NOIP2017 Day1 T3 逛公园

    NOIP2017 Day1 T3 更好的阅读体验 题目描述 策策同学特别喜欢逛公园.公园可以看成一张\(N\)个点\(M\)条边构成的有向图,且没有 自环和重边.其中1号点是公园的入口,\(N\)号点 ...

  9. [Luogu P3953] 逛公园 (最短路+拓扑排序+DP)

    题面 传送门:https://www.luogu.org/problemnew/show/P3953 Solution 这是一道神题 首先,我们不妨想一下K=0,即求最短路方案数的部分分. 我们很容易 ...

随机推荐

  1. 解决flask的端口占用

    问题:socket.error: [Errno 48] Address already in use 在编辑flask代码时,如果没有关闭flask的程序,默认的5000端口一直被占用. 再次运行fl ...

  2. 关于Mac OS 使用GIT的引导

    1. 下载Git installer 链接地址:https://ncu.dl.sourceforge.net/project/git-osx-installer/git-2.14.1-intel-un ...

  3. TRY

  4. 201621123057 《Java程序设计》第5周学习总结

    1. 本周学习总结 1.1 写出你认为本周学习中比较重要的知识点关键词 接口,interface,implements,方法签名,has-a,Comparable,Comparator. 1.2 尝试 ...

  5. linux 下 nc 命令的使用

    netcat被誉为网络安全界的'瑞士军刀',一个简单而有用的工具,透过使用TCP或UDP协议的网络连接去读写数据.它被设计成一个稳定的后门工具,能够直接由其它程序和脚本轻松驱动.同时,它也是一个功能强 ...

  6. 【TensorFlow随笔】关于一个矩阵与多个矩阵相乘的问题

    问题描述: Specifically, I want to do matmul(A,B) where  'A' has shape (m,n)  'B' has shape (k,n,p) and t ...

  7. datable转xml

    /// <summary> /// datatable转换xml /// </summary> /// <param name="xmlDS"> ...

  8. 解决yii2中 Class yii/web/JsonParser does not exist, ReflectionException问题

    最近在调试RESTful API示例时,出现以下错误: { "name": "Exception", "message": "Cl ...

  9. Mego(06) - 关系数据库建模

    框架中提供了多种数据注释以便可以全面的描述数据库结构特性. 自增列 可以使用注释声明指定列是数据库自增列,同时能指定自增的起始及步长. public class Blog { [Identity(, ...

  10. Python内置函数(13)——bytearray

    英文文档: class bytearray([source[, encoding[, errors]]]) Return a new array of bytes. The bytearray cla ...