結果

問題 No.2121 帰属関係と充足可能性
ユーザー googol_S0googol_S0
提出日時 2022-11-04 21:35:57
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 42 ms / 2,000 ms
コード長 663 bytes
コンパイル時間 188 ms
コンパイル使用メモリ 82,048 KB
実行使用メモリ 52,352 KB
最終ジャッジ日時 2024-07-18 22:14:59
合計ジャッジ時間 3,442 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff # 

N=int(input())
A=list(map(int,input().split()))
if N==0:
  print('NO')
  exit()
E=[[0]*3 for i in range(3)]
E[A[2]][A[1]]=1
E[A[2]][A[3]]=1
E[A[2]][A[4]]=1
E[A[0]][A[5]]=1
for i in range(3):
  if E[i][i]==1:
    print('NO')
    exit()
  for j in range(3):
    if E[i][j]==1 and E[j][i]==1:
      print('NO')
      exit()
    if E[i][j]==1 and N<=1:
      print('NO')
      exit()
    for k in range(3):
      if E[i][j]==1 and E[j][k]==1 and E[k][i]==1:
        print('NO')
        exit()
      if E[i][j]==1 and E[j][k]==1 and N==2:
        print('NO')
        exit()
if A[0]==A[1]:
  print('YES')
  exit()
if E[A[0]][A[1]]==1:
  print('NO')
else:
  print('YES')
0