結果

問題 No.2191 一元二次式 mod 奇素数
ユーザー tassei903
提出日時 2023-01-13 22:17:01
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 50 ms / 2,000 ms
コード長 1,110 bytes
コンパイル時間 202 ms
コンパイル使用メモリ 82,688 KB
実行使用メモリ 52,480 KB
最終ジャッジ日時 2024-12-24 17:55:04
合計ジャッジ時間 2,528 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################
def mul_quad(a, b, theta, p):
    x = a[0] * b[0] + theta * a[1] * b[1]
    x %= p
    y = a[0] * b[1] + a[1] * b[0]
    y %= p
    return x, y

def pow_quad(a, n, theta, p):
    res = (1, 0)
    while n:
        if n & 1:
            res = mul_quad(res, a, theta, p)
        a = mul_quad(a, a, theta, p)
        n >>= 1
    return res

def cipolla(a, p):
    a %= p
    if p == 2:
        return a
    if a == 0:
        return 0
    if pow(a, (p - 1) // 2, p) != 1:
        return -1
    c = 0
    while pow((c * c - a) % p, (p - 1) // 2, p) == 1:
        c += 1
    theta = (c * c - a) % p
    res = pow_quad((c, 1), (p + 1) // 2, theta, p)
    return res[0]



p = ni()
k = (p-1)//2
z = cipolla((1-4*k*k-16*k)%p, p)
if z == -1:
    NO()
else:
    YES()
0