抱歉实在有点没看懂。那个代数差难道是绝对值？

代数差不是绝对值，是向下衍生出的代数。 至于样例解释：1是2和3的充分条件 2是1的充分条件 3是4的充分条件 4是2的充分条件 所以互为充要条件的二元组为：(1,2)(1,3)(1,4)(2,3)(2,4)(3,4)

额，还可以这样互相嵌套的充分……受教了