面试技术题：基于set与compare接口的对象比较结果求解

嘿，这道面试题挺考验逻辑严谨性的，我来一步步拆解清楚：

先明确已知条件 #

首先把题目里给出的所有信息整理清楚：

• 核心规则：
  • set(K a, K b) 明确表示 A > B
  • compare(K a, K b)的返回完全符合常规比较逻辑：返回'>'则A>B，返回'<'则A<B
• 已给定的set关系：
  • set(A,B) → A > B
  • set(B,C) → B > C
  • set(B,D) → B > D
• 已验证的compare结果：
  • compare(A,B)返回'>'（和set(A,B)一致）
  • compare(B,A)返回'<'（符合反向逻辑）
  • compare(A,C)返回'>'（由A>B>C的传递性可验证）

推导过程 #

我一开始也尝试用图建模（把元素当节点，set(a,b)当作a指向b的有向边），但拓扑排序确实帮不上忙——拓扑排序只能给出整体的先后序列，没法直接解决C和D的相对关系问题。

后来换了个角度，从关系的传递性和信息完整性入手：

1. 先梳理确定的传递关系：
   从set(A,B)和set(B,C)，结合传递性能明确得出：A > B > C，这和题目里compare(A,C)返回'>'完全匹配，说明这套关系是符合传递性的。
2. 再看D的位置：
   set(B,D)只告诉我们B > D，但没有任何信息能把C和D关联起来——既没有直接的set(C,D)或set(D,C)，也没有通过其他节点的传递链（比如C→X→D或者D→X→C）。

结论 #

现有信息里，C和D都只明确比B小，但它们俩之间的相对大小是完全未知的，没有任何依据能推导出来。所以compare(C,D)的返回结果是无法确定的——它可能返回'>'、'<'，如果题目允许相等的话甚至可能是'='，但核心是没有足够的前提条件来得出唯一结论。

小提醒 #

这里很容易陷入一个误区：想当然认为C和D有某种默认关系，但实际上就像你知道小明和小红都比老师矮，但你没法直接确定小明和小红谁更高一样，C和D的相对大小是未被定义的。

内容的提问来源于stack exchange，提问作者Vishal