摘要：通过证明算法，解决了一类具有利润自由Leontief替代系统的线性规划问题。作为附带结果，回答了一个关于一类Horn系统可行性问题的开放问题，证明了其可以使用组合证明算法解决。
作者：Kei Kimura and Kazuhisa Makino
论文ID：2306.03368
分类：Data Structures and Algorithms
分类简称：cs.DS
提交时间：2023-06-07
PDF 下载： 英文版 中文版pdf翻译中