第 1 步直接处理 n=3,4,5n=3,4,5n=3,4,5,第 2–4 步处理所有 n>5n>5n>5,给出两个不同的有效最大元素 2p2p2p 与 3p3p3p。综合来看,每个 n>3n>3n>3 都存在有效集合,而在所有 n>3n>3n>3 中,只有 n=4n=4n=4 恰好只有一个有效集合,因为其余每个可行的 nnn 都至少有两个。