首页 >
最优化
✍ dations ◷ 2025-04-03 10:50:56 #最优化
最优化,是应用数学的一个分支。主要研究在特定情况下最大化或最小化某一特定函数或变量。主要研究以下形式的问题:这类定式有时还称为“数学规划”(譬如,线性规划)。许多现实和理论问题都可以建模成这样的一般性框架。典型的,
A
{displaystyle A}
一般为欧几里得空间
R
n
{displaystyle mathbb {R} ^{n}}
中的子集,通常由一个
A
{displaystyle A}
必须满足的约束等式或者不等式来规定。
A
{displaystyle A}
的元素被称为是可行解。函数
f
{displaystyle f}
被称为目标函数,或者代价函数。一个最小化(或者最大化)目标函数的可行解被称为最优解。一般情况下,会存在若干个局部的极小值或者极大值。局部极小值
x
∗
{displaystyle x^{*}}
定义为对于一些
δ
>
0
{displaystyle delta >0}
,以及所有的
x
{displaystyle x}
满足公式成立。这就是说,在
x
∗
{displaystyle mathbf {x} ^{*}}
周围的一些闭球上,所有的函数值都大于或者等于在该点的函数值。一般的,求局部极小值是容易的,但是要确保其为全局性的最小值,则需要一些附加性的条件,例如,该函数必须是凸函数。最优化问题通常有一些较特别的符号标示方法。例如:这是要求表达式
x
2
+
1
{displaystyle x^{2}+1}
的最小值,这里x取值为全体实数,
R
{displaystyle mathbb {R} }
。这个问题的最小值应该是
1
{displaystyle 1}
,当
x
=
0
{displaystyle x=0}
。这是要求表达式
2
x
{displaystyle 2x}
的最大值,同样地,
x
{displaystyle x}
在全体实数上取值。对于这个问题,由于该表达式不是有上界的,因此不存在最大值,因此,答案应该是无限大,或者是不可定义的。这是求使表达式x2+1 达到最小值时x的值。在这里x被限定在区间[-∞
,-1]之间,所以上式的值是-1。对于无约束的优化问题, 如果函数是二次可微的话,可以通过找到目标函数梯度为0(也就是拐点)的那些点来解决此优化问题。我们需要用黑塞矩阵来确定此点的类型。如果黑塞矩阵是正定的话,该点是一个局部最小解, 如果是负定的话,该点是一个局部最大解,如果黑塞矩阵是不定的话,该点是某种鞍点。要找到那些拐点,我们可以通过猜测一个初始点,然后用比如以下的迭代的方法来找到。如果目标函数在我们所关心的区域中是凸函数的话,那么任何局部最小解也是全局最优解。现在已经有稳定,快速的数值计算方法来求二次可微地凸函数的最小值。有约束条件的约束问题常常可以通过拉格朗日乘数转化为非约束问题。其他一些流行的方法有:现代的计算机科学技术和人工智能科学把最优化作为一个重要的领域来研究。我们也可以认为人工智能的一些算法,就是模拟了人类寻求实际问题最优解的过程。例如,利用人工智能方法设计软件,配合外部的电子设备例如摄像头识别人脸;利用数据挖掘和神经网络算法来寻找投资的最佳时机等。
相关
- 嗜肺军团菌嗜肺军团菌是一种有鞭毛,革兰氏阴性,军团菌属多形态性的短小球杆菌。嗜肺军团菌是一种原发的人类病原体,会引发军团病。嗜肺军团菌不抗酸,无孢子,无荚膜,类似于杆菌。不能分解明胶
- 实验经济学实验经济学(英语:Experimental economics)是一门利用真人实验测试不同经济理论及新市场机制的方法。利用受试者的金钱动机创造出类似真实世界的动机,帮助实验者及人们了解市场及
- 保加利亚第二帝国奥德里西亚 前460年–46年罗马时期 46年–681年旧大保加利亚 632年–668年第一帝国 681年–1018年拜占庭保加利亚 1018年–1185年第二帝国 1185年–1396年奥斯曼帝国统治 13
- 类人猿类人猿下目(学名:Simiiformes)是一类高等灵长类,由旧世界猴及猿组成。它们比原猴亚目的要大。类人猿下目分成三类。阔鼻小目于约4000万年前分支出来,只余下狭鼻小目留在旧世界。
- 形式逻辑逻辑(古希腊语:λογική;德语:Logik;法语:logique;英语:logic;意大利语、西班牙语、葡萄牙语: logica),又称理则、论理、推理、推论,是对有效推论的哲学研究。逻辑被使用在大部分的
- 甲羟戊酸途径甲羟戊酸途径(Mevalonate pathway)甲羟戊酸途径,也被称为异戊二烯途径(Isoprenoid pathway)或HMG-CoA还原酶(HMG-CoA reductase pathway)途径,是存在于真核生物,古菌和一些细菌中
- 阿伏伽德罗常量在物理学和化学中,阿伏伽德罗常数(符号: N A {\displaystyle N_{A}} 或
- 谢在库谢在库(1963年9月-),辽宁普兰店人,出生于新金县,中国石油化工专家,中国石油化工股份有限公司教授级高级工程师。2017年当选为中国科学院院士。1985年毕业于抚顺石油学院,2000年在华
- Christian Dior克丽丝汀·迪奥(法语:Christian Dior),简称迪奥(Dior),是源自法国的国际奢侈品品牌,由法国时装设计师克丽丝汀·迪奥于1946年创立,总部位于巴黎。主要经营时装、配饰、香水、化妆品、
- 接口卡接口卡(Interface Card,Adapter)是电脑和周边硬件的沟通桥梁,举凡:屏幕(显卡)、喇叭(声卡)、鼠标、键盘、打印机、光盘驱动器、硬盘等,每一样都是透过接口卡传输数据才可运作。现代电