luoguP3403 跳楼机

链接

点击跳转

同余最短路

我们知道，当$a,b\in N^{\ast },x,y\in Z$时，$ax+by$的值域是 { k ( a , b ) ∣ k ∈ Z } \{k(a,b)|k \in Z\} {k(a,b)∣k∈Z}

那么，考虑这样一个问题，当$a,b\in N^{\ast },x,y\in N^{\ast }$时，$ax+by$的值域是什么？

稍微列举一些数字，就会发现这个值域似乎不再呈现出明显的规律性

假设$ax+by=c$

那么显然$ax=c-by$，换句话说$c\equiv by(\mathrm{m}\mathrm{o}\mathrm{d}a)$

那也就是说$by$模$a$的余数集合中的每个数加上若干倍的$a$，就是能得到$c$的全部值

而$by$模$a$的余数集合显然就是 { 0 , ( a , b ) , 2 ( a , b ) , … , a − ( a , b ) } \{0,(a,b),2(a,b),\dots,a-(a,b)\} {0,(a,b),2(a,b),…,a−(a,b)}

所以我们就得到了这个函数的值域了

但是对于更复杂的情况，比如$ax+by+cz$的值域呢？

进行同样的转化之后，得到$ax=d-(by+cz)$，$d\equiv by+cz(\mathrm{m}\mathrm{o}\mathrm{d}a)$

那也就是$by+cz$在模$a$意义下的余数集合每个数加上若干倍的$a$得到$d$的取值范围

这个余数集合怎么求呢，一个很暴力的想法就是开一个数组记录每种值能否组合出来，从$0$开始$bfs$即可求出整个数组

而如果我把这个数组改成“能组合出这个余数的最小真实值”，并且把$BFS$改成$dijkstra$的话，就能做更多事情了，这也就是同于最短路

代码

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
#define iinf 0x3f3f3f3f
#define linf (1ll<<60)
#define eps 1e-8
#define maxn 1000010
#define maxe 1000010
#define cl(x) memset(x,0,sizeof(x))
#define rep(i,a,b) for(i=a;i<=b;i++)
#define drep(i,a,b) for(i=a;i>=b;i--)
#define em(x) emplace(x)
#define emb(x) emplace_back(x)
#define emf(x) emplace_front(x)
#define fi first
#define se second
#define de(x) cerr<<#x<<" = "<<x<<endl
using namespace std;
using namespace __gnu_pbds;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> pii;
typedef pair<ll,ll> pll;
ll read(ll x=0)
{
    ll c, f(1);
    for(c=getchar();!isdigit(c);c=getchar())if(c=='-')f=-f;
    for(;isdigit(c);c=getchar())x=x*10+c-0x30;
    return f*x;
}
ull h, x, y, z, dis[maxn], p;
void dijkstra(vector<ull> v)
{
    priority_queue< pair<ull,ull>, vector< pair<ull,ull> >, greater< pair<ull,ull> > > heap;
    ull i;
    rep(i,1,p-1)dis[i]=-1;
    heap.em( make_pair( dis[0], ull(0) ) );
    while(!heap.empty())
    {
        auto pr = heap.top(); heap.pop();
        if(pr.fi>dis[pr.se])continue;
        for(auto x:v)
        {
            auto to = (pr.se+x)%p;
            if(dis[to]>pr.fi+x)
            {
                dis[to] = pr.fi+x;
                heap.em( make_pair(dis[to],to) );
            }
        }
    }
}
int main()
{
    ull ans(0), i;
    cin >> h >> x >> y >> z;
    p = x;
    dijkstra({y,z});
    rep(i,0,p-1)
    {
        if(dis[i]<h)ans += (h-dis[i])/p+!!((h-dis[i])%p);
    }
    cout << ans << endl;
    return 0;
}