初めまして、または、お久しぶりです。riano_ です。 ついに目標としていた AtCoder 橙になることができました！ めちゃくちゃ嬉しいです。ただ、正直に言うと悔しさもあります。 初めて橙に「リーチを掛けた」と言えるのは、 2021/12/05 の ARC131 で ratin…

（注）この記事はネタバレを含みます。 先日の yukicoder で面白い問題が出ました。解いていない方はぜひ解いてみてください。 yukicoder.me 解説では、ある程度の範囲の全探索によって正当性を示していますが、ここではこの問題が「数学の試験」であったと…