×
维克托·米伦科维奇;萨克斯，以利沙;但是，纳比尔

自由空间构造中退化谓词的快速检测。 （英语） Zbl 1493.68373号

国际计算机杂志。地理。申请。 29，第3期，219-237（2019）.
概要：如果组合输出对每个输入都是正确的，那么计算几何算法的实现是健壮的。通过确保正确评估算法中的谓词，可以实现鲁棒性。谓词是变量为输入参数的代数表达式的符号。最困难的情况是检测表达式值为零的退化谓词。我们在构造多面体的自由空间时遇到了这种情况，该多面体绕固定轴旋转，并相对于静止多面体自由平移。构造中涉及的每个谓词都可以表示为在一元多项式（g）的零（t）处求值的一元多项式的符号，其中，（f）和（g）系数是多面体顶点坐标中的多项式。当\（t）是\（f）和\（g）的公因数的零时，谓词是退化的。我们提出了一种高效的退化检测算法，该算法基于顶点坐标下多元多项式环上所有一元多项式的一次因式分解。我们的算法比基于最大公约数计算的标准算法快3500倍。它将自由空间计算中简并检测的份额从90%减少到0.5%的运行时间。

引用于2文件

MSC公司：

68单位05 计算机图形；计算几何（数字和算法方面）
52B55号 与凸性相关的计算方面

关键词：

稳健计算几何;配置空间;多元多项式因式分解

软件：

CGAL公司
PDF格式BibTeX公司 XML格式引用
\textit{V.Milenkovic}等人，《国际计算杂志》。地理。申请。29，第32219-237号（2019年；兹bl 1493.68373）
全文： DOI程序

参考文献：

[1] Halperin，D.，《使用固定精度算法进行认证几何计算的受控扰动》，载于ICMS（2010），第92-95页·Zbl 1295.65019号
[2] Schwartz，J.T.，验证多项式恒等式的快速概率算法，J.ACM27（1980）701·Zbl 0452.68050号
[3] 计算几何算法库，http://www.cgal.org。
[4] Hachenberger，P.，《多面体的精确Minkowski和以及多面体到凸块的精确高效分解》，《算法》55（2009）329·Zbl 1186.68500号
[5] Mayer，N.、Fogel，E.和Halperin，D.，《三维旋转凸多面体的Minkowski和的快速稳健检索》，计算机辅助设计43（2011）1258。
[6] Kyung，M.-H.，Sacks，E.和Milenkovic，V.，使用GPU实现的稳健多面体Minkowski和，计算机辅助设计67-68（2015）48。
[7] Milenkovic，V.，Sacks，E.和Trac，S.，《弯曲平面物体的鲁棒自由空间计算》，IEEE Trans。自动化科学。发动机10（2013）875·Zbl 1327.68320号
[8] Sacks，E.、Butt，N.和Milenkovic，V.，平面运动多面体的稳健自由空间构造，计算机辅助设计90C（2017）18。
[9] Sacks，E.和Milenkovic，V.，多面体操作的稳健级联，计算机辅助设计46（2014）216。
[10] Arluck，C.、Milenkovic，V.和Sacks，E.，四自由度机器人的近似自由空间构建和最大间隙路径规划，载于《第三十届加拿大计算几何会议论文集》（CCCG 2018）（2018），第223-229页。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。