CSA FII Code Final Round Online Mirror F - Flawed Olympiad
問題概要
要素数 の非負整数列 と非負整数 が与えられる。数列 の要素間に |
(ビットOR)または &
(ビットAND)を入れて出来る式であって、計算結果が となるものを1つ求めよ。そのような式が存在しない場合は impossible
を出力せよ。
ここでORとANDの演算に優先順位はなく、左から順に処理されるものとする。
制約
解法
この記事では値同士の関係を、ビットが立っているところを要素とする集合の記号で表現することがあります。例えば は が の部分集合であること、つまり、 で立っている桁のビットは全て でも立っているという意味になります。
後ろから考える
最終的な計算結果に近いのは後ろの方の値なので、後ろから考えていきます。
一番後ろの要素である の直前に置く演算子としてANDを採用できる条件は、 であることです。
そして「ここにANDを採用したとき、 の演算結果がどのような条件を満たすべきか」を考えることができて、具体的には
- ともに0であるような桁については、どちらでもよい。
- で1、 で0であるような桁については、0である必要がある。
- ともに1であるような桁については、1である必要がある。
と判断することができます。
一番後ろの要素である の直前に置く演算子としてORを採用できる条件は、逆に であることです。
そして同様に「ここにORを採用したとき、 の演算結果がどのような条件を満たすべきか」については
- ともに0であるような桁については、0である必要がある。
- で0、 で1であるような桁については、1である必要がある。
- ともに1であるような桁については、どちらでもよい。
と判断することができます。
1つずつ決めていく
このように、OR/ANDそれぞれについて「その演算子を採用できる条件」と「その演算子を採用した場合、それ以前までの計算結果はどのような条件を満たすべきか」を求めることができます。これを繰り返していくことで後ろから順番に演算子を決めていくことができそうです。
後の説明のために定式化しておきましょう。 を「 より後ろの演算子を決めた時、 までの演算結果の 桁目はどのような状態になっているべきか」を表現する値とします。この値は「0である必要がある」「1である必要がある」「どちらでもよい」の3通りです。
遷移については、 と の値から を更新します。一度「どちらでもよい」という扱いになった桁は無視することにして、先ほどと同じように考えて の直前の演算子を決定します。
OR/ANDのうちどちらかしか採用できない場合は単純にそちらを選び、どちらも採用できない場合はその時点で impossible
と出力して終了します。問題なのはどちらも採用できる場合で、これを両方とも調べようとするとパターン数が爆発します。
OR/AND両方採用できる場合を考える
では、OR/AND両方採用できる場合というものが具体的にどうなっているか考えます。これは「どちらでもよい」桁を除いて と が一致している場合です。
このときもし の直前にANDを採用すれば、図で示すように は「1である必要がある」桁と「どちらでもよい」桁だけになります。であれば、 までの値のビットはとにかく立てたほうが得なので、それ以前は全てORを採用するのが最善です。つまり のORを計算してしまって「1である必要がある」ビットが全て立っていればそれが答えになりますし、そうでなければ の直前にANDを採用してはいけないことになります。
同様に、もし の直前にORを採用すれば、 は「0である必要がある」桁と「どちらでもよい」桁だけになります。そのため 以前は全てANDを採用するのが最善となり、それを計算することによって答えが得られるか の直前にORを採用してはいけないことが分かります。
これにより各遷移は、「OR/ANDのうち片方だけに遷移する」「即座に答えが得られて終了する」「即座に impossible
で終了する」のいずれかになり、結果として で答えを求めることができます。
ACコード
本番コード、使ってない変数とか残っててあまりキレイじゃないです…
最初の要素をどう扱うかと、それに付随して の時の扱いが少し面倒だと思います。コードでは素直に場合分けしています。