可行域 在最优化与计算机科学中可行域feasible region可行集feasible set或解空间solution space指满足问题约束可能包括不等式等式和或整数约束的最优化问题的所有可能点选择变量的值集的集合在候选解的范围缩小之前这是问题的初始候选解集 例如考虑最小化关于变量xy的函数 x   y  displaystyle xy 之值的问题且有约束   x        y   displaystyle leq xleq  leq yleq  这里的可行集是x的值在到之间y的值在到之间的有序数对  x    y  displaystyle x y 组成的集合问题的可行集与目标函数是分离的后者是要优化的对象上例中目标函数是 x   y  displaystyle xy  很多问题中可行集反映了变量必须非负的约束在整数规划问题中可行集是整数集或其子集线性规划问题中可行集是凸多胞形即多维空间中的一个区域其边界由超平面构成四角是顶点 约束满足Constraint satisfaction是在可行域内找到一个点的过程