可行域

如果一个不等式组是一串限制——你的预算、你的时间、你的空间——那么可行域就是你实际被允许选择的一切所组成的菜单。它是所有同时满足该方程组中每个不等式的点的集合，是不违反任何规则的公共地带。

在坐标平面上，你给每个不等式所允许的半平面涂上阴影，只保留重叠部分，就找到了它。结果通常是一块多边形状的区域（对线性不等式而言），边沿着边界直线，顶点在各边界相交之处。这些顶点尤为重要。

这个术语来自最优化与线性规划，你要在可行域上对某个量取最大或最小值。那里有一个关键事实：对于线性目标函数，最优值总出现在有界可行域的某个顶点上——所以你可以只检查各角点，而不必检查每个内部点。可行域可能有界、无界，或在约束彼此冲突时为空。