×
亚历山大·马雷查尔；米夏埃尔·佩林

通过光线追踪有效消除多面体中的冗余。 （英语） Zbl 1487.90645号

Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10145, 367-385 (2017).
摘要：多面体可以在双重描述框架中表示为约束、生成器或两者兼而有之。无论采用何种表示方式，大多数多面体操作符都会花费大量时间来维护最小表示。为了最小化仅约束表示中的多面体，必须通过求解线性规划来检查每个约束相对于其他约束的冗余(低压)问题。我们提出了一种算法低压通过距离计算解决问题。它包括从多面体内的一点开始发射光线，并与其边界超平面正交。其中一条射线首先遇到的面是多面体的无冗余约束。由于该程序不完整，低压对于剩余的未确定约束，需要解决问题。实验表明，我们的算法大大减少了对单纯形的调用次数，从而大大提高了速度。为了遵循几何解释，该算法根据约束进行解释，但也可以用于最小化生成器。
关于整个系列，请参见[Zbl 1355.68009号].

引用于2文件

MSC公司：

90C57型 多面体组合学，分支与绑定，分支与切割
52B55号 与凸性相关的计算方面

软件：

PolyLib公司；维拉斯科；LAPACK公司；停机坪
PDF格式BibTeX公司 XML格式引用
\textit{A.Maréchal}和\textit{M.Périn}，莱克特。注释计算。科学。10145367--385（2017；Zbl 1487.90645）
全文： 内政部

参考文献：

[1] Anderson，E.、Bai，Z.、Bischof，C.、Blackford，S.、Demmel，J.、Dongarra，J.和Croz，J.，Greenbaum，A.、Hammarling，S.和McKenney，A.、Sorensen，D.：《LAPACK用户指南》，第三版。费城工业和应用数学学会（1999年）·Zbl 0934.65030号 ·数字对象标识代码：10.1137/1.9780898719604
[2] Bagnara，R.，Hill，P.M.，Zaffanella，E.：多面体计算在硬件和软件系统分析和验证中的应用。定理。计算。科学。410(46), 4672–4691 (2009) ·Zbl 1187.68311号 ·doi:10.1016/j.tcs.2009.07.033
[3] Benoy，F.、King，A.、Mesnard，F.：使用线性解算器计算凸面壳。TPLP：理论与实践。日志。程序。5(1–2), 259–271 (2005) ·兹比尔1093.68016
[4] Chernikova，N.V.：发现线性规划问题所有解集的算法。苏联计算。数学。数学。物理。8, 282–293 (1968) ·兹比尔0218.90030 ·doi:10.1016/0041-5553（68）90115-8
[5] Chvatal，V.：线性规划。数学科学丛书。W.H.Freeman，纽约（1983年）·Zbl 0318.05002号
[6] Feautrier，P.，Lengauer，C.：多面体模型。在：Padua，D.（编辑）《并行计算百科全书》，第1卷，第1581-1592页。柏林施普林格出版社（2011）
[7] Fouilhé，A.，Monniaux，D.，Périn，M.：多面体抽象域的有效证书生成。在：静态分析研讨会（2013）·Zbl 06248445号 ·doi:10.1007/978-3-642-38856-9_19
[8] Fukuda，K.，Prodon，A.：重新审视双重描述方法。摘自：Deza，M.，Euler，R.，Manousakis，I.（编辑）CCS 1995。LNCS，第1120卷，第91-111页。斯普林格，海德堡（1996）。doi:10.1007/3-540-61576-8_77·doi:10.1007/3-540-61576-8_77
[9] Goldman，A.J.，Tucker，A.W.：多面体凸锥。In:Kuhn，H.W.，Tucker，A.W.（编辑）线性不等式和相关系统。《数学研究年鉴》，第38卷，第19-40页。普林斯顿大学出版社，普林斯顿（1956）·Zbl 0072.37504号
[10] Halbwachs，N.：《关系的自动终止》（Détermination automatique de relationship linéaires vérifies parles variables D’un program）。格勒诺布尔科学与医学大学博士论文（法语）（1979年）
[11] Jeannet，B.，Miné，A.：Apron：静态分析的数值抽象域库。收录：Bouajjani，A.，Maler，O.（编辑）CAV 2009。LNCS，第5643卷，第661-667页。斯普林格，海德堡（2009）。doi:10.1007/978-3-642-02658-4_52·Zbl 05571933号 ·doi:10.1007/978-3-642-02658-4_52
[12] Jourdan，J.-H.，Laporte，V.，Blazy，S.，Leroy，X.，Pichardie，D.：经正式验证的C静态分析仪。摘自：ACM编程语言原则（POPL），第247-259页。ACM出版社，2015年1月·Zbl 06631304号 ·doi:10.1145/2676726.2676966
[13] Lassez，J.-L.，Huynh，T.，McAloon，K.：简化和消除冗余线性算术约束。摘自：约束逻辑编程，第73-87页。麻省理工学院出版社，剑桥（1993）
[14] Le Verge，H.：关于切尔尼科娃算法的注释。研究报告RR-1662，INRIA（1992）
[15] Maréchal，A.，Périn，M.：使用光线追踪有效消除多面体中的冗余。技术报告TR-2016-6，Verimag，格勒诺布尔阿尔卑斯大学，2016年10月·Zbl 1487.90645号
[16] Motzkin，T.S.、Raiffa，H.、Thompson，G.L.、Thrall，R.M.：双重描述法。在：对游戏理论的贡献。《数学研究年鉴》，第2卷，第51-73页。普林斯顿大学出版社，普林斯顿（1953）·Zbl 0050.14201号 ·doi:10.1515/9781400881970-004
[17] Schrijver，A.：线性和整数规划理论。离散数学与优化中的Wiley Interscience系列。霍博肯威利（1999）
[18] Simon，A.，King，A.：利用多面体分析中的稀疏性。收录：Hankin，C.，Siveroni，I.（编辑）SAS 2005。LNCS，第3672卷，第336–351页。斯普林格，海德堡（2005）。数字对象标识代码：10.1007/11547662_23·Zbl 1141.68654号 ·数字对象标识代码：10.1007/11547662_23
[19] 王尔德，D.K.：NG多面体操作库。俄勒冈州立大学硕士论文，俄勒冈科瓦利斯，1993年12月。另以IRISA技术报告PI 785出版，法国雷恩（1993）
[20] Zolotykh，N.Y.：构建多面体圆锥体骨架的双重描述方法的新修改。计算。数学。数学。物理。52(1), 146–156 (2012) ·Zbl 1249.52017年 ·doi:10.1134/S0965542512010162
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。