今日もぐうたらした。明日あたりそろそろ活動はじめようかな。
夢を見た。
夢の中で自分はなんらかの能力者である。この世界にはどうやら能力者はそれなりにいる。その中で自分は存分に能力を発現させることができずむしゃくしゃしている。
学校？の帰り道、電車に乗るため駅へ入る。すると気に入らない知り合い(Aとする)がいる。Aは通路でエスカレーターで自分を追い越そうとしてくるので、自分はムキになって追い越されないように速足になる。やがて自分は電車に乗り込むが、電車は事故を起こして止まる。ホームを人々が逃げていく。Aも自分の先を逃げていく。自分はブチ切れ、能力で大暴れし始める。
駅を破壊し、一般人をなぎ倒す。ヒーローっぽい者たちが駆けつけるが、自分はそれも倒していく。自分は高笑いをしている。収集が付かない状況になっていくが、その時Aが能力に目覚める。Aはヒーローなどと連携し、最終的に自分を打ち倒す。視界が暗くなっていき、意識が途切れた。
目覚めると時間が巻き戻っている。
自分は再び電車に乗り込むまでの道をたどる。ただしAのことは完全に無視した。そして電車は再び事故を起こす。自分はホームの上を他の人に混じって逃げていく。Aの姿は見なかったが、さっきの事故で死んだのだろうという奇妙な確信を持っていた。
今日解いた競プロの問題。
ARC108-C 解説ACだが、証明は自力でやった。ヒント得るくらいのつもりで解説をちょい読みしようと思ったら最初の1行で「実は全域木とれれば可能です笑」とバラされたので、証明を考えたら数分でできた。
1点のグラフ、2点のグラフ…と帰納的に考えていったら普通に証明できてしまった。小さいグラフでの実験を普通にしていれば一瞬で解けてたんだな。悔しい！自分はどうもデカいグラフをいきなり考えて一般的な状況に関する考察を始めがちなので、小さいグラフでの実験はちゃんとやる習慣をつけたい。グラフ以外でならそれなりに「小さいnで実験する」習慣があるのだが。
これで水diffは全て討伐できた。次は青埋めでもいいが、典型90もやっておきたいな。
今日見たコンテンツ。
https://zenn.dev/tomi/articles/2021-03-22-blog-card
Categories: 未分類