AtCoder Beginner Contest 117:D - XXOR
問題
https://atcoder.jp/contests/abc117/tasks/abc117_d
考え方
考えていた解法(貪欲)
bitのXORを考える問題なので、bitの桁ごとに考えていこう。bitごとに独立して考えることができる。 について という制約がなければ本当にbitごとに上から貪欲でOK。ただし であるから少し工夫が必要である。
まず各bitごとに に含まれる or のbitの個数を求めよう。上位 桁目のビットが である個数を とする。そのとき の上位 桁目のbitが であれば、 を選択できる。そうでなく の上位 桁目のbitが であれば を選ぶしかない。このようにして数を選んだときの和 が解の一つである。
次に 未満の数で各桁のbitがなるべく多くなる数の集合を求めよう。つまり と表される数を考えると
が候補になる。これらの数は上位 桁目のbitが である場合のみ考えればよいので高々 個である。
あとは候補になる数それぞれについて実際に計算して最大値を求めれば良い。
Submission #4169898 - AtCoder Beginner Contest 117
別解(桁DP)
上位 桁目まで見て、今の桁まで ぴったり(tight=1)かどうかの場合の最大値
とする。ぴったりでない場合はゆるい(tight=0)と表現することとする。桁DPは基本的に
- ぴったり → ぴったり
- ぴったり → ゆるい
- ゆるい → ゆるい
の3通りの遷移のみを考えれば良い。(実際はこの問題は 桁目が 0
の場合と 1
の場合で場合分けするが本質ではない)
よって 程度の数から順番に桁ごとの最大値を求めればよい。 が解となる。
Submission #4174488 - AtCoder Beginner Contest 117
どこに着目して考察するべきだったか
を超えないような数とXORを取る、ということを考えることが重要。
何がバグっていたか
ある数以下のビットの組み合わせの実装がバグっていた。以下のようにすればよい。
List<Long> list = new ArrayList<>(); for (int i = 50; i >= 0; i--) { long tmp = k; if ((tmp >> i & 1) == 1) { tmp -= 1L << i; tmp |= ((1L << i) - 1); list.add(tmp); } }
得た知見(典型ポイント)
- ある数以下でビットの組み合わせを求める
- XORは桁ごとに独立。上位桁から考える。