結果

問題 No.2674 k-Walk on Bipartite
ユーザー ゼットゼット
提出日時 2024-03-15 22:45:17
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,580 bytes
コンパイル時間 153 ms
コンパイル使用メモリ 81,700 KB
実行使用メモリ 126,664 KB
最終ジャッジ日時 2024-03-15 22:45:27
合計ジャッジ時間 9,372 ms
ジャッジサーバーID
(参考情報)
judge14 / judge15
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 41 ms
55,744 KB
testcase_01 AC 41 ms
55,744 KB
testcase_02 AC 41 ms
55,744 KB
testcase_03 AC 43 ms
55,744 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 AC 40 ms
55,744 KB
testcase_07 AC 462 ms
124,880 KB
testcase_08 AC 498 ms
111,060 KB
testcase_09 AC 286 ms
93,932 KB
testcase_10 AC 580 ms
118,748 KB
testcase_11 AC 307 ms
91,088 KB
testcase_12 AC 553 ms
109,776 KB
testcase_13 AC 282 ms
91,884 KB
testcase_14 AC 228 ms
110,360 KB
testcase_15 AC 608 ms
121,940 KB
testcase_16 AC 497 ms
126,664 KB
testcase_17 AC 468 ms
109,532 KB
testcase_18 AC 209 ms
87,776 KB
testcase_19 AC 326 ms
93,720 KB
testcase_20 AC 461 ms
123,772 KB
testcase_21 AC 472 ms
114,116 KB
testcase_22 AC 462 ms
98,844 KB
testcase_23 AC 39 ms
55,744 KB
testcase_24 WA -
testcase_25 WA -
testcase_26 AC 40 ms
55,744 KB
testcase_27 AC 37 ms
53,588 KB
testcase_28 WA -
testcase_29 WA -
testcase_30 AC 36 ms
53,588 KB
testcase_31 AC 40 ms
55,744 KB
testcase_32 AC 40 ms
55,744 KB
testcase_33 AC 40 ms
55,744 KB
testcase_34 AC 41 ms
55,744 KB
testcase_35 AC 41 ms
55,744 KB
testcase_36 AC 41 ms
55,744 KB
testcase_37 AC 42 ms
55,744 KB
testcase_38 AC 42 ms
55,744 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

class unif:
  def __init__(self,n):
    self.pare=[-1]*n
    self.size=[1]*n
  def root(self,x):
    while self.pare[x]!=-1:
      x=self.pare[x]
    return x
  def unite(self,u,v):
    rootu=self.root(u)
    rootv=self.root(v)
    if rootu!=rootv:
      if self.size[rootu]>=self.size[rootv]:
        self.pare[rootv]=rootu
        self.size[rootu]+=self.size[rootv]
      else:
        self.pare[rootu]=rootv
        self.size[rootv]+=self.size[rootu]
  def same(self,s,t):
    return self.root(s)==self.root(t)
N,M=map(int,input().split())
s,t,K=map(int,input().split())
G=[[] for i in range(N)]
Z=unif(N)
for i in range(M):
  a,b=map(int,input().split())
  G[a-1].append(b-1)
  G[b-1].append(a-1)
  Z.unite(a-1,b-1)
if Z.same(s-1,t-1)==False:
  print('Unknown')
  exit()
dist=[-1]*N
from collections import deque
S=deque()
p=[[0]*N for i in range(20)]
for i in range(N):
  if dist[i]>=0:
    continue
  dist[i]=0
  S.append(i)
  p[0][i]=i
  while S:
    x=S.popleft()
    for y in G[x]:
      if dist[y]>=0:
        continue
      dist[y]=dist[x]+1
      p[0][y]=x
      S.append(y)
for k in range(1,20):
  for i in range(N):
    p[k][i]=p[k-1][p[k-1][i]]
def LCA(x,y):
  a,b=x,y
  if dist[a]>dist[b]:
    a,b=b,a
  e=dist[b]-dist[a]
  for k in range(20):
    if (e>>k)&1:
      b=p[k][b]
  if a==b:
    return a
  for k in range(19,-1,-1):
    if p[k][a]!=p[k][b]:
      a=p[k][a]
      b=p[k][b]
  a=p[0][a]
  return a
s-=1
t-=1
if K%2!=(dist[s]-dist[t])%2:
  print('No')
  exit()
pos=LCA(s,t)
d=dist[s]+dist[t]-2*dist[pos]
if d>K:
  print('Unknown')
else:
  print('Yes')
  
0