不相交集（并查集）

概念

不相交集（disjoint set），又称并查集，其概念来自于等价类。等价类的一些基础知识如下：

• 关系R：对于集合S中每对元素（a,b）,a R b为true或者false。若a R b为true，则说a与b有关系。
• 等价关系：关系R是集合S上的等价关系，当且仅当：R是对称的（symmetric）、自反的（reflexive）、传递的（transitive）。
  — 对称：a R b <=> b R a
  — 自反：a R a
  — 传递：a R b & b R c <=> a R c