結果

問題 No.2291 Union Find Estimate
ユーザー minimumminimum
提出日時 2023-05-05 21:54:43
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 563 ms / 2,000 ms
コード長 2,061 bytes
コンパイル時間 1,132 ms
コンパイル使用メモリ 87,144 KB
実行使用メモリ 78,244 KB
最終ジャッジ日時 2023-08-15 03:52:46
合計ジャッジ時間 5,455 ms
ジャッジサーバーID
(参考情報)
judge14 / judge12
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 73 ms
71,332 KB
testcase_01 AC 75 ms
71,148 KB
testcase_02 AC 563 ms
77,276 KB
testcase_03 AC 94 ms
78,184 KB
testcase_04 AC 129 ms
78,192 KB
testcase_05 AC 127 ms
78,176 KB
testcase_06 AC 126 ms
78,164 KB
testcase_07 AC 111 ms
77,344 KB
testcase_08 AC 125 ms
77,720 KB
testcase_09 AC 131 ms
77,752 KB
testcase_10 AC 156 ms
78,040 KB
testcase_11 AC 183 ms
78,048 KB
testcase_12 AC 230 ms
78,072 KB
testcase_13 AC 95 ms
76,696 KB
testcase_14 AC 121 ms
77,664 KB
testcase_15 AC 111 ms
78,244 KB
testcase_16 AC 122 ms
77,516 KB
testcase_17 AC 115 ms
77,636 KB
testcase_18 AC 111 ms
77,116 KB
testcase_19 AC 149 ms
78,244 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

class DisjointSetUnion():

    def __init__(self, n):
        self.n = n
        self.par_or_size = [-1] * n
    
    def merge(self, a, b):
        assert(0 <= a < self.n)
        assert(0 <= b < self.n)
        la = self.leader(a)
        lb = self.leader(b)
        if la == lb:
            return la
        if -self.par_or_size[la] < -self.par_or_size[lb]:
            la, lb = lb, la
        self.par_or_size[la] += self.par_or_size[lb]
        self.par_or_size[lb] = la
        return la
    
    def same(self, a, b):
        assert(0 <= a < self.n)
        assert(0 <= b < self.n)
        return self.leader(a) == self.leader(b)
    
    def leader(self, a):
        assert(0 <= a < self.n)
        if (self.par_or_size[a] < 0):
            return a
        else:
            self.par_or_size[a] = self.leader(self.par_or_size[a])
            return self.par_or_size[a]

    def size(self, a):
        assert(0 <= a < self.n)
        return - self.par_or_size[self.leader(a)]

    def group(self):
        result = dict()
        for a in range(self.n):
            la = self.leader(a)
            if la not in result:
                result[la] = []
            result[la].append(a)
        return result

MOD = 998244353

W, H = map(int, input().split())
dsu = DisjointSetUnion(W + 10)
cnt = W + 10

for i in range(H):
    Q = input()
    ls = [-1] * 26
    for j in range(W):
        if Q[j] == '?':
            continue
        elif ord('0') <= ord(Q[j]) <= ord('9'):
            if not dsu.same(j, W + int(Q[j])):
                cnt -= 1
                dsu.merge(j, W + int(Q[j]))
        else:
            prev = ls[ord(Q[j]) - ord('a')]
            if prev != -1:
                if not dsu.same(j, prev):
                    cnt -= 1
                    dsu.merge(j, prev)
            ls[ord(Q[j]) - ord('a')] = j
    
    ans = 1
    for i in range(9):
        for j in range(i + 1, 10):
            if dsu.same(W + i, W + j):
                ans = 0
                break
    if ans:
        ans = pow(10, cnt - 10, MOD)
    print(ans)
    
0