关于选择中不同的输入沿着决策树上的路径可能是相同的,但是对于排序来说,肯定是互斥的证明
由于决策树本质上是对位置之间的大小关系进行比较(比如说,比较a[1]和a[2],我们可以在节点\(1\)和节点\(2\)之间连一条有向边),所以最后形成的DAG可能如下

假设我们现在找第\(k\)大,那么令a[5]为第\(k\)大,剩下的随便怎么排最后形成的DAG都是上图
但是对于排序来说,最后一定是形成一条链,所以是唯一的
由于决策树本质上是对位置之间的大小关系进行比较(比如说,比较a[1]和a[2],我们可以在节点\(1\)和节点\(2\)之间连一条有向边),所以最后形成的DAG可能如下

假设我们现在找第\(k\)大,那么令a[5]为第\(k\)大,剩下的随便怎么排最后形成的DAG都是上图
但是对于排序来说,最后一定是形成一条链,所以是唯一的