一、目录
1、目录
2、决策树初步认知
3、决策树--ID3算法
4、决策树--C4.5算法
5、决策树--CART
6、CART算法的剪枝
7、决策树的优缺点
8、其他补充
二、决策树初步认知
决策树算法在机器学习中算是很经典的一个算法系列了。它先按照影响结果的主要因素进行排序，选取最主要的因素先进行分岔，依次循环下去。各种方法不同之处在于选择的因素判别方法不同。
它既可以作为分类算法，回归算法，同时也特别适合集成学习比如随机森林。作为一个码农经常会不停的敲if-else 。If-else其实就已经在用到决策树的思想了:关于递归的终止条件有三种情形：
1）当前节点包含的样本属于同一类，则无需划分，该节点作为叶子节点，该节点输出的类别为样本的类别
2）该节点包含的样本集合为空，不能划分
3）当前属性集为空，则无法划分，该节点作为叶子节点，该节点的输出类别为样本中数量多数的类别
本文就对ID3， C4.5和CART算法做一个详细的介绍。选择CART做重点介绍的原因是scikit-learn使用了优化版的CART算法作为其决策树算法的实现。
三、决策树--ID3算法
1970年代，一个叫昆兰的大牛找到了用信息论中的熵来度量决策树的决策选择过程，方法一出，它的简洁和高效就引起了轰动，昆兰把这个算法叫做ID3。
1.1 信息熵
首先，我们需要熟悉信息论中熵的概念。熵度量了事物的不确定性，越不确定的事物，它的熵就越大。具体的，随机变量X的熵的表达式如下：
又可以得到条件熵的表达式H(X|Y)，条件熵类似于条件概率,它度量了我们的X在知道Y以后剩下的不确定性。表达式如下：
在决策树ID3算法中叫做信息增益。ID3算法就是用信息增益来判断当前节点应该用什么特征来构建决策树。信息增益大（信息熵减小最快的因素），则越适合用来分类。其他熵的了解，可见我的另一篇文章。
1.2 ID3算法
在ID3算法中用的是信息增益作为选择特征的指标，信息增益的定义是在特征A给定的条件下，集合D的信息熵H(D) 和在 特征A条件下的条件熵H(D|A) 的差值，描述了选取特征A对数据集进行划分对信息熵的减小程度，信息增益的表达式：
具体的信息增益计算过程如下：
1）计算数据集D的信息熵H(D)：
2）计算特征A对数据集D的条件熵H(D|A):
3）计算信息增益g(D, A)
因此ID3算法的流程就很简单了，每次都采用信息增益来选取最优划分特征来划分数据集，直到遇到了递归终止条件，具体算法流程如下：
定义输入值：训练数据集D，特征集A（可以从训练集中提取出来），阀值ε（用来实现提前终止）；
1）若当前节点中所有实例属于同一类Ck，则该结点作为叶子节点，并将类别Ck作为该结点的输出类；
2）若A为空，则将当前结点作为叶子节点，并将数据集中数量最多的类作为该结点输出类；
3）否则，计算所有特征的信息增益，若此时最大的信息增益小于阀值ε，则将当前结点作为叶子节点，并将数据集中数量最多的类作为该结点输出类；
4）若当前的最大信息增益大于阀值ε，则将最大信息增益对应的特征A作为最优划分特征对数据集进行划分，根据特征A的取值将数据集划分为若干个子集；
5）对第i个结点，以Di为训练集，以Ai为特征集（将之前用过的特征从特征集中去除），递归的调用前面的1- 4 步。
1.3 ID3算法的不足
1）ID3算法采用信息增益来选择最优划分特征，然而人们发现，信息增益倾向与取值较多的特征，对于这种具有明显倾向性的属性，往往容易导致结果误差；
2）ID3算法没有考虑连续值，对与连续值的特征无法进行划分；
3）ID3算法无法处理有缺失值的数据；
4）ID3算法没有考虑过拟合的问题，而在决策树中，过拟合是很容易发生的；
5）ID3算法采用贪心算法，每次划分都是考虑局部最优化，而局部最优化并不是全局最优化，当然这一缺点也是决策树的缺点，获得最优决策树本身就是一个NP难题，所以只能采用局部最优；
四、决策树--C4.5算法
C4.5算法的提出旨在解决ID3算法的缺点 ，因此讲解C4.5算法我们从ID3算法的缺点出发：
1）采用信息增益比来替代信息增益作为寻找最优划分特征，信息增益比的定义是信息增益和特征熵的比值，对于特征熵，特征的取值越多，特征熵就倾向于越大；
信息增益比的表达式如下：
其中和
n是特征A取值的个数。
2）对于连续值的问题，将连续值离散化，在这里只作二类划分，即将连续值划分到两个区间，划分点取两个临近值的均值，因此对于m个连续值总共有m-1各划分点，对于每个划分点，依次算它们的信息增益，选取信息增益最大的点作为离散划分点；
3）对于缺失值的问题，我们需要解决两个问题：
第一是在有缺失值的情况下如何选择划分的属性，也就是如何得到一个合适的信息增益比；
第二是选定了划分属性，对于在该属性的缺失特征的样本该如何处理。
对于第一个问题，对于某一个有缺失特征值的特征A。C4.5的思路是将数据分成两部分，对每个样本设置一个权重（初始可以都为1），然后划分数据，一部分是有特征值A的数据D1，另一部分是没有特征A的数据D2. 然后对于没有缺失特征A的数据集D1来和对应的A特征的各个特征值一起计算加权重后的信息增益比，最后乘上一个系数（有特征和全体的比值）
对于第二个子问题，可以将缺失特征的样本同时划分入所有的子节点，不过将该样本的权重按各个子节点样本的数量比例来分配。比如缺失特征A的样本a之前权重为1，特征A有3个特征值A1，A2，A3。 3个特征值对应的无缺失A特征的样本个数为2，3，4。则a同时划分入A1，A2，A3。对应权重调节为2/9，3/9，4/9；
4）对于过拟合的问题，采用了后剪枝算法和交叉验证对决策树进行剪枝处理，这个在CART算法中一起介绍。除了上面的4点，C4.5和ID3的思路区别不大。
C4.5几个缺点：
1）C4.5的剪枝算法不够优秀；
2）C4.5和ID3一样，都是生成的多叉树，然而在计算机中二叉树模型会比多叉树的运算效率高，采用二叉树也许效果会更好；
3）在计算信息熵时会涉及到大量的对数运算，如果是连续值还需要进行排序，寻找最优离散划分点，这些都会增大模型的运算；
4）C4.5算法只能处理分类问题，不能处理回归问题，限制了其应用范围。
五、决策树--CART
分类与回归树（Classification and Regression Trees, CART）是在C4.5算法的基础上对其缺点进行改进的算法，采用二叉树作为树模型的基础结构，采用基尼指数（分类问题）和和方差（回归问题）属性来选取最优划分特征。CART算法由以下两部组成：
1）决策树生成：基于训练集极大可能的生成决策树（事实上，在生成树的过程中可以加入一些阀值，对决策树做一些预剪枝处理，配合之后的后剪枝效果会更好）；
2）决策树剪枝：用验证数据集对已生成的树进行剪枝并选择最优子树，这时用损失函数最小作为剪枝的标准（寻找全局最优子树）。
基尼指数：
基尼指数也可以表述数据集D的不确定性，基尼指数越大，样本集合的不确定性就越大，对于给定的样本集，假设有k个类别，第k个类别的概率为Pk，则基尼指数的表达式为：
对于给定的样本集合D，其基尼指数可以表述为：
在给定特征A的情况下，若集合被特征A的取值给分成D1和D2 ，则在特征A的条件下的基尼指数可以表述为：
因此在进行最优划分特征选择时，我们选择在该特征下基尼指数最小（和之前熵一样，就是朝着确定性方向走的最大的）的特征，而且在二分类的问题中基尼指数和熵的差异不大，基尼指数和熵之半（熵的一半）的曲线如下
引入基尼指数解决了计算熵时大量的对数运算的问题，然而CART树是二叉树，那么我们在选取了特征之后，又该如何划分数据集呢？
1）对于连续值
在C4.5中我们对于连续值的处理就是将其划分为两类，那么在CART中更是如此，划分方式和C4.5算法一样，唯一的区别是度量方式不同，在CART中采用选择使得在该特征下基尼指数最小的划分点来将连续值划分为两类；
2）对于离散值
对与离散值的处理和ID3或者C4.5都有很大的不同，对于某个特征A，其取值可能不只两个，对于取值大于2的，我们需要随意组合将其分为两类，选择基尼指数最小的那一类作为当前的划分（因为对与特征A，并没有将其按照取值完全分开，所以此时特征A不会从特征集中去除，会留到之后可能再被选择，这也是和ID3、C4.5不同的地方）。
对于CART分类树的算法流程和C4.5差不多，只要注意每次都是进行二类划分，即使该特征的取值有多个。
CART回归树
回归树模型：
均方误差如下图所示，可以通过最小二乘法进行预测和优化。
CART回归树其算法流程和CART分类树差不多，但在细节上有些不同，以二叉树为例进行分析，主要是以下两个方面：
1）对连续值的处理方式不一样，采用的特征选择属性不一样，在这里采用的是常用的和方差来进行特征选择，其表达式如下：
对于任意特征A，对应的任意划分点将数据集划分成D1和D2两个部分，寻找到使得D1和D2各自集合的均方误差最小，并且D1和D2的均方误差之和也最小的划分点，该划分点就是该特征最佳的划分点，因此利用和方差选取最优特征时，就是选取使得和方差最小的特征和划分点。
2）决策树的预测方式不一样，在分类算法中都是采用叶子结点中数量最多的类别作为输出值，而对于回归问题，一般采用叶子结点中的样本集的均值或者中位数作为输出值，有的还会基于叶子结点中的集合建立线性回归模型来作为输出值。
CART算法缺点：
1）每次用最优特征进行划分，这种贪心算法很容易陷入局部最优，事实上分类决策不应该由某一特征决定，而是一组特征决定的，比如多变量决策树（事实上我觉得还不如用集成算法）；
2）样本敏感性，样本的一点改动足以影响整个树的结构，也可以通过集成算法解决；
六、CART算法的剪枝
无论是对于分类树还是回归树，都可以用同样的方式进行剪枝，决策树是非常容易过拟合的，因此对决策树进行剪枝是很有必要的（剪枝说白了就是减小模型的复杂度），具体的剪枝算法如下：
首先我们看看剪枝的损失函数度量，在剪枝的过程中，对于任意的一刻子树T,其损失函数为：
具体的从整体树开始剪枝，对与任意内部结点，以t为单结点数的损失函数是：
当α继续增大时不等式反向，也就是说，如果满足：α=(C(T) − C(Tt)) / (|Tt| − 1)，Tt和T有相同的损失函数，但是T节点更少，因此可以对子树Tt进行剪枝，也就是将它的子节点全部剪掉，变为一个叶子节点T。
最后我们看看CART树的交叉验证策略。上面我们讲到，可以计算出每个子树是否剪枝的阈值α，如果我们把所有的节点是否剪枝的值α都计算出来，然后分别针对不同的α所对应的剪枝后的最优子树做交叉验证。这样就可以选择一个最好的α，有了这个α，我们就可以用对应的最优子树作为最终结果。
现在我们现在来看看CART树的剪枝算法：
输入是CART树建立算法得到的原始决策树T；
输出是最优决策子树Tα；
算法过程：
七、决策树的优缺点
决策树的优点：
1）决策树简单直观，相比于如神经网络之类的黑盒模型，决策树容易理解，还可以进行可视化；
2）基本上不需要做预处理，不需要做归一化，不需要处理缺失值；
3）使用决策树进行预测的时间复杂度只有O(log2m)，m为样本数；
4）即可以处理离散值，也可以处理连续值，无论数对于分类问题还是回归问题；
5）可以很容易的处理多分类的问题；
6）可以用交叉验证来对决策树进行剪枝，避免过拟合（对于很复杂的决策树，最好配合预剪枝一起处理）；
7）对于异常点的容错性好，健壮性高；
决策树的缺点：
1）决策树很容易过拟合，很多时候即使进行后剪枝也无法避免过拟合的问题，因此可以通过设置树深或者叶节点中的样本个数来进行预剪枝控制；
2）决策树属于样本敏感型，即使样本发生一点点改动，也会导致整个树结构的变化，可以通过集成算法来解决；
3）寻找最优决策树是各NP难题，一般是通过启发式方法，这样容易陷入局部最优，可以通过集成算法来解决；
4）决策树无法表达如异或这类的复杂问题；
单独的决策树算法用的不多，决策树大多是作为集成算法的基学习器来用的。
八、其他补充
8.1 各种算法比较：
|
算法 |
支持模型 |
树结构 |
特征选择 |
连续值处理 |
缺失值处理 |
剪枝 |
|
ID3 |
分类 |
多叉树 |
信息增益 |
不支持 |
不支持 |
不支持 |
|
C4.5 |
分类 |
多叉树 |
信息增益比 |
支持 |
支持 |
支持 |
|
CART |
分类，回归 |
二叉树 |
基尼系数，均方差 |
支持 |
支持 |
支持 |
8.2 树模型参数:别让这个数太庞大，防治过拟合
- 1.criterion gini or entropy gini系数或熵值
- 2.splitter best or random 前者是在所有特征中找最好的切分点 后者是在部分特征中（数据量大的时候）
- 3.max_features None（所有），log2，sqrt，N 特征小于50的时候一般使用所有的
- 4.max_depth 数据少或者特征少的时候可以不管这个值，如果模型样本量多，特征也多的情况下，可以尝试限制下
- 5.min_samples_split 如果某节点的样本数少于min_samples_split，则不会继续再尝试选择最优特征来进行划分如果样本量不大，不需要管这个值。如果样本量数量级非常大，则推荐增大这个值。
- 6.min_samples_leaf 这个值限制了叶子节点最少的样本数，如果某叶子节点数目小于样本数，则会和兄弟节点一起被剪枝，如果样本量不大，不需要管这个值，大些如10W可是尝试下5
- 7.min_weight_fraction_leaf 这个值限制了叶子节点所有样本权重和的最小值，如果小于这个值，则会和兄弟节点一起被剪枝默认是0，就是不考虑权重问题。一般来说，如果我们有较多样本有缺失值，或者分类树样本的分布类别偏差很大，就会引入样本权重，这时我们就要注意这个值了。
- 8.max_leaf_nodes 通过限制最大叶子节点数，可以防止过拟合，默认是"None"，即不限制最大的叶子节点数。如果加了限制，算法会建立在最大叶子节点数内最优的决策树。如果特征不多，可以不考虑这个值，但是如果特征分成多的话，可以加以限制具体的值可以通过交叉验证得到。
- 9.class_weight 指定样本各类别的的权重，主要是为了防止训练集某些类别的样本过多导致训练的决策树过于偏向这些类别。这里可以自己指定各个样本的权重如果使用"balanced"，则算法会自己计算权重，样本量少的类别所对应的样本权重会高。
- 10.min_impurity_split 这个值限制了决策树的增长，如果某节点的不纯度(基尼系数，信息增益，均方差，绝对差)小于这个阈值则该节点不再生成子节点。即为叶子节点 。
- n_estimators:要建立树的个数