线性规划里搞不可行性，Farkas 引理是老朋友了，但它给出的证书说白了就是“不行”，但为啥不行？结构上哪错了？这就模糊了。这篇叫 Certificates of Primal or Dual Infeasibility.pdf 的文章，给出了个挺实用的思路——从 Farkas 证书搞出一个基础不可行性证书，能看清问题在哪一步出了岔子，适合内点法这种黑箱感强的求解方式。

核心是一个强多项式时间算法，能把抽象的“不”转成结构清晰的“因为什么不”。嗯，如果你用内点法，又想搞清楚模型为啥跑不通，这份资源还蛮关键的。

强烈建议搞线性规划调试、建模优化的朋友收藏下。不可行性的时候，你不止需要一个 No，还得搞清楚 Where 和 Why。