西瓜書習題試答-第10章-降維與度量學習

試答系列:「西瓜書」-周志華《機器學習》習題試答
系列目錄
[第01章:緒論]
[第02章:模型評估與選擇]
[第03章:線性模型]
[第04章:決策樹]
[第05章:神經網絡]
[第06章:支持向量機]
第07章:貝葉斯分類器
第08章:集成學習
第09章:聚類
第10章:降維與度量學習
第11章:特徵選擇與稀疏學習
第12章:計算學習理論(暫缺)
第13章:半監督學習
第14章:機率圖模型
(後續章節更新中...)html



10.1 編程實現k近鄰分類器,在西瓜數據集3.0α上比較其分類邊界與決策樹邊界之異同。

:編程代碼附後。運行結果以下(考慮了k=1,3,5,以及分別採用曼哈頓(p=1),歐式(p=2)和切比雪夫(p=50)三種距離):
在這裏插入圖片描述
上圖中,「+」和「-」離散點分別表明訓練數據樣本點,黑色線條爲決策樹邊界,紅色線條爲kNN邊界。
討論:python

  1. 要說kNN邊界與決策樹邊界的異同,實在看不出來什麼值得說道的地方,除了衆所周知的,決策樹邊界線段平行於座標軸。
  2. 當k=1時訓練偏差爲零;當k愈來愈大時,分類邊界趨向平緩,會出現訓練樣本誤分類的狀況,此時爲欠擬合。可見,k越小越容易過擬合,k越大越容易欠擬合。
  3. 不一樣p值的距離計算下,差異不太明顯。

10.2 令err、err*分別表示最近鄰分類器與貝葉斯最優分類器的指望錯誤率,試證實

\[err^\ast\leq err\leq err^\ast(2-\frac{|y|}{|y|-1}err^*)\tag{10.40} \]

證實:首先來理解一下這兩個指望錯誤率,它們都表示成「錯誤率=1-正確率」的形式,所以問題轉化成理解正確率。
對於預測樣本\(x\),貝葉斯最優分類器的決策結果\(c^*\),若是預測正確,意味着這個樣本的真實類別恰好也是\(c^*\),而該樣本以\(P(c^*|x)\)的機率屬於\(c^*\)類別,所以預測正確的機率即爲\(P(c^*|x)\),而錯誤率\(err^*=1-P(c^*|x)\)
最近鄰分類器的決策結果等於近鄰樣本\(z\)相同的類別,假設這個共同的類別爲\(c\),若是這個決策結果是正確的,意味着\(x\)樣本和\(z\)樣本恰好都屬於\(c\)類,這個事件發生的機率是\(P(c|x)P(c|z)\)。考慮各類不一樣的\(c\)值,把它們加起來即是總的指望正確率\(=\sum_c P(c|x)P(c|z)\),所以錯誤率\(err=1-\sum_c P(c|x)P(c|z)\)
接下來證實上面的不等式:算法

\[\begin{aligned} err&=1-\sum_cP(c|x)P(c|z)\\ &\geq 1-\sum_cP(c^*|x)P(c|z)\\ &=1-P(c^*|x)\cdot\sum_cP(c|z)\\ &=1-P(c^*|x)\\ &=err* \end{aligned}\]

第2行利用了關係\(P(c|x)\leq P(c^*|x)\),第4行利用了關係\(\sum_cP(c|z)=1\)
不等式左半邊得證。編程

\[\begin{aligned} err&=1-\sum_cP(c|x)P(c|z)\\ &≈1-\sum_cP^2(c^|x)\\ &=1-P^2(c^*|x)-\sum_{c\neq c^\ast}P^2(c|x)\\ &\leq 1-P^2(c^*|x)- \frac{[\sum_{c\neq c^\ast}P(c|x)]^2}{|y|-1}\\ &=1-(1-err^\ast)^2-\frac{(err^\ast)^2}{|y|-1} \\ &=err^\ast (2-\frac{|y|}{|y|-1}err^\ast) \end{aligned}\]

第4行利用了不等式關係:\(\frac{\sum a_i^2 }{n} \geq (\frac{\sum a_i}{n})^2, \ \ a_i\geq 0,\ i=1,2,\cdots ,n\);第5行利用了關係\(\sum_{c\neq c^\ast}P(c|x)=1-P(c^*|x)=err^*\)
不等式右半邊得證。網絡

10.3 在對高維數據降維以前應先進行「中心化」,常見的是將協方差矩陣\(XX^T\)轉化爲\(XHH^TX^T\),其中\(H=I-\frac{1}{m}11^T\),試析其效果。

:至關於將\(X\)變爲\(X^{\prime}\):app

\[\begin{aligned} X^\prime&=XH\\ &=X(I-\frac{1}{m}11^T)\\ &=X-\frac{1}{m}X11^T\\ &=X-\frac{1}{m}\begin{bmatrix}x_1,&x_2,&\cdots\end{bmatrix}\begin{bmatrix}1\\1\\\vdots\end{bmatrix}\begin{bmatrix}1&1&\cdots\end{bmatrix}\\ &=X-\frac{1}{m}\sum_i x_i\begin{bmatrix}1&1&\cdots\end{bmatrix}\\ &=X-\bar{x}\begin{bmatrix}1&1&\cdots\end{bmatrix}\\ &=\begin{bmatrix}x_1-\bar{x},&x_2-\bar{x},&\cdots\end{bmatrix} \end{aligned}\]

其效果即是中心化\(x_i^{\prime}=x_i-\bar{x}\)機器學習

10.4 在實踐中,協方差矩陣\(XX^T\)的特徵值分解常由中心化後的樣本矩陣X的奇異值分解代替,試述其緣由。

:首先看一下,確實能夠經過SVD(奇異值)分解獲得協方差矩陣的特徵值和特徵向量。由附錄A.33式有,任意實矩陣\(A\in R^{m\times n}\)均可以分解爲函數

\[A=U\Sigma V^T \]

其中U和V分別爲m階和n階的酉矩陣,\(\Sigma\)是m×n矩陣,對角元之外元素均爲零,因而有:學習

\[AA^T=U\Sigma V^TV\Sigma^TU^T=U\Sigma\Sigma^TU^T\\ A^TA=V\Sigma^TU^TU\Sigma V^T=V\Sigma^T\Sigma V^T\]

所以,\(U\)的列向量是\(AA^T\)的特徵向量,\(V\)的列向量是\(A^TA\)的特徵向量,\(\Sigma\)矩陣的非零對角元\(\sigma_{ii}\)的平方即爲\(AA^T\)\(A^TA\)的共同非零特徵值。spa

在前面原理介紹部分採用的10.2和10.4等圖中,數據維度d=2或3,而樣本數m遠大於數據維數,m>>d。然而在實際狀況中,既然須要降維,一般維度d很大,好比對於100張100*100的圖片,m=100,d=10000,此時的協方差矩陣\(XX^T\)的shape爲\(R^{10000\times10000}\),矩陣維度較大。而\(X\in R^{10000\times100}\),對其進行SVD(奇異值)分解的計算成本較低一些。

另外,參考博友Vic時代的解答:
其實對X進行奇異值分解,也要消耗與\(XX^T\)相同的10000×10000的存儲空間。
能夠先求\(X^TX\in R^{100\times 100}\)的特徵分解,獲得特徵值\(\lambda\)和特徵向量\(\nu\),那麼\(\lambda\)\(X\nu\)分別也是\(XX^T\)的特徵值和特徵向量。
由於\(X^TX\nu=\lambda\nu\),等式左右兩邊左乘\(X\)獲得,\(XX^T(X\nu)=\lambda (X\nu)\)

10.5 降維中涉及的投影矩陣一般要求是正交的。試述正交、非正交投影矩陣用於降維的優缺點。

正交有兩個好處:

  1. 降維和重構變換計算方便。好比,在PCA中,設新座標系中基矢爲\(\{w_1,w_2,\cdots,w_{d^\prime}\}\),樣本\(x\)在新座標系中的座標爲\(z\),經過\(z\)重構的樣本座標爲\(\hat{x}=Wz\)。如今假設\(\{w_i\}\)是一組線性無關的基矢,可是未必正交歸一,那麼爲了知足「最近重構」,須要\(\min_z|\hat{x}-x|=min_z|Wz-x|\),該問題有解析解:\(z^*=(W^TW)W^Tx\)。若是\(\{w_i\}\)彼此正交歸一,便有\(W^TW=I\),因而\(z^*=W^Tx\)
  2. 變換後的Z的不一樣座標之間是「去相關」的。咱們已經知道,在PCA中,變換後,在新的特徵空間中,不一樣特徵之間是「不相關」的,也就是協方差矩陣\(ZZ^T\)是對角化的,非對角元素爲零。如今,假設有一組基矢\(\{w_i^\prime\}\)不是正交化的,設爲\(W^\prime\),它能夠由正交化的\(W\)線性表出:\(W^\prime=WA\),從「最近重構」的角度,二者的重構效果應該等同:\(W^{\prime }z'=Wz\),因而\(z^\prime=A^{-1}z\)\(Z^\prime Z^{\prime T}=A^{-1}ZZ^T{A^{-1}}^T\),此時協方差的非對角元就未必爲零了。

其實至於不一樣特徵之間「去相關」有什麼好處,如今沒有相關的實踐應用,很差體會,留待之後有所體會的時候再回來補充吧。
關於正交的缺點方面,大概也就是「去相關」後的缺點吧,某些狀況下也許特徵之間徹底去相關未必是好事。一樣須要慢慢實踐、體會。如今想到的例子,好比:一我的的身高和體重是正相關的,經過PCA方法大概能夠獲得「身體年齡」和「肥瘦度」兩個相互獨立的特徵,可是,或許在一個特定任務中,直接用身高和體重兩個特徵更容易一些。

10.6 試使用MATLAB中的PCA函數對Yale人臉數據集進行降維,並觀察前20個特徵向量所對應的圖像。

  1. Yale人臉數據集在vision.uscd.edu這個地址不太好下載,能夠從這裏下載,提取碼:uuae 。Yale人臉數據有15人,每人11張照片。原始照片以下:
    在這裏插入圖片描述
  2. 詳細編程代碼附後。這裏採用Python語言編寫,PCA利用sklearn中的PCA類實現。
    圖片文件數據讀取能夠參考這篇博文
  3. PCA前20個特徵向量可視化效果:
    在這裏插入圖片描述
    利用這20個特徵向量來重構回去的樣本圖片效果:
    在這裏插入圖片描述

10.7 試述核化線性降維與流形學習之間的聯繫及優缺點。(暫缺)

10.8 k近鄰圖與ε近鄰圖存在的短路和斷路問題會給Isomap形成困擾,試設計一個方法緩解該問題。(暫缺)

10.9 試設計一個方法爲新樣本找到LLE降維後的低維座標。(暫缺)

10.10 試述如何確保度量學習產生的距離能知足距離度量的四條基本性質。(暫缺)


附:編程代碼

習題10.1(Python)

# -*- coding: utf-8 -*-
"""
Created on Mon Apr 27 11:04:11 2020

@author: Administrator
"""

import numpy as np
import matplotlib.pyplot as plt

#設置繪圖時顯示中文
plt.rcParams['font.sans-serif']=['SimHei']
plt.rcParams['axes.unicode_minus'] = False

def kNN(X,Y,Xpre,k,p=2):
    # k近鄰算法
    # X:樣本數據
    # Y:樣本標記
    # Xpre:待預測樣本
    # k:k近鄰的k值
    # p:計算距離所採用的閔可夫斯基距離的p值
    mt,n=X.shape             #訓練樣本數和特徵數
    Xpre=np.array(Xpre).reshape(-1,n)
    mp=Xpre.shape[0]         #預測樣本數
    dist=np.zeros([mp,mt])   #存儲預測樣本和訓練樣本之間的距離
    for i in range(mt):
        dist[:,i]=(((abs(Xpre-X[i]))**p).sum(axis=1))**(1/p)
    neighbor=np.argsort(dist,axis=1)   #訓練樣本按距離遠近排序的索引號
    neighbor=neighbor[:,:k]            #只取前k個做爲最近鄰
    Ypre=Y[neighbor]
    return (Ypre.sum(axis=1)>=0)*2-1   #西瓜3.0α僅兩類,故可如此計算

# 西瓜3.0α 樣本數據
X=np.array([[0.697,0.46],[0.774,0.376],[0.634,0.264],[0.608,0.318],[0.556,0.215],
   [0.403,0.237],[0.481,0.149],[0.437,0.211],[0.666,0.091],[0.243,0.267],
   [0.245,0.057],[0.343,0.099],[0.639,0.161],[0.657,0.198],[0.36,0.37],
   [0.593,0.042],[0.719,0.103]])
Y=np.array([1,1,1,1,1,1,1,1,-1,-1,-1,-1,-1,-1,-1,-1,-1])

# 執行kNN算法
# 嘗試 k=1,3,5,p=1,2,30的不一樣狀況
ks=[1,3,5]
ps=[1,2,50]  #p=1爲曼哈頓距離,p=2爲歐式距離,p=50(→∞)爲切比雪夫距離
for i,k in enumerate(ks):
    for j,p in enumerate(ps):
        # kNN算法預測結果
        x0=np.linspace(min(X[:,0]),max(X[:,0]),60)
        x1=np.linspace(min(X[:,1]),max(X[:,1]),60)        
        X0,X1=np.meshgrid(x0,x1)
        Xpre=np.c_[X0.reshape(-1,1),X1.reshape(-1,1)]
        Ypre=kNN(X,Y,Xpre,k,p).reshape(X0.shape)
        # 畫圖
        plt.subplot(len(ks),len(ps),i*len(ps)+j+1)
        #plt.axis('equal')
        plt.title('k=%d,p=%d'%(k,p))
        plt.xlabel('密度')
        plt.ylabel('含糖率')
        # 畫樣本點
        plt.scatter(X[Y==1,0],X[Y==1,1],marker='+',s=30,label='好瓜')
        plt.scatter(X[Y==-1,0],X[Y==-1,1],marker='_',s=30,label='壞瓜')
        # 畫決策樹邊界 (直接根據教材上圖4.10和4.11肯定邊界曲線座標)
        plt.plot([0.381,0.381,0.56,0.56,max(X[:,0])],
                  [max(X[:,1]),0.126,0.126,0.205,0.205],'k',label='決策樹邊界')
        # 畫kNN邊界
        plt.contour(X0,X1,Ypre,1,colors='r',s=2)
plt.show()

習題10.6(Python)

# -*- coding: utf-8 -*-
"""
Created on Sat May 16 21:03:47 2020

@author: Administrator
"""
import numpy as np
from PIL import Image
from sklearn.decomposition import PCA
import matplotlib.pyplot as plt

#==========讀取Yale圖片數據===========
#Yale人臉數據爲15人,每人11張照片
#下載到的Yale文件存儲規律是:
#    Yale文件夾下有名稱分別爲1~15的15個子文件夾,
#    每一個子文件夾下有s1.bmp~s11.bmp的11張圖片

rootpath='Yale'  #Yale根文件夾所在路徑,我這裏將Yale文件夾放在當前目錄下,若其餘位置,改爲相應路徑便可
X=[]             #存儲圖片數據
for person in range(15):
    for num in range(11):
        path=rootpath+'/'+str(person+1)+'/s'+str(num+1)+'.bmp'
        img=Image.open(path)
        X.append(np.array(img).reshape(-1))
X=np.array(X)

#==========觀察這15人的圖片============
#只顯示第一張圖片s1
for i in range(3):
    for j in range(5):
        plt.subplot(3,5,i*5+j+1)
        plt.imshow(X[(i*5+j)*11,:].reshape(100,100),cmap='gray')
        plt.axis('off')
        plt.title('%d'%(i*5+j+1))
plt.show()

#========PCA主成分分析(d'=20)==========
pca=PCA(n_components=20)
Z=pca.fit_transform(X)   #輸入X的shape爲m×d,與教材中相反
W=pca.components_        #特徵向量W,shape爲d'×d,與教材中相反

#====可視化觀察特徵向量所對應的圖像======
for i in range(5):
    for j in range(4):
        plt.subplot(4,5,i*4+j+1)
        plt.imshow(W[i*4+j,:].reshape(100,100),cmap='gray')
        plt.axis('off')
        plt.title('w%d'%(i*4+j+1))
plt.show()

#========觀察重構後的15人圖片===========
#只顯示第一張圖片s1
X_re=pca.inverse_transform(Z)
for i in range(3):
    for j in range(5):
        plt.subplot(3,5,i*5+j+1)
        plt.imshow(X_re[(i*5+j)*11,:].reshape(100,100),cmap='gray')
        plt.axis('off')
        plt.title('%d'%(i*5+j+1))
plt.show()
相關文章
相關標籤/搜索