在数学中，约束是一个最佳化问题的解需要符合的条件。约束可分为等式约束及不等式约束。符合所有约束的解的集合称为可行集或是候选解。
2
在数学中，线性规划特指目标函数和约束皆为线性的最优化问题。
约束编程是一种编程典范，在这种编程范式中，变量之间的“关系”是以约束的形式陈述的。这些“关系”和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是规范其解的一些属性。这样看来，约束编程是一种声明式编程。
约束编程是一种编程典范，在这种编程范式中，变量之间的“关系”是以约束的形式陈述的。这些“关系”和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是规范其解的一些属性。这样看来，约束编程是一种声明式编程。
在数学中，线性规划特指目标函数和约束皆为线性的最优化问题。
普法夫约束是机器人运动规划中的约束，是由k个线性无关约束的集合，而这些约束都对速度线性，也就是说
情境最佳化也称为情境方法，是一种求解强健最佳化问题和机会约束规划问题的方式，其方法会以一些约束的样本为基础。情境最佳化也和建模及决策中的归纳推理有关。此方法已以启发法的形式存在了数十年，近来开始探讨此方法系统化理论的基础。
情境最佳化也称为情境方法，是一种求解强健最佳化问题和机会约束规划问题的方式，其方法会以一些约束的样本为基础。情境最佳化也和建模及决策中的归纳推理有关。此方法已以启发法的形式存在了数十年，近来开始探讨此方法系统化理论的基础。
Mini wiki
