9.1 试证明 : 
时，闵可夫斯基距离满足距离度量的四条基本性质； 
时，闵可夫斯基距离不满足直递性，但满足非负性、同一性、对称性；P 趋向无穷大时，闵可夫斯基距离等于对应分量的最大绝对距离，即
答：
非负性、同一性、对称性很显然，关键是直递性了，关于直递性就是闵可夫斯基不等式的证明，具体参考：
9.3 试析 k 均值算法能否找到最小化式 (9.24) 的最优解.
答：
不能，因为 k 均值本身是 NP 问题，且 9.24 是非凸的（具体证明不太懂.），容易陷入局部最优是 k 均值的一个缺点吧，所以在使用 k 均值时常常多次随机初始化中心点，然后挑选结果最好的一个。
9.4 试编程实现 k 均值算法，设置三组不同的 k 值、三组不同初始中心点，在西瓜数据集 4.0 上进行实验比较，并讨论什么样的初始中心有利于取得好结果.
答：
代码在：
暂时先不分析初始化点和结果了。
9.5 基于 DBSCAN 的概念定义，若 x 为核心对象，由 x 密度可达的所有样本构成的集合为 X. 试证明 :X 满足连接性 (9.39)与最大性 (9.40).
答：
9.6 试析 AGNES 算法使用最小距离和最大距离的区别.
答：
个人理解，不一定正确。使用最小距离合并聚类簇时，最终聚类结果趋于不同类别之间的“空隙”会更大；而最大距离约等于最小距离加上两个类别的离散程度，这里离散程度可理解为方差，方差越大，两个类别的最大距离越大，所以使用最大距离时，会尽量使得类别的方差尽量小，最终聚类结果也趋于类内更集中。
其实类似于线性判别分析中类内方差尽量小，类间距离尽量大。
9.7 聚类结果中若每个簇都有一个凸包(包含簇样本的凸多面体) ，且这些凸包不相交，则称为凸聚类.试析本章介绍的哪些聚类算法只能产生凸聚类，哪些能产生非凸聚类.
答：
若在一个簇的凸包之内，有其他簇的样本，就说明凸包相交。
- 原型聚类：输出线性分类边界的聚类算法显然都是凸聚类，这样的算法有：K均值，LVQ；而曲线分类边界的也显然是非凸聚类，高斯混合聚类，在簇间方差不同时，其决策边界为弧线，所以高混合聚类为非凸聚类；
- 密度聚类：DBSCAN，如下图情况，显然当领域参数符合一定条件时，会生成两个簇，其中外簇会包括内簇，所以DBSCAN显然也是非凸聚类；
- 层次聚类：AGENS，这个暂时没想明白怎么分析。从书中给出的示例，是凸聚类。
9.8 试设计一个聚类性能度量指标，并与 9.2 节中的指标比较.
答：
参考线性判别分析的优化目标：同类协方差尽量小，异类中心之间距离尽量大。
9.9* 试设计一个能用于混合属性的非度量距离.
答：
这里的计算其实很简单，就是把连续属性归一化；而离散属性有序时则归一化话再按照连续属性处理，无序时则相等为1，不等为0.
