约束，数学逻辑函数名词

范例

以下是一个最佳化的问题：

其拘束条件为

and

其中表示向量。

上例中，第一行定义要最佳化的函数（称为目标或费用函数），第二、三行定义二个约束条件，一个是不等式约束，另一个是等式约束，这二个约束定义了候选解的范围。

若没有约束条件，最佳化的解为 ，因此处的有最小值，但这个值不符合约束条件。考虑约束条件的最佳化问题，其解为 ，是符合所有约束条件的解当中，使函数有最小值的解。

术语

• 若一拘束条件在特定点时为一等式，称为束缚拘束，因为此点无法在拘束的方向移动。

• 若一拘束条件在特定点时为一不等式，称为非束缚拘束，因为此点仍可以在拘束的方向移动。

• 若在特定点下，任一拘束条件无法满足，此点就称为不可行。

相关条目

• 卡罗需－库恩－塔克条件

• 拉格朗日乘数

• 水平集

• 线性规划

• 非线性规划

应用领域

计算

约束（计算机辅助设计），在工程设计和实体建模中；

约束满足，计算机科学；

有限域约束，约束满足；

完整性约束，数据库设计的一个要素。

数学

约束（数学）；

财务，线性规划，经济学和成本模型的约束优化；

约束（经典力学），包括：哈密尔顿力学中的一类约束和二阶约束，哈密尔顿力学中的主要约束和二次约束；

约束（信息论）；

约束算法，如SHAKE或LINCS。

其他用途

生物制约因素使得人群抵抗进化变化，例如，运营商的约束，制约理论，企业管理；

装载量规或结构量规，工程约束；

限于文学，文学；

例如，Oulipian约束；

最优性理论，在语言学中，一种基于约束的理论，其主要在语音学中具有影响力。