IBM Ponder This #256 · 2019 年 8 月

本题根据 Michael Brand 的问题提出。九个字母 A 至 I 有 9!=362,880 种排列。加入 B>C、C>D、E>G 等限制后，只剩 30,240 种。某些字母对的顺序被确定，例如 B>D；其他字母对仍可有两个方向，例如 A 与 G。

在这个例子里，A<D<C<B<F<G<E<H<I 与 I<H<G<E<F<D<C<B<A 两个合法排列，便覆盖了所有尚未确定的字母对的两种方向。

找出九个字母上的一组可满足的顺序限制，使任何三个满足限制的排列，都不能覆盖全部未确定字母对的两个方向。按“B>C, C>D, E>G”的格式给出限制并证明。

解答

认真尝试后再打开

待补充。