神仙建模题。
Description
一栋有 (h) 层的楼，初始位置为 (1)，有如下操作：
- 向上移动 (x) 层；
- 向上移动 (y) 层；
- 向上移动 (z) 层；
- 回到 (1) 层。
问可以到达的楼层数。
Solution
首先数据 (hle 2^{63}-1) 暴搜显然不行。然后就考虑楼层之间的关系。
比较容易想到的是，以楼层为点来建图。但是如果直接暴力建每个楼层之间的关系的边，同样会因为数据范围太大而爆炸。
所以我们换个思路，考虑给出的操作之间的关系。
我们可以先处理其中两种上升操作，然后将这些情况求出来，再反过来找第三种上升操作能达到的新楼层。
这里设 ( ext{dis}(i)) 表示只用操作 (2) 和 (3) 能到达的在 (mod x) 意义下能到达 (i) 的最小楼层。
然后可以得出：
(egin{cases} ext{dis}[(i+y)mod x]=min{ ext{dis}(imod x)+y}\ ext{dis}[(i+z)mod x]=min{ ext{dis}(imod x)+z} end{cases})
这和我们的最短路更新方式很相似。
我们就可以考虑将 (i+y,i+z) 作为点，用最短路求出所有的 ( ext{dis}(i)) ((iin [0,x)))。
接下来我们考虑 ( ext{dis}) 的作用。
如果我们知道只通过操作 (2,3) 能到达的最小高度，这说明在此基础上能达到的剩下的楼层只需要由操作 (1) 来补全即可。
如果上面的话不理解可以手动模拟一下。而且可以保证没有漏掉的情况。
所以求出所有的 ( ext{dis}) 之后，答案就是 (large{sum_{i=0}^{x-1}[frac{(h- ext{dis}(i))}{x}+1]}) (( ext{dis}(i)le h))。
上面这个式子也可以手动模拟一下，应该不是很难理解。
至于为什么每次答案要加一，因为我们每次统计答案要加上 ( ext{dis}(i)) 这层本身。
Other things
但是还是存在 (h) 太大的问题，并且考虑到真正需要的下标都在 ([0,x)) 范围内，所以我们只在这个范围内建边就好了。
另外要注意，因为楼层高度范围是 ([1,h])，所以 ( ext{dis}(1)=1)。
最后，如果 (x,y,z) 中有至少一个是 (1)，就说明所有的楼层都可达，此时上面的都是扯淡，答案是 (h)。
剩下的细节都在代码里（也没什么细节）。
Code
#include<queue>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#define maxn 200100
#define INF 0x3f3f3f3f
#define int long long
using namespace std;
bool vis[maxn];
int h,x,y,z,tot,ans;
int Dis[maxn],head[maxn];
struct edge{int fr,to,dis,nxt;}e[maxn<<2];
int read(){
int s=0,w=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')w=-1;ch=getchar();}
while(ch>='0'&&ch<='9')s=(s<<1)+(s<<3)+ch-'0',ch=getchar();
return s*w;
}
void add(int fr,int to,int dis){
e[++tot]=(edge){fr,to,dis,head[fr]};head[fr]=tot;
}
void SPFA(){
memset(Dis,INF,sizeof Dis);
memset(vis,false,sizeof vis);
deque<int> q;q.push_back(1);
Dis[1]=1;vis[1]=true;
while(!q.empty()){
int u=q.front();
q.pop_front();vis[u]=false;
for(int i=head[u];i;i=e[i].nxt){
int to=e[i].to;
if(Dis[to]>Dis[u]+e[i].dis){
Dis[to]=Dis[u]+e[i].dis;
if(!vis[to]){
vis[to]=1;
if(!q.empty()&&Dis[q.front()]>Dis[to])q.push_front(to);
else q.push_back(to);
}
}
}
}
}
signed main(){
h=read();
x=read();y=read();z=read();
if(x==1||y==1||z==1){cout<<h;return 0;}
for(int i=0;i<x;i++)
add(i,(i+y)%x,y),add(i,(i+z)%x,z);
SPFA();
for(int i=0;i<x;i++)
if(Dis[i]<=h) ans+=(h-Dis[i])/x+1;
printf("%lld
",ans);
return 0;
}