可以评估或排序各种层次聚类方法的次优性吗?

机器算法验证 聚类 优化 算法 层次聚类
2022-04-07 02:14:49

经典的凝聚层次聚类方法基于贪心算法这意味着他们(其中许多人)倾向于给出次优解决方案而不是全局最优结果,尤其是在集聚的后续步骤中。上对合并哪两个集群做出最佳选择,该选择使步骤上的碰撞系数最小化(使值) ;然而,如果算法在之前的一些步骤中选择的不是最好的而是更差的选择,那么它就能够最小化步骤的系数,这并非不可能。qδqδq值小于的单调增长上的全局最优解对应于绝对最小的这种方式可实现的值,并保留的限制。δqδqδqδqδq1δq2

次优风​​险是通常不建议对大量对象(例如,超过数百个)进行层次聚类的主要原因:研究人员通常需要很少的聚类,因此会考虑后面的步骤,但如果后面的步骤是,比如说,第 1000 步,在第 1000 步可能偏离全局最优分区比在第 100 步可能偏离全局最优分区的第 100 步更可疑。这看起来是一个格言问题。

我的问题是你认为在著名的聚集方法中哪一个 - 单一链接,完全链接,平均链接(组内),平均链接(组间),质心,中位数,沃德平方和 - 我是提到SPSS中的那些,但还有其他类似的变体 -更多,更不容易出现次优缺陷随着步数的增长。直觉告诉我,单个或完整的链接根本不存在,并且总是给出它们全局最佳的解决方案,因为这些方法不参与计算从原始距离(例如质心)衍生的任何统计数据。我可能是对的,也可能不是。其余的方法是什么?这里有人可以尝试分析上述具体贪心算法的局部最优风险的(相对)程度吗?

插图。幸运的是,对于Ward方法,我们线索可以观察到次优性如何随着的增长而累积。因为有一种众所周知的迭代方法试图优化与Ward这是K-means聚类:两者都试图最小化合并的聚类内平方和我们可以进行 Ward 聚类,并在每一步保存聚类中心,并将其用作 K-means 程序中的初始中心。K-means 会在平方和方面改进 Ward 的解决方案吗?qδ 1

[脚注:Ward 最小化其台阶上平方和的增加。另一种不太为人所知的分层方法,方差方法 MNVAR(参见 Podany,J.,1989 年的各种分层方法)可最大限度地减少聚类内的均方值。这两种方法都可以被认为是 K-Means 的一种,Ward 在最终 SSwithin 的最小化方面比 MNVAR 更好(我自己的模拟研究)。]1

笔记。这个插图测试了 Ward 观察到的值,而不是针对它自己的全局最优值,这是我们无法知道的,因为我们无法为每一步尝试所有先前步骤的无数替代重建,以找出可能的最小它针对K-means最优性进行测试(这几乎是它的全局性,因为 Ward 提供的初始中心可以被认为是迭代的合理良好开端)。δqδq

这是一些数据(5 个没有很好分离的集群,183 个点)。如所述,数据经历了 Ward 聚类会话和 K-means 聚类会话。

在此处输入图像描述

集群 50 到 2 的结果(的值)如下所示。虽然 2 条曲线彼此接近,但 K-means 的值要好一些。也就是说,K-means 比 Ward 更优。δ

在此处输入图像描述

最后一张图片绘制趋势很明显:随着集群数量的减少(即,Ward 的步长增加),Ward 相对于 K-means 趋向于变得不太理想。δWard/δKmeansq

在此处输入图像描述

一个诱人的问题是,如果我以相同的方式分析 1830 年的数据,Ward 的相对次优性(的值)在这最新的 49 个聚集步骤上是否会更高点而不是只有 183。δWard/δKmeans

2个回答

只有单链接是最佳的。Complete-linkage 失败了,所以你的直觉是错误的。;-)

举个简单的例子,考虑一维数据集 1,2,3,4,5,6。

与两个集群完全链接的(唯一)最佳解决方案是(1,2,3)和(4,5,6)(完全链接高度2)。具有三个集群的(唯一)最优解是(1,2)、(3,4)、(5,6),在链接高度 1 处。显然,不存在包含两者的凝聚层次结构,因为这些分区不嵌套. 因此,没有层次聚类包含完整链接的所有最佳解决方案。基于该示例,我什至希望完全链接在最佳解决方案和高水平凝聚解决方案之间的最差差距中表现出来......这个例子可能是大多数其他方案的反例(除了单一链接,其中这个数据集退化)。

你可能有兴趣研究这篇文章:

Gunnar E. Carlsson,Facundo Mémoli:分层聚类方法的表征、稳定性和收敛性。机器学习研究杂志 11: 1425-1470 (2010)

以及其中包含的参考资料,尤其是:

Kleinberg, Jon M. “聚类的不可能定理”。神经信息处理系统的进展。2003 年。

这些似乎表明,考虑到一些温和的稳定性要求(这可以解释为我们距离测量的不确定性),只剩下单链接聚类。不幸的是,这在大多数情况下几乎都是可用的......所以恕我直言,出于实际目的,作者有点过头了,忽略了结果对漂亮理论的有用性。

您的问题的部分答案如下。单链接聚类相当于计算最小生成树(参考很容易找到)。如果我们不考虑联系,则可以保证结果是最优解,或者是一组最优解中的一个,因为总分支长度将是最小的。我认为天真的构建过程也保证了您要求的属性(在切割树状图时)。至于完整的链路聚类,我不知道,我认为这是一个好问题。该领域的著名参考书是 Jardine 和 Simpson 的书,数学分类学. 他们得出的结论是,单链接聚类尽管存在所有缺点,但在数学和概念上是最出色的方法,并认为它是最吸引人的。我不同意这一点,但是这本书是一本很好读的书。也许他们的结果可能暗示您寻求的属性不适用于完整的链接聚类,但这是推测。