24、基于SAT的约束聚类方法详解

基于SAT的约束聚类方法详解

1. 基础概念

在约束聚类中，有几个重要的基础概念需要了解：
- 模式大小 ： size(Xj) = | {i | i ∈I, i ∈Xj} | 表示模式 $X_j$ 的大小。
- 物品重叠数量 ： overlapItems(Xi, Xj) = | Xi ∩Xj | 是 $X_i$ 和 $X_j$ 共享的物品数量。
- 事务重叠数量 ： overlapTransactions(Xi, Xj) = | cover(Xi) ∩cover(Xj) | 是 $X_i$ 和 $X_j$ 共同覆盖的事务数量。

约束是可以被满足或不满足的项之间的关系，主要有三种内置约束：
- 数值约束 ：如 < 、 ≤ 、 = 、 ≠ 、 ≥ 、 > 。
- 集合约束 ：如 = 、 ≠ 、 ∈ 、 ∉ 、 ⊂ 、 ⊆ 。
- 特定约束 ：
-