为什么所有 $a_i \oplus a_j=b_{ij}$的边的集合一定构成树而不是图