7.优化算法及其收敛性

一、梯度下降法

梯度下降法

考虑无约束优化问题:

\min_{x \in \mathbb{R}^n} f(x)

其中,f: \mathbb{R}^n \rightarrow \mathbb{R} 为可微凸函数,且 \text{dom}(f) = \mathbb{R}^n

记:
f^* = \inf_{x \in \mathbb{R}^n} f(x), \quad x^* = \arg\min_{x \in \mathbb{R}^n} f(x).

梯度下降法迭代格式为:
x_k = x_{k-1} - \alpha_k \nabla f(x_{k-1}), \quad k = 1, 2, \ldots

其中,\alpha_k > 0 为搜索步长,x_0 为初始迭代点。

梯度下降法解释

梯度下降法每步迭代中,考虑二次近似函数:

f(y) \approx Q(y) = f\left(x_{k-1}\right) - \nabla f\left(x_{k-1}\right)^T\left(y - x_{k-1}\right) + \frac{1}{2\alpha}\left\|y - x_{k-1}\right\|^2

上式中前两项可视为目标函数的线性近似,最后一项则是临近二次项。极小化以上函数可得 x_k

x_k = \operatorname{argmin}_y Q(y)

函数在某点近似成二次函数

二、次梯度法

  1. 可微凸函数最优性条件:
    \nabla f(x^*)^T(x - x^*) \geq 0, \quad \forall x \in X.
  2. 可推广至次梯度情形。
    我的理解是:上面的大于等于号应该只有在xX的边界时候取到[意思是在该点,不管向着那个方向走,函数值都是增加的]。倘若xX的内部,上面的不等式应该是严格取到等号的。

定理:凸函数极小值点与次梯度的关系
x^* 为凸函数 f: \mathbb{R}^n \to \mathbb{R} 在凸集 X \subseteq \mathbb{R}^n 的极小点的充要条件为:存在一个次梯度 g \in \partial f(x^*) 满足:
g^T(z - x^*) \geq 0, \quad \forall z \in X.

Theorem (投影算子非扩张性质)
X 为非空闭凸集,P 为投影算子,以下结论成立:
\left\|P_{X}(x)-P_{X}(y)\right\|\leq\|x-y\|, \forall x, y \in \mathbb{R}^n.

Theorem (次梯度相邻迭代点距离不等式)
\{x_k\} 为次梯度方法产生的点列,有以下结论成立:
‘1. 对所有的 y \in X 以及 k \geq 0,有:
\|x_{k+1} - y\|^2 \leq \|x_k - y\|^2 - 2\alpha_k (f(x_k) - f(y)) + \alpha_k^2 \|g_k\|^2.

  1. f(y) < f(x_k),且 \alpha_k \in \left(0, \frac{2(f(x_k) - f(y))}{\|g_k\|^2}\right),有:
    \|x_{k+1} - y\| < \|x_k - y\|.

证明:(1) 由投影算子非扩张性质,对所有 y \in Xk

\|x_{k+1} - y\|^2 = \|P_X(x_k - \alpha_k g_k) - y\|^2

\leq \|x_k - \alpha_k g_k - y\|^2 = \|x_k - y\|^2 - 2\alpha_k g_k^T (x_k - y) + \alpha_k^2 \|g_k\|^2

\leq \|x_k - y\|^2 - 2\alpha_k (f(x_k) - f(y)) + \alpha_k^2 \|g_k\|^2,

三、临近点算法

Proximal算法基本原理

考虑极小化闭凸函数 f: \mathbb{R}^n \rightarrow \mathbb{R},Proximal算法迭代格式为:

x_{k+1}=\operatorname{argmin}_{x\in \mathbb{R}^n}\left\{f(x)+\frac{1}{2 c_k}\left\|x-x_k\right\|^2\right\}

其中:x_k 为第 k 步迭代点;c_k 为正则化参数(>0)。(去约束、去不可微性、强凸化)。

注意:

  1. 正则化程度主要由参数 c_k 控制;
  2. 下一迭代点 x_{k+1} 尽可能要靠近前一个迭代点 x_k
  3. 二次项 \left\|x-x_k\right\|^2 使得目标函数在一个紧水平集上极小化强凸函数。

容易验证:从非最优点 x_k 出发,目标函数值是递减的,即:

f\left(x_{k+1}\right)+\frac{1}{2 c_k}\left\|x_{k+1}-x_k\right\|^2\leq f\left(x_k\right)

四、增广拉格朗日算法

考虑约束优化问题:

\text{minimize} \quad f(x) \quad \text{subject to} \quad x \in X, Ax = b

其中:f: \mathbb{R}^n \to (-\infty, \infty] 是凸函数,X 是凸集,A \in \mathbb{R}^{m \times n}, b \in \mathbb{R}^m

MC/MC对偶框架下,原问题与:

p(u) = \inf_{x \in X, Ax - b = u} f(x)

对偶问题函数为:

q(\lambda) = \inf_{x \in X} \left\{ f(x) + \lambda^T (Ax - b) \right\}

五、ADMM算法

ADMM算法迭代格式:

  • 关于 x 极小化 L_c(x, z, \lambda):

    x_{k+1} \in \operatorname{argmin}_{x \in \mathbb{R}^n} L_c\left(x, z_k, \lambda_k\right)

  • 关于 z 极小化 L_c(x, z, \lambda):

    z_{k+1} \in \operatorname{argmin}_{z \in \mathbb{R}^m} L_c\left(x_{k+1}, z, \lambda_k\right)

  • 拉格朗日乘子更新:

    \lambda_{k+1} = \lambda_k + c\left(A x_{k+1} - z_{k+1}\right)

六、近似点梯度算法

邻近算子

邻近算子是处理非光滑问题的一个非常有效的工具,也与许多算法设计密切联系。首先介绍邻近算子的定义。

定义:(邻近算子)对于一个凸函数 h,定义它的邻近算子为:

\operatorname{prox}_h(x) = \operatorname{argmin}_{u \in \operatorname{dom}(h)} \left\{ h(u) + \frac{1}{2} \|u - x\|^2 \right\}

可以看到,邻近算子的目的是求解一个距离 x 不太远的点,使得 h(x) 函数值也相对较小。

几个临近算子的例子

  1. 下面例子中 t 均为正实数。
    • \ell_1 范数:
      h(x) = \|x\|_1, \quad \text{prox}_{th}(x) = \text{sign}(x) \max\{|x| - t, 0\}.
    • \ell_2 范数:
      h(x) = \|x\|_2, \quad \text{prox}_{th}(x) = \begin{cases} (1 - \frac{t}{\|x\|_2})x, & \|x\|_2 \geq t \\ 0, & \text{otherwise} \end{cases}
    • 二次函数:
      h(x) = \frac{1}{2} x^T A x + b^T x + c, \quad \text{prox}_{th} = (I + tA)^{-1}(x - tb).

近似点梯度算法的思想和迭代形式

近似点梯度法的思想非常简单:针对 f(x) 中的两部分 g(光滑部分)与 h(非光滑部分)分别做梯度下降与邻近算子,则近似点梯度算法的迭代公式为:

x_{k+1} = \operatorname{prox}_{t_k h}\left(x_k - t_k \nabla g\left(x_k\right)\right)

其中:t_k > 0 为第 k 步迭代的步长,可以是常数或者用某种线性搜索方法计算得出。

  • h(x) = 0 时,近似点梯度算法变为梯度下降算法:

    x_{k+1} = x_k - t_k g\left(x_k\right).

  • h(x) = I_C(x) 时,迭代公式变为投影梯度法。

七、Nesterov加速算法

通常梯度下降算法在极小化凸目标函数的收敛率为 \mathcal{O}(1/k). Nesterov在1983提出了针对光滑目标函数的改进的一阶算法,收敛速度能够达到 \mathcal{O}(1/k^2). 相较于牛顿算法,Nesterov加速算法更加适合数据量大的优化问题类型。

以梯度下降法为例,对 x_k 进行一步梯度迭代得到辅助点 v_{k+1},即:

v_{k+1} = x_k - t_k \nabla f(x_k)

将相邻两步迭代的辅助点 v_kv_{k+1} 加权得到下一个迭代点 x_{k+1}

Nesterov加速算法

迭代格式为:

x_{k+1} = (1 - \gamma_k) v_{k+1} + \gamma_k v_k

这里:\lambda_0 = 0, \lambda_k = \frac{1 + \sqrt{1 + 4\lambda_{k-1}^2}}{2}, \gamma_k = \frac{1 - \lambda_k}{\lambda_{k+1}}

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,402评论 6 499
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,377评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,483评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,165评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,176评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,146评论 1 297
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,032评论 3 417
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,896评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,311评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,536评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,696评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,413评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,008评论 3 325
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,659评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,815评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,698评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,592评论 2 353

推荐阅读更多精彩内容