AtCoder Grand Contest 012 C: Tautonym Puzzle
http://agc012.contest.atcoder.jp/tasks/agc012_c
解法
空の列も良い文字列だとみなす。
順列 A, B があって、AとBを連結したもの(A+Bと表す)のパターン数が X だったとする。
- A←A+[foo], B←B+[foo] とすると A+B のパターン数は 2X になる。
- A←A+[foo], B←[foo]+B とすると A+B のパターン数は X+1 になる。
これを利用することで 4log(N) 個の要素で構築できる。