結果

問題 No.2075 GCD Subsequence
ユーザー taiga0629kyoprotaiga0629kyopro
提出日時 2022-09-16 23:13:35
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 3,523 bytes
コンパイル時間 206 ms
コンパイル使用メモリ 81,972 KB
実行使用メモリ 129,176 KB
最終ジャッジ日時 2024-06-01 14:02:25
合計ジャッジ時間 32,421 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 521 ms
95,944 KB
testcase_01 AC 513 ms
96,132 KB
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 AC 520 ms
95,916 KB
testcase_30 AC 519 ms
95,908 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 


from random import shuffle,randrange
rd=randrange

class primes():
    def __init__(self, n):
        self.prime_num = n
        self.min_prime = [-1] * (self.prime_num + 1)  # 2以上の自然数に対して最小の素因数を表す
        self.min_prime[0] = 0
        self.min_prime[1] = 1
        i = 2
        self.prime = []
        self.memo_prifac = {}
        self.memodiv=dict()
        while i <= self.prime_num:
            if self.min_prime[i] == -1:
                self.min_prime[i] = i
                self.prime.append(i)
            for j in self.prime:
                if i * j > self.prime_num or j > self.min_prime[i]: break
                self.min_prime[j * i] = j
            i += 1

    def prifac(self, n):
        # 素因数分解した結果を返す
        if n in self.memo_prifac:
            return self.memo_prifac[n]
        res = {}
        x = n
        while x > 1:
            p = self.min_prime[x]
            if p in res:
                res[p] += 1
            else:
                res[p] = 1
            x //= p

        # self.memo_prifac[n] = res  #場合によってはこの行を消すと高速化

        return res

    def divisors(self, n):
        # 約数列挙 メモした方がいいかも
        if n in self.memodiv:return self.memodiv[n]
        if n== 1: return [1]
        prf = self.prifac(n)
        keys = [key for key in prf]

        def divsearch(i):
            if i == len(keys) - 1:
                return [keys[i] ** j for j in range(prf[keys[i]] + 1)]
            else:
                res = []
                subres = divsearch(i + 1)
                p = keys[i]
                for j in range(prf[p] + 1):
                    for node in subres:
                        res.append(node * p ** j)
                return res

        self.memodiv[n]=divsearch(0)
        return self.memodiv[n]

pri=primes(10**6+100)
u=[0]*(10**6+100)
u[1]=1
for x in range(2,10**6+10):
    u[x]=1
    d=pri.prifac(x)
    for p in d:
        if d[p]>=2:u[x]=0
        u[x]*=-1


from math import gcd
mod=998244353
def naive(n,p):
    ans=0
    for bit in range(1,2**n):
        x=[]
        for i in range(n):
            if (bit>>i)&1:x.append(p[i])
        k=len(x)
        flag=1
        for i in range(k-1):
            if gcd(x[i],x[i+1])==1:flag=0
        ans+=flag
    return ans%mod

def sol1(n,P):
    p=[0]+P[:]
    ma=max(p)
    dp=[0]*(ma+1)
    for i in range(1,n+1):
        res=0
        for j in range(1,ma+1):
            if gcd(p[i],j)==1:res+=dp[j]
        dp[p[i]]+=sum(dp)+1-res
        dp[p[i]]%=mod
    return sum(dp)%mod

def sol2(n,P):
    p=[0]+P[:]
    for i in range(1,n+1):
        res=1
        for q in pri.prifac(p[i]):res*=q
        p[i]=res
    ma=max(p)
    dp=[0]*(ma+1)
    g=[0]*(ma+1)

    for i in range(1,n+1):
        d=pri.prifac(p[i])
        ps=[]
        for q in d:ps.append(q)
        k=len(d)
        res=1
        for bit in range(1,2**k):
            bc=-1
            bf=1
            for j in range(k):
                if (bit>>j)&1:
                    bc*=-1
                    bf*=ps[j]
            res+=bc*dp[bf]
            res%=mod
        dp[p[i]]+=res
        dp[p[i]]%=mod
    return sum(dp)%mod
n=int(input())
a=list(map(int,input().split()))
print(sol2(n,a))


cnt=0
while 0:
    cnt+=1
    print(cnt)
    n=randrange(1,19)
    p=[rd(1,100) for i in range(n)]
    ansn=naive(n,p)
    ans1=sol1(n,p)
    ans2=sol2(n,p)
    if ans1!=ansn:
        print(n)
        print(*p)
        exit()
0