結果

問題 No.2291 Union Find Estimate
ユーザー qibqib
提出日時 2023-05-06 04:22:48
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 516 ms / 2,000 ms
コード長 1,886 bytes
コンパイル時間 308 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 91,784 KB
最終ジャッジ日時 2024-11-23 15:41:04
合計ジャッジ時間 4,249 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
52,096 KB
testcase_01 AC 42 ms
52,736 KB
testcase_02 AC 516 ms
77,056 KB
testcase_03 AC 127 ms
79,232 KB
testcase_04 AC 59 ms
63,360 KB
testcase_05 AC 68 ms
66,944 KB
testcase_06 AC 55 ms
61,440 KB
testcase_07 AC 52 ms
60,288 KB
testcase_08 AC 85 ms
74,240 KB
testcase_09 AC 88 ms
75,648 KB
testcase_10 AC 136 ms
76,672 KB
testcase_11 AC 163 ms
76,416 KB
testcase_12 AC 202 ms
76,544 KB
testcase_13 AC 132 ms
91,784 KB
testcase_14 AC 201 ms
76,672 KB
testcase_15 AC 185 ms
77,952 KB
testcase_16 AC 215 ms
76,800 KB
testcase_17 AC 127 ms
78,524 KB
testcase_18 AC 122 ms
79,260 KB
testcase_19 AC 141 ms
76,544 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

MOD = 998244353

class UnionFind:
  def __init__(self, n):
    self.node = [-1 for _ in range(n)]

  def root(self, v):
    if self.node[v] < 0:
      return v

    st = []
    while self.node[v] >= 0:
      st.append(v)
      v = self.node[v]

    for u in st:
      self.node[u] = v

    return v

  def size(self, v):
    v = self.root(v)
    return (- self.node[v])

  def same(self, u, v):
    return self.root(u) == self.root(v)

  def unite(self, u, v):
    ru = self.root(u)
    rv = self.root(v)
    if ru == rv:
      return

    du = self.node[ru]
    dv = self.node[rv]
    if du <= dv:
      self.node[rv] = ru
      self.node[ru] += dv
    else:
      self.node[ru] = rv
      self.node[rv] += du

w, h = map(int, input().split())

uf = UnionFind(w)
num = [None for _ in range(w)]
flg = True
ans = 1

def propagate(u, v):
  none_u = num[u] is None
  none_v = num[v] is None
  if not none_u and not none_v:
    if num[u] != num[v]:
      flg = False
      return False
  elif none_u and not none_v:
    num[u] = num[v]
  elif none_v and not none_u:
    num[v] = num[u]

  return True

for _ in range(h):
  qi = input()
  ans = 1
  if not flg:
    ans = 0

  idx = {}
  for j in range(w * ans):
    if qi[j] == "?":
      continue
    elif ord("a") <= ord(qi[j]) <= ord("z"):
      if idx.get(qi[j], None) is None:
        idx[qi[j]] = j
      else:
        uf.unite(idx[qi[j]], j)
        r = uf.root(j)
        if not propagate(r, j):
          ans = 0
          break
    else:
      if num[j] is None:
        num[j] = int(qi[j])
      elif num[j] != int(qi[j]):
        flg = False
        ans = 0
        break

  par = {}
  for v in range(w * ans):
    r = uf.root(v)

    if not propagate(r, v):
      ans = 0
      break

    if par.get(r, None) is None:
      par[r] = num[r]

  for k, v in par.items():
    if v is None:
      ans = (ans * 10) % MOD

  print(ans)
0