方程组与不等式组
不等式组
方程组寻找精确的点,不等式组则寻找区域。设想把若干形如“至少这么多”或“至多那么多”的规则叠在一起,问哪些点同时遵守它们全部。答案通常不是孤零零一个点,而是一整片阴影区域。
不等式组是含有相同变量的两个或更多不等式,被一起求解。解是任何同时满足每个不等式的点,所有这样的点构成解区域。在坐标平面上,每个不等式给一个半平面(或一块曲线区域)涂上阴影,而方程组的解就是这些阴影区域的重叠部分。
边界很重要:像 y > x 这样的严格不等式不包含其边界直线(画成虚线),而 y ≥ x 则包含它(画成实线)。重叠区域——常称为可行域——可能有界,也可能无界,甚至在不等式毫无共同之处时为空。这类不等式组是线性规划的支柱,你要在可行域内进行优化。
不等式组 y ≥ 0、x ≥ 0、x + y ≤ 4 描述了以 (0, 0)、(4, 0)、(0, 4) 为顶点的三角形。点 (1, 2) 落在其内,满足全部三式;(3, 3) 违反 x + y ≤ 4。
各阴影半平面的重叠部分。
另见