結果

問題 No.2121 帰属関係と充足可能性
ユーザー lam6er
提出日時 2025-03-31 17:57:55
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 1,261 bytes
コンパイル時間 218 ms
コンパイル使用メモリ 82,576 KB
実行使用メモリ 107,264 KB
最終ジャッジ日時 2025-03-31 17:58:45
合計ジャッジ時間 4,307 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 5 TLE * 1 -- * 43
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from itertools import chain, combinations

def generate_V(n):
    if n == 0:
        return [frozenset()]
    prev = generate_V(n - 1)
    all_elements = list(prev)
    subsets = []
    for r in range(len(all_elements) + 1):
        for subset in combinations(all_elements, r):
            subsets.append(frozenset(subset))
    return subsets

def main():
    N = int(sys.stdin.readline())
    A = list(map(int, sys.stdin.readline().split()))
    A0, A1, A2, A3, A4, A5 = A
    Vn = generate_V(N)
    
    for m0 in Vn:
        for m1 in Vn:
            for m2 in Vn:
                ma0 = [m0, m1, m2][A0]
                ma1_val = [m0, m1, m2][A1]
                ma2_val = [m0, m1, m2][A2]
                ma3_val = [m0, m1, m2][A3]
                ma4_val = [m0, m1, m2][A4]
                ma5_val = [m0, m1, m2][A5]
                
                cond1 = ma0.issubset(ma1_val)
                cond2 = ma1_val in ma2_val
                cond3 = ma3_val in ma2_val
                cond4 = ma4_val in ma2_val
                cond5 = ma5_val in ma0
                
                if cond1 and cond2 and cond3 and cond4 and cond5:
                    print("YES")
                    return
    print("NO")

if __name__ == "__main__":
    main()
0