結果

問題 No.2291 Union Find Estimate
ユーザー minimumminimum
提出日時 2023-05-05 21:54:43
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 571 ms / 2,000 ms
コード長 2,061 bytes
コンパイル時間 1,048 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 76,964 KB
最終ジャッジ日時 2024-05-02 16:05:54
合計ジャッジ時間 4,249 ms
ジャッジサーバーID
(参考情報)
judge3 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
52,864 KB
testcase_01 AC 43 ms
52,992 KB
testcase_02 AC 571 ms
76,544 KB
testcase_03 AC 68 ms
67,328 KB
testcase_04 AC 111 ms
76,672 KB
testcase_05 AC 112 ms
76,520 KB
testcase_06 AC 109 ms
76,516 KB
testcase_07 AC 93 ms
74,368 KB
testcase_08 AC 112 ms
76,800 KB
testcase_09 AC 113 ms
76,544 KB
testcase_10 AC 141 ms
76,964 KB
testcase_11 AC 171 ms
76,672 KB
testcase_12 AC 217 ms
76,544 KB
testcase_13 AC 70 ms
67,584 KB
testcase_14 AC 104 ms
76,672 KB
testcase_15 AC 90 ms
75,008 KB
testcase_16 AC 104 ms
76,160 KB
testcase_17 AC 95 ms
75,776 KB
testcase_18 AC 91 ms
73,472 KB
testcase_19 AC 134 ms
76,928 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