結果
| 問題 |
No.2267 群の公理
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2023-04-14 23:00:45 |
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
| 結果 |
AC
|
| 実行時間 | 39 ms / 2,000 ms |
| コード長 | 571 bytes |
| コンパイル時間 | 181 ms |
| コンパイル使用メモリ | 12,672 KB |
| 実行使用メモリ | 10,880 KB |
| 最終ジャッジ日時 | 2024-10-10 14:01:52 |
| 合計ジャッジ時間 | 3,185 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 50 |
ソースコード
n = int(input())
op = [list(map(int, input().split()))for _ in range(n)]
ok = True
e = -1
inv = True
for i in range(n):
for j in range(n):
for k in range(n):
ok &= op[i][op[j][k]] == op[op[i][j]][k]
if not ok:
print("No")
exit()
for i in range(n):
eok = True
for j in range(n):
eok &= op[i][j] == op[j][i] == j
if eok:
e = i
if e == -1:
print("No")
exit()
for i in range(n):
ex = False
for j in range(n):
ex |= op[i][j] == e
inv &= ex
if inv:
print('Yes')
else:
print('No')