题解区第一篇题解说：

构成最优解的若干种方案中，一定有一种满足底层最小，即 底层最小的方案 一定可以 构造出最高的层数。 我们记“即”字前的结论为A，这个字后面的结论为B。

然而可能存在多种底层最小的方案，如 $A=\{9\ 1\ 2\|8\|4\|3\},B=\{9\ 1\ 2\|8\|4\ 3\}$。

那如何保证我们求到的就一定是方案 $A$，而不是方案 $B$？