結果

問題 No.1955 Not Prime
ユーザー vwxyzvwxyz
提出日時 2023-05-17 00:42:28
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 573 ms / 2,000 ms
コード長 5,240 bytes
コンパイル時間 284 ms
コンパイル使用メモリ 86,564 KB
実行使用メモリ 321,696 KB
最終ジャッジ日時 2023-08-21 11:24:13
合計ジャッジ時間 6,444 ms
ジャッジサーバーID
（参考情報） 		judge13 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 116 ms
88,980 KB
testcase_01 AC 112 ms
88,972 KB
testcase_02 AC 116 ms
88,436 KB
testcase_03 AC 113 ms
88,448 KB
testcase_04 AC 113 ms
88,468 KB
testcase_05 AC 114 ms
88,380 KB
testcase_06 AC 166 ms
90,904 KB
testcase_07 AC 250 ms
98,700 KB
testcase_08 AC 232 ms
95,584 KB
testcase_09 AC 272 ms
94,464 KB
testcase_10 AC 223 ms
90,896 KB
testcase_11 AC 573 ms
321,696 KB
testcase_12 AC 191 ms
91,048 KB
testcase_13 AC 272 ms
95,892 KB
testcase_14 AC 186 ms
91,516 KB
testcase_15 AC 179 ms
90,780 KB
testcase_16 AC 212 ms
94,184 KB
testcase_17 AC 281 ms
113,836 KB
testcase_18 AC 276 ms
97,240 KB
testcase_19 AC 282 ms
100,944 KB
testcase_20 AC 117 ms
89,008 KB
testcase_21 AC 197 ms
91,040 KB
testcase_22 AC 117 ms
88,528 KB
testcase_23 AC 115 ms
88,440 KB
testcase_24 AC 116 ms
88,428 KB
testcase_25 AC 114 ms
88,708 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
readline=sys.stdin.readline

class Prime:
    def __init__(self,N):
        assert N<=10**8
        self.smallest_prime_factor=[None]*(N+1)
        for i in range(2,N+1,2):
            self.smallest_prime_factor[i]=2
        n=int(N**.5)+1
        for p in range(3,n,2):
            if self.smallest_prime_factor[p]==None:
                self.smallest_prime_factor[p]=p
                for i in range(p**2,N+1,2*p):
                    if self.smallest_prime_factor[i]==None:
                        self.smallest_prime_factor[i]=p
        for p in range(n,N+1):
            if self.smallest_prime_factor[p]==None:
                self.smallest_prime_factor[p]=p
        self.primes=[p for p in range(N+1) if p==self.smallest_prime_factor[p]]

    def Factorize(self,N):
        assert N>=1
        factors=defaultdict(int)
        if N<=len(self.smallest_prime_factor)-1:
            while N!=1:
                factors[self.smallest_prime_factor[N]]+=1
                N//=self.smallest_prime_factor[N]
        else:
            for p in self.primes:
                while N%p==0:
                    N//=p
                    factors[p]+=1
                if N<p*p:
                    if N!=1:
                        factors[N]+=1
                    break
                if N<=len(self.smallest_prime_factor)-1:
                    while N!=1:
                        factors[self.smallest_prime_factor[N]]+=1
                        N//=self.smallest_prime_factor[N]
                    break
            else:
                if N!=1:
                    factors[N]+=1
        return factors

    def Divisors(self,N):
        assert N>0
        divisors=[1]
        for p,e in self.Factorize(N).items():
            pow_p=[1]
            for _ in range(e):
                pow_p.append(pow_p[-1]*p)
            divisors=[i*j for i in divisors for j in pow_p]
        return divisors

    def Is_Prime(self,N):
        return N==self.smallest_prime_factor[N]

    def Totient(self,N):
        for p in self.Factorize(N).keys():
            N*=p-1
            N//=p
        return N

    def Mebius(self,N):
        fact=self.Factorize(N)
        for e in fact.values():
            if e>=2:
                return 0
        else:
            if len(fact)%2==0:
                return 1
            else:
                return -1

def SCC(N,edges):
    start = [0] * (N + 1)
    elist = [0] * len(edges)
    for e in edges:
        start[e[0] + 1] += 1
    for i in range(1, N + 1):
        start[i] += start[i - 1]
    counter = start[:]
    for e in edges:
        elist[counter[e[0]]] = e[1]
        counter[e[0]] += 1
    N = N
    now_ord = group_num = 0
    visited = []
    low = [0] * N
    order = [-1] * N
    ids = [0] * N
    parent = [-1] * N
    stack = []
    for i in range(N):
        if order[i] == -1:
            stack.append(i)
            stack.append(i)
            while stack:
                v = stack.pop()
                if order[v] == -1:
                    low[v] = order[v] = now_ord
                    now_ord += 1
                    visited.append(v)
                    for i in range(start[v], start[v + 1]):
                        to = elist[i]
                        if order[to] == -1:
                            stack.append(to)
                            stack.append(to)
                            parent[to] = v
                        else:
                            low[v] = min(low[v], order[to])
                else:
                    if low[v] == order[v]:
                        while True:
                            u = visited.pop()
                            order[u] = N
                            ids[u] = group_num
                            if u == v:
                                break
                        group_num += 1
                    if parent[v] != -1:
                        low[parent[v]] = min(low[parent[v]], low[v])
    for i, x in enumerate(ids):
        ids[i] = group_num - 1 - x
    groups = [[] for _ in range(group_num)]
    for i, x in enumerate(ids):
        groups[x].append(i)
    return groups

class TwoSAT:
    def __init__(self,N):
        self.N=N
        self.edges=[]

    def Add_Clause(self,i,f,j,g):
        assert 0<=i<self.N
        assert 0<=j<self.N
        self.edges.append((2*i+(0 if f else 1),2*j+(1 if g else 0)))
        self.edges.append((2*j+(0 if g else 1),2*i+(1 if f else 0)))

    def Satisfiable(self):
        scc=SCC(2*self.N,self.edges)
        idx=[None]*2*self.N
        for i,lst in enumerate(scc):
            for x in lst:
                idx[x]=i
        retu=[None]*self.N
        for i in range(self.N):
            if idx[2*i]==idx[2*i+1]:
                return None
            retu[i]=idx[2*i]<idx[2*i+1]
        return retu

N=int(readline())
A,B=[],[]
for n in range(N):
    a,b=map(int,readline().split())
    A.append(a)
    B.append(b)
AB=[A,B]
P=Prime(10**6)
TSAT=TwoSAT(N)
for i in range(N):
    for j in range(N):
        for bl_i in (0,1):
            for bl_j in (0,1):
                if P.Is_Prime(int(str(AB[bl_i][i])+str(AB[bl_j][j]))):
                    TSAT.Add_Clause(i,bl_i,j,bl_j^1)
if TSAT.Satisfiable():
    ans="Yes"
else:
    ans="No"
print(ans)
0