drken1215 https://blog.hatena.ne.jp/drken1215/ けんちょんの競プロ精進記録 https://drken1215.hatenablog.com/ JOI JOI予選・二次予選 AtCoder AOJ 3-SAT 後退解析 queue 応用的な探索 葉から考える 制約条件:2-SAT 論理パズル グラフ どれか1つ求める SAT NoviSteps3D JOI難易度9 面白かった。 問題へのリンク 問題概要 人がいて、それぞれ「スパイ」か「非スパイ」かのどちらかである。 人のうち、何人かについてはスパイかどうかが予めわかっている ( で与えられる)。 個の証言がある。各証言は人 が証言者によってなされ、「人 はスパイである」かつ「人 はスパイではない」というものである。 がスパイである場合は、「人 はスパイである」かつ「人 はスパイではない」のうちの少なくとも一方は虚偽の情報である。 がスパイでない場合は、証言の真偽は不明である。 これらの情報が整合するように、 人それぞれが「スパイ」か「非スパイ」であるかどうかを特定せよ。解なしである場合は -1 を出力せ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fdrken1215.hatenablog.com%2Fentry%2F2020%2F12%2F29%2F173100" title="JOI 二次予選 2021 E - スパイ 2 (AOJ 0695) (3D, 難易度 9) - けんちょんの競プロ精進記録" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.user.blog.st-hatena.com/default_entry_og_image/80936665/1730992592391452 Hatena Blog https://hatena.blog 2020-12-29 17:31:00 rich https://drken1215.hatenablog.com/entry/2020/12/29/173100 1.0 100%