結果
| 問題 |
No.1797 永遠のグリッド
|
| ユーザー |
👑 Kazun
|
| 提出日時 | 2022-01-01 23:12:49 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 357 ms / 2,000 ms |
| コード長 | 4,116 bytes |
| コンパイル時間 | 235 ms |
| コンパイル使用メモリ | 82,220 KB |
| 実行使用メモリ | 79,932 KB |
| 最終ジャッジ日時 | 2024-10-10 17:05:50 |
| 合計ジャッジ時間 | 4,503 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 3 |
| other | AC * 27 |
ソースコード
class Union_Find():
__slots__=["n","parents","rank","edges","__group_number"]
def __init__(self,N):
""" 0,1,...,N-1 を要素として初期化する.
N: 要素数
"""
self.n=N
self.parents=[-1]*N
self.rank=[0]*N
self.edges=[0]*N
self.__group_number=N
def find(self, x):
""" 要素 x の属している族を調べる.
x: 要素
"""
V=[]
while self.parents[x]>=0:
V.append(x)
x=self.parents[x]
for v in V:
self.parents[v]=x
return x
def union(self, x, y):
""" 要素 x,y を同一視する.
[input]
x,y: 要素
[output]
元々が非連結 → True
元々が連結 → False
"""
x=self.find(x)
y=self.find(y)
if x==y:
self.edges[x]+=1
return False
if self.rank[x]<self.rank[y]:
x,y=y,x
self.__group_number-=1
self.edges[x]+=self.edges[y]+1
self.edges[y]=0
self.parents[x]+=self.parents[y]
self.parents[y]=x
if self.rank[x]==self.rank[y]:
self.rank[x]+=1
return True
def size(self, x):
""" 要素 x の属している族の要素の数.
x: 要素
"""
return -self.parents[self.find(x)]
def same(self, x, y):
""" 要素 x,y は同一視されているか?
x,y: 要素
"""
return self.find(x) == self.find(y)
def members(self, x):
""" 要素 x が属している族の要素.
※族の要素の個数が欲しいときは size を使うこと!!
x: 要素
"""
root = self.find(x)
return [i for i in range(self.n) if self.find(i) == root]
def edge_count(self, x):
""" 要素 x が属する族の辺の本数を求める.
x: 要素
"""
return self.edges[self.find(x)]
def is_tree(self, x):
""" 要素 x が属する族が木かどうかを判定する.
x: 要素
"""
return self.size(x)==self.edges[self.find(x)]+1
def tree_count(self):
""" 木になっている属の個数を求める.
"""
X=0
for g in self.representative():
if self.is_tree(g):
X+=1
return X
def representative(self):
""" 代表元のリスト
"""
return [i for i, x in enumerate(self.parents) if x < 0]
def group_count(self):
""" 族の個数
"""
return self.__group_number
def all_group_members(self):
""" 全ての族の出力
"""
X={r:[] for r in self.representative()}
for k in range(self.n):
X[self.find(k)].append(k)
return X
def refresh(self):
for i in range(self.n):
_=self.find(i)
def __str__(self):
return '\n'.join('{}: {}'.format(r, self.members(r)) for r in self.representative())
def __repr__(self):
return self.__str__()
def __getitem__(self,index):
return self.find(index)
def __setitem__(self,x,y):
self.union(x,y)
#==================================================
def encode(X,H,W,K):
S=[]
for _ in range(H*W):
S.append(X%K)
X//=K
return S[::-1]
def decode(S,K):
X=0
for a in S:
X=K*X+a
return X
def slide_x(S,H,W):
T=[0]*(H*W)
for i in range(H*W):
x,y=divmod(i,W)
j=x*W+(y+1)%W
T[j]=S[i]
return T
def slide_y(S,H,W):
T=[0]*(H*W)
for i in range(H*W):
x,y=divmod(i,W)
j=((x+1)%H)*W+y
T[j]=S[i]
return T
#==================================================
H,W,K=map(int,input().split())
U=Union_Find(pow(K,H*W))
for A in range(pow(K,H*W)):
S=encode(A,H,W,K)
Tx=slide_x(S,H,W)
Ty=slide_y(S,H,W)
U.union(A,decode(Tx,K))
U.union(A,decode(Ty,K))
X=0
for A in U.representative():
if len(set(encode(A,H,W,K)))==K:
X+=1
print(X)
Kazun