A={(x1X23x2n)|(x1X2X3x2n)P}B={(x1X2X3X2n)|(X1X2X3X2n)P}C={(x1X2X3X2n)|i|xiXi+1|=ni1}CA(n+112nn+22n)A(n+112nn+22n)CCAACB(y1y2y3y2n)|y2y1|ny1nyk(k2)y1yk(y2y3yk-1y1yky2n)C(y1y2y3y2n)(y2Y3yk-1y1yky2n)CBABnPP431