未証明だけど多分正しい主張
2 つの文字列 をこの順で連結したものを で表す.文字列 について, とおく. がともに回文となるための必要十分条件は以下の通りである:
- を の先頭 文字を抜き出して得られる文字列とする. を文字列 の反転とする.このとき は と をこの順で繰り返して得られる文字列で, は と をこの順で繰り返して得られる文字列である. 例えば または である.
- のうち一方が偶数の場合, は回文である.
未証明だけど多分正しい主張
2 つの文字列 をこの順で連結したものを で表す.文字列 について, とおく. がともに回文となるための必要十分条件は以下の通りである: