Jean-Louis拉塞兹;迈克尔·J·马赫。 关于线性算术约束的傅里叶算法。 （英语） Zbl 0781.90064号 J.汽车。推理 9，第3期，373-379（1992）. 摘要：19世纪20年代，傅里叶提出了第一种求解线性算术约束的算法。换句话说，该算法确定与约束关联的多面体集是否为空。我们在这里表明，傅里叶算法有一个重要的隐藏属性：实际上它还计算多面体集的仿射壳。这个结果是利用最近关于负约束独立性的一个定理建立的。 引用于13文件 MSC公司： 90C05（二氧化碳） 线性规划 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：隐式等式;傅里叶算法;多面体集的仿射壳 PDF格式BibTeX公司 XML格式引用 \textit{J.-L.Lassez}和textit{M.J.Maher}，J.Autom。推理9，No.3，373--379（1992；Zbl 0781.90064） 全文： 内政部 参考文献： [1] 我，阿德勒？等效线性规划？，加州大学伯克利分校运筹学系技术报告（1976年）。 [2] 丹齐格。B.和EavesB。C.、？Fourier-Motzkin消去及其对偶？，组合理论期刊。A、 14，288-297（1973）·Zbl 0258.15010号 ·doi:10.1016/0097-3165（73）90004-6 [3] 达芬·R。J？关于线性不等式系统的傅里叶分析？，数学。编程研究1，71-95（1974）。 [4] FourierJ.-B.J.，报道于：？《皇家科学院工作分析》，1824年，数学党？，Historie de l'Academie Royale des Sciences de l'Institut de France 7，xlvii-lv（1827）（部分英文翻译：D.A.Kohler，？傅里叶关于线性不等式工作报告的翻译？，Opsearch 10，38-42（1973）。 [5] Irigoin，F.和Triolet，R？超级节点分区？，程序。《持久性有机污染物公约》第15卷，第319-329页（1988年）。 [6] Jaffar J.、Michaylov S.、。，StuckeyP。和YapR？CLP（？）语言和系统？，《美国计算机学会编程语言与系统汇刊》14（3），339-395（1992年7月）。 ·数字对象标识代码：10.1145/129393.129398 [7] J.-L.拉塞兹？参数查询、线性约束和变量消除？，程序。符号计算机系统设计与实现会议，Springer-Verlag计算机科学讲稿429，第164-173页（1990年）。 [8] 拉塞兹J-L.和McAloonK？广义线性约束的标准形式？，《符号计算杂志》13，1-24（1992）·Zbl 0745.90046号 ·doi:10.1016/0747-7171（92）90002-L [9] Lassez，J.-L.，Huynh，T.和McAloon，K？简化和消除冗余线性算术约束？，程序。北美逻辑编程会议，第37-51页（1989年）。 [10] Schrijver，A.，《线性和整数规划理论》，Wiley（1986）·Zbl 0665.90063号 [11] TelgenJ？凸多面体集的最小表示？，J.优化理论与应用，38，1-24（1982）·Zbl 0471.93017号 ·doi:10.1007/BF00934319 [12] H·P·威廉姆斯？傅里叶线性规划方法及其对偶？，阿默尔。数学。月刊，681-695（1986年11月）·Zbl 0618.90065号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。