結果

問題 No.1364 [Renaming] Road to Cherry from Zelkova
ユーザー 👑 KazunKazun
提出日時 2021-01-20 04:03:52
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 5,776 bytes
コンパイル時間 362 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 224,480 KB
最終ジャッジ日時 2024-12-25 15:18:36
合計ジャッジ時間 39,483 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 57 ms
59,904 KB
testcase_01 AC 57 ms
54,528 KB
testcase_02 AC 55 ms
54,656 KB
testcase_03 AC 57 ms
55,296 KB
testcase_04 AC 60 ms
55,680 KB
testcase_05 AC 57 ms
54,784 KB
testcase_06 AC 61 ms
55,168 KB
testcase_07 AC 58 ms
55,424 KB
testcase_08 AC 253 ms
88,192 KB
testcase_09 AC 164 ms
78,848 KB
testcase_10 AC 252 ms
83,380 KB
testcase_11 AC 230 ms
85,504 KB
testcase_12 AC 256 ms
82,708 KB
testcase_13 AC 1,165 ms
185,548 KB
testcase_14 AC 1,304 ms
154,900 KB
testcase_15 AC 1,368 ms
176,864 KB
testcase_16 AC 963 ms
134,796 KB
testcase_17 AC 660 ms
160,924 KB
testcase_18 AC 1,712 ms
223,840 KB
testcase_19 AC 1,695 ms
224,096 KB
testcase_20 AC 1,711 ms
223,364 KB
testcase_21 AC 1,742 ms
223,836 KB
testcase_22 AC 1,712 ms
224,100 KB
testcase_23 AC 520 ms
126,396 KB
testcase_24 AC 199 ms
77,312 KB
testcase_25 AC 881 ms
137,116 KB
testcase_26 AC 1,222 ms
146,512 KB
testcase_27 AC 859 ms
118,656 KB
testcase_28 AC 692 ms
123,380 KB
testcase_29 AC 813 ms
118,784 KB
testcase_30 AC 704 ms
120,388 KB
testcase_31 AC 600 ms
128,512 KB
testcase_32 AC 605 ms
117,044 KB
testcase_33 AC 1,137 ms
133,736 KB
testcase_34 AC 1,336 ms
169,012 KB
testcase_35 AC 1,533 ms
203,404 KB
testcase_36 AC 1,532 ms
191,164 KB
testcase_37 AC 487 ms
106,368 KB
testcase_38 AC 477 ms
83,968 KB
testcase_39 AC 461 ms
83,584 KB
testcase_40 AC 464 ms
83,584 KB
testcase_41 AC 452 ms
83,840 KB
testcase_42 AC 457 ms
83,712 KB
testcase_43 AC 628 ms
224,480 KB
testcase_44 TLE -
testcase_45 AC 612 ms
222,028 KB
testcase_46 AC 264 ms
158,304 KB
testcase_47 AC 56 ms
59,904 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

class Digraph:
    """重み[なし]有向グラフを生成する.

    """

    #入力定義
    def __init__(self,vertex=[]):
        self.vertex=set(vertex)

        self.edge_number=0
        self.vertex_number=len(vertex)

        self.adjacent_out={v:set() for v in vertex} #出近傍(vが始点)
        self.adjacent_in={v:set() for v in vertex} #入近傍(vが終点)

    #頂点の追加
    def add_vertex(self,*adder):
        for v in adder:
            if v not in self.vertex:
                self.adjacent_in[v]=set()
                self.adjacent_out[v]=set()

                self.vertex_number+=1
                self.vertex.add(v)

    #辺の追加
    def add_edge(self,From,To):
        for v in [From,To]:
            if v not in self.vertex:
                self.add_vertex(v)

        if To not in self.adjacent_in[From]:
            self.edge_number+=1

        self.adjacent_out[From].add(To)
        self.adjacent_in[To].add(From)

    #辺を除く
    def remove_edge(self,From,To):
        for v in [From,To]:
            if v not in self.vertex:
                self.add_vertex(v)

        if To in self.adjacent_out[From]:
            self.adjacent_out[From].remove(To)
            self.adjacent_in[To].remove(From)
            self.edge_number-=1

    #頂点を除く
    def remove_vertex(self,*vertexes):
        for  v in vertexes:
            if v in self.vertex:
                self.vertex_number-=1

                for u in self.adjacent_out[v]:
                    self.adjacent_in[u].remove(v)
                    self.edge_number-=1
                del self.adjacent_out[v]

                for u in self.adjacent_in[v]:
                    self.adjacent_out[u].remove(v)
                    self.edge_number-=1
                del self.adjacent_in[v]

    #Walkの追加
    def add_walk(self,*walk):
        N=len(walk)
        for k in range(N-1):
            self.add_edge(walk[k],walk[k+1])

    #Cycleの追加
    def add_cycle(self,*cycle):
        self.add_walk(*cycle)
        self.add_edge(cycle[-1],cycle[0])

    #頂点の交換
    def __vertex_swap(self,p,q):
        self.vertex.sort()

    #グラフに頂点が存在するか否か
    def vertex_exist(self,v):
        return v in self.vertex

    #グラフに辺が存在するか否か
    def edge_exist(self,From,To):
        if not(self.vertex_exist(From) and self.vertex_exist(To)):
            return False
        return To in self.adjacent_out[From]

    #近傍
    def neighbohood(self,v):
        if not self.vertex_exist(v):
            return []
        return list(self.adjacent[v])

    #出次数
    def out_degree(self,v):
        if not self.vertex_exist(v):
            return 0

        return len(self.adjacent_out[v])

    #入次数
    def in_degree(self,v):
        if not self.vertex_exist(v):
            return 0

        return len(self.adjacent_in[v])

    #次数
    def degree(self,v):
        if not self.vertex_exist(v):
            return 0

        return self.out_degree(v)-self.in_degree(v)

    #頂点数
    def vertex_count(self):
        return len(self.vertex)

    #辺数
    def edge_count(self):
        return self.edge_number

    #頂点vを含む連結成分
    def connected_component(self,v):
        pass

#強連結成分に分解
def Strongly_Connected_Component_Decomposition(D,Mode=0):
    """有向グラフDを強連結成分に分解

    Mode:
    0(Defalt)---各強連結成分の頂点のリスト
    1        ---各頂点が属している強連結成分の番号
    2        ---0,1の両方

    ※0で帰ってくるリストは各強連結成分に関してトポロジカルソートである.
    """
    Group={v:0 for v in D.adjacent_out}
    Order=[]

    for v in D.adjacent_out:
        if Group[v]:continue

        S=[v]
        Group[v]=-1

        while S:
            u=S.pop()
            for w in D.adjacent_out[u]:
                if Group[w]:continue
                Group[w]=-1
                S.append(u)
                S.append(w)
                break
            else:
                Order.append(u)

    k=0
    for v in Order[::-1]:
        if Group[v]!=-1:
            continue

        S=[v]
        Group[v]=k

        while S:
            u=S.pop()
            for w in D.adjacent_in[u]:
                if Group[w]!=-1:
                    continue

                Group[w]=k
                S.append(w)
        k+=1

    if Mode==0 or Mode==2:
        T=[[] for _ in range(k)]
        for v in D.adjacent_out:
            T[Group[v]].append(v)

    if Mode==0:
        return T
    elif Mode==1:
        return Group
    else:
        return (Group,T)
#================================================
def f(p,z):
    a,w=p
    x,y=z

    return [(x*a)%Mod,a*y+x*w]
#================================================
from collections import defaultdict

N,M=map(int,input().split())
Mod=10**9+7

D=Digraph(range(N+1))
E=[defaultdict(lambda :[0,0]) for _ in range(N+1)]

for _ in range(M):
    u,v,w,a=map(int,input().split())
    D.add_edge(u,v)

    b,l=E[u][v]
    E[u][v]=[b+a,(l+a*w)%Mod]

G,T=Strongly_Connected_Component_Decomposition(D,2)

inf=float("inf")
Flag=[0]*(N+1)
Flag[0]=1

DP=[[0,0] for _ in range(N+1)]
DP[0]=[1,0]

for U in T:
    if len(U)>=2:
        F=0
        for v in U:
            F|=Flag[v]

        if F:
            for v in U:
                DP[v]=[inf,inf]

    for u in U:
        x,y=DP[u]
        for v in E[u]:
            Flag[v]|=Flag[u]

            if x==inf:
                DP[v]=[inf,inf]
            else:
                a,w=E[u][v]
                DP[v][0]+=x*a
                DP[v][1]+=y*a+x*w

                DP[v][0]%=Mod
                DP[v][1]%=Mod

print(DP[N][1] if DP[N][1]<inf else "INF")
0