跳到主要内容

京都大学 情報学研究科 知能情報学専攻 2020年8月実施 専門科目 S-3

Author

祭音Myyura

Description

予測問題を考える。 入力 xiRx_i \in \mathbb{R}、それに対応する出力を yiRy_i \in \mathbb{R} とし、学習データセット D={(x1,y1),(x2,y2),,(xn,yn)}\mathcal{D} = \{(x_1, y_1), (x_2, y_2), \ldots, (x_n, y_n)\} が与えられている。 なお、学習データセットは同時確率密度関数 p(x,y)p(x,y) の分布から独立に生成されているとする。

ここで線形モデル

f(x;a,b)=ax+bf(x;a,b) = ax + b

を用いる。なお aRa \in \mathbb{R} および bRb \in \mathbb{R} は回帰係数である。

設問1 以下の目的関数 J^(a,b)\hat{J}(a,b) を最小化する a^\hat{a} および b^\hat{b} を学習データセット D\mathcal{D} を用いて導け。

J^(a,b)=1ni=1n(yif(xi;a,b))2\hat{J}(a,b) = \frac{1}{n} \sum_{i=1}^n (y_i - f(x_i;a,b))^2

設問2 学習データセットが D={(1,2),(3,3),(2,1),(4,5),(5,4)}\mathcal{D}' = \{(1,2), (3,3), (2,1), (4,5), (5,4)\} で与えられている。この学習データセット D\mathcal{D}' から推定した回帰係数 a^\hat{a} および b^\hat{b} をそれぞれ計算せよ。

設問3 以下の目的関数を考える。

J(a,b)=(yf(x;a,b))2p(x,y)dxdyJ'(a,b) = \iint(y-f(x;a,b))^2 p'(x,y) \text{d}x\text{d}y

なお、同時確率密度関数 p(x,y)p'(x,y)p(x,y)p(x,y)p'(x,y) \neq p(x,y) である。 今、p(x)p(x)p(x,y)p(x,y) の周辺確率密度関数とし、p(x)p'(x)p(x,y)p'(x,y) の周辺確率密度関数とし、条件付き確率が p(yx)=p(yx)p(y|x)=p'(y|x) を満たすとする。 \boxed{\quad}p(x)p(x) および p(x)p'(x) を用いて答えよ。 導出過程も示せ。

J(a,b)=(yf(x;a,b))2  p(x,y)dxdyJ'(a,b) = \iint (y-f(x;a,b))^2\ \boxed{\quad}\ p(x,y) \text{d}x\text{d}y

設問4 以下の目的関数

J(a,b)=(yf(x;a,b))2p(x,y)dxdyJ(a,b) = \iint (y-f(x;a,b))^2 p(x,y) \text{d}x\text{d}y

の学習データセット D\mathcal{D} による近似は設問1J^(a,b)\hat{J}(a,b) で与えられる。同様に、設問3J(a,b)J'(a,b) 近似 J^(a,b)\hat{J}'(a,b) を学習データセット D\mathcal{D} および p(x)p(x)p(x)p'(x) を用いて導け。

設問5 設問4J^(a,b)\hat{J}'(a,b) を最小化する a^\hat{a} および b^\hat{b} を学習データセット D\mathcal{D} および p(x)p(x)p(x)p'(x) を用いて導け。

题目描述

给定从联合密度 p(x,y)p(x,y) 独立生成的训练集 D={(xi,yi)}i=1n\mathcal D=\{(x_i,y_i)\}_{i=1}^n,其中 xi,yiRx_i,y_i\in\mathbb R。采用线性模型

f(x;a,b)=ax+b.f(x;a,b)=ax+b.
  1. D\mathcal D 推导使
    J^(a,b)=1ni=1n(yif(xi;a,b))2\hat J(a,b)=\frac1n\sum_{i=1}^n(y_i-f(x_i;a,b))^2
    最小的 a^,b^\hat a,\hat b
  2. D={(1,2),(3,3),(2,1),(4,5),(5,4)}\mathcal D'=\{(1,2),(3,3),(2,1),(4,5),(5,4)\},计算回归系数 a^,b^\hat a,\hat b
  3. 另有联合密度 p(x,y)p(x,y)p'(x,y)\ne p(x,y),并满足 p(yx)=p(yx)p(y\mid x)=p'(y\mid x)。边缘密度分别为 p(x),p(x)p(x),p'(x)。用二者填写
    J(a,b)=(yf(x;a,b))2p(x,y)dxdy,J'(a,b)=\iint(y-f(x;a,b))^2\boxed{\quad}\,p(x,y)\,dx\,dy,
    并给出推导。
  4. J(a,b)=(yf)2p(x,y)dxdyJ(a,b)=\iint(y-f)^2p(x,y)\,dx\,dy 的训练集近似是第 1 问的 J^\hat J。类似地,用 D\mathcal Dp(x),p(x)p(x),p'(x) 推导 J(a,b)J'(a,b) 的近似 J^(a,b)\hat J'(a,b)
  5. D,p(x),p(x)\mathcal D,p(x),p'(x) 推导使 J^(a,b)\hat J'(a,b) 最小的 a^,b^\hat a,\hat b

考点

  • 简单线性回归与最小二乘:对斜率、截距求偏导建立正规方程并计算具体样本解。
  • 协变量偏移:在条件分布不变、输入边缘改变时推导重要性权重 p(x)/p(x)p'(x)/p(x)
  • 加权最小二乘:用重要性加权经验风险近似目标分布风险,并推导带权回归闭式解。

Kai

設問1

x=1ni=1nxi,y=1ni=1nyi,xy=1ni=1nxiyi\overline{x} = \frac{1}{n} \sum_{i=1}^n x_i,\quad \overline{y} = \frac{1}{n} \sum_{i=1}^n y_i,\quad \overline{xy} = \frac{1}{n} \sum_{i=1}^n x_iy_i

とおくと、

J^(a,b)a=2ni=1n(yiaxib)xi=2(xyax2bx)=0J^(a,b)b=2ni=1n(yiaxib)=2(yaxb)=0\begin{align} \frac{\partial \hat{J}(a, b)}{\partial a} &= -\frac{2}{n} \sum_{i=1}^{n} (y_i - ax_i - b) x_i = -2(\overline{xy} - a \overline{x^2} -b\overline{x}) = 0 \tag{i} \\ \frac{\partial \hat{J}(a, b)}{\partial b} &= -\frac{2}{n} \sum_{i=1}^{n} (y_i - ax_i - b) = -2(\overline{y} - a \overline{x} -b) = 0 \tag{ii} \end{align}

により

b=yaxb = \overline{y} - a\overline{x}

を得る。式 (i) に代入すると、

xyax2(yax)x=0a^=xyxyx2x2=ixiyin(ixi)(iyi)ixi2n(ixi)2\begin{aligned} &\overline{xy} - a \overline{x^2}-(\overline{y} - a\overline{x})\overline{x} = 0 \\ &\Rightarrow \hat{a} = \frac{\overline{xy} - \overline{x}\cdot\overline{y}}{\overline{x^2}- \overline{x}^{2}} = \frac{\sum_i x_iy_i - n(\sum_i x_i)(\sum_i y_i)}{\sum_i x_i^2 - n(\sum_i x_i)^2} \end{aligned}

がわかる。

ここで、xx の分散を σx2\sigma_x^2 とおく、xxyy の共分散を σxy\sigma_{xy} とおくと、

nσxy=i=1n(xix)(yiy)=xyxyxy+xy=xyxynσx2=n(x2x2)=ixi2n(ixi)2\begin{aligned} n \sigma_{xy} &= \sum_{i=1}^n (x_i - \overline{x})(y_i - \overline{y}) = \overline{xy} - \overline{x}\cdot\overline{y} - \overline{x}\cdot\overline{y}+ \overline{x}\cdot\overline{y} = \overline{xy} - \overline{x}\cdot\overline{y} \\ n\sigma_x^2 &= n \left( \overline{x^2}- \overline{x}^2\right) = \sum_i x_i^2 - n(\sum_i x_i)^2 \end{aligned}

が分かり、a^\hat{a} は以下のように表すことができる。

a^=σxyσx2\hat{a} = \frac{\sigma_{xy}}{\sigma_x^2}

設問2

σx2=15i=15xi2(15i=15xi)2=2σxy2=i=15(xix)i=15(yiy)n=85\begin{aligned} \sigma_x^2 &= \frac{1}{5}\sum_{i=1}^5 x_i^2 -\left( \frac{1}{5}\sum_{i=1}^5 x_i \right)^{2} = 2 \\[0.7em] \sigma_{xy}^2 &= \frac{\sum_{i=1}^5(x_i - \overline{x}) \sum_{i=1}^5(y_i - \overline{y})}{n} = \frac{8}{5} \end{aligned}

よって、

a^=σxyσx2=45,b^=yax=35\hat{a} = \frac{\sigma_{xy}}{\sigma_x^2} = \frac{4}{5}, \quad \hat{b} = \overline{y} - a\overline{x} = \frac{3}{5}

設問3

ベイズの定理により、

p(x,y)=p(yx)p(x)=p(yx)p(x)=p(x,y)p(x)p(x)=p(x)p(x)p(x,y)p^{\prime}(x, y) = p^{\prime}(y|x)p^{\prime}(x) = p(y|x)p^{\prime}(x) = \frac{p(x, y)}{p(x)} p^{\prime}(x) = \frac{p^{\prime}(x)}{p(x)} p(x, y)

したがって、

J(a,b)=(yf(x;a,b))2p(x)p(x)p(x,y)dxdyJ'(a, b) = \int \int\left(y - f(x; a, b)\right)^{2} \cdot \frac{p^{\prime}(x)}{p(x)} p(x, y)dxdy

設問4

J^(a,b)=1ni=1n(yif(xi;a,b))p(xi)p(xi)\hat{J}'(a, b) = \frac{1}{n} \sum_{i=1}^n (y_i - f(x_i; a, b))\cdot \frac{p^{\prime}(x_i)}{p(x_i)}

設問5

設問1同様に計算すれば良い。ここで、qi=p(xi)p(xi)q_i = \frac{p'(x_i)}{p(x_i)} とおく。

J^(a,b)a=2ni=1n(yiaxib)xiqi=2(xyqax2qbxq)=0J^(a,b)b=2ni=1n(yiaxib)qi=2(yqaxqbq)=0\begin{align} \frac{\partial \hat{J}'(a, b)}{\partial a} &= -\frac{2}{n} \sum_{i=1}^{n} (y_i - ax_i - b) x_i q_i = -2(\overline{xyq} - a \overline{x^2q} -b\overline{xq}) = 0 \tag{iii} \\ \frac{\partial \hat{J}'(a, b)}{\partial b} &= -\frac{2}{n} \sum_{i=1}^{n} (y_i - ax_i - b)q_i = -2(\overline{yq} - a \overline{xq} -b\overline{q}) = 0 \tag{iv} \end{align}

整理すると、

b=yqaxqqb = \frac{\overline{yq} - a\overline{xq}}{\overline{q}}

を得る。これを式 (iii) に代入すると、

xyqax2qyqaxqqxq=0a^=xyqqxqyqx2qqxq2\begin{aligned} &\overline{xyq} - a \overline{x^2q} -\frac{\overline{yq} - a\overline{xq}}{\overline{q}} \overline{xq} = 0 \\ &\Rightarrow \hat{a} = \frac{\overline{xyq}\cdot\overline{q} - \overline{xq}\cdot\overline{yq}}{\overline{x^2q}\cdot\overline{q} - \overline{xq}^2} \end{aligned}

したがって、

b^=yqa^xqq\hat{b} = \frac{\overline{yq} - \hat{a}\overline{xq}}{\overline{q}}