QOJ.ac

QOJ

時間限制: 3.0 s 記憶體限制: 256 MB 總分: 100 可 Hack ✓

#9299. ABC 猜想

统计

ABC 猜想(也称为 Oesterlé–Masser 猜想)是数论中一个著名的猜想,由 Joseph Oesterlé 和 David Masser 首次提出。其形式化表述如下:

对于每一个正实数 $\varepsilon$,仅存在有限多个正整数三元组 $(a, b, c)$ 满足: 1. $a$ 和 $b$ 互质; 2. $a + b = c$;以及 3. $c > \text{rad}(abc)^{1+\varepsilon}$,

其中 $$\text{rad}(n) = \prod_{\substack{p|n \\ p \in \text{Prime}}} p$$ 是 $n$ 的所有不同质因子的乘积。

望月新一(Shinichi Mochizuki)声称在 2012 年 8 月证明了该猜想。后来,望月新一的证明被宣布将在《数理解析研究所纪要》(Publications of the Research Institute for Mathematical Sciences,简称 RIMS)上发表,该期刊由望月新一担任主编。

图 1:望月新一

Spike 是一位数论爱好者,他也想证明 ABC 猜想。然而,由于能力有限,他转而研究 ABC 猜想的一个弱化版本,其形式化表述如下:

给定一个正整数 $c$,判断是否存在正整数 $a, b$,使得 $a + b = c$ 且 $\text{rad}(abc) < c$。

请注意,在原始的 ABC 猜想中,正整数 $a$ 和 $b$ 被要求互质。然而,由于 Spike 解决的是该问题的简化版本,这一要求已被移除。

输入格式

第一行包含一个整数 $T$ ($1 \le T \le 10$),表示测试用例的数量。 接下来的行包含 $t$ 个测试用例的描述。每个测试用例包含一行,其中包含一个整数 $c$ ($1 \le c \le 10^{18}$)。

输出格式

对于每个测试用例,如果存在两个正整数 $a, b$ 满足 $a + b = c$ 且 $\text{rad}(abc) < c$,则输出 yes,否则输出 no

样例

样例输入 1

3
4
18
30

样例输出 1

yes
yes
no

说明

对于第一个测试用例,我们有 $2 + 2 = 4$ 且 $\text{rad}(2 \times 2 \times 4) = 2 < 4$。 对于第二个测试用例,我们有 $6 + 12 = 18$ 且 $\text{rad}(6 \times 12 \times 18) = 6 < 18$。 对于第三个测试用例,没有解。

Editorials

IDTypeStatusTitlePosted ByLast UpdatedActions
#224EditorialOpen题解jiangly2025-12-13 00:19:05View

Discussions

About Discussions

The discussion section is only for posting: General Discussions (problem-solving strategies, alternative approaches), and Off-topic conversations.

This is NOT for reporting issues! If you want to report bugs or errors, please use the Issues section below.

Open Discussions 0
No discussions in this category.

Issues

About Issues

If you find any issues with the problem (statement, scoring, time/memory limits, test cases, etc.), you may submit an issue here. A problem moderator will review your issue.

Guidelines:

  1. This is not a place to publish discussions, editorials, or requests to debug your code. Issues are only visible to you and problem moderators.
  2. Do not submit duplicated issues.
  3. Issues must be filed in English or Chinese only.
Active Issues 0
No issues in this category.
Closed/Resolved Issues 0
No issues in this category.