結果

問題 No.1955 Not Prime
ユーザー roarisroaris
提出日時 2022-05-27 22:39:19
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 2,398 bytes
コンパイル時間 301 ms
コンパイル使用メモリ 82,580 KB
実行使用メモリ 95,312 KB
最終ジャッジ日時 2024-09-20 16:11:10
合計ジャッジ時間 4,328 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 93 ms
77,952 KB
testcase_01 AC 82 ms
72,832 KB
testcase_02 AC 79 ms
73,088 KB
testcase_03 AC 80 ms
73,088 KB
testcase_04 AC 80 ms
72,704 KB
testcase_05 AC 83 ms
72,448 KB
testcase_06 TLE -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
権限があれば一括ダウンロードができます

ソースコード

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 [i for i in range(n+1) if is_prime[i]]
 
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

N = int(input())
AB = [tuple(map(int, input().split())) for _ in range(N)]
ps = 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 int(str(Ai)+str(Bj)) in ps or int(str(Aj)+str(Bi)) in ps:
            G[2*i+1].append(2*j)
            G[2*j+1].append(2*i)
        
        if int(str(Bi)+str(Bj)) in ps or int(str(Aj)+str(Ai)) in ps:
            G[2*i].append(2*j)
            G[2*j+1].append(2*i+1)
        
        if int(str(Ai)+str(Aj)) in ps or int(str(Bj)+str(Bi)) in ps:
            G[2*i+1].append(2*j+1)
            G[2*j].append(2*i)
        
        if int(str(Bi)+str(Aj)) in ps or int(str(Bj)+str(Ai)) in ps:
            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