NOI 2015 约束满足问题，利用并查集维护相等关系的传递性，离散化压缩变量编号后判定不等约束是否冲突，时间复杂度 O(n α(n))。

提供基础并查集、路径压缩、带权并查集代码模板，涵盖初始化、查询、合并等操作，支持维护集合大小与节点到根的距离信息。

从并查集基础概念出发，介绍路径压缩与启发式合并两种优化，讲解维护传递关系、集合计数、带权并查集等核心用法，配合代码模板与例题。