哪些特征导致过拟合？ParShap定位模型泛化能力下降的关键特征

欢迎大家来到IT世界,在知识的湖畔探索吧!

机器学习的核心目标是在未见过的新数据上实现准确预测。

当模型在训练数据上表现良好，但在测试数据上表现不佳时，即出现“过拟合”。这意味着模型从训练数据中学习了过多的噪声模式，从而丧失了在新数据上的泛化能力。

那么，过拟合的根本原因是什么？具体来说，

哪些特征（数据集的列）阻碍了模型在新数据上的有效泛化？

本文将基于实际数据集，探讨一种先进的方法来解答这一问题。

特征重要性在此场景下不再适用

如果你的第一反应是“我会查看特征重要性”，那么请重新考虑。

特征重要性无法直接反映特征在新数据上的表现。

实际上，特征重要性仅是模型在训练阶段所学内容的表现。如果模型在训练过程中学习到关于“年龄”特征的复杂模式，那么该特征的特征重要性将会很高。但这并不意味着这些模式是准确的（“准确”指的是一种具备泛化能力的模式，即在新的数据上依然成立）。

因此，我们需要采用不同的方法来解决这个问题。

案例

为了阐述该方法，我将使用一个包含1984年至1988年德国健康登记数据的数据集（该数据集可通过 Pydataset 库获得，并遵循 MIT 许可证）。

下载数据的方式非常简单：

import pydataset X = pydataset.data('rwm5yr') y = (X['hospvis'] > 1).astype(int) X = X.drop('hospvis', axis = 1)

欢迎大家来到IT世界,在知识的湖畔探索吧!

该数据集包含19,609行，每行记录了一名患者在特定年份的一些信息。需要注意的是，患者在不同年份都可能被观测到，因此同一患者可能出现在数据框的多行中。

目标变量是：

• hospvis：患者在相应年份住院天数是否超过1天。

我们拥有16个特征列：

1. id：患者ID（1-7028）；
2. docvis：年内就诊次数（0-121）；
3. year：年份（1984-1988）；
4. edlevel：教育水平（1-4）；
5. age：年龄（25-64）；
6. outwork：是否失业，1表示失业，0表示在职；
7. female：性别，1表示女性，0表示男性；
8. married：婚姻状况，1表示已婚，0表示未婚；
9. kids：是否有子女，1表示有，0表示无；
10. hhninc：家庭年收入（马克）；
11. educ：受教育年限（7-18）；
12. self：是否自雇，1表示自雇，0表示非自雇；
13. edlevel1：是否为高中以下学历，1表示是，0表示否；
14. edlevel2：是否为高中学历，1表示是，0表示否；
15. edlevel3：是否为大学/学院学历，1表示是，0表示否；
16. edlevel4：是否为研究生学历，1表示是，0表示否。

现在，将数据集划分为训练集和测试集。虽然存在更严谨的方法，如交叉验证，但为了保持简洁，我们采用简单的划分方法。但在本文中我们（简单地）将所有列视为数值特征。

欢迎大家来到IT世界,在知识的湖畔探索吧!from sklearn.model_selection import train_test_split from catboost import CatBoostClassifier X_train, X_test, y_train, y_test = train_test_split( X, y, test_size = .2, stratify = y) cat = CatBoostClassifier(silent = True).fit(X_train, y_train)

模型训练完成后，我们来分析特征重要性：

import pandas as pd fimpo = pd.Series(cat.feature_importances_, index = X_train.columns)

欢迎大家来到IT世界,在知识的湖畔探索吧!

已训练模型的特征重要性。

不出所料，docvis（就诊次数）在预测患者是否住院超过1天方面至关重要。age（年龄）和hhninc（收入）这两个特征的重要性也符合预期。但是，患者ID（id）的重要性排名第二则值得警惕，尤其是在我们将其视为数值特征的情况下。

接下来，计算模型在训练集和测试集上的性能指标（ROC曲线下面积，AUC）：

欢迎大家来到IT世界,在知识的湖畔探索吧!from sklearn.metrics import roc_auc_score roc_train = roc_auc_score(y_train, cat.predict_proba(X_train)[:, 1]) roc_test = roc_auc_score(y_test, cat.predict_proba(X_test)[:, 1])

模型在训练集和测试集上的性能。

结果显示，训练集和测试集之间的性能差距显著。这表明存在明显的过拟合现象。那么，究竟是哪些特征导致了过拟合？

什么是SHAP值？

我们有多种指标可以衡量模型在特定数据上的表现。但如何衡量特征在特定数据上的表现？

“SHAP值”是解决此问题的有力工具。

通常，你可以使用专门的Python库来高效计算任何预测模型的SHAP值。但这里为了简单，我们将利用Catboost的原生方法：

from catboost import Pool shap_train = pd.DataFrame( data = cat.get_feature_importance( data = Pool(X_train), type = 'ShapValues')[:, :-1], index = X_train.index, columns = X_train.columns ) shap_test = pd.DataFrame( data = cat.get_feature_importance( data = Pool(X_test), type = 'ShapValues')[:, :-1], index = X_test.index, columns = X_test.columns )

观察shap_train和shap_test，你会发现它们的形状与各自的数据集相同。

SHAP值可以量化每个特征对模型在单个或多个观测值上的最终预测的影响。

看几个例子：

原始数据及其对应的SHAP值。

第12071行的患者就诊次数为0，相应的SHAP值为-0.753，这意味着该信息将患者住院超过1天的概率（实际上是对数几率）降低了0.753。相反，第18650行的患者就诊4次，这使得她住院超过1天的对数几率提高了0.918。

认识ParShap

一个特征在数据集上的性能可以通过该特征的SHAP值与目标变量之间的相关性来近似表示。如果模型在某个特征上学习到有效的模式，那么该特征的SHAP值应与目标变量高度正相关。

例如，如果我们想计算docvis特征与测试集中观测数据的目标变量之间的相关性：

欢迎大家来到IT世界,在知识的湖畔探索吧!import numpy as np np.corrcoef(shap_test['docvis'], y_test)

然而，SHAP值具有可加性，即最终预测是所有特征SHAP值的总和。因此在计算相关性之前，先消除其他特征的影响会更有意义。这正是“偏相关”的定义。偏相关的便捷实现方式可以在 Python 库 Pingouin 中找到：

import pingouin pingouin.partial_corr( data = pd.concat([shap_test, y_test], axis = 1).astype(float), x = 'docvis', y = y_test.name, x_covar = [feature for feature in shap_test.columns if feature != 'docvis'] )

这段代码的含义是：“计算docvis特征的SHAP值与测试集观测数据的目标变量之间的相关性，同时消除所有其他特征的影响。”

为了方便将此公式称为 “ParShap” （Partial correlation of Shap values，SHAP值的偏相关）。

我们可以对训练集和测试集中的每个特征重复此过程：

欢迎大家来到IT世界,在知识的湖畔探索吧!parshap_train = partial_correlation(shap_train, y_train) parshap_test = partial_correlation(shap_test, y_test)

注意：你可以在本文末尾找到 partial_correlation 函数的定义。

现在在 x 轴上绘制 parshap_train，在 y 轴上绘制 parshap_test。

import matplotlib.pyplot as plt plt.scatter(parshap_train, parshap_test)

SHAP值与目标变量的偏相关性，分别在训练集和测试集上。注意：颜色条表示特征重要性。[作者提供的图片]

如果一个特征位于对角线上，则表示它在训练集和测试集上的表现完全一致。这是理想情况，既没有过拟合也没有欠拟合。反之如果一个特征位于对角线下方，则表示它在测试集上的表现不如训练集。这属于过拟合区域。

通过视觉观察，我们可以立即发现哪些特征表现不佳：我已用蓝色圆圈标记出它们。

蓝色圆圈标记的特征是当前模型中最容易出现过拟合的特征。[作者提供的图片]

因此，parshap_test和parshap_train之间的算术差（等于每个特征与对角线之间的垂直距离）可以量化该特征对模型的过拟合程度。

欢迎大家来到IT世界,在知识的湖畔探索吧!parshap_diff = parshap_test - parshap_train

parshap_test和parshap_train之间的算术差。[作者提供的图片]

应该如何解读这个结果？基于以上分析，该值越负，则该特征导致的过拟合程度越高。

验证

我们是否能找到一种方法来验证本文提出的观点的正确性？

从逻辑上讲，如果从数据集中移除“过拟合特征”，应该能够减少过拟合现象（即，缩小roc_train和roc_test之间的差距）。

因此尝试每次删除一个特征，并观察ROC曲线下面积的变化。

根据特征重要性（左）或ParShap（右）排序，依次删除一个特征时，模型在训练集和测试集上的性能。

在左侧的图中，每次移除一个特征，并按照特征重要性进行排序。首先移除最不重要的特征（edlevel4），然后移除两个最不重要的特征（edlevel4和edlevel1），以此类推。

在右侧的图中，执行相同的操作，但是移除的顺序由ParShap决定。首先移除ParShap值最小（最负）的特征（id），然后移除两个ParShap值最小的特征（id和year），以此类推。

正如预期的那样，移除ParShap值最负的特征显著减少了过拟合。实际上，roc_train的值逐渐接近roc_test的值。

需要注意的是，这仅仅是用于验证我们推理过程的测试。通常来说，ParShap 不应被用作特征选择的方法。因为，某些特征容易出现过拟合并不意味着这些特征完全没有用处！（例如，本例中的收入和年龄）。

但是ParShap在为我们提供模型调试的线索方面非常有用。它可以帮助我们将注意力集中在那些需要更多特征工程或正则化的特征上。

最后以下是本文的完整，有兴趣的可以进行复现测试

作者：Samuele Mazzanti