結果

問題 No.2267 群の公理
ユーザー FromBooskaFromBooska
提出日時 2023-04-14 23:02:35
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 45 ms / 2,000 ms
コード長 1,262 bytes
コンパイル時間 267 ms
コンパイル使用メモリ 82,260 KB
実行使用メモリ 52,992 KB
最終ジャッジ日時 2024-10-10 14:04:20
合計ジャッジ時間 3,728 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 41 ms
52,224 KB
testcase_01 AC 41 ms
52,608 KB
testcase_02 AC 40 ms
52,224 KB
testcase_03 AC 41 ms
52,480 KB
testcase_04 AC 41 ms
52,224 KB
testcase_05 AC 40 ms
51,968 KB
testcase_06 AC 41 ms
51,712 KB
testcase_07 AC 41 ms
52,352 KB
testcase_08 AC 45 ms
51,968 KB
testcase_09 AC 40 ms
51,968 KB
testcase_10 AC 40 ms
51,840 KB
testcase_11 AC 40 ms
51,968 KB
testcase_12 AC 41 ms
52,224 KB
testcase_13 AC 40 ms
51,968 KB
testcase_14 AC 41 ms
52,224 KB
testcase_15 AC 40 ms
52,608 KB
testcase_16 AC 41 ms
52,608 KB
testcase_17 AC 42 ms
52,096 KB
testcase_18 AC 41 ms
52,096 KB
testcase_19 AC 40 ms
52,096 KB
testcase_20 AC 40 ms
52,224 KB
testcase_21 AC 40 ms
52,096 KB
testcase_22 AC 40 ms
51,968 KB
testcase_23 AC 42 ms
52,480 KB
testcase_24 AC 41 ms
52,224 KB
testcase_25 AC 43 ms
51,968 KB
testcase_26 AC 42 ms
52,096 KB
testcase_27 AC 41 ms
52,352 KB
testcase_28 AC 41 ms
52,224 KB
testcase_29 AC 42 ms
52,224 KB
testcase_30 AC 42 ms
51,968 KB
testcase_31 AC 41 ms
52,352 KB
testcase_32 AC 42 ms
52,480 KB
testcase_33 AC 43 ms
52,480 KB
testcase_34 AC 43 ms
52,224 KB
testcase_35 AC 44 ms
52,352 KB
testcase_36 AC 43 ms
52,864 KB
testcase_37 AC 42 ms
52,864 KB
testcase_38 AC 42 ms
52,096 KB
testcase_39 AC 42 ms
52,608 KB
testcase_40 AC 43 ms
52,992 KB
testcase_41 AC 42 ms
52,480 KB
testcase_42 AC 44 ms
52,736 KB
testcase_43 AC 43 ms
52,736 KB
testcase_44 AC 44 ms
52,992 KB
testcase_45 AC 43 ms
52,480 KB
testcase_46 AC 42 ms
52,992 KB
testcase_47 AC 43 ms
52,608 KB
testcase_48 AC 44 ms
52,992 KB
testcase_49 AC 42 ms
52,352 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

# 単位元の列では0123－－－となる必要がある、行も同様
# 逆元があるのだから各行に単位元が存在する
# 結合律が成り立つためには対角線でミラーの関係が必要
# 自信ないがそれでやってみるか

N = int(input())
matrix = []
unit_test1 = False
unit = -1
for i in range(N):
    temp = list(map(int, input().split()))
    matrix.append(temp)
    if temp == [a for a in range(N)]:
        unit_test1 = True
        unit = i
    
unit_test2 = True
for i in range(N):
    if matrix[i][unit] != i:
        unit_test2 = False

inverse_test1 = True
for i in range(N):
    if unit not in matrix[i]:
        inverse_test1 = False
        
inverse_test2 = True
for j in range(N):
    temp = set()
    for i in range(N):
        temp.add(matrix[i][j])
    if unit not in temp:
        inverse_test2 = False

transpose = [[0]*N for i in range(N)]
for i in range(N):
    for j in range(N):
        transpose[i][j] = matrix[j][i]

if transpose == matrix:
    transpose_test = True
else:
    transpose_test = False
    
ans = 'No'
if unit_test1 == True and unit_test2 == True:
    if inverse_test1 == True and inverse_test2 == True:
        if transpose_test == True:
            ans = 'Yes'
print(ans)
0