結果

問題 No.2121 帰属関係と充足可能性
コンテスト
ユーザー googol_S0
提出日時 2022-11-04 21:35:57
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 54 ms / 2,000 ms
+ 493µs
コード長 663 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 218 ms
コンパイル使用メモリ 95,980 KB
実行使用メモリ 79,136 KB
最終ジャッジ日時 2026-08-17 18:12:58
合計ジャッジ時間 4,934 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 49
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

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