学习 Farkas 引理及其如何指导 Benders 分解以从不可行性中获取信息，并应用于有容量限制的设施选址问题。