ABC167 解説

• ABC167
• 解説は多くの省略を含みます。とくに添え字の範囲は、誤解がないと思われる場合ほぼすべて省略しています。
• Rust を使用していますが、名前のインポートは省略されます。自作ライブラリも内容を書かずに使用します。Rust の文法をもった疑似コードだと思ってください。

解説PDF

解説を書いてみるの、けっこう楽しいです。かなりきれいな実装ができたと思います。F の証明をもう少し簡潔に済ませたいところなのですが、技術不足か、こういうものなのか、なかなか思うようにはいきませんね。