Практическое задание к уроку 1 (2 неделя).

Линейная регрессия: переобучение и регуляризация

В этом задании мы на примерах увидим, как переобучаются линейные модели, разберем, почему так происходит, и выясним, как диагностировать и контролировать переобучение.

Во всех ячейках, где написан комментарий с инструкциями, нужно написать код, выполняющий эти инструкции. Остальные ячейки с кодом (без комментариев) нужно просто выполнить. Кроме того, в задании требуется отвечать на вопросы; ответы нужно вписывать после выделенного слова "Ответ:".

Напоминаем, что посмотреть справку любого метода или функции (узнать, какие у нее аргументы и что она делает) можно с помощью комбинации Shift+Tab. Нажатие Tab после имени объекта и точки позволяет посмотреть, какие методы и переменные есть у этого объекта.


In [2]:
import pandas as pd
import numpy as np
from matplotlib import pyplot as plt
%matplotlib inline

Мы будем работать с датасетом "bikes_rent.csv", в котором по дням записаны календарная информация и погодные условия, характеризующие автоматизированные пункты проката велосипедов, а также число прокатов в этот день. Последнее мы будем предсказывать; таким образом, мы будем решать задачу регрессии.

Знакомство с данными

Загрузите датасет с помощью функции pandas.read_csv в переменную df. Выведите первые 5 строчек, чтобы убедиться в корректном считывании данных:


In [3]:
# (0 баллов)
# Считайте данные и выведите первые 5 строк
df = pd.read_csv('bikes_rent.csv', header=0)
df.head()


Out[3]:
season yr mnth holiday weekday workingday weathersit temp atemp hum windspeed(mph) windspeed(ms) cnt
0 1 0 1 0 6 0 2 14.110847 18.18125 80.5833 10.749882 4.805490 985
1 1 0 1 0 0 0 2 14.902598 17.68695 69.6087 16.652113 7.443949 801
2 1 0 1 0 1 1 1 8.050924 9.47025 43.7273 16.636703 7.437060 1349
3 1 0 1 0 2 1 1 8.200000 10.60610 59.0435 10.739832 4.800998 1562
4 1 0 1 0 3 1 1 9.305237 11.46350 43.6957 12.522300 5.597810 1600

Для каждого дня проката известны следующие признаки (как они были указаны в источнике данных):

  • season: 1 - весна, 2 - лето, 3 - осень, 4 - зима
  • yr: 0 - 2011, 1 - 2012
  • mnth: от 1 до 12
  • holiday: 0 - нет праздника, 1 - есть праздник
  • weekday: от 0 до 6
  • workingday: 0 - нерабочий день, 1 - рабочий день
  • weathersit: оценка благоприятности погоды от 1 (чистый, ясный день) до 4 (ливень, туман)
  • temp: температура в Цельсиях
  • atemp: температура по ощущениям в Цельсиях
  • hum: влажность
  • windspeed(mph): скорость ветра в милях в час
  • windspeed(ms): скорость ветра в метрах в секунду
  • cnt: количество арендованных велосипедов (это целевой признак, его мы будем предсказывать)

Итак, у нас есть вещественные, бинарные и номинальные (порядковые) признаки, и со всеми из них можно работать как с вещественными. С номинальныеми признаками тоже можно работать как с вещественными, потому что на них задан порядок. Давайте посмотрим на графиках, как целевой признак зависит от остальных


In [4]:
fig, axes = plt.subplots(nrows=3, ncols=4, figsize=(15, 10))
for idx, feature in enumerate(df.columns[:-1]):
    df.plot(feature, "cnt", subplots=True, kind="scatter", ax=axes[idx / 4, idx % 4])


Блок 1. Ответьте на вопросы (каждый 0.5 балла):

  1. Каков характер зависимости числа прокатов от месяца?
    • ответ: в летние месяцы число прокатов в среднем возрастает, в зимние убывает
  2. Укажите один или два признака, от которых число прокатов скорее всего зависит линейно
    • ответ: temp (температура в Цельсиях), atemp (температура по ощущениям в Цельсиях)

Давайте более строго оценим уровень линейной зависимости между признаками и целевой переменной. Хорошей мерой линейной зависимости между двумя векторами является корреляция Пирсона. В pandas ее можно посчитать с помощью двух методов датафрейма: corr и corrwith. Метод df.corr вычисляет матрицу корреляций всех признаков из датафрейма. Методу df.corrwith нужно подать еще один датафрейм в качестве аргумента, и тогда он посчитает попарные корреляции между признаками из df и этого датафрейма.


In [5]:
# Код 1.1 (0.5 балла)
# Посчитайте корреляции всех признаков, кроме последнего, с последним с помощью метода corrwith:
df[df.columns[:-1]].corrwith(df['cnt'])


Out[5]:
season            0.406100
yr                0.566710
mnth              0.279977
holiday          -0.068348
weekday           0.067443
workingday        0.061156
weathersit       -0.297391
temp              0.627494
atemp             0.631066
hum              -0.100659
windspeed(mph)   -0.234545
windspeed(ms)    -0.234545
dtype: float64

В выборке есть признаки, коррелирующие с целевым, а значит, задачу можно решать линейными методами.

По графикам видно, что некоторые признаки похожи друг на друга. Поэтому давайте также посчитаем корреляции между вещественными признаками.


In [6]:
# Код 1.2 (0.5 балла)
# Посчитайте попарные корреляции между признаками temp, atemp, hum, windspeed(mph), windspeed(ms) и cnt
# с помощью метода corr:
df.loc[:, ['temp', 'atemp', 'hum', 'windspeed(mph)', 'windspeed(ms)', 'cnt']].corr()


Out[6]:
temp atemp hum windspeed(mph) windspeed(ms) cnt
temp 1.000000 0.991702 0.126963 -0.157944 -0.157944 0.627494
atemp 0.991702 1.000000 0.139988 -0.183643 -0.183643 0.631066
hum 0.126963 0.139988 1.000000 -0.248489 -0.248489 -0.100659
windspeed(mph) -0.157944 -0.183643 -0.248489 1.000000 1.000000 -0.234545
windspeed(ms) -0.157944 -0.183643 -0.248489 1.000000 1.000000 -0.234545
cnt 0.627494 0.631066 -0.100659 -0.234545 -0.234545 1.000000

На диагоналях, как и полагается, стоят единицы. Однако в матрице имеются еще две пары сильно коррелирующих столбцов: temp и atemp (коррелируют по своей природе) и два windspeed (потому что это просто перевод одних единиц в другие). Далее мы увидим, что этот факт негативно сказывается на обучении линейной модели.

Напоследок посмотрим средние признаков (метод mean), чтобы оценить масштаб признаков и доли 1 у бинарных признаков.


In [7]:
# Код 1.3 (0.5 балла)
# Выведите средние признаков
df.mean()


Out[7]:
season               2.496580
yr                   0.500684
mnth                 6.519836
holiday              0.028728
weekday              2.997264
workingday           0.683995
weathersit           1.395349
temp                20.310776
atemp               23.717699
hum                 62.789406
windspeed(mph)      12.762576
windspeed(ms)        5.705220
cnt               4504.348837
dtype: float64

Признаки имеют разный масштаб, значит для дальнейшей работы нам лучше нормировать матрицу объекты-признаки.

Проблема первая: коллинеарные признаки

Итак, в наших данных один признак дублирует другой, и есть еще два очень похожих. Конечно, мы могли бы сразу удалить дубликаты, но давайте посмотрим, как бы происходило обучение модели, если бы мы не заметили эту проблему.

Для начала проведем масштабирование, или стандартизацию признаков: из каждого признака вычтем его среднее и поделим на стандартное отклонение. Это можно сделать с помощью метода scale.

Кроме того, нужно перемешать выборку, это потребуется для кросс-валидации.


In [8]:
from sklearn.preprocessing import scale
from sklearn.utils import shuffle

In [9]:
df_shuffled = shuffle(df, random_state=123)
X = scale(df_shuffled[df_shuffled.columns[:-1]])
y = df_shuffled["cnt"]

Давайте обучим линейную регрессию на наших данных и посмотрим на веса признаков.


In [10]:
from sklearn.linear_model import LinearRegression

In [11]:
# Код 2.1 (1 балл)
# Создайте объект линейного регрессора, обучите его на всех данных и выведите веса модели 
# (веса хранятся в переменной coef_ класса регрессора).
# Можно выводить пары (название признака, вес), воспользовавшись функцией zip, встроенной в язык python
# Названия признаков хранятся в переменной df.columns
lr = LinearRegression()
lr.fit(X, y)
zip(df.columns, lr.coef_)


Out[11]:
[('season', 570.86701380339525),
 ('yr', 1021.9683218034954),
 ('mnth', -141.30214184348335),
 ('holiday', -86.759127111373928),
 ('weekday', 137.2247848461308),
 ('workingday', 56.392433312083242),
 ('weathersit', -330.23190098936891),
 ('temp', 367.47620476637144),
 ('atemp', 585.55536227813559),
 ('hum', -145.60838430193809),
 ('windspeed(mph)', 12458755490583.039),
 ('windspeed(ms)', -12458755490781.492)]

Мы видим, что веса при линейно-зависимых признаках по модулю значительно больше, чем при других признаках.

Чтобы понять, почему так произошло, вспомним аналитическую формулу, по которой вычисляются веса линейной модели в методе наименьших квадратов:

$w = (X^TX)^{-1} X^T y$.

Если в X есть коллинеарные (линейно-зависимые) столбцы, матрица $X^TX$ становится вырожденной, и формула перестает быть корректной. Чем более зависимы признаки, тем меньше определитель этой матрицы и тем хуже аппроксимация $Xw \approx y$. Такая ситуацию называют проблемой мультиколлинеарности, вы обсуждали ее на лекции.

С парой temp-atemp чуть менее коррелирующих переменных такого не произошло, однако на практике всегда стоит внимательно следить за коэффициентами при похожих признаках.

Решение проблемы мультиколлинеарности состоит в регуляризации линейной модели. К оптимизируемому функционалу прибавляют L1 или L2 норму весов, умноженную на коэффициент регуляризации $\alpha$. В первом случае метод называется Lasso, а во втором --- Ridge. Подробнее об этом также рассказано в лекции.

Обучите регрессоры Ridge и Lasso с параметрами по умолчанию и убедитесь, что проблема с весами решилась.


In [12]:
from sklearn.linear_model import Lasso, Ridge

In [13]:
# Код 2.2 (0.5 балла)
# Обучите линейную модель с L1-регуляризацией
lasso = Lasso()
lasso.fit(X, y)
zip(df.columns, lasso.coef_)


Out[13]:
[('season', 560.24161603088612),
 ('yr', 1019.4634940657196),
 ('mnth', -128.73062703678687),
 ('holiday', -86.152781333710919),
 ('weekday', 137.34789390496317),
 ('workingday', 55.212370641356678),
 ('weathersit', -332.36985696234854),
 ('temp', 376.36323620969648),
 ('atemp', 576.530793504553),
 ('hum', -144.12915500348595),
 ('windspeed(mph)', -197.13968940249444),
 ('windspeed(ms)', -2.8041289476467956e-08)]

In [14]:
# Код 2.3 (0.5 балла)
# Обучите линейную модель с L2-регуляризацией
ridge = Ridge()
ridge.fit(X, y)
zip(df.columns, ridge.coef_)


Out[14]:
[('season', 563.06457225201075),
 ('yr', 1018.9483787875278),
 ('mnth', -131.87332028247104),
 ('holiday', -86.746097997092733),
 ('weekday', 138.00511117871875),
 ('workingday', 55.903110375064493),
 ('weathersit', -332.34978849907168),
 ('temp', 386.45788919196605),
 ('atemp', 566.34704706001014),
 ('hum', -145.07132729867345),
 ('windspeed(mph)', -99.259441081761423),
 ('windspeed(ms)', -99.259441154373249)]

Блок 2. Поясните, каким образом введение регуляризации решает проблему с весами и мультиколлинеарностью.

Ваш ответ (1 балл): введение регуляризации штрафует модель за сложность, накладывая ограничение на веса (по сумме квадратов весов или сумме модулей весов). Таким образом, отсекаются алгоритмы с большими весами, что приводит к уменьшению мультиколлинеарности. L1-регуляризация позволяет также проводить отбор признаков, поскольку веса могут обратиться в ноль.

Проблема вторая: неинформативные признаки

В отличие от L2-регуляризации, L1 обнуляет веса при некоторых признаках. Объяснение данному факту дается в одной из лекций курса.

Давайте пронаблюдаем, как меняются веса при увеличении коэффициента регуляризации $\alpha$ (в лекции коэффициент при регуляризаторе мог быть обозначен другой буквой).


In [15]:
# Код 3.1 (1 балл)
alphas = np.arange(1, 500, 50)

coefs_lasso = np.zeros((alphas.shape[0], X.shape[1])) # матрица весов размера (число регрессоров) x (число признаков)
coefs_ridge = np.zeros((alphas.shape[0], X.shape[1]))
# Для каждого значения коэффициента из alphas обучите регрессор Lasso
# и запишите веса в соответствующую строку матрицы coefs_lasso (вспомните встроенную в python функцию enumerate),
# а затем обучите Ridge и запишите веса в coefs_ridge.
for idx, a in enumerate(alphas):
    lasso = Lasso(alpha=a)
    lasso.fit(X, y)
    coefs_lasso[idx] = lasso.coef_
    
for idx, a in enumerate(alphas):
    ridge = Ridge(alpha=a)
    ridge.fit(X, y)
    coefs_ridge[idx] = ridge.coef_

Визуализируем динамику весов при увеличении параметра регуляризации:


In [16]:
plt.figure(figsize=(8, 5))
for coef, feature in zip(coefs_lasso.T, df.columns):
    plt.plot(alphas, coef, label=feature, color=np.random.rand(3))
plt.legend(loc="upper right", bbox_to_anchor=(1.4, 0.95))
plt.xlabel("alpha")
plt.ylabel("feature weight")
plt.title("Lasso")

plt.figure(figsize=(8, 5))
for coef, feature in zip(coefs_ridge.T, df.columns):
    plt.plot(alphas, coef, label=feature, color=np.random.rand(3))
plt.legend(loc="upper right", bbox_to_anchor=(1.4, 0.95))
plt.xlabel("alpha")
plt.ylabel("feature weight")
plt.title("Ridge")


Out[16]:
<matplotlib.text.Text at 0xa6d7e14c>

Ответы на следующие вопросы можно давать, глядя на графики или выводя коэффициенты на печать.

Блок 3. Ответьте на вопросы (каждый 0.25 балла):

  1. Какой регуляризатор (Ridge или Lasso) агрессивнее уменьшает веса при одном и том же alpha?
    • Ответ: Lasso
  2. Что произойдет с весами Lasso, если alpha сделать очень большим? Поясните, почему так происходит.
    • Ответ: все веса обнулятся, потому что L1-регуляризация постепенно обнуляет веса признаков и при большом alpha сумма модулей весов должна будет стремиться к нулю.
  3. Можно ли утверждать, что Lasso исключает один из признаков windspeed при любом значении alpha > 0? А Ridge? Ситается, что регуляризатор исключает признак, если коэффициент при нем < 1e-3.
    • Ответ: Lasso исключает один из признаков windspeed при любом значении alpha > 0, а Ridge нет.
  4. Какой из регуляризаторов подойдет для отбора неинформативных признаков?
    • Ответ: Lasso подойдет, т.к. он производит отбор признаков и одними из первых (после сильнокоррелирующих) будут обнулены веса у неинформативных признаков.

Далее будем работать с Lasso.

Итак, мы видим, что при изменении alpha модель по-разному подбирает коэффициенты признаков. Нам нужно выбрать наилучшее alpha.

Для этого, во-первых, нам нужна метрика качества. Будем использовать в качестве метрики сам оптимизируемый функционал метода наименьших квадратов, то есть Mean Square Error.

Во-вторых, нужно понять, на каких данных эту метрику считать. Нельзя выбирать alpha по значению MSE на обучающей выборке, потому что тогда мы не сможем оценить, как модель будет делать предсказания на новых для нее данных. Если мы выберем одно разбиение выборки на обучающую и тестовую (это называется holdout), то настроимся на конкретные "новые" данные, и вновь можем переобучиться. Поэтому будем делать несколько разбиений выборки, на каждом пробовать разные значения alpha, а затем усреднять MSE. Удобнее всего делать такие разбиения кросс-валидацией, то есть разделить выборку на K частей, или блоков, и каждый раз брать одну из них как тестовую, а из оставшихся блоков составлять обучающую выборку.

Делать кросс-валидацию для регрессии в sklearn совсем просто: для этого есть специальный регрессор, LassoCV, который берет на вход список из alpha и для каждого из них вычисляет MSE на кросс-валидации. После обучения (если оставить параметр cv=3 по умолчанию) регрессор будет содержать переменную mse_path_, матрицу размера len(alpha) x k, k = 3 (число блоков в кросс-валидации), содержащую значения MSE на тесте для соответствующих запусков. Кроме того, в переменной alpha_ будет храниться выбранное значение параметра регуляризации, а в coef_, традиционно, обученные веса, соответствующие этому alpha_.

Обратите внимание, что регрессор может менять порядок, в котором он проходит по alphas; для сопоставления с матрицей MSE лучше использовать переменную регрессора alphas_.


In [17]:
from sklearn.linear_model import LassoCV

In [21]:
# Код 3.2 (1 балл)
# Обучите регрессор LassoCV на всех параметрах регуляризации из alpha
# Постройте график _усредненного_ по строкам MSE в зависимости от alpha. 
# Выведите выбранное alpha, а также пары "признак-коэффициент" для обученного вектора коэффициентов
alphas = np.arange(1, 100, 5)
lasso_cv = LassoCV(alphas=alphas)
lasso_cv.fit(X, y)
# График
mse = [mse_row.mean() for mse_row in lasso_cv.mse_path_]
plt.plot(lasso_cv.alphas_, mse)
plt.xlabel("alpha")
plt.ylabel("mse")
# Выбранное alpha
print 'alpha = %d' % lasso_cv.alpha_
# Пары "признак-коэффициент" для обученного вектора коэффициентов
zip(df.columns, lasso_cv.coef_)

#zip(lasso_cv.alphas_, lasso_cv.mse_path_)


alpha = 6
Out[21]:
[('season', 532.01898284135348),
 ('yr', 1015.0602226430597),
 ('mnth', -100.03952614356604),
 ('holiday', -83.293959875299251),
 ('weekday', 132.50446549095764),
 ('workingday', 51.557085614073713),
 ('weathersit', -330.55985673998117),
 ('temp', 370.67985503003285),
 ('atemp', 581.39693106549953),
 ('hum', -140.00740550068875),
 ('windspeed(mph)', -191.77140847135894),
 ('windspeed(ms)', -2.684624811982234e-08)]

Итак, мы выбрали некоторый параметр регуляризации. Давайте посмотрим, какие бы мы выбирали alpha, если бы делили выборку только один раз на обучающую и тестовую, то есть рассмотрим траектории MSE, соответствующие отдельным блокам выборки.


In [39]:
# Код 3.3 (1 балл)
# Выведите значения alpha, соответствующие минимумам MSE на каждом разбиении (то есть по столбцам).
# На трех отдельных графиках визуализируйте столбцы .mse_path_
print lasso_cv.alphas_[lasso_cv.mse_path_[:, 0].argmin()]
print lasso_cv.alphas_[lasso_cv.mse_path_[:, 1].argmin()]
print lasso_cv.alphas_[lasso_cv.mse_path_[:, 2].argmin()]

plt.figure()
plt.plot(lasso_cv.alphas_, lasso_cv.mse_path_[:, 0], color='red')
plt.legend(loc='upper right', bbox_to_anchor=(1.4, 0.95))
plt.xlabel('alpha')
plt.ylabel('mse')
plt.title('MSE for split 1')

plt.figure()
plt.plot(lasso_cv.alphas_, lasso_cv.mse_path_[:, 1], color='red')
plt.legend(loc='"upper right', bbox_to_anchor=(1.4, 0.95))
plt.xlabel('alpha')
plt.ylabel('mse')
plt.title('MSE for split 2')

plt.figure()
plt.plot(lasso_cv.alphas_, lasso_cv.mse_path_[:, 2], color='red')
plt.legend(loc='upper right', bbox_to_anchor=(1.4, 0.95))
plt.xlabel('alpha')
plt.ylabel('mse')
plt.title('MSE for split 3')


41
6
1
Out[39]:
<matplotlib.text.Text at 0xa6b4bccc>

На каждом разбиении оптимальное значение alpha свое, и ему соответствует большое MSE на других разбиениях. Получается, что мы настраиваемся на конкретные обучающие и контрольные выборки. При выборе alpha на кросс-валидации мы выбираем нечто "среднее", что будет давать приемлемое значение метрики на разных разбиениях выборки.

Наконец, как принято в анализе данных, давайте проинтерпретируем результат.

Блок 4. Ответьте на вопросы (каждый 0.5 балла):

  1. В последней обученной модели выберите 4 признака с наибольшими (положительными) коэфициентами (и выпишите их), посмотрите на визуализации зависимостей cnt от этих признаков, которые мы рисовали в блоке "Знакомство с данными". Видна ли возрастающая линейная зависимость cnt от этих признаков по графикам? Логично ли утверждать (из здравого смысла), что чем больше значение этих признаков, тем больше людей захотят взять велосипеды?
    • Ответ: признаки с наибольшими положительными коэффициентами - yr, atemp, season, temp. По графикам видна возрастающая линейная зависимость cnt от признаков atemp, temp и в какой-то степени yr (но года всего 2, поэтому это нельзя считать показательным. Для признака season видно, что летом велосипедов берут больше, чем в другие времена года. Исходя из здравого смысла, логично утверждать, что при повышении температуры, а следовательно и летом, велосипеды берут больше.
  2. Выберите 3 признака с наибольшими по модулю отрицательными коэффициентами (и выпишите их), посмотрите на соответствующие визуализации. Видна ли убывающая линейная зависимость? Логично ли утверждать, что чем больше величина этих признаков, тем меньше людей захотят взять велосипеды?
    • Ответ: признаки с наибольшими по модулю отрицательными коэффициентами - weathersit, windspeed(mph), hum. По графикам видно, что для weathersit убывающая зависимость - меньше людей берут велосипеды в плохую погоду. Для windspeed(mph) и hum тенденция в целом тоже убывающая, но не линейная. При влажности, близкой к максимальной, и очень сильном ветре велосипеды берут меньше.
  3. Выпишите признаки с коэффициентами, близкими к нулю (< 1e-3). Как вы думаете, почему модель исключила их из модели (вновь посмотрите на графики)? Верно ли, что они никак не влияют на спрос на велосипеды?
    • Ответ: признаки с коэффициентами, близкими к нулю - windspeed(ms). Этот признак исключен из модели, так как является линейно зависимым от признака windspeed(mph). Он влияет на спрос на велосипеды, но ровно так же, как и windspeed(mph), а в двух сильнокоррелирующих (по сути одинаковых) признаках нет смысла, это ведет к мультиколлинеарности.

Заключение

Итак, мы посмотрели, как можно следить за адекватностью линейной модели, как отбирать признаки и как грамотно, по возможности не настраиваясь на какую-то конкретную порцию данных, подбирать коэффициент регуляризации.

Стоит отметить, что с помощью кросс-валидации удобно подбирать лишь небольшое число параметров (1, 2, максимум 3), потому что для каждой допустимой их комбинации нам приходится несколько раз обучать модель, а это времязатратный процесс, особенно если нужно обучаться на больших объемах данных.