×

把沙发扔进窗户。 (英语) 兹比尔1529.52011

摘要:我们研究了通过平面矩形(有时更一般)窗口在三维中移动带(n)边的凸多面体(K)问题的几种变体。具体来说:(i)我们研究了运动仅限于平移的变体,讨论了这种运动可以简化为滑动(沿固定方向平移)的情况,并提出了这些变体的有效算法,其运行时间接近\(O(n^{8/3})\)。(ii)我们认为大门(或平板,一个具有两条平行无限边的无界窗口),并证明(K)可以通过任何无碰撞刚体运动通过这样的窗口,当且仅当它可以滑动通过时,这一观察结果也为这个变量提供了一个有效的算法。(iii)我们考虑任意紧凸窗口,并证明如果(K)可以通过这样一个窗口(W)(通过任何运动),那么(K)就可以通过宽度等于(W)的门。(iv)我们证明,如果存在通过矩形窗口(W)的纯平移运动,那么(K)也可以通过(W),保持与平移运动相同的方向。对于给定的固定方向\(K\),我们可以在线性时间内确定\(K\)是否可以通过\(W\)平移(从而滑动),保持给定的方向,如果可以,也可以在线性时间内规划运动。(v) 我们举了一个例子,多面体不能仅通过平移通过某个窗口,但在允许旋转的情况下可以这样做。(vi)我们研究了圆形窗口(W)的情况,并证明,对于边长为1的正四面体(K),有两个阈值(1>delta_1约0.901388>delta_2约0.895611),使得(a)(K)可以通过(W),如果(W)直径(d)为(geqsleat 1),(b)(K但当\(delta_1\leq d<1),(c)\。(vii)最后,我们探索了一般设置,在这里我们希望通过矩形窗口(W)为(K)规划一个一般运动(具有所有六个自由度),并提出了一个解决此问题的有效算法,其运行时间接近(O(n^4))。

理学硕士:

52号B10 三维多面体
52 C99 离散几何
65年第68季度 算法和问题复杂性分析
68单位05 计算机图形;计算几何(数字和算法方面)
68周05 非数值算法
68瓦40 算法分析

软件:

CGAL公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 阿加瓦尔,P.K.:单纯形范围搜索及其变体:综述。摘自:《离散数学之旅》,第1-30页。查姆施普林格(2017)·Zbl 1423.68530号
[2] 阿加瓦尔,P.K.,埃里克森,J.:几何范围搜索及其相关研究。收录:《离散和计算几何进展》(South Hadley,1996)。《当代数学》,第223卷,第1-56页。美国数学学会,普罗维登斯(1999)·Zbl 0916.68031号
[3] 阿加瓦尔,PK;Aronov,B。;以斯拉,E。;Zahl,J.,广义多项式划分的有效算法及其应用,SIAM J.Compute。,50, 2, 760-787 (2021) ·Zbl 07351514号 ·doi:10.1137/19M1268550
[4] Aronov,B。;Sharir,M.,《关于3空间中凸多面体的平移运动规划》,SIAM J.Compute。,26, 6, 1785-1803 (1997) ·Zbl 0891.68118号 ·doi:10.137/S0097539794266602
[5] Basu,S.,Pollack,R.,Roy,M.-F.:实代数几何中的算法。数学算法与计算,第10卷。柏林施普林格出版社(2006)·Zbl 1102.14041号
[6] Bose,P.,Halperin,D.,Shamai,S.:关于多面体与其单件模具的分离。摘自:第13届IEEE自动化科学与工程会议(2017年西安),第61-66页。IEEE(2017)
[7] 德伯格,M。;吉巴斯,LJ;Halperin,D.,三空间三角形的垂直分解,离散计算。地理。,15, 1, 35-61 (1996) ·Zbl 0840.68116号 ·doi:10.1007/BF02716578
[8] Chazelle,B。;埃德尔斯布伦纳,H。;吉巴斯,LJ;Sharir,M.,真实半代数变种的单指数分层方案及其应用,Theor。计算。科学。,84, 1, 77-105 (1991) ·Zbl 0757.14031号 ·doi:10.1016/0304-3975(91)90261-Y
[9] Choset,H。;林奇,KM;Hutchinson,S。;佐治亚州坎特;伯加德,W。;卡夫拉基,LE;Thrun,S.,《机器人运动原理:理论、算法和实现》(2005),剑桥:麻省理工学院,剑桥·Zbl 1081.68700号
[10] Croft,H.T.、Falconer,K.J.、Guy,R.K.:几何中未解决的问题。数学问题书。施普林格,纽约(1991)·Zbl 0748.52001号
[11] 德布朗纳,HE;Mani-Levitska,P.,你能遮住你的影子吗?,离散计算。地理。,1, 1, 45-58 (1986) ·Zbl 0593.5202号 ·doi:10.1007/BF02187682
[12] Fogel,E.、Halperin,D.、Wein,R.:CGAL安排及其应用:逐步指南。几何与计算,第7卷。斯普林格,海德堡(2012)·Zbl 1258.65025号
[13] Gibbs,P.:沙发和汽车的计算研究(2014)。https://vixra.org/pdf/1411.0038v2.pdf
[14] Halperin,D.,Sharir,M.:安排。摘自:《离散和计算几何手册》,第3版,第28章,第723-762页。CRC出版社,博卡拉顿(2018)
[15] Halperin,D。;拉通贝,J-C;Wilson,RH,装配规划的一般框架:运动空间方法。机器人算法基础,Algorithmica,26,3-4,577-601(2000)·Zbl 0999.68225号 ·doi:10.1007/s004539910025
[16] Halperin,D.,Kavraki,L.,Solovey,K.:机器人学。摘自:《离散和计算几何手册》,第3版,第51章,第1343-1376页。CRC出版社,博卡拉顿(2018)
[17] Halperin,D.,Salzman,O.,Sharir,M.:算法运动规划。摘自:《离散和计算几何手册》,第3版,第50章,第1311-1342页。CRC出版社,博卡拉顿(2018)
[18] Hatcher,A.,《代数拓扑》(2002),剑桥:剑桥大学出版社,剑桥·Zbl 1044.55001号
[19] https://en.wikipedia.org/wiki/Covering_space网站
[20] https://math.stackexchange.com/questions/1364880/smallest-cylinder-into-which-a-regular-四面体-can-fit
[21] 卡夫拉基,LE;Šestka,P。;拉托姆,J-C;Overmars,MH,高维配置空间中路径规划的概率路线图,IEEE Trans。机器人。,12, 4, 566-580 (1996) ·数字对象标识代码:10.1109/70.508439
[22] Kuffner,J.J.,Lavalle,S.M.:RRT-Connect:单查询路径规划的有效方法。摘自:IEEE机器人与自动化国际会议(旧金山,2000年),第995-1001页。IEEE(2000)
[23] Latombe,J.-C.:机器人运动规划。施普林格工程与计算机科学国际丛书,第124卷。施普林格,纽约(1991)
[24] LaValle,SM,规划算法(2006),剑桥:剑桥大学出版社,剑桥·Zbl 1100.68108号 ·doi:10.1017/CBO9780511546877
[25] 马图舍克,J。;Patáková,Z.,多层多项式分区和简化范围搜索,离散计算。地理。,54, 1, 22-41 (2015) ·Zbl 1332.68266号 ·doi:10.1007/s00454-015-9701-2
[26] Plantinga,WH;戴尔,CR,《可见性、遮挡和方面图》,《国际计算机杂志》。视觉。,5, 137-160 (1990) ·doi:10.1007/BF00054919文件
[27] 萨尔兹曼,O。;Hemmer,M。;拉维赫,B。;Halperin,D.,通过多种样本进行运动规划,Algorithmica,67,4,547-565(2013)·Zbl 1308.68134号 ·doi:10.1007/s00453-012-9736-1
[28] O.萨尔兹曼。;Hemmer,M。;Halperin,D.,《流形样本在探索构型空间和窄通道维数方面的作用》,IEEE Trans。自动。科学。工程,12,2,529-538(2015)·doi:10.1109/TASE.2014.2331983
[29] 施瓦茨,JT;谢里尔,M.,关于“钢琴搬家”问题:II。计算实代数流形拓扑性质的一般技术,Adv.Appl。数学。,4, 3, 298-351 (1983) ·Zbl 0554.51008号 ·doi:10.1016/0196-8858(83)90014-3
[30] 谢里尔,M。;Agarwal,PK,Davenport-Schinzel序列及其几何应用(1995),剑桥:剑桥大学出版社,剑桥·Zbl 0834.68113号
[31] Snoeyink,J。;Stolfi,J.,《双手无法拆卸的物体》,《离散计算》。地理。,12, 3, 367-384 (1994) ·Zbl 0813.52004号 ·doi:10.1007/BF02574386
[32] Toussant,G.T.:集合的可移动可分性。In:计算几何。机器智能和模式识别,第2卷,第335-375页。荷兰北部,阿姆斯特丹(1985)·Zbl 0588.68053号
[33] Yap,C-K,符号摄动格式的几何一致性定理,J.Compute。系统。科学。,40, 1, 2-18 (1990) ·Zbl 0705.68056号 ·doi:10.1016/0022-0000(90)90016-E
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。