ARTICLE

可行解

可行解 (Feasible Solution) 可行解(Feasible Solution)是最优化理论和运筹学中的基本概念,指满足一个优化问题所有约束条件的决策变量取值。在数学规划中,所有可行解构成的集合称为可行域(Feasible Region),是搜索最优解的候选空间。可行解的对立面是不可行解(Infeasible Solution),即至少违反一条约

浏览 3 更新 2026-05-26

可行解 (Feasible Solution)

可行解(Feasible Solution)是最优化理论运筹学中的基本概念,指满足一个优化问题所有约束条件的决策变量取值。在数学规划中,所有可行解构成的集合称为可行域(Feasible Region),是搜索最优解的候选空间。可行解的对立面是不可行解(Infeasible Solution),即至少违反一条约束条件的变量取值。在经济学与工程决策中,识别可行域边界上的解——尤其是资源约束条件下企业或经济主体的生产决策——具有核心分析价值。

形式化定义

考虑一个标准的约束优化问题:

minxRnf(x)s.t.gi(x)0,i=1,,mhj(x)=0,j=1,,p\begin{aligned} \min_{x \in \mathbb{R}^n} \quad & f(x) \\ \text{s.t.} \quad & g_i(x) \le 0, \quad i = 1, \dots, m \\ & h_j(x) = 0, \quad j = 1, \dots, p \end{aligned}

其中 f(x)f(x) 为目标函数,gi(x)0g_i(x) \le 0 为不等式约束,hj(x)=0h_j(x) = 0 为等式约束。若向量 xRnx^* \in \mathbb{R}^n 同时满足所有不等式约束与等式约束,则称 xx^*可行解。所有可行解的集合称为可行域

F={xRngi(x)0,  i=1,,m;  hj(x)=0,  j=1,,p}\mathcal{F} = \{ x \in \mathbb{R}^n \mid g_i(x) \le 0,\; i=1,\dots,m;\; h_j(x) = 0,\; j=1,\dots,p \}

F=\mathcal{F} = \varnothing,该优化问题称为不可行(Infeasible)。若 xFx^* \in \mathcal{F} 且对任意 xFx \in \mathcal{F} 均有 f(x)f(x)f(x^*) \le f(x),则称 xx^*最优解(Optimal Solution)或全局最优解

内点、边界点与极值点

可行域的内部结构可以进一步细分。满足所有不等式约束且至少使一个不等式约束取等号(即 gi(x)=0g_i(x) = 0)的可行解称为边界点(Boundary Point);若所有不等式约束均严格成立(gi(x)<0g_i(x) < 0),则称为内点(Interior Point)。在线性规划中,可行域是一个凸多面体,其顶点(Vertex)或极值点(Extreme Point)具有特殊重要性——若线性规划存在最优解,则至少有一个最优解位于顶点上,这是单纯形法的理论基础。

经济学中的可行解

生产可能性边界

微观经济学中,生产可能性边界(PPF)刻画了经济在给定资源和技术下能够生产的两种产品的最大产量组合。PPF上的每个点都对应一个帕累托有效(Pareto Efficient)的可行解——在现有约束下无法在不减少一种产品产量的前提下增加另一种产品。PPF内部的点虽然也是可行解,但存在资源闲置或配置低效;PPF外部的点则是不可行解,代表着在现有资源和技术条件下无法达到的产量组合。

消费选择

消费者在预算约束下最大化效用的问题中,可行域是预算集,即所有满足 p1x1+p2x2Ip_1 x_1 + p_2 x_2 \le Ix1,x20x_1, x_2 \ge 0 的消费束。可行解的数量取决于商品的连续性——在连续商品空间中可行域是紧凸集。消费者的最优选择(最优解)通常位于预算约束线上,体现为无差异曲线与预算线的切点。

企业生产决策

企业在成本约束生产函数约束下追求利润最大化或产出最大化。以成本最小化问题为例:企业在给定产出 yy 和要素价格 w,rw, r 的条件下,选择劳动 LL 和资本 KK 使得 f(L,K)yf(L, K) \ge y,对应的可行域为等产量线上方区域,最优解位于等产量线与等成本线的切点,即 条件要素需求。当存在多种可行投入组合时,企业会选择成本最低的那一组,这体现了可行域分析在效率评价中的直接应用。

可行解的性质

凸性

若约束函数 gi(x)g_i(x) 均为凸函数(即可行域为凸集),且目标函数 f(x)f(x) 也为凸函数,则该问题称为凸优化问题。凸优化的核心优良性质是:任何局部最优解同时也是全局最优解,且可行域中不存在导致算法陷入局部陷阱的非凸结构。线性规划二次规划和某些半定规划问题均属于凸优化范畴。凸可行域的存在极大简化了求解过程,这解释了为何经济学模型通常采用凸性假设。

非空性与有界性

可行域可能为空(问题不可行)、无界(目标函数可以趋向无穷)、或为紧集(既闭且有界)。在经济学中,自然资源的有限性和生产技术的可实现性通常赋予可行域紧性质,确保最优解的存在性。韦尔斯特拉斯定理(Weierstrass Extreme Value Theorem)保证:连续目标函数在非空紧集上的优化问题必有最优解。

可行解的判定与求解

在计算层面,对于大规模优化问题,验证解是否可行本身就是一个重要的子问题。对于线性规划,可通过求解辅助问题进行可行性检验——引入人工变量并最小化它们的和构成新的目标函数,若辅助问题的最优值为零,则原问题可行。这一方法构成了两阶段单纯形法的第一阶段。在整数规划中,可行性往往比最优性更难以保证,分支定界法割平面法的核心机制之一就是逐步缩小可行域直至找到整数可行解。

对于非线性规划,KKT条件(Karush–Kuhn–Tucker Conditions)提供了判断可行解是否为局部最优解的必要条件,在凸优化中也是充分条件。KKT条件的核心是由梯度条件、原始可行条件、对偶可行条件和互补松弛条件构成的方程组。

此外,在实践中许多约束是软约束,此时引入松弛变量惩罚函数可以将不可行解纳入分析框架,将其不可行度(即违反约束的程度)作为目标函数的惩罚项来处理,这种方法在支持向量机拉格朗日松弛中广泛应用。此外,大M法通过在约束中引入大惩罚系数,将不可行解自动排除出最优解搜索范围,是另一种常见的可行性处理策略。

总结

可行解是最优化理论的基石概念,它直接界定了搜索空间的概貌。在经济学中,从消费者选择到生产决策,从资源配置到制度设计,可行解的概念无处不在。理解可行域的结构——凸性、边界特性和顶点分布——是设计有效求解算法的前提,也是揭示经济约束条件下最优决策内在逻辑的关键工具。从古典经济学的资源稀缺性出发到现代计算优化的算法设计,可行解的概念始终贯穿其中,是连接经济直觉与数学形式化的桥梁。