結果

問題 No.3345 Reducible Sequence
コンテスト
ユーザー titia
提出日時 2025-12-21 03:44:05
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,032 ms / 2,000 ms
コード長 2,386 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 253 ms
コンパイル使用メモリ 82,376 KB
実行使用メモリ 149,952 KB
最終ジャッジ日時 2025-12-21 03:44:24
合計ジャッジ時間 17,717 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 26
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
input = sys.stdin.readline

N=int(input())
A=list(map(int,input().split()))

E=[[] for i in range(N)]

for i in range(N):
    a=A[i]
    for j in range(1,N+1):
        if a%j==0:
            E[i].append(j-1)


from collections import defaultdict,deque

OK=1
NG=N+1

while NG>OK+1:
    MAX=(OK+NG)//2

    V=N+MAX+2
    EDGE=[defaultdict(int) for i in range(V)]

    start=start=V-2
    goal=V-1

    for i in range(N):
        EDGE[start][i]=1
        
        for to in E[i]:
            if to<MAX:
                EDGE[i][N+to]=1

    for i in range(MAX):
        EDGE[N+i][goal]=1


    ANS=0
    while True:
        # まずBFSする

        DIS=[-1]*V
        Q=deque([start])
        DIS[start]=0
        EDGE2=[[] for i in range(V)]

        while Q:
            x=Q.popleft()
            for to in EDGE[x]:
                if EDGE[x][to]==0:
                    continue
                
                if DIS[to]==-1:
                    DIS[to]=DIS[x]+1
                    Q.append(to)
                    EDGE2[x].append(to)
                    
                elif DIS[to]==DIS[x]+1:
                    EDGE2[x].append(to)

        if DIS[goal]==-1:
            break

        # BFSしたときのEDGEを使ってDFSする

        MINCOST=[float("inf")]*V
        NOW=start
        ROUTE=[-1]*V
        
        while NOW!=-1: # DFS

            cost=MINCOST[NOW]
            
            if NOW==goal:
                ANS+=cost
                i=goal
                
                while i!=start: # goalからたどり,Routeを使ってEDGEの更新
                    j=ROUTE[i]
                    if EDGE[j][i]==cost:
                        NOW=j
                        EDGE2[j].pop()
                    
                    EDGE[j][i]-=cost # 使ったルートをいけなく更新
                    MINCOST[j]-=cost                
                    EDGE[i][j]+=cost # 逆向きに進めるようにする.
                    i=j
                continue

            if EDGE2[NOW]:
                to=EDGE2[NOW][-1]
                ROUTE[to]=NOW
                MINCOST[to]=min(cost,EDGE[NOW][to])
                NOW=to

            else:
                if NOW==start:
                    break
                EDGE2[ROUTE[NOW]].pop()
                NOW=ROUTE[NOW]

    if MAX!=ANS:
        NG=MAX
    else:
        OK=MAX

print(OK)
0