結果

問題 No.2674 k-Walk on Bipartite
ユーザー ゼットゼット
提出日時 2024-03-15 22:50:14
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 484 ms / 2,000 ms
コード長 1,881 bytes
コンパイル時間 131 ms
コンパイル使用メモリ 82,720 KB
実行使用メモリ 127,140 KB
最終ジャッジ日時 2024-09-30 02:20:35
合計ジャッジ時間 7,338 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 35 ms
54,852 KB
testcase_01 AC 37 ms
54,312 KB
testcase_02 AC 39 ms
55,180 KB
testcase_03 AC 35 ms
52,872 KB
testcase_04 AC 33 ms
52,708 KB
testcase_05 AC 33 ms
53,636 KB
testcase_06 AC 34 ms
52,516 KB
testcase_07 AC 365 ms
125,304 KB
testcase_08 AC 379 ms
111,388 KB
testcase_09 AC 231 ms
94,336 KB
testcase_10 AC 433 ms
119,020 KB
testcase_11 AC 239 ms
91,196 KB
testcase_12 AC 431 ms
109,912 KB
testcase_13 AC 231 ms
91,940 KB
testcase_14 AC 202 ms
110,860 KB
testcase_15 AC 484 ms
122,088 KB
testcase_16 AC 398 ms
127,140 KB
testcase_17 AC 354 ms
109,648 KB
testcase_18 AC 168 ms
88,144 KB
testcase_19 AC 263 ms
93,864 KB
testcase_20 AC 378 ms
124,208 KB
testcase_21 AC 377 ms
114,556 KB
testcase_22 AC 362 ms
98,976 KB
testcase_23 AC 34 ms
53,088 KB
testcase_24 AC 33 ms
53,080 KB
testcase_25 AC 34 ms
52,408 KB
testcase_26 AC 34 ms
54,412 KB
testcase_27 AC 34 ms
53,876 KB
testcase_28 AC 34 ms
52,412 KB
testcase_29 AC 34 ms
53,600 KB
testcase_30 AC 34 ms
52,468 KB
testcase_31 AC 33 ms
54,544 KB
testcase_32 AC 33 ms
53,500 KB
testcase_33 AC 32 ms
53,668 KB
testcase_34 AC 32 ms
54,040 KB
testcase_35 AC 33 ms
53,116 KB
testcase_36 AC 32 ms
53,220 KB
testcase_37 AC 34 ms
54,324 KB
testcase_38 AC 33 ms
53,052 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())
if N==1:
  print('No')
  exit()
if N==2:
  if s==t:
    if K%2==0:
      if M==1:
        print('Yes')
      else:
        print('Unknown')
    else:
      print('No')
  else:
    if K%2==0:
      print('No')
    else:
      if M==1:
        print('Yes')
      else:
        print('Unknown')
  exit()
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