結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー magurofly
提出日時 2022-09-30 21:29:20
言語 Ruby
(4.0.2)
コンパイル:
ruby -w -c _filename_
実行:
ruby _filename_
結果
AC  
実行時間 72 ms / 2,000 ms
コード長 246 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 96 ms
コンパイル使用メモリ 9,216 KB
実行使用メモリ 14,976 KB
最終ジャッジ日時 2026-05-29 01:37:17
合計ジャッジ時間 2,244 ms
ジャッジサーバーID
（参考情報） 		judge2_0 / judge1_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20
権限があれば一括ダウンロードができます
コンパイルメッセージ
Syntax OK

ソースコード

diff #
raw source code 

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