問題の不具合について

次の制約を追加すると、正しい問題になります。採点用データにはそのような入力しか含まれません。

【制約】生徒の成績 \(x_0, \ldots, x_{NM-1}\) について次のどちらかが成り立つ。

• \(x_0, x_1, x_2, \ldots, x_{NM-1}\) はすべて相異なる
• \(x_1, x_2, \ldots, x_{NM-1}\) はすべて等しい

上記の制約は \(p\) が素数ならば必ず成り立ちます。採点用データには、素数でない \(p\) が含まれますが、上記のどちらかが成り立つ入力しか含まれていません。公式解説も、これらのどちらかの性質を前提としたものになっています。