欢迎转载。转载请注明：本文出自Bin的专栏blog.csdn.net/xbinworld。

开一个机器学习方法科普系列：做基础回想之用。学而时习之；也拿出来与大家分享。数学水平有限，仅仅求易懂，学习与工作够用。周期会比較长。由于我还想写一些其它的，呵呵。

content:
linear regression, Ridge, Lasso
Logistic Regression, Softmax
Kmeans, GMM, EM, Spectral Clustering
Dimensionality Reduction: PCA、LDA、Laplacian Eigenmap、 LLE、 Isomap（改动前面的blog）
SVM
ID3、C4.5
Apriori，FP
PageRank
minHash, LSH
Manifold Ranking，EMR
待补充
…
…

開始几篇将具体介绍一下线性回归linear regression，以及加上L1和L2的正则的变化。

后面的文章将介绍逻辑回归logistic regression。以及Softmax regression。为什么要先讲这几个方法呢？由于它们是机器学习/深度学习的基石（building block）之中的一个。而且在大量教学视频和教材中重复被提到。所以我也记录一下自己的理解，方便以后翻阅。这三个方法都是有监督的学习方法，线性回归是回归算法，而逻辑回归和softmax本质上是分类算法（从离散的分类目标导出），只是有一些场合下也有混着用的——如果目标输出值的取值范围和logistic的输出取值范围一致。

ok，废话不多说。

1、Linear Regression

能够说基本上是机器学习中最简单的模型了，可是实际上其地位非常重要（计算简单、效果不错。在非常多其它算法中也能够看到用LR作为一部分）。

先来看一个小样例，给一个“线性回归是什么”的概念。图来自[2]。

如果有一个房屋销售的数据例如以下：
面积(m^2) 销售价钱（万元）
123 250
150 320
87 160
102 220
… …

当我们有非常多组这种数据。这些就是训练数据，我们希望学习一个模型，当新来一个面积数据时。能够自己主动预測出销售价格（也就是上右图中的绿线）；这种模型必定有非常多。当中最简单最朴素的方法就是线性回归，也就是我们希望学习到一个线性模型（上右图中的红线）。只是说是线性回归，学出来的不一定是一条直线，仅仅有在变量x是一维的时候才是直线，高维的时候是超平面。

定义一下一些符号表达，我们通常习惯用X=(x1,x2,...,xn)T∈Rn×p<script type="math/tex" id="MathJax-Element-1">X=(x_1, x_2, ...,x_n)^T \in \mathbb{R}^{n\times p}</script>表示数据矩阵，当中xi∈Rp<script type="math/tex" id="MathJax-Element-2">x_i \in \mathbb{R}^p</script>表示一个p维度长的数据样本；y=(y1,y2,...,yn)T∈Rn<script type="math/tex" id="MathJax-Element-3">y=(y_1, y_2, ...,y_n)^T \in \mathbb{R}^{n}</script>表示数据的label，这里仅仅考虑每个样本一类的情况。

线性回归的模型是这种。对于一个样本xi<script type="math/tex" id="MathJax-Element-4">x_i</script>，它的输出值是其特征的线性组合：

<script type="math/tex; mode=display" id="MathJax-Element-5">\begin{equation} f(x_i) = \sum_{m=1}^{p}w_m x_{im}+w_0={w}^T{x_i} \end{equation}</script>
当中。w0<script type="math/tex" id="MathJax-Element-6">w_0</script>称为截距。或者bias。上式中通过添加xi0=1<script type="math/tex" id="MathJax-Element-7">x_{i0}=1</script>把w0<script type="math/tex" id="MathJax-Element-8">w_0</script>也吸收到向量表达中了，简化了形式，因此实际上xi<script type="math/tex" id="MathJax-Element-9">x_i</script>有p+1<script type="math/tex" id="MathJax-Element-10">p+1</script>维度。

线性回归的目标是用预測结果尽可能地拟合目标label，用最常见的Least square作为loss function：

<script type="math/tex; mode=display" id="MathJax-Element-11">\begin{equation} J(w)=\frac{1}{n}\sum_{i=1}^{n}(y_i - f(x_i))^2=\frac{1}{n}\|y-Xw\|^2 \end{equation}</script>

从下图来直观理解一下线性回归优化的目标——图中线段距离（平方）的平均值，也就是最小化到切割面的距离和。

也就是非常多中文教材中提到的最小二乘；线性回归是convex的目标函数，而且有解析解：

<script type="math/tex; mode=display" id="MathJax-Element-12">\begin{equation} \hat{w}=(X^{T}X)^{-1}X^{T}y \end{equation}</script>
线性回归到这里就训练完毕了，对每个样本点的预測值是f(xi)=yi^=w^Txi<script type="math/tex" id="MathJax-Element-13">f(x_i)=\hat{y_i}=\hat{w}^{T}x_i</script>。

所以：

<script type="math/tex; mode=display" id="MathJax-Element-14">\begin{equation} \hat{y} = X\hat{w} = X(X^{T}X)^{-1}X^{T}y \end{equation}</script>

接下来看一下我们寻找到的预測值的一个几何解释：从上面的解析解w^=(XTX)?1XTy<script type="math/tex" id="MathJax-Element-15">\hat{w}=(X^{T}X)^{-1}X^{T}y</script>能够得到XT(y^?y)=0<script type="math/tex" id="MathJax-Element-16">X^T(\hat{y}-y)=0</script>（垂直的向量相乘=0）。因此实际上y^<script type="math/tex" id="MathJax-Element-17">\hat{y}</script>是y<script type="math/tex" id="MathJax-Element-18">y</script>在平面X<script type="math/tex" id="MathJax-Element-19">X</script>（由列向量x1<script type="math/tex" id="MathJax-Element-20">\textbf{x}_1</script>和x2<script type="math/tex" id="MathJax-Element-21">\textbf{x}_2</script>张成。如果仅仅有两维）上的投影。

ok，一般介绍线性回归的文章到这里也就结束了，由于实际使用中基本就是用到上面的结果，解析解计算简单而且是最优解；当然如果求逆不好求的话就能够不用解析解，而是通过梯度下降等优化方法来求最优解，梯度下降的内容不在本篇中，后面讲逻辑回归会说到。也能够看我前面写的今天開始学PRML第5章中有写到。或者直接翻阅wikipedia:gradient descent。

只是在这里我再略微提几个相关的分析，能够參考ESL[3]的第3章中的内容。前面我们对数据本身的分布是没有不论什么如果的。本节以下一小段我们如果观察值yi<script type="math/tex" id="MathJax-Element-22">y_i</script>都是不相关的，而且方差都是σ2<script type="math/tex" id="MathJax-Element-23">\sigma^2</script>。而且样本点是已知（且是中心化过了的。均值为0）的。

于是我们能够推出协方差矩阵

<script type="math/tex; mode=display" id="MathJax-Element-24">\begin{equation} Var(\hat{\beta}) = (X^{T}X)^{-1}\sigma^2 \end{equation}</script>

证明：

<script type="math/tex; mode=display" id="MathJax-Element-25">\begin{equation} Var(\hat{\beta}) = (X^{T}X)^{-1}X^{T}yy^{t}X(X^{T}X)^{-1}=(X^{T}X)^{-1}\sigma^2 \end{equation}</script>

要预计方差σ2<script type="math/tex" id="MathJax-Element-26">\sigma^2</script>。能够用

<script type="math/tex; mode=display" id="MathJax-Element-27">\begin{equation} \hat{\sigma}^2=\frac{1}{n-p-1}\sum_{ i=1}^{n}(y_i-\hat{y}_i)^2 \end{equation}</script>
这里和一般的方差的形式看起来不同，分母是n?p?1<script type="math/tex" id="MathJax-Element-28">n-p-1</script>而不是n<script type="math/tex" id="MathJax-Element-29">n</script>，是由于这种预计才是σ2<script type="math/tex" id="MathJax-Element-30">\sigma^2</script>的无偏预计。
证明：

<script type="math/tex; mode=display" id="MathJax-Element-31">\begin{equation} \begin{array}{cc} E(\hat{\sigma}^2)=E(\frac{1}{n-p-1}\sum_{ i=1}^{n}(y_i-\hat{y}_i)^2)\=E(\frac{1}{n-p-1}[y-X(X^{T}X)^{-1}X^{T}y]^T[y-X(X^{T}X)^{-1}X^{T}y]）\=E(\frac{1}{n-p-1}y^T[I_{n}-X(X^{T}X)^{-1}X^{T}]y）\=\frac{n\sigma^2}{n-p-1}-\frac{1}{n-p-1}\text{tr}(X(X^TX)^{-1}X^Tyy^T) \=\frac{n\sigma^2}{n-p-1}-\frac{\sigma^2}{n-p-1}\text{tr}(X(X^TX)^{-1}X^T) \=\frac{n\sigma^2}{n-p-1}-\frac{(p+1)\sigma^2}{n-p-1} \=\sigma^2\\end{array} \end{equation}</script>

好，第一篇就写到这里。这个系列是从0開始的基础复习记录。力求清晰易懂。下一篇lasso和ridge regression。

參考资料
[1]http://freemind.pluskid.org/machine-learning/sparsity-and-some-basics-of-l1-regularization/
[2]http://www.cnblogs.com/LeftNotEasy/archive/2010/12/05/mathmatic_in_machine_learning_1_regression_and_gradient_descent.html
[3]The Elements of Statistical Learning，ch3