結果
| 問題 | 
                            No.2191 一元二次式 mod 奇素数
                             | 
                    
| コンテスト | |
| ユーザー | 
                             MasKoaTS
                         | 
                    
| 提出日時 | 2022-11-17 13:46:36 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 143 ms / 2,000 ms | 
| コード長 | 863 bytes | 
| コンパイル時間 | 170 ms | 
| コンパイル使用メモリ | 82,176 KB | 
| 実行使用メモリ | 87,040 KB | 
| 最終ジャッジ日時 | 2024-09-19 02:16:09 | 
| 合計ジャッジ時間 | 5,143 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 27 | 
ソースコード
import itertools as iter
import collections as coll
import heapq as hq
import bisect as bis
from decimal import Decimal as dec
from functools import cmp_to_key
import math
import sys
#import pypyjit
#pypyjit.set_param('max_unroll_recursion=-1')
sys.setrecursionlimit(10 ** 6)
inp = sys.stdin.readline
input = lambda : inp().rstrip()
getN = lambda : int(inp())
getNs = lambda : map(int, inp().split())
getList = lambda :list(map(int, inp().split()))
getStrs = lambda n : [input() for _ in [0] * n]
def yexit(): print("Yes"); exit(0)
def nexit(): print("No"); exit(0)
pi = 3.141592653589793
mod = 1000000007
MOD = 998244353
INF = 4611686018427387903
dx = [1, 0, -1, 0];	dy = [0, 1, 0, -1]
#di = coll.defaultdict(int)
"""
Main Code
"""
p = getN()
K = (p - 1) >> 1
a = p - abs(-4 * K * K - 16 * K + 1) % p
if(pow(a, K, p) == 1):
	print("YES")
else:
	print("NO")
            
            
            
        
            
MasKoaTS