AtCoder Regular Contest 111
xooxxx (543rd)
コンテスト
おおまかな動き
A を読む 全く方針がたたない 何人かが一瞬で通していてびっくりしてしまう
15 分くらい考えてもわからないので一旦 B を読む
あきらかに二部マッチング Dinic を貼る なぜか実装に手間取る まあどうにか AC(20:17)
C を読む Minimum Cost Sort ですね!!!!!!!(大声)
どうせサイクルに分解はやるはず、そのあとでサイクル内で操作を完結させるかサイクル外でもっとも適切な人を扱うかの 2 択だと思うのでそれらを考える
ちょっと考えるとサイクル内で最も軽い荷物を動かす操作だけを考えると、初期状態で操作ができなくなっている場合を除き操作を完了させることが可能
前者は後者より真にコストが小さいし、初期状態で操作ができない場合は後者でも解決できないのでサイクル外の人を考える必要がないことがわかる
実装にめちゃくちゃ手間取る (2回目) (いつもの) (実家のような安心感) 実装に 30 分くらいかかったけどなんとか AC(59:48)
この時点ですでに A を通す利点が薄いので D を読む
のうち が最小となる頂点 を考えると、最終的なグラフにおいて は 頂点の出次数 0 の強連結成分に属することがわかる
この考察を踏んだ段階で なら は同じ強連結成分に属するし、 ならその大小をみて辺の方向を決められることがわかる
あとは一つの強連結成分内の辺の方向をうまいこと決めるだけなんだけどここをちゃんと考察せずに実装が破綻しそのままコンテスト終了 たすけて
反省点
相変わらず実装が下手 実装方針を引くのはそこそこ上手くなってきて余計な苦行は避けられているけど、他の実装がうまい人にそれでも負けがち
実装に対する考察とか、こまかい正当性とかを怪しいまま進めるのはよくないので定期的に反省したい
いい加減 AOJ-ICPC とか埋めて苦しむのをやっていきたい
解法 (A ~ E)
A - Simple Math 2 (300)
300 ではないと思います
求める答えを $k$ とすると、
の整数倍であれば の上で合同なので
は整数なので floor の中に入れてもよくて、
なので、 から の整数倍を足し引きしても値は変わらない
⇒ は で計算してオケオケオッケー
考察以外は繰り返し二乗法やるくらいだけど 300 ではないと思います
B - Reversible Cards (400)
前述 略
公式解説の方針もすごいと思うけど知識とライブラリで殴るほうが安全で早いと思う
これが通るのでやっぱさっきのは 300 でいいです
C - Too Heavy (600)
前述 略
公式解説と少し方針は違うけどやってることはほぼ同じ もしかすると公式解説の方針のほうが少し実装が軽いかもしれない
D - Orientation (600)
序盤は書いてあるので省略
強連結成分内での辺の向き付けは dfs 木を作って後退辺を根方向に向き付けるだけで OK
制約から橋がないことが言えるのが多分本質で、それに気がつけば dfs 木も後退辺も自然と思いつけた気がする
惜しいような気もするし全然ダメだったような気もする 多分ダメだったんだろうな やっぱりすぐ実装に走らずに細かいところをちゃんと詰めるように癖付けないとよくない
E - Simple Math 3 (800)
コンテスト後に問題を読んだ
考察として、区間 の長さが 以上なら自明にその区間は解に含まれない
なので のとりうる最大値を考えると、高々 になる 解説を読んで気がついたけどこれはもう少し詰められる、ただ少し大きい程度なら解に影響しないことがわかっていたので OK
使わなかった考察だけど、その次に想像より区間 の数は少ないんじゃないかと思って計算してみる を考えるとこれは 個あるのでダメ
ただ、自明な考察ではあるが区間 に が収まるならそれが解になる
もう少し言い換えて、 なる の個数が解
⇒ の上界を先の とすると、その差は高々1
⇒ なる の個数が 個のうち条件を満たさない の個数
前者の総和をとると、一致するかどうかを総和で表すことができてかなり筋がよさそう、しかも floor_sum の形にすごく似ている
ので、 として がうまいこと floor_sum の形にならないか考える
10分くらいうなったんだけど、2 つの底関数を足すことはなかなか難しくないか?となってかなり行き詰まる
しょうがないのでトイレ行って思考をリセットしたんだけど、冷静に考えて 、〜完〜
あとは 1-indexed を 0-indexed にするなどの細かい調整をして終わり
実はこの段階でもまだこんなんで解けるとは思わなくて一旦投げてみるくらいの気持ちだったんだけどほんとに通っちゃって変な声でた