平滑最大值

来自testwiki
跳转到导航 跳转到搜索

平滑最大值是最大值函数max(x1,,xn),光滑函数。其是一个参数族,在 mα(x1,,xn)中,对于每个参数Template:Mvar,函数 Template:Tmath 都是平滑的。参数族内包含最大值函数,并且Template:TmathTemplate:Tmath平滑最小值的概念也是类似的。 在大多数情况下,一个族满足两个条件:当参数趋向于正无穷大时为函数变为最大值函数,当参数变为负无穷大时函数变为最小值函数;符号表示为: Template:TmathTemplate:TmathTemplate:TmathTemplate:Tmath。平滑最大值也可以用于描述行为类似于最大值函数的其他平滑函数,而不一定必须在此参数族中。

例子

平滑最大值应用于具有各种系数的'-x'和x函数。 非常光滑当α = 0.5,而α = 8更加平滑。

当正值参数较大时,且α>0 ,下列公式是最大函数的平滑函数,可微、近似于最大值函数。 对于绝对值较大的负值参数,其近似最小值函数。

𝒮α(x1,,xn)=i=1nxieαxii=1neαxi

𝒮α具有以下属性:

  1. 𝒮αmaxα
  2. 𝒮0是其输入的算术平均值
  3. 𝒮αminα

𝒮α的梯度近似于softmax函数,由以下公式可得:

xi𝒮α(x1,,xn)=eαxij=1neαxj[1+α(xi𝒮α(x1,,xn))].

这使softmax函数使用梯度下降的优化时很有用。

LogSumExp

Template:Main

另一个平滑最大值函数例子是LogSumExp

LSE(x1,,xn)=log(exp(x1)++exp(xn))

如果xi都是非负的,可产生定义域是[0,)n和值域是[0,)的函数 :

g(x1,,xn)=log(exp(x1)++exp(xn)(n1))

(n1)项通过消除除零以外的所有零指数使得exp(0)=1,以及log1=0xi为零。

p范数函数

另一个平滑最大值函数是p范数

||(x1,,xn)||p=(|x1|p++|xn|p)1/p

p ,收敛到||(x1,,xn)||=max1in|xi|

p范数的一个优点是它是一个范数 。 因此,它是“尺度不变”的(同质的): ||(λx1,,λxn)||p=|λ|×||(x1,,xn)||p ,它满足三角不等式。

数值方法

平滑函数的其他例子

𝓂𝒶𝓍α(x1,x2)=0.5((x1+x2)+(x1x2)2+α)

参见

参考文献

Template:Reflist M. Lange, D. Zühlke, O. Holz, and T. Villmann, "Applications of lp-norms and their smooth approximations for gradient based learning vector quantization," in Proc. ESANN, Apr. 2014, pp. 271-276. (-{R|https://www.elen.ucl.ac.be/Proceedings/esann/esannpdf/es2014-153.pdf}- Template:Wayback)