33OJ
登录 注册

#P17659. [IO 2025 #3] 费斯特大定理

[IO 2025 #3] 费斯特大定理

题目描述

奈落学院的学生星期三·亚当斯一如既往地进行着她阴暗的实验。最近,她在费斯特叔叔的一本旧笔记里发现了一个奇怪的公式:an+bn=cna^n+b^n=c^n。

这个公式看起来简单得有些可疑。星期三决定检查:对于不同的 nn 和 cc,它是否至少存在一组自然数解。

姑且认为,当 n>2n>2 时确实没有解——费斯特叔叔在公式旁边的页边空白处写下了一个出奇简单的证明,星期三不打算对此提出异议。当 n=2n=2 时,这个方程让她产生了一种无理的厌恶,因此她也不会考虑这种情况。这样就只剩下非负的 n<2n<2,她将检查这些情况下方程是否有解。

你的任务是帮助星期三:给定 nn 和 cc,判断是否存在一对 (a,b)(a,b),使 an+bn=cna^n+b^n=c^n 成立。具体允许的整数取值见输出格式。

请记住,000^0 没有意义。如果计算中出现这种情况,星期三就认为等式不成立。

输入格式

唯一一行包含两个以空格分隔的整数 nn 和 cc,表示费斯特叔叔公式中的方程参数。

数据范围:0≤n≤10\le n\le1,−109≤c≤109-10^9\le c\le10^9。

输出格式

如果存在整数 a,b∈[−109,109]a,b\in[-10^9,10^9],使 an+bn=cna^n+b^n=c^n 成立,第一行输出 YES,第二行输出以空格分隔的整数 aa 和 bb。

如果没有解,只输出一行 NO。

注意:即使 a,ba,b 满足方程,但只要不满足 ∣a∣,∣b∣≤109|a|,|b|\le10^9,也不会被接受。

1 5
YES
2 3