Address
Algorithm 1
设 表示是否存在终点在点 且权值和模 的值为 的路径,对每组询问记忆化搜索即可,时间复杂度 ,期望得分 。
Algorithm 2
针对 的数据。
询问时 到 之间的任意一条路径可以看做是 到 之间的某一条路径再加上连通块中若干个环的边权和的和,所以可以用并查集维护出每个点到并查集根的任意一条路径的边权和,一旦所在连通块中存在边权和为 的环,就可以构造出任意权值的路径,否则 之间的路径和可以看做是到并查集根的路径和。
时间复杂度 ,结合算法一期望得分 。
Algorithm 3
针对 是质数的数据。
由同余的理论可知:
的情况用算法二处理。
对于 的情况下, 询问时若 所在连通块中存在边权 模 的值不为 的边,因为 ,由上述理论可知,我们只要在走到这条边上之后在这条边上不停地绕圈,就可以构造出任意权值的路径,因此在用并查集维护时额外记录连通块是否存在边权模 的值不为 的边即可。
时间复杂度 ,结合前述算法期望得分 。
Algorithm 4
针对 是奇数的数据。
同样地,询问时对于
所在连通块中边权为
的边,因为
,设连通块中的边集为
,则
间所有路径的边权和组成的集合为:
令
,因为
是一个等差数列,对于合法的
可以列出一个同余方程:
用扩展欧几里得算法解之即可,若有解,求出最小正整数解
,则解集为
,不难算出
内的解数。
同样用并查集维护连通块内所有边权和 的 即可。
时间复杂度 ,结合前述算法期望得分 。
Algorithm 5
考虑 没有任何限制的情况。
类似算法二,我们可以把 之间的任意一条路径表示成 之间的某一条路径加上 和连通块中所有环边权和的 的若干倍。
在路径中加入一个环可以通过以下方式构造:在从点 到这个环的路径上来回走 遍,在中间的某一次加入这个环。
我们只需要在加入一条边时,加入绕这条边一圈的边权和以及这条边和原来的那些边新形成的某一个环的边权和,就可以维护出所有环边权和的 。
考虑这样做的正确性,我们只需要讨论将两个环合并的合法性,合并时只有以下两种情况:
-
若两个环只有一个交点,设两环的边权和为 ,显然有 ;
-
若两个环的交是一条链,且链的边权和为 ,设两环的边权和为 ,我们只需要证明:
由辗转相减法,可得:
显然最后划得的结果整除 ,原命题得证。
同算法四对 列出同余方程解之即可。
时间复杂度 ,期望得分 。
Code
#include <bits/stdc++.h>
const int S = 1 << 20;
char frd[S], *ihead = frd + S;
const char *itail = ihead;
inline char nxtChar()
{
if (ihead == itail)
fread(frd, 1, S, stdin), ihead = frd;
return *ihead++;
}
template <class T>
inline void read(T &res)
{
char ch;
while (ch = nxtChar(), !isdigit(ch));
res = ch ^ 48;
while (ch = nxtChar(), isdigit(ch))
res = res * 10 + ch - 48;
}
char fwt[S], *ohead = fwt;
const char *otail = ohead + S;
inline void outChar(char ch)
{
if (ohead == otail)
fwrite(fwt, 1, S, stdout), ohead = fwt;
*ohead++ = ch;
}
template <class T>
inline void put(T x)
{
if (x > 9)
put(x / 10);
outChar(x % 10 + 48);
}
typedef long long ll;
const int N = 1e6 + 5;
int sze[N], fa[N], d[N], g[N];
int n, m, q;
inline ll exgcd(ll a, ll b, ll &x, ll &y)
{
if (!b)
return x = 1, y = 0, a;
ll e = exgcd(b, a % b, y, x);
y -= a / b * x;
return e;
}
inline void add(int &x, int y)
{
x += y;
x >= m ? x -= m : 0;
}
inline void dec(int &x, int y)
{
x -= y;
x < 0 ? x += m : 0;
}
inline int ufs_find(int x)
{
if (fa[x] != x)
{
int t = ufs_find(fa[x]);
add(d[x], d[fa[x]]);
fa[x] = t;
return t;
}
return x;
}
int main()
{
freopen("path.in", "r", stdin);
freopen("path.out", "w", stdout);
read(n); read(m); read(q);
for (int i = 1; i <= n; ++i)
{
sze[i] = 1;
fa[i] = i;
d[i] = 0;
g[i] = m;
}
int opt, u, v, x, b, c;
while (q--)
{
read(opt);
read(u); read(v); read(x);
int tu = ufs_find(u),
tv = ufs_find(v);
if (opt == 1)
{
if (tu == tv)
{
int w1 = d[u], w2 = x;
add(w1, d[v]);
add(w1, x);
add(w2, x);
g[tu] = std::__gcd(g[tu], std::__gcd(w1, w2));
}
else
{
if (sze[tu] > sze[tv])
std::swap(tu, tv), std::swap(u, v);
sze[tv] += sze[tu];
fa[tu] = tv;
d[tu] = d[u];
add(d[tu], d[v]);
add(d[tu], x);
int w = x;
add(w, x);
g[tv] = std::__gcd(w, std::__gcd(g[tv], g[tu]));
}
}
else
{
read(b); read(c);
if (tu != tv)
outChar('0');
else
{
int w = d[u];
add(w, d[v]);
dec(w, x);
w %= g[tu];
ll x, y, e = exgcd(b, g[tu], x, y);
if (w % e != 0)
outChar('0');
else
{
ll tmp = g[tu] / e;
x = x % tmp;
x < 0 ? x += tmp : 0;
x = x * w / e % tmp;
if (x >= c)
outChar('0');
else
put((c - 1 - x) / tmp + 1);
}
}
outChar('\n');
}
}
fwrite(fwt, 1, ohead - fwt, stdout);
fclose(stdin); fclose(stdout);
return 0;
}