結果

問題 No.36 素数が嫌い！
ユーザー Min_25Min_25
提出日時 2014-10-29 06:31:39
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 37 ms / 5,000 ms
コード長 1,809 bytes
コンパイル時間 118 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 11,392 KB
最終ジャッジ日時 2024-06-27 00:12:02
合計ジャッジ時間 2,006 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 34 ms
11,264 KB
testcase_01 AC 34 ms
11,264 KB
testcase_02 AC 33 ms
11,264 KB
testcase_03 AC 34 ms
11,392 KB
testcase_04 AC 33 ms
11,264 KB
testcase_05 AC 32 ms
11,264 KB
testcase_06 AC 33 ms
11,264 KB
testcase_07 AC 34 ms
11,264 KB
testcase_08 AC 33 ms
11,264 KB
testcase_09 AC 33 ms
11,264 KB
testcase_10 AC 33 ms
11,264 KB
testcase_11 AC 35 ms
11,264 KB
testcase_12 AC 37 ms
11,264 KB
testcase_13 AC 36 ms
11,264 KB
testcase_14 AC 35 ms
11,392 KB
testcase_15 AC 34 ms
11,392 KB
testcase_16 AC 32 ms
11,264 KB
testcase_17 AC 32 ms
11,264 KB
testcase_18 AC 33 ms
11,264 KB
testcase_19 AC 32 ms
11,264 KB
testcase_20 AC 32 ms
11,392 KB
testcase_21 AC 33 ms
11,264 KB
testcase_22 AC 33 ms
11,392 KB
testcase_23 AC 33 ms
11,264 KB
testcase_24 AC 33 ms
11,392 KB
testcase_25 AC 33 ms
11,264 KB
testcase_26 AC 32 ms
11,392 KB
testcase_27 AC 33 ms
11,392 KB
testcase_28 AC 34 ms
11,264 KB
testcase_29 AC 34 ms
11,264 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
import random

def miller_rabin_pass(base, s, d, n, pow=pow):
  base = pow(base, d, n)
  if base == 1 or base == n - 1:
    return True
  for _ in range(s - 1):
    base = base * base % n
    if base == n - 1:
      return True
  return False

def miller_rabin(n):
  if n <= 1:
    return False
  if n <= 3:
    return True

  d = n - 1
  s = d & -d
  s = s.bit_length() - 1
  d >>= s

  if n < 316349281:
    if n < 1373653:
      bases = [2, 3]
    else:
      bases = [11000544, 31481107]
  elif n < 154639673381:
    if n < 4759123141:
      bases = [2, 7, 61]
    else:
      bases = [15, 176006322, 4221622697]
  elif n < 47636622961201:
    bases = [2, 2570940, 211991001, 3749873356]
  elif n < 3770579582154547:
    bases = [2, 2570940, 880937, 610386380, 4130785767]
  elif n < (1 << 64):
    bases = [2, 325, 9375, 28178, 450775, 9780504, 1795265022]
  else:
    bases = [random.randrange(n - 1) + 1 for _ in range(30)]

  for base in bases:
    if not miller_rabin_pass(base, s, d, n):
      return False
  return True

def solve():
  stdin = sys.stdin
  N = int(stdin.readline())

  e = 0
  while not N & 1:
    N >>= 1
    e += 1

  ok = False
  if e >= 3:
    ok = True
  elif e >= 2 and N > 1:
    ok = True
  elif e >= 1 and N > 1:
    ok = not miller_rabin(N)
  elif N > 1:
    th = int(pow(N, 0.33333334))
    for i in range(3, th + 1, 2):
      if N % i == 0:
        N //= i
        e += 1
        while N % i == 0:
          N //= i
          e += 1
        if e >= 3 or (e >= 2 and N > 1):
          ok = True
          break
        elif N > 1:
          if not miller_rabin(N):
            ok = True
          break
        else:
          break

  print("YES" if ok else "NO")

solve()
0