No.2536 同値性と充足可能性
タグ : / 解いたユーザー数 67
作問者 : 👑

注意
コンテスト終了後に、出力形式に厳格に従う必要がある旨を明記しました。
問題文
入力の最初に 個の正整数 が与えられます。
ある村には同値大好きbotという 体のbotが暮らしており、それらは 以下の各正整数 で番号付けられて同値大好きbot と呼ばれています。
村を訪れたあなたは 体の同値大好きbotのうち半分以上(つまり 以上の個数)を選んで連れて帰ろうと考えています。ただし選び方に関して同値大好きbotたちには合計 個の要望があり、あなたは 個全ての要望に従いたいと考えています。
同値大好きbotたちの要望は を満たす 以下の正整数 と<==>
か<=/=>
のいずれかである文字列 を用いて と表され、は
- が
<==>
である場合「自分たちを両方とも選ぶか、さもなくばどちらも選ばないで欲しい」 - が
<=/=>
である場合「自分たちのうち片方だけ(ちょうど 体)を選んで欲しい」
という同値大好きbot と同値大好きbot の 体からの要望を表します。
体の同値大好きbotのうち半分以上をあなたが選ぶ方法であって 個全ての要望に従うものが存在するかを判定し、存在する場合はそのような選び方を1つ求めてください。
背景
以下の各正整数 に対し「あなたが同値大好きbot を選んで連れ帰る」という命題を と置きます。各要望 は が<==>
の場合 という命題で表わせ、 が<=/=>
の場合 という命題で表わせます。この問題は、要望を表す 個の命題と「 体の同値大好きbotのうち半分以上をあなたが選んで連れ帰る」という命題の合計 個の命題を で結んで得られる命題の充足可能性に関する問題とみなせます。
ここで、 以下の正整数の集合を と置き、要素数が 以上である の部分集合全体の集合を と置きます。すると任意の に対し、「あなたが連れ帰る同値大好きbotの番号全体の集合が である」という命題は と表すことができます。このことから、「 体の同値大好きbotのうち半分以上をあなたが選んで連れ帰る」という命題は と表すことができます。
以上よりこの問題は、命題変数に か を適用して得られる 個の命題と の合計 個の命題を で結合した命題の充足可能性に関する問題とみなせます。
入力
以下、 以下の各の正整数 に対し 個目の要望を と表します。
この時、入力は以下の形式で標準入力から 行で与えられます:
- 行目に が半角空白区切りで与えられます。
- 以下の各正整数 に対し、 行目に 個目の要望 の各成分 が半角空白区切りで与えられます。
制約
入力は以下の制約を満たします:
- は を満たす整数である。
- は を満たす整数である。
- 以下の任意の正整数 に対し、
- は を満たす整数である。
- は
<==>
か<=/=>
のいずれかの文字列である。 - 以下の任意の正整数 に対し、 ならば である。
出力
体の同値大好きbotのうち半分以上をあなたが選ぶ方法であって 個全ての要望に従うものが存在しないならばNo
と出力してください。
No
存在する場合は 行目にYes
と出力し、 行目と 行目にそのような選び方の例を以下の形式で出力してください:
- 選ぶ同値大好きbotの個数 を 行目に出力してください。
- 選ぶ同値大好きbot 体の番号を小さい順に重複なく半角空白区切りで 行目に出力してください。
Yes (選ぶ同値大好きbotの番号のうち 番目に小さいもの) (選ぶ同値大好きbotの番号のうち 番目に小さいもの)
この問題はスペシャルジャッジ問題です。正解が複数ある場合はどれを出力しても構いません。
ただし出力の形式は上述したものを守ってください。例えば末尾に余計な空白を入れた場合のジャッジの挙動は保証されません。
最後に改行してください。
サンプル
サンプル1
入力
2 1 1 <==> 2
出力
Yes 2 1 2
出ている要望は
- 同値大好きbot と同値大好きbot の「自分たちを両方とも選ぶか、さもなくばどちらも選ばないで欲しい」という要望
の つだけです。同値大好きbot と同値大好きbot の 体を選ぶことでこの要望に従うことができ、 は の半分 以上です。出力形式の制約から
Yes 2 2 1
と出力すると不正解となることに注意してください。
サンプル2
入力
2 2 1 <==> 2 1 <=/=> 2
出力
No
出ている要望は
- 同値大好きbot と同値大好きbot の「自分たちを両方とも選ぶか、さもなくばどちらも選ばないで欲しい」という要望
- 同値大好きbot と同値大好きbot の「自分たちのうち片方だけを選んで欲しい」という要望
の つです。このように同値大好きbotたちは矛盾した要望を出すことがあります。これら全ての要望に従う選び方は存在しません。
サンプル3
入力
3 2 1 <=/=> 2 2 <=/=> 3
出力
Yes 2 1 3
出ている要望は
- 同値大好きbot と同値大好きbot の「自分たちのうち片方だけを選んで欲しい」という要望
- 同値大好きbot と同値大好きbot の「自分たちのうち片方だけを選んで欲しい」という要望
の つです。同値大好きbot と同値大好きbot の 体を選ぶことでこの要望に従うことができ、 は の半分 以上です。
サンプル4
入力
3 3 1 <==> 2 2 <==> 3 1 <=/=> 3
出力
No
出ている要望は
- 同値大好きbot と同値大好きbot の「自分たちを両方とも選ぶか、さもなくばどちらも選ばないで欲しい」という要望
- 同値大好きbot と同値大好きbot の「自分たちを両方とも選ぶか、さもなくばどちらも選ばないで欲しい」という要望
- 同値大好きbot と同値大好きbot の「自分たちのうち片方だけを選んで欲しい」という要望
の つです。これら全ての要望に従う選び方は存在しません。
提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。