#ATarc118d. [ARC118D] Hamiltonian Cycle

[ARC118D] Hamiltonian Cycle

题目描述

给定素数 PP 以及正整数 a, ba,\ b。请判断是否存在一个长度为 PP 的整数序列 A=(A1,A2,,AP)A = (A_1, A_2, \ldots, A_P),满足以下所有条件。如果存在,请输出其中一个满足条件的序列。

  • 1AiP11 \leq A_i \leq P-1
  • A1=AP=1A_1 = A_P = 1
  • (A1,A2,,AP1)(A_1, A_2, \ldots, A_{P-1})(1,2,,P1)(1, 2, \ldots, P-1) 的一个排列
  • 对于任意 2iP2 \leq i \leq P,下列四个条件至少有一个成立:
    • AiaAi1(modP)A_i \equiv aA_{i-1} \pmod{P}
    • Ai1aAi(modP)A_{i-1} \equiv aA_i \pmod{P}
    • AibAi1(modP)A_i \equiv bA_{i-1} \pmod{P}
    • Ai1bAi(modP)A_{i-1} \equiv bA_i \pmod{P}

输入格式

输入从标准输入读入,格式如下:

PP aa bb

输出格式

如果存在满足条件的整数序列 AA,输出 Yes,否则输出 No。如果输出 Yes,第二行输出该整数序列 AA 的各个元素,空格分隔。

A1 A2  APA_1\ A_2\ \ldots\ A_P

如果存在多个满足条件的序列,输出任意一个均可。

样例 1

输入

13 4 5

输出

Yes
1 5 11 3 12 9 7 4 6 8 2 10 1

样例 2

输入

13 1 2

输出

Yes
1 2 4 8 3 6 12 11 9 5 10 7 1

样例 3

输入

13 9 3

输出

No

样例 4

输入

13 1 1

输出

No

说明/提示

数据范围

  • 2P1052 \leq P \leq 10^5
  • PP 是素数
  • 1a,bP11 \leq a, b \leq P-1

样例解释 1

P=13P=13 为例,满足以下条件:

  • A25A1A_2 \equiv 5A_1
  • A24A3A_2 \equiv 4A_3
  • \vdots
  • A134A12A_{13} \equiv 4A_{12}

可以确认该整数序列满足所有条件。

由 ChatGPT 4.1 翻译