解説

#. をそれぞれ 10 に直して SS を反転します。すると操作は単に S(S+1)mod2NS\leftarrow (S+1)\bmod 2^NKK 回行う、というのを冗長に書いているだけだと分かります。 よって、適切に数値として SSKK を加えたのち文字列に復元することで、O(N)O(N) でこの問題が解けました。

余談

yukicoder contest 316 の A に置こうとして、ギャグが過ぎるので没にした問題です。