今日解いた競プロの問題。

ARC149-B: 割とファジーな証明でACしてしまった。ABどっちかを基準にソートしてしまうのが最適。

ざっくりとした根拠としては、そもそも1回の入れ替えでどれだけ得をし得るかという話。1回入れ替えたところでLISは1個しか伸びない。もっと言えば、同じ部分をどれだけ移動させたところで1個しか伸びない。そしてあらかじめどっちかがソートしてあれば必ず1個損する。「片方における1か所を犠牲にもう片方で2個得をする」場合が思いつかなかったのでそのまま行ったら通ってしまった。

---

第4回 Rust何も分からないに参加した。意識的に頑張らない、という話が一番興味を惹かれた。Rustはだいぶ特殊な味のある言語だと思うのだが、技術移行のコストを抑えるためにRustらしく書くことをあえて頑張らず、後でリファクタを頑張る、というのはちょっと目から鱗だった。

GraphQLは全く分からないな。名前は聞くからそのうちやってみるか。