曼纽尔·博迪尔斯基；古斯塔夫·诺德；蒂莫·冯·奥尔岑 具有2变量方程和1变量不等式的整数规划。 （英语） Zbl 1200.90128号 信息处理。莱特。 109，编号11，572-575（2009）. 小结：我们提出了一个有效的算法，以找到给定线性目标函数的2-变量等式和1-变量不等式组的最优整数解。我们的算法在\（O（N^{2}）\中有最坏的运行时间，其中\（N\）是输入中的位数。 MSC公司： 90立方厘米 整数编程 关键词：算法 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人，《信息处理》。莱特。109，编号11，572--575（2009；Zbl 1200.90128） 全文： DOI程序 参考文献： [1] Aspvall，B。；Shiloach，Y.，《求解每个方程含有两个变量的线性方程组的快速算法》，《线性代数应用》。，34, 117-124 (1980) ·Zbl 0453.65011号 [2] 周，T。；Collins，G.，解线性丢番图方程组的算法，SIAM J.Compute。，11, 4, 687-708 (1982) ·Zbl 0498.65022号 [3] 艾森布兰德，F。；Laue，S.，平面整数规划的线性算法，数学。编程，102，2，249-259（2005）·Zbl 1079.90581号 [4] Kannan，R。；Bachem，A.，计算整数矩阵的smith和Hermite正规形式的多项式算法，SIAM J.Compute。，8, 4, 499-507 (1979) ·Zbl 0446.65015号 [5] Lenstra，H.W.，变量数固定的整数编程，数学。操作。第8、4、538-548号决议（1983年）·Zbl 0524.90067号 [6] Scarf，H.E.，《不可分割的生产集》。第二部分：两项活动的案例，《计量经济学》，49，395-423（1981）·兹比尔0458.90008 [7] T.Schaefer，可满足性问题的复杂性，载于：STOC，1978，第216-226页；T.Schaefer，可满足性问题的复杂性，收录于：STOC，1978年，第216-226页·Zbl 1282.68143号 [8] Schönhage，A.，Schnelle berechnung von kettenbruchentwicklungen，信息学报。，1, 139-144 (1971) ·Zbl 0223.68008号 [9] Schönhage，A。；斯特拉森，V.，Schnelle multiplikation großer zahlen，Computing，7，281-292（1971）·Zbl 0223.68007号 [10] A.Storjohann，G.Labahn，整数矩阵Hermite正规形式的渐近快速计算，见ISSAC，1996年，第259-266页；A.Storjohann，G.Labahn，整数矩阵Hermite正规形式的渐近快速计算，见ISSAC，1996年，第259-266页·Zbl 0915.65033号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。