以下、簡単のため一方向性置換のみを扱う。