atcoder.jp 解説放送で AC です
中央値の最大化で手が止まります.
では最小値の最大化は? 二分探索ですね
同様にできます. 具体的には, :=
を適当に xor を取ったもので
以上が何個作れるか という関数を考えます.
この値が 以上であれば, 中央値が X 以上に大きくすることができます.
なのでこの を実装することができれば, 答えで二分探索をすることによって正答が得られます.
これは を上位 bit から見ていき, 再帰的に数えていくことで実装できます.
判定関数の実装, どこで練習できますか...?
atcoder.jp 解けなかったので
最小値が変わらないような操作はまとめてしまってよいなみたいなことを考えた。
(正直、眠くて頭が働いていない...)
当然 WA でした... (でもどんなケースが WA なのかは分からない...)
gcd は変わりません.
なるほどなあ.
atcoder.jp 解けなかったので
keisuke6 と相談,
6「貪欲でよくね」
5「でも aaaaa とかバグらない?」
6「たしかに」
方針はほぼ同じ. 3 文字を分割する際に 1, 2 で切るか 2, 1 で切るかどちらかを選ぶことができるが,
3 文字の直前とこの 3 文字の前半が一致することはないので ( 3 文字の直前が 1 文字なら 2, 1 で切断し、 2 文字なら 1, 2 で切断すればよい.)
公式 editorial にあるような漸化式がなりたつ. これを実装すればよい
普通に頭いいじゃん
atcoder.jp 解けなかったので
座標圧縮などをして のグリッド上の問題に言い換えておきます.
また行を固定した際(行 とします)に, 列をどう決めるかを考えます.
まず列(列 とします)の総和を求めておきます.総和の大きい順に選んでいっていけばよいのですが,
を引かなければいけません. しかし,
のとき,
より, そこで探索を打ち切ってしまってよいです. よって, 列をみる数は高々
回になることが分かります.
よって でこの問題が解けました.
おもしろい
atcoder.jp 解けなかったので
精選 150 問 を解いています.
半分全列挙の問題というところはヒントとして知っていたけれど, 解法がよく分かりませんでした...
Unite 部分が難しくて解決方法がまったく思いつかなかった.
グラフ上で考えて と
を辺でつなぐ. 最大独立集合は? と言い換える.
解説の図のように, ある部分集合を決めてしまえば, それを独立集合かどうか判定した上で, その集合に含まれる頂点と辺でつながれている頂点を除いたものの最大独立集合は? と言い換えられる.
この問題の本質は, 異なる部分集合 が存在して, 独立集合
が存在したとき, 集合
は, 集合
内でも独立集合であるという性質による.
あとは, ある部分集合内での最大独立集合を求めておけばよくて, これは bitDP などで事前に計算しておくことができる.
] :=
が独立集合であるかどうか
] :=
と辺でつながれていない頂点
の集合
] :=
の部分集合での最大独立集合のサイズ
バグらせまくりましたが...
atcoder.jp 解けなかったので
分からない...
0 以外の数字を sort して, そこに 0 を変化させた数字を挿入するみたいな考えをしましたが, 全部 0 の時にうまく行かなかった.
期待値に縦横反転(造語)を適用する.
要するに だと考えづらいので
とすることで,
以上の項が
あるときと言い換えることができ, 計算が簡単になる!
縦横反転は数学をしていたときにうまくできてうれしくなったことがあります (このツイートなんですがこのツイートのリプライ先が誤りを含んでいたので新しくツイートしなおしました(具体例で))
atcoder.jp 解゛け゛ま゛せ゛ん゛で゛し゛た゛...
最初は変な風に誤読をしていて 2 ペナをしました.
そのあとある数 が与えられるのでそれが
に存在するふたつの数の積で表せるかを判定する関数みたいなものをつくりました.
当然, 最後の方は と
の間にはそのような
は存在しないので最悪
になります.
このことに気づいたのが 22:00 くらいでした.
かなり焦っていたのもあってうまく思考できず... 完全に敗北です.
a を固定します. そうすると b が に定まります.
として一般性を失わないので結局
となって十分高速です.
atcoder.jp
あーあ
