CF number theory 自制题单（二）

本文链接：https://blog.csdn.net/qq_45812711/article/details/119614734

CF number theory 2000 ~ 2100

目标 15 道题

1. Problem - B2 - Codeforces (再写)

给一个长度为 $\le 10^6)$ 序列， $a_i \le 10^6$ . 一次可以让一个位置（此位置的数字必须是正数）的数字减1，相邻的一个位置加1. 问最少进行多少次操作，可以存在 $k > 1$ ，使得每个数字都可以被 $k$ 整除。

注意这个质因数分解直接暴力分解没有问题。

$k$ 我们只需要枚举 $\sum a_i$ 的所有质因子即可。然后计算操作数的时候，贪心一下，当前第 $i$ 个位置，设 $a_i \bmod p$ . 要么往后仍 $b$ 个，要么从后面拿 $p - b$ 个. 这样子处理一遍就可以了.

2. Problem - 1419E - Codeforces

给一个合数 $\le 10^9)$ . 要求将 $n$ 的所有大于 $1$ 的因数排成一个环，使得相邻的两个数互质的次数尽可能的少.

这个很好构造，假设 $n$ 的质因子为 $p_1, p_2,...,p_k$ ，那么构造成 $n, p_1, ..., p_1p_2,p_2,...,p_2p_3,p_3...$ 就可以让相邻互质的数尽可能的少.

3. Problem - 1359E - Codeforces

给 $\le 10^5)$ ，问有多少个序列满足这样的条件： $\le a_1 < a_2 < ... < a_n \le k$ ，且对于任意的 $\sim n$ 的排列 $p$ ，有 $\bmod a_1) \bmod a_2) \dots \bmod a_{k - 1}) \bmod a_k = (((x \bmod a_{p_1}) \bmod a_{p_2}) \dots \bmod a_{p_{k - 1}}) \bmod a_{p_k}$ .

有一个充要条件，就是满足 $\bmod a)\bmod b = (x \bmod b)\bmod a$ ，当且仅当 $a, b$ ，一个数是另一个数的倍数. 那么其实就是，对于 $a_2,a_3,...,a_n$ ，都有 $a_1 \mid a_i$ ，那么这个序列就是成立的。答案就是 $\sum\limits_{i=1}^{k}C_{\frac{k}{i}-1}^{n-1}$ .

4. Problem - 1244C - Codeforces

给 $d\ (1 \le n \le 10^{12}, 0 \le p \le 10^{17}, 1 \le d < w \le 10^{5})$ . 找到一组非负整数 $(x, y . z)$ ，满足
$\cdot w + y \cdot d = p \\ x + y + z = n$

用扩展欧几里得就可以求出来 $a x + b y = 1$ 的一组解，然后想办法让 $x + y$ 的值尽可能地小就可以了。注意中间过程会爆 long long.

5. Problem - 1210C - Codeforces

给一棵 $n$ 个节点的树，每个点都有点权，问所有 $(u, v)$ （保证 $u$ 是 $v$ 的祖先），从 $u$ 到 $v$ 的路径，经过节点的 $\gcd$ 之和是多少。即求
$\sum_{u\text{ is an ancestor of }v} f(u, v)$

其实深搜下去就可以了. 还是和序列一样的做法，每次新开一个 vector 储存变化的 $\gcd$ 结点即可.

void dfs(int u, int fa, const vector<P>& vec)
{
    vector<P> res;
    for(auto p : vec)
    {
        p.x = __gcd(p.x, w[u]);
        if(res.empty() || res.back().x != p.x) res.eb(p);
        else
        {
            res.back().y += p.y;
        }
    }
    res.eb(mp(w[u], 1));
    for(auto p : res)
    {
        ans = add(ans, mul(p.x, p.y));
    }
    for(int i = h[u]; i != -1; i = ne[i])
    {
        int v = e[i];
        if(v == fa) continue;
        dfs(v, u, res);
    }
}

6. Problem - 1184A2 - Codeforces

不会写
给一个长为 $n$ 的 01 串 $s$ ，问有多少个 $\le k < n)$ ，使得存在 $x$ ，使得 $\oplus \operatorname{shift^k}(x) = s$ .

暴力判断所有长度为 $\gcd(i,n)$ 的. 判断的时候，把每一个环上的数字都异或起来，只有每个环都是0的时候，才合法.

7. Problem - 1166E - Codeforces

首先是 $n$ 个数，然后有 $m$ 次划分，每一次输入第一部分（下标），第一部分的补给为第二部分。然后问你能否（给 $a$ 数组赋值）保证每一次的第一部分的数的 lcm 严格大于第二部分的 lcm。

假设有 $5$ 个数字，第一次输入是 $1, 2$ ，第二次输入是 $3, 4$ . 那么 $\ge lcm(1,2) > lcm(3,4,5) \ge lcm(3,4)$ . 因此，如果第二次输入是 $3, 4$ . 则不成立.

换句话说，集合之间必须两两有交集. 这个不等价于判断所有集合的交集是否为空. 举个例子， $12, 23, 13$ 三个集合交集为空但是两两交集不为空. 因此用一个 bitset 暴力判断即可.

8. Problem - 1146D - Codeforces

一个青蛙在原点 $0$ ，可以做两个操作，一个是向右跳 $a$ ，一个是向左跳 $b$ . $f (x)$ 表示只能在 $[0, x]$ 之内移动，能够到达的点的数量. 求 $\sum\limits_{i=0}^{m}f(i)$ .

首先当 $a, b$ 互质时，若 $\ge a + b$ ，则所有点都可以到达。因为 $s a - t b = 1$ . 一定可以在右端点不超过 $a + b$ 的前提下到达 $[0, a - 1]$ 的每一个点.

因此，前面一小段可以深搜得到， $[a + b, m]$ 是一个等差数列。注意每一段的长度都是 $\gcd(a,b)$ .

void dfs(int i, int t)
{
    if(i + a <= n && f[i + a] > max(f[i], i + a))
    {
        f[i + a] = max(f[i], i + a);
        dfs(i + a, f[i + a]);
    }
    if(i - b >= 0 && f[i - b] >= t)
    {
        f[i - b] = t;
        dfs(i - b, t);
    }
}

9. Problem - 1101D - Codeforces

给 $n\ (n \le 2 \times 10^5)$ 个结点的树，每个结点的权值是 $w_i\ (w_i \le 2 \times 10^5)$ . 问在 $\gcd > 1$ 的路径之中，路径长度最大是多少.

$\gcd > 1$ 当且仅当这个路径中的结点都存在相同的质因子。因此我们可以考虑枚举质因子。具体来讲，把每个节点分解质因数，然后对每个质因子，看包含此质因子的子结点可以往下延伸多少。然后最长路径就是当前节点加上两个子结点构成的路径。

包含此质因子的子结点，向下延伸的最长路径，可以用一个 map 来存储.

10. Problem - 1033D - Codeforces

给 $n\ (n \le 500)$ 个数字 $\le a_i \le 2 \times 10^{18}$ ，保证每个 $a_i$ 都有 $\sim 5$ 个因子. 问 $\prod a_i$ 的因子个数.

因为至多 $500$ 个数字. 有四种情况，即 $pq, p^2, p^3, p^4$ . 后三种情况开平方，开立方就可以求，第一种情况不可以用 Pollard Rho 算法，会超时. 应该把它和其他数求一下 $\gcd$ . 如果 $\gcd \ne 1$ 且 $\gcd \ne a_i$ ，那么 $gcd, a_i / \gcd$ 就是两个质因子. 否则 $p, q$ 没有出现在其他数字中，就可以直接算进答案中而不需要具体知道 $p, q$ 是什么.

注意输入重复数字的情况.

11. Problem - 1029F - Codeforces

给出a块红砖，b块蓝砖，现在用这些转拼矩形，要求两种颜色形成大矩形的同时，其中至少一种颜色的砖块也要形成矩形，问：他们所形成的所有矩形中，最小周长是多少。

div3 的题还是比 div2 的简单一些. 没啥好说的

12. Problem - 1025D - Codeforces

不会写

给 $n\ (n \le 700)$ 个数字， $a_i \le 10^9$ . 问能否构造一棵二叉搜索树，使得树的相邻节点的 $\gcd > 1$ .

如果定义 $d p (l, r, r o o t)$ ，表示 $[l, r]$ 之间，以 $r o o t$ 为根能否构成一棵二叉树. 这样子是一个 $O(n^4)$ 的区间 $d p$ .

不过可以这样定义， $d p (l, r, 0)$ 表示 $[l, r]$ 之间的子树可以作为 $r + 1$ 为根节点时的左子树， $d p (l, r, 1)$ 表示 $[l, r]$ 之间的子树可以作为 $l - 1$ 为根节点时的右子树. 这样子就可以变成 $O(n^3)$ 的区间 $d p$ 了.

13. Problem - 980D - Codeforces

定义一个数组的答案：将这个数组分成 $k$ 组，每组里面任意一对数字乘积都是平方数， $k$ 要最小。题目给出长为 $n\ (n \le 5000)$ 的数组 $a\ (a_i \le 10^8)$ ，要你求每个子数组的答案，最后输出答案为 $1, 2, 3, . . ., n$ 的子数组各有多少个.

把每个数字都变换一下，把所有质因子的幂次都模 $2$ . 然后一个子区间可以划分的组数最小值就是这个区间变化后的数字的种类数. 这个枚举所有子区间就可以了. 但是有一个需要注意的是，最快的做法就是用 vector 离散化，然后用数组记录他们是否出现过. 这个只用了 70ms 左右. 如果在每次统计的时候开一个 unordered_map 就会超时. 也就是说 unordered_map 常数非常大.

14. Problem - 955C - Codeforces

有 $Q\ (Q \le 10^5)$ 个询问，每次询问 $R]\ (1\le L, R \le 10^{18})$ . 问有多少个 $\le x \le R$ ，满足存在 $a > 0, p > 1$ ，有 $x = a^p$ .

注意到 $p$ 最多是60，然后我就设计了带 $log^3n$ 的做法，枚举 $p$ 然后二分一下就可以了，然后枚举1950ms 卡过去了. 也就是找到 $\ge L$ 的最大的 $a_l$ ，以及 $a^p \le R$ 的最小的 $a_r$ . 然后答案加上 $\mu(p) * (a_r - a_l + 1)$ . $\mu(p)$ 是莫尼乌斯函数，去重用的.

注意 std 中的 pow 函数浮点数误差会影响答案。可以把 pow 函数写成这个样子.

i64 pow(i64 x, int n)
{
    if(std::pow(x, n) > 1e18 + 10) return INF;
    i64 res = 1;
    while(n)
    {
        if(n & 1) res = res * x;
        x = x * x;
        n >>= 1;
    }
    return res;
}