結果

問題 No.2090 否定論理積と充足可能性
コンテスト
ユーザー 👑 magurofly
提出日時 2022-09-30 21:29:20
言語 Ruby
(4.0.7 + ACL)
コンパイル:
ruby -w -c _filename_
実行:
ruby _filename_
結果
AC  
実行時間 54 ms / 2,000 ms
+ 508µs
コード長 246 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 10 ms
コンパイル使用メモリ 9,216 KB
実行使用メモリ 14,848 KB
最終ジャッジ日時 2026-10-06 04:52:18
合計ジャッジ時間 2,912 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
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