結果
問題 | No.1813 Magical Stones |
ユーザー | ygd. |
提出日時 | 2022-01-15 00:01:24 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 923 ms / 2,000 ms |
コード長 | 4,242 bytes |
コンパイル時間 | 370 ms |
コンパイル使用メモリ | 82,316 KB |
実行使用メモリ | 122,884 KB |
最終ジャッジ日時 | 2024-04-30 18:45:03 |
合計ジャッジ時間 | 20,922 ms |
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 109 ms
83,960 KB |
testcase_01 | AC | 108 ms
83,976 KB |
testcase_02 | AC | 112 ms
84,156 KB |
testcase_03 | AC | 198 ms
109,516 KB |
testcase_04 | AC | 108 ms
84,408 KB |
testcase_05 | AC | 110 ms
84,316 KB |
testcase_06 | AC | 183 ms
88,624 KB |
testcase_07 | AC | 113 ms
84,320 KB |
testcase_08 | AC | 134 ms
87,212 KB |
testcase_09 | AC | 140 ms
87,588 KB |
testcase_10 | AC | 115 ms
84,508 KB |
testcase_11 | AC | 415 ms
97,104 KB |
testcase_12 | AC | 110 ms
84,304 KB |
testcase_13 | AC | 112 ms
84,092 KB |
testcase_14 | AC | 195 ms
109,444 KB |
testcase_15 | AC | 902 ms
120,556 KB |
testcase_16 | AC | 886 ms
121,536 KB |
testcase_17 | AC | 850 ms
122,884 KB |
testcase_18 | AC | 923 ms
120,116 KB |
testcase_19 | AC | 896 ms
119,988 KB |
testcase_20 | AC | 908 ms
120,988 KB |
testcase_21 | AC | 912 ms
121,280 KB |
testcase_22 | AC | 907 ms
121,724 KB |
testcase_23 | AC | 863 ms
121,364 KB |
testcase_24 | AC | 161 ms
87,896 KB |
testcase_25 | AC | 344 ms
91,752 KB |
testcase_26 | AC | 238 ms
88,848 KB |
testcase_27 | AC | 728 ms
112,676 KB |
testcase_28 | AC | 698 ms
111,496 KB |
testcase_29 | AC | 839 ms
114,768 KB |
testcase_30 | AC | 739 ms
111,292 KB |
testcase_31 | AC | 854 ms
120,136 KB |
testcase_32 | AC | 111 ms
84,384 KB |
testcase_33 | AC | 110 ms
84,496 KB |
testcase_34 | AC | 216 ms
88,104 KB |
testcase_35 | AC | 190 ms
87,632 KB |
testcase_36 | AC | 178 ms
88,548 KB |
testcase_37 | AC | 315 ms
91,048 KB |
testcase_38 | AC | 260 ms
102,352 KB |
testcase_39 | AC | 696 ms
113,832 KB |
testcase_40 | AC | 208 ms
88,040 KB |
testcase_41 | AC | 145 ms
87,648 KB |
testcase_42 | AC | 191 ms
88,412 KB |
testcase_43 | AC | 282 ms
90,132 KB |
ソースコード
import sys from tkinter import N #input = sys.stdin.readline #文字列につけてはダメ input = sys.stdin.buffer.readline #文字列につけてはダメ #sys.setrecursionlimit(1000000) #import bisect #import itertools #import random from heapq import heapify, heappop, heappush #from collections import defaultdict #from collections import deque #import copy #import math #from functools import lru_cache #MOD = pow(10,9) + 7 #MOD = 998244353 class UnionFind(object): def __init__(self, n=1): self.par = [i for i in range(n)] self.rank = [0 for _ in range(n)] self.size = [1 for _ in range(n)] def find(self, x): """ x が属するグループを探索して親を出す。 """ if self.par[x] == x: return x else: self.par[x] = self.find(self.par[x]) return self.par[x] def union(self, x, y): """ x と y のグループを結合 """ x = self.find(x) y = self.find(y) if x != y: if self.rank[x] < self.rank[y]: x, y = y, x if self.rank[x] == self.rank[y]: self.rank[x] += 1 self.par[y] = x self.size[x] += self.size[y] def is_same(self, x, y): """ x と y が同じグループか否か """ return self.find(x) == self.find(y) def get_size(self, x): """ x が属するグループの要素数 """ x = self.find(x) return self.size[x] def topological(graph, deg): start = [] for i in range(len(deg)): if deg[i] == 0: start.append(i) topo = [] while start: v = start.pop() topo.append(v) for u in graph[v]: deg[u] -= 1 if deg[u] == 0: start.append(u) return topo #https://atcoder.jp/contests/arc030/submissions/20496099より拝借 def scc_dfs1(s, links, status, postorder): stack = [s] status[s] = 0 while stack: v = stack[-1] limit = len(links[v]) while status[v] < limit: u = links[v][status[v]] status[v] += 1 if status[u] != -1: continue stack.append(u) status[u] = 0 break else: stack.pop() postorder.append(v) return def scc_dfs2(s, rev_links, status): stack = [s] status[s] = -1 scc = [s] while stack: v = stack.pop() for u in rev_links[v]: if status[u] != -1: stack.append(u) status[u] = -1 scc.append(u) scc.reverse() #ループの順番が正の順番になるようにする。#要注意 return scc def strongly_connected_components(n, links, rev_links): status = [-1] * n postorder = [] for v in range(n): if status[v] != -1: continue scc_dfs1(v, links, status, postorder) postorder.reverse() sccs = [] for v in postorder: if status[v] == -1: continue sccs.append(scc_dfs2(v, rev_links, status)) # label。不要なら消しても良い。 label = [-1] * n for i in range(len(sccs)): for x in sccs[i]: label[x] = i return sccs, label #DAG順になったグループごとのリスト, 頂点が何番目のグループにいるか def main(): N,M = map(int,input().split()) G = [[] for _ in range(N)] RG = [[] for _ in range(N)] uf = UnionFind(N) for i in range(M): a,b = map(int,input().split()) a -= 1; b -= 1 G[a].append(b) RG[b].append(a) uf.union(a,b) L, label = strongly_connected_components(N,G,RG) if len(L) == 1: print(0);exit() #print(label) IN = [0]*len(L) OUT = [0]*len(L) for v in range(N): for u in G[v]: if label[v] == label[u]: continue IN[label[v]] += 1 for u in RG[v]: if label[v] == label[u]: continue OUT[label[v]] += 1 #print(IN,OUT) ans = max(IN.count(0), OUT.count(0)) print(ans) if __name__ == '__main__': main()