結果

問題 No.1955 Not Prime
ユーザー roarisroaris
提出日時 2022-05-27 22:52:29
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 340 ms / 2,000 ms
コード長 2,328 bytes
コンパイル時間 166 ms
コンパイル使用メモリ 82,328 KB
実行使用メモリ 110,852 KB
最終ジャッジ日時 2024-09-20 16:15:57
合計ジャッジ時間 5,855 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 77 ms
66,428 KB
testcase_01 AC 70 ms
66,176 KB
testcase_02 AC 68 ms
66,304 KB
testcase_03 AC 79 ms
65,920 KB
testcase_04 AC 79 ms
66,304 KB
testcase_05 AC 78 ms
66,176 KB
testcase_06 AC 145 ms
84,320 KB
testcase_07 AC 340 ms
88,576 KB
testcase_08 AC 312 ms
87,680 KB
testcase_09 AC 276 ms
87,296 KB
testcase_10 AC 101 ms
78,976 KB
testcase_11 AC 205 ms
110,852 KB
testcase_12 AC 230 ms
86,016 KB
testcase_13 AC 297 ms
87,696 KB
testcase_14 AC 218 ms
86,656 KB
testcase_15 AC 216 ms
86,364 KB
testcase_16 AC 283 ms
86,736 KB
testcase_17 AC 340 ms
90,792 KB
testcase_18 AC 311 ms
87,128 KB
testcase_19 AC 228 ms
87,076 KB
testcase_20 AC 80 ms
66,688 KB
testcase_21 AC 234 ms
86,492 KB
testcase_22 AC 79 ms
66,176 KB
testcase_23 AC 79 ms
65,944 KB
testcase_24 AC 80 ms
66,176 KB
testcase_25 AC 79 ms
66,304 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline
sys.setrecursionlimit(1010)

def era(n):
    is_prime = [True]*(n+1)
    is_prime[0] = False
    is_prime[1] = False
    
    for i in range(2, int(n**0.5)+1):
        if not is_prime[i]:
            continue
        
        for j in range(2*i, n+1, i):
            is_prime[j] = False
    
    return is_prime

class Scc:
    def __init__(self, N, G):
        self.N = N
        self.G = G
        self.RG = [[] for _ in range(N)]
        
        for v in range(N):
            for nv in G[v]:
                self.RG[nv].append(v)
    
    def decomp(self):
        order = []
        visited = [False]*self.N
        
        def dfs(v):
            visited[v] = True
            
            for nv in self.G[v]:
                if not visited[nv]:
                    dfs(nv)
            
            order.append(v)
            
        for v in range(self.N):
            if not visited[v]:
                dfs(v)
        
        visited = [False]*self.N
        comp = [-1]*self.N
        label = 0
        
        def rdfs(v, label):
            comp[v] = label
            visited[v] = True
            
            for nv in self.RG[v]:
                if not visited[nv]:
                    rdfs(nv, label)
            
        for v in reversed(order):
            if not visited[v]:
                rdfs(v, label)
                label += 1
        
        return label, comp
    
def is_p(p, q):
    return is_prime[p*pow(10, len(str(q)))+q]

N = int(input())
AB = [tuple(map(int, input().split())) for _ in range(N)]
is_prime = era(10**6+10)
G = [[] for _ in range(2*N)]

for i in range(N):
    Ai, Bi = AB[i]
    
    for j in range(i, N):
        Aj, Bj = AB[j]
        
        if is_p(Ai, Bj) or is_p(Aj, Bi):
            G[2*i+1].append(2*j)
            G[2*j+1].append(2*i)
        
        if is_p(Bi, Bj) or is_p(Aj, Ai):
            G[2*i].append(2*j)
            G[2*j+1].append(2*i+1)
        
        if is_p(Ai, Aj) or is_p(Bj, Bi):
            G[2*i+1].append(2*j+1)
            G[2*j].append(2*i)
        
        if is_p(Bi, Aj) or is_p(Bj, Ai):
            G[2*i].append(2*j+1)
            G[2*j].append(2*i+1)

scc = Scc(2*N, G)
_, comp = scc.decomp()

for i in range(N):
    if comp[2*i]==comp[2*i+1]:
        exit(print('No'))
        
print('Yes')
0