当前位置: 首页 > article >正文

【手撕算法】K-Means聚类全解析:从数学推导到图像分割实战

摘要

聚类算法是探索数据内在结构的利器!本文手撕K-Means核心公式,结合Python代码实现与图像分割案例,详解:


✅ 欧氏距离计算 ✅ 簇中心迭代更新 ✅ 肘部法则优化
 


目录

摘要

目录

一、算法核心思想

二、数学原理详解

2.1 初始化阶段

2.2 迭代更新公式

2.3 收敛条件

三、Python代码实战

3.1 手写K-Means核心逻辑

3.2 图像分割实战案例

四、算法优化技巧

4.1 K-Means++初始化

4.2 肘部法则确定K值

五、常见问题解答

Q1:如何处理不同量纲的特征?

Q2:算法陷入局部最优怎么办?

六、结语与资源

附录:其他聚类算法


一、算法核心思想

K-Means通过最小化簇内平方和实现聚类,目标函数为:
( J = \sum_{i=1}^k \sum_{x \in C_i} |x - \mu_i|^2 )
其中:

  • ( k ):预设簇数量

  • (mu_i ):第i个簇的中心点

  •  C_i:第i个簇的数据集合


二、数学原理详解

2.1 初始化阶段

随机选择k个初始质心:
( mu_1^{(0)}, \mu_2^{(0)}, ..., \mu_k^{(0)} )

2.2 迭代更新公式

  1. 分配样本到最近簇
    ( C_i^{(t)} = { x : |x - \mu_i^{(t)}|^2 \leq |x - \mu_j^{(t)}|^2 \ \forall j } )

  2. 更新簇中心
    (mu_i^{(t+1)} = \frac{1}{|C_i^{(t)}|} \sum_{x \in C_i^{(t)}} x )

2.3 收敛条件

当簇中心变化量小于阈值时停止:
( max_i | mu_i^{(t+1)} - \mu_i^{(t)}| < \epsilon )


三、Python代码实战

3.1 手写K-Means核心逻辑

import numpy as np

class KMeans:
    def __init__(self, n_clusters=3, max_iter=300):
        self.n_clusters = n_clusters  # 簇数量
        self.max_iter = max_iter      # 最大迭代次数
        
    def fit(self, X):
        # 1. 随机初始化质心
        n_samples, n_features = X.shape
        self.centroids = X[np.random.choice(n_samples, self.n_clusters, replace=False)]
        
        for _ in range(self.max_iter):
            # 2. 计算样本到质心的距离
            distances = np.sqrt(((X - self.centroids[:, np.newaxis])**2).sum(axis=2))
            
            # 3. 分配样本到最近簇
            self.labels = np.argmin(distances, axis=0)
            
            # 4. 更新质心
            new_centroids = np.array([X[self.labels == i].mean(axis=0) 
                                    for i in range(self.n_clusters)])
            
            # 5. 检查收敛
            if np.allclose(self.centroids, new_centroids):
                break
            self.centroids = new_centroids
            
        return self

3.2 图像分割实战案例

from sklearn.datasets import load_sample_image
import matplotlib.pyplot as plt

# 加载示例图片
china = load_sample_image("china.jpg")
X = china.reshape(-1, 3) / 255.0  # 归一化像素值

# 使用K-Means进行颜色量化
kmeans = KMeans(n_clusters=16).fit(X)
compressed_colors = kmeans.centroids[kmeans.labels].reshape(china.shape)

# 可视化对比
fig, (ax1, ax2) = plt.subplots(1, 2, figsize=(12,6))
ax1.imshow(china)
ax2.imshow(compressed_colors)
ax1.set_title("原始图像(16.7万色)")
ax2.set_title("压缩后图像(16色)")

四、算法优化技巧

4.1 K-Means++初始化

初始化方法优点实现步骤
随机初始化简单快速直接随机选取样本
K-Means++减少局部最优按概率分布选择初始点

4.2 肘部法则确定K值

# 计算不同K值的SSE
sse = []
for k in range(1, 10):
    kmeans = KMeans(n_clusters=k).fit(X)
    sse.append(np.sum((X - kmeans.centroids[kmeans.labels])**2))

# 绘制肘部曲线
plt.plot(range(1,10), sse, 'bx-')
plt.xlabel('K值')
plt.ylabel('SSE')

五、常见问题解答

Q1:如何处理不同量纲的特征?

解决方案:使用标准化预处理
( x' = \frac{x - \mu}{\sigma} )

Q2:算法陷入局部最优怎么办?

  • 多次随机初始化取最优结果

  • 增加max_iter参数值

  • 改用K-Means++初始化


六、结语与资源

通过本文您已掌握:
🔹 K-Means数学本质 🔹 手写实现关键代码 🔹 图像分割高级应用


附录:其他聚类算法

算法名称适用场景核心公式
DBSCAN任意形状簇密度可达性
层次聚类树状结构距离矩阵合并
GMM概率分布EM算法迭代

http://www.kler.cn/a/568821.html

相关文章:

  • 解决单元测试 mock final类报错
  • 深入理解Web通信基础:HTTP响应码、请求方法与协议安全
  • Qt | 实战继承自QObject的IOThread子类实现TCP客户端(安全销毁)
  • Codeforces Round 1007 (Div. 2)(ABCD1)
  • 代码的解读——自用
  • 如何把网络ip改为动态:全面指南
  • 当JMeter遇见AI:性能测试进入智能时代(附实战案例)
  • 链表OJ(十二)23. 合并 K 个升序链表 困难 优先级队列中存放指针结点
  • 计算器算法题
  • Maven 与持续集成(CI)/ 持续部署(CD)(二)
  • EasyRTC:支持任意平台设备的嵌入式WebRTC实时音视频通信SDK解决方案
  • 前端正则表达式完全指南:从入门到实战
  • (贪心 合并区间)leetcode 56
  • 系统或软件的可靠性(Reliability)
  • 面试之《前端开发者需要关注哪些性能指标?》
  • 多元数据直观表示(R语言)
  • 如何学习人工智能(如Transformer架构和DeepSeek等)
  • 24、Java 集合
  • DOM HTML:深入理解与高效运用
  • 3月2日 C++日常习题测试一答案