結果
問題 | No.308 素数は通れません |
ユーザー | kimiyuki |
提出日時 | 2015-12-01 23:01:29 |
言語 | Python3 (3.12.2 + numpy 1.26.4 + scipy 1.12.0) |
結果 |
AC
|
実行時間 | 35 ms / 1,000 ms |
コード長 | 1,608 bytes |
コンパイル時間 | 74 ms |
コンパイル使用メモリ | 12,800 KB |
実行使用メモリ | 11,520 KB |
最終ジャッジ日時 | 2024-05-05 18:23:37 |
合計ジャッジ時間 | 5,363 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 28 ms
11,392 KB |
testcase_01 | AC | 29 ms
11,264 KB |
testcase_02 | AC | 32 ms
11,264 KB |
testcase_03 | AC | 33 ms
11,264 KB |
testcase_04 | AC | 35 ms
11,392 KB |
testcase_05 | AC | 31 ms
11,392 KB |
testcase_06 | AC | 32 ms
11,392 KB |
testcase_07 | AC | 35 ms
11,392 KB |
testcase_08 | AC | 30 ms
11,392 KB |
testcase_09 | AC | 28 ms
11,392 KB |
testcase_10 | AC | 29 ms
11,392 KB |
testcase_11 | AC | 29 ms
11,264 KB |
testcase_12 | AC | 30 ms
11,392 KB |
testcase_13 | AC | 31 ms
11,264 KB |
testcase_14 | AC | 29 ms
11,392 KB |
testcase_15 | AC | 29 ms
11,264 KB |
testcase_16 | AC | 28 ms
11,264 KB |
testcase_17 | AC | 29 ms
11,264 KB |
testcase_18 | AC | 28 ms
11,392 KB |
testcase_19 | AC | 30 ms
11,264 KB |
testcase_20 | AC | 27 ms
11,264 KB |
testcase_21 | AC | 28 ms
11,264 KB |
testcase_22 | AC | 29 ms
11,264 KB |
testcase_23 | AC | 28 ms
11,264 KB |
testcase_24 | AC | 29 ms
11,392 KB |
testcase_25 | AC | 29 ms
11,264 KB |
testcase_26 | AC | 28 ms
11,392 KB |
testcase_27 | AC | 30 ms
11,392 KB |
testcase_28 | AC | 29 ms
11,264 KB |
testcase_29 | AC | 29 ms
11,392 KB |
testcase_30 | AC | 28 ms
11,392 KB |
testcase_31 | AC | 29 ms
11,520 KB |
testcase_32 | AC | 30 ms
11,264 KB |
testcase_33 | AC | 29 ms
11,264 KB |
testcase_34 | AC | 29 ms
11,392 KB |
testcase_35 | AC | 29 ms
11,392 KB |
testcase_36 | AC | 31 ms
11,392 KB |
testcase_37 | AC | 31 ms
11,392 KB |
testcase_38 | AC | 30 ms
11,392 KB |
testcase_39 | AC | 30 ms
11,264 KB |
testcase_40 | AC | 30 ms
11,264 KB |
testcase_41 | AC | 31 ms
11,392 KB |
testcase_42 | AC | 31 ms
11,264 KB |
testcase_43 | AC | 32 ms
11,392 KB |
testcase_44 | AC | 31 ms
11,392 KB |
testcase_45 | AC | 32 ms
11,392 KB |
testcase_46 | AC | 30 ms
11,264 KB |
testcase_47 | AC | 31 ms
11,392 KB |
testcase_48 | AC | 32 ms
11,392 KB |
testcase_49 | AC | 32 ms
11,264 KB |
testcase_50 | AC | 33 ms
11,264 KB |
testcase_51 | AC | 32 ms
11,392 KB |
testcase_52 | AC | 32 ms
11,264 KB |
testcase_53 | AC | 32 ms
11,264 KB |
testcase_54 | AC | 32 ms
11,392 KB |
testcase_55 | AC | 32 ms
11,264 KB |
testcase_56 | AC | 32 ms
11,392 KB |
testcase_57 | AC | 31 ms
11,264 KB |
testcase_58 | AC | 32 ms
11,264 KB |
testcase_59 | AC | 32 ms
11,392 KB |
testcase_60 | AC | 32 ms
11,264 KB |
testcase_61 | AC | 32 ms
11,264 KB |
testcase_62 | AC | 31 ms
11,392 KB |
testcase_63 | AC | 30 ms
11,392 KB |
testcase_64 | AC | 32 ms
11,264 KB |
testcase_65 | AC | 33 ms
11,264 KB |
testcase_66 | AC | 30 ms
11,392 KB |
testcase_67 | AC | 30 ms
11,392 KB |
testcase_68 | AC | 31 ms
11,264 KB |
testcase_69 | AC | 29 ms
11,264 KB |
testcase_70 | AC | 32 ms
11,264 KB |
testcase_71 | AC | 31 ms
11,392 KB |
testcase_72 | AC | 30 ms
11,264 KB |
testcase_73 | AC | 30 ms
11,392 KB |
testcase_74 | AC | 32 ms
11,392 KB |
testcase_75 | AC | 30 ms
11,264 KB |
testcase_76 | AC | 34 ms
11,264 KB |
testcase_77 | AC | 30 ms
11,392 KB |
testcase_78 | AC | 29 ms
11,264 KB |
testcase_79 | AC | 30 ms
11,520 KB |
testcase_80 | AC | 34 ms
11,392 KB |
testcase_81 | AC | 34 ms
11,264 KB |
testcase_82 | AC | 29 ms
11,264 KB |
testcase_83 | AC | 31 ms
11,392 KB |
testcase_84 | AC | 34 ms
11,392 KB |
testcase_85 | AC | 30 ms
11,392 KB |
testcase_86 | AC | 35 ms
11,392 KB |
testcase_87 | AC | 35 ms
11,520 KB |
testcase_88 | AC | 33 ms
11,264 KB |
testcase_89 | AC | 32 ms
11,392 KB |
testcase_90 | AC | 35 ms
11,392 KB |
testcase_91 | AC | 32 ms
11,520 KB |
testcase_92 | AC | 32 ms
11,392 KB |
testcase_93 | AC | 33 ms
11,392 KB |
testcase_94 | AC | 33 ms
11,264 KB |
testcase_95 | AC | 32 ms
11,264 KB |
testcase_96 | AC | 31 ms
11,392 KB |
testcase_97 | AC | 32 ms
11,264 KB |
testcase_98 | AC | 30 ms
11,264 KB |
testcase_99 | AC | 30 ms
11,392 KB |
testcase_100 | AC | 30 ms
11,264 KB |
testcase_101 | AC | 35 ms
11,392 KB |
testcase_102 | AC | 32 ms
11,392 KB |
testcase_103 | AC | 30 ms
11,392 KB |
testcase_104 | AC | 30 ms
11,264 KB |
testcase_105 | AC | 30 ms
11,264 KB |
testcase_106 | AC | 30 ms
11,264 KB |
ソースコード
#!/usr/bin/env python3 import random def modpow(x,y,p): z = 1 while y: if y & 1: z = (z * x) % p x = (x * x) % p y >>= 1 return z def is_prime(n, k=20): # miller-rabin primality test if n == 2: return True if n == 1 or n % 2 == 0: return False d = n - 1 while d % 2 == 0: d //= 2 for _ in range(k): a = random.randint(1,n-2) t = d y = modpow(a,t,n) while t != n-1 and y != 1 and y != n-1: y = (y * y) % n t <<= 1 if y != n-1 and t & 1 == 0: return False return True def bfs(n, w, initial, accept, deny=None): que = [initial] i = 0 pushed = set(que) while i < len(que): if accept(que, i): return True if deny is not None and deny(que, i): return False x = que[i] i += 1 def f(y): if y not in pushed and not is_prime(y): que.append(y) pushed.add(y) if x-1 > 0 and x % w != 1: f(x-1) if x+1 <= n and x % w != 0: f(x+1) if x-w > 0: f(x-w) if x+w <= n: f(x+w) def solve(n): if n < 300: # magic number for w in range(1,n): if bfs(n, w, 1, lambda que, i: que[i] == n): return w else: for w in range(2,n): if bfs(n, w, 1, lambda que, i: que[i] % w == 0) \ and bfs(n, w, n, lambda que, i: len(que) >= 10): # magic number return w print(solve(int(input())))