No.2819 Binary Binary-Operator
タグ : / 解いたユーザー数 84
作問者 : 🦠みどりむし / テスター : FplusFplusF viral8 achapi 👑 AngrySadEight
これはインタラクティブな問題です。
問題文
$\mathbb{B} \coloneqq \{\, 0, 1 \,\}$ 上の二項演算 $\otimes \colon \mathbb{B} \times \mathbb{B} \to \mathbb{B}$ は以下をすべて満たします:
- $0 \otimes 0 = P_{0, 0}$
- $0 \otimes 1 = P_{0, 1}$
- $1 \otimes 0 = P_{1, 0}$
- $1 \otimes 1 = P_{1, 1}$
あなたは、ジャッジプログラムに対して以下の質問を ちょうど $\bold 1$ 度 行うことができます:
- はじめに、以下をすべて満たすような長さ $n$ の列 $v = (v_1, v_2, \dots, v_n)$ を自由に選ぶ:
- $\bold{3} \leq n < 256$
- $\{\, v_1, v_2, \dots, v_n \,\} \subset \mathbb{B}$
- その後、$( \cdots ((v_1 \otimes v_2) \otimes v_3) \otimes \cdots) \otimes v_n$ の値を尋ねる。
入力より与えられる $\{\, X ,Y \,\} \subset \mathbb{B}$ なる $X, Y$ に対して $X \otimes Y$ の値を求めてください。
入出力
この問題はインタラクティブな(あなたの作成したプログラムとジャッジプログラムが入出力を介して対話を行う形式の)問題である。
はじめに、ジャッジプログラムが標準入力より以下の形式で $X, Y$ を与える:
$X \enspace Y$
続いて、列 $v$ とその長さ $n$ を以下の形式で標準出力へ出力せよ:
$n$ $v_1 \enspace v_2 \enspace \dots \enspace v_n$
質問に応じて、それに対する答えをジャッジプログラムが標準入力より以下の形式で与える:
$t$ここで $t$ は $( \cdots ((v_1 \otimes v_2) \otimes v_3) \otimes \cdots) \otimes v_n$ の値である。
最後に、求めた $X \otimes Y$ の値を標準出力へ一行に出力し、プログラムを終了せよ。
注意点
- 出力を行うたびに、末尾に改行を入れて標準出力を flush せよ。
- 要件を満たさない出力を行った場合のジャッジ結果は不定である。余分な空白や改行を出力することも該当する。
- インタラクションの終了後は直ちにプログラムを終了せよ。
制約
- $\{\, P_{0, 0}, P_{0, 1}, P_{1, 0}, P_{1, 1} \,\} \subset \mathbb{B}$
- $\{\, X, Y \,\} \subset \mathbb{B}$
- $P_{0, 0}, P_{0, 1}, P_{1, 0}, P_{1, 1}$ の値は各テストケースごとに固定である
サンプル
以下は $(P_{0, 0}, P_{0, 1}, P_{1, 0}, P_{1, 1}) = (1, 0, 1, 0)$ であった場合の入出力例です:
入力 | 出力 | 意味 | 備考 |
---|---|---|---|
0 0 |
$(X, Y) = (0, 0)$ | ||
3 0 0 0 |
$v = (v_1, v_2, v_3) = (0, 0, 0)$ | ||
1 |
$(v_1 \otimes v_2) \otimes v_3 = (0 \otimes 0) \otimes 0 = 1 \>\>\>\text{---}\> (\star)$ | $(0 \otimes 0) \otimes 0 = P_{0, 0} \otimes 0 = 1 \otimes 0 = P_{1, 0} = 1$ である。 | |
1 |
$X \otimes Y = 0 \otimes 0 = 1$ | $0 \otimes 0 = 0$ を仮定すると $(0 \otimes 0) \otimes 0 = 0 \otimes 0 = 0$ であり $(\star)$ に反する。 ゆえに $0 \otimes 0 = 1$ とわかる。 |
提出するには、Twitter 、GitHub、 Googleもしくは右上の雲マークをクリックしてアカウントを作成してください。