OMCE002-F
が形式的冪級数で解けそうだと思ったので自分の考察を書いてみます.
わるえふ
さんに校閲や図の作成など協力していただきました!ありがとうございます!!
解説
まず約束事として,
このとき,
となります.
証明
s=7,k=3の場合の例
上の図のように経路を(一意に)分割すると,経路数
したがって,
また,
となる. したがって,
制約
よって,
の
の
よって,