专栏文章
题解:CF2167D Yet Another Array Problem
CF2167D题解参与者 1已保存评论 0
文章操作
快速查看文章及其快照的属性,并进行相关操作。
- 当前评论
- 0 条
- 当前快照
- 1 份
- 快照标识符
- @min3rgm8
- 此快照首次捕获于
- 2025/12/01 20:05 3 个月前
- 此快照最后确认于
- 2025/12/01 20:05 3 个月前
思考
不难注意到,若想选择一个最小的数 ,使得这一个数与集合 中的所有数字互质,那么 一定是质数,所以我们枚举所有质数一一判断是否满足条件,我们可以转化为证明这个问题。
设 是一个集合,其中每个 。
选择最小的 ,使得
证明这样的 一定是质数。
证明
我们考虑使用反证法。假设 不是质数,则 为合数。
由于 且为合数, 至少有一个质因数 ,满足 且 。
由于 与所有 互质,即 对所有 成立。
我们考虑质因数 :
如果存在某个 使得 ,则由于 是质数,有 。
又因为 ,可得 ,从而 。
这与 矛盾。
因此, 必须与所有 互质,即 对所有 成立。
但 且 ,这与 是满足条件的最小整数矛盾。
故假设不成立, 必为质数。
故所以我们枚举所有质数是正确的。
相关推荐
评论
共 0 条评论,欢迎与作者交流。
正在加载评论...