結果
| 問題 | 
                            No.2267 群の公理
                             | 
                    
| コンテスト | |
| ユーザー | 
                             sepa38
                         | 
                    
| 提出日時 | 2023-04-14 21:38:47 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 45 ms / 2,000 ms | 
| コード長 | 564 bytes | 
| コンパイル時間 | 331 ms | 
| コンパイル使用メモリ | 82,464 KB | 
| 実行使用メモリ | 61,504 KB | 
| 最終ジャッジ日時 | 2024-10-10 12:21:18 | 
| 合計ジャッジ時間 | 3,773 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| other | AC * 50 | 
ソースコード
n = int(input())
a = [list(map(int, input().split())) for _ in range(n)]
for i in range(n):
  for j in range(n):
    if a[i][j] != a[j][i]:
      print("No")
      exit()
for i in range(n):
  if i not in a[i]:
    print("No")
    exit()
for i in range(n):
  for j in range(n):
    for k in range(n):
      if not a[i][a[j][k]] == a[a[i][j]][k] == a[j][a[k][i]]:
        print("No")
        exit()
e = [i for i in range(n)]
for i in range(n):
  for v in e:
    if v not in a[i]:
      e.remove(v)
    elif a[i][v] != i:
      e.remove(v)
print("Yes" if e else "No")
            
            
            
        
            
sepa38