結果

問題 No.2267 群の公理
コンテスト
ユーザー タコイモ
提出日時 2023-04-14 21:49:37
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 54 ms / 2,000 ms
コード長 1,114 bytes
コンパイル時間 314 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 61,568 KB
最終ジャッジ日時 2024-10-10 12:33:10
合計ジャッジ時間 3,858 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 50
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
#sys.setrecursionlimit(500000)
def I(): return int(sys.stdin.readline().rstrip())
def MI(): return map(int,sys.stdin.readline().rstrip().split())
def TI(): return tuple(map(int,sys.stdin.readline().rstrip().split()))
def LI(): return list(map(int,sys.stdin.readline().rstrip().split()))
def SI(): return sys.stdin.readline().rstrip()
def LS(): return list(sys.stdin.readline().rstrip())
#for i, pi in enumerate(p):
from collections import defaultdict,deque
import bisect
import itertools
dic = defaultdict(int)
d = deque()

N = I()
S = [LI() for _ in range(N)]
for i in range(N):
  for j in range(N):
    for k in range(N):
      if S[S[i][j]][k] != S[i][S[j][k]]:
        print('No')
        exit()
for e in range(N):
  check = 0
  for i in range(N):
    if S[i][e] == S[e][i] == i:
      continue
    else:
      check = 1
      break
  if check:
    continue
  count = 0
  check = set()
  for i in range(N):
    for x in range(N):
      if S[i][x] == e:
        if S[x][i] == e:
          check.add(i)
          break
  if len(check) == N:
    print('Yes')
    exit()
print('No')
0