結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー magurofly
提出日時 2022-09-30 21:29:20
言語 Ruby
(3.4.1)
結果
AC  
実行時間 94 ms / 2,000 ms
コード長 246 bytes
コンパイル時間 53 ms
コンパイル使用メモリ 7,424 KB
実行使用メモリ 12,160 KB
最終ジャッジ日時 2024-12-22 22:24:14
合計ジャッジ時間 2,641 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます
コンパイルメッセージ
Syntax OK

ソースコード

diff # 

A = gets.split.map(&:to_i)

B = A.uniq.sort
a = A.map { B.index(_1) }

(1 << a.size).times do |bits|
    p, q, r, s, t, u = a.map { bits[_1] == 1 }
    if !(!(!(p & q) & r) & !(!(s & t) & u))
        puts "YES"
        exit
    end
end

puts "NO"
0