跳到主要内容
研究论文

实用多边形体积近似

出版:2018年6月16日 出版历史
  • 获取引文提醒
  • 摘要

    我们通过实验研究了计算作为线性半空间的交集的凸多面体的体积的基本问题。我们实现并评估了随机多项式时间算法,以基于随机游走精确地逼近高维(例如几百维)中的多边形体积。为了有效地实现这一点,我们通过实验将随机行走长度和采样点数量等参数的影响与精确度和运行时间关联起来。我们的方法基于蒙特卡罗算法,具有保证的速度和可证明的高成功概率,可实现任意高精度。我们在实现多面体的实际舍入过程、仅计算随机点的部分“代”以及设计快速多面体边界预言中利用了该问题的特点。我们的公开软件比精确计算速度快得多,比现有的近似方法更精确。为了便于说明,Birkhoff多边形的体积近似B类11,…,B类15计算,尺寸高达196,而精确的方法只计算出高达B类10.

    工具书类

    [1]
    P.K.Agarwal、S.Har-Peled和K.R.Varadarajan。2005.通过核集进行几何近似。在组合几何和计算几何中。MSRI,伯克利,1-30。
    [2]
    A.Andoni和P.Indyk。2008.高维近似最近邻的近优散列算法。Commun公司。ACM 51(2008),117-122。
    [3]
    S.Arya、G.D.da Fonseca和D.M.Mount。2012.多面体近似的最佳面积敏感界限。程序中。交响乐团。计算几何。ACM,纽约,363--372。
    [4]
    D.阿维斯。lrs:反向搜索顶点枚举算法的改进实现。多面体:组合数学8计算。Oberwolfach研讨会,第29卷。Birkhäuser,巴塞尔,177-198。
    [5]
    I.Bárány和Z.Füredi。1987.计算体积很困难。离散计算。地理。2, 4 (1987), 319--326.
    [6]
    C.B.Barber、D.P.Dobkin和H.Huhdanpaa。1996。凸壳的快速壳算法。ACM事务处理。数学基础。柔和。22, 4 (1996), 469--483.
    [7]
    R.Basri、T.Hassner和L.Zelnik-Manor。2011.近似最近子空间搜索。IEEE传输。模式分析。机器。智力。33, 2 (2011), 266--278.
    [8]
    M.Beck和D.Pixton。2003年,Birkhoff多面体的Ehrhart多项式。离散计算。地理。30, 4 (2003), 623--637.
    [9]
    D.Bertsimas和S.Vempala。2004.用随机游动求解凸规划。美国医学会期刊51,4(2004),540-556。
    [10]
    U.Betke和M.Henk。1993年。近似凸体的体积。离散计算。地理。10, 1 (1993), 15--21.
    [11]
    G.Brightwell和P.Winkler。1991.计算线性扩展。命令8,3(1991),225--242。
    [12]
    W.Bruns、B.Ichim和C.Söger。2013年,Normaliz。有理锥和仿射幺半群的算法。检索自http://www.math.uos.de/normalize。
    [13]
    B.Büeler和A.Enge。2000年,文西。检索自http://www.math.u-bordeaux1.fr/aenge/index.php?类别=软件8页=芬奇。
    [14]
    B.Büeler、A.Enge和K.Fukuda。2000.多面体的精确体积计算:一项实际研究。数学与统计学,第29卷。巴塞尔Birkhäuser,131-154。
    [15]
    E.坎菲尔德和B.麦凯。2009年,Birkhoff多边形的渐近体积。在线J.Anal。梳子。4 (2009).
    [16]
    CGAL 2015。CGAL:计算几何算法库。检索自http://www.cgal.org。
    [17]
    Y.Chen、P.Diaconis、S.P.Holmes和J.S.Liu。2005.表格统计分析的序贯蒙特卡罗方法。J.Amer。统计师。协会100469(2005年3月),109-120。
    [18]
    B.堂兄弟和S.Vempala。2014.计算高斯体积的立方算法。程序中。交响乐团。离散算法。SIAM/ACM,1215--1228。
    [19]
    B.堂兄弟和S.Vempala。2015年。绕过KLS:高斯冷却和*(n个<sup>3</sup>)体积算法。第47届ACM计算机理论年会(STOC'15)论文集。ACM,纽约州纽约市,539-548。
    [20]
    B.堂兄弟和S.Vempala。2016年,一个实用的体积算法。数学。程序。计算。8, 2 (2016), 133--160.
    [21]
    克莱恩先生和戴尔先生。2003.当行数不变时,使用多项式时间算法近似计算列联表。J.计算。系统科学。67, 2 (2003), 291--310.
    [22]
    J.A.De Loera、B.Dutra、M.Köppe、S.Moreinis、G.Pinto和J.Wu。2013.多面体多项式精确积分软件。计算。地理位置:理论应用。第46、3页(2013年4月),第232-252页。
    [23]
    J.A.De Loera、F.Liu和R.Yoshida。2008.所有半幻方和Birkhoff多边形体积的生成函数。J.代数梳。30, 1 (2008), 113--139.
    [24]
    P.Diaconis和B.Sturmfels。1998.条件分布抽样的代数算法。Ann.Stat.26,1(1998年2月),363--397。
    [25]
    M.E.Dyer和A.M.Frieze。1988.关于计算多面体体积的复杂性。SIAM J.计算。17, 5 (1988), 967--974.
    [26]
    M.Dyer、A.Frieze和R.Kannan。1991年。用于近似凸体体积的随机多项式时间算法。《美国临床医学杂志》38,1(1991),1-17。
    [27]
    M.Dyer、R.Kannan和J.Mount。1997.抽样列联表。随机结构。算法10(1997),487--506。
    [28]
    G.埃列克斯。1986年,几何不等式和计算量的复杂性。离散计算。地理。1 (1986), 289--292.
    [29]
    I.Z.Emiris和V.Fisikopoulos。2014.近似多边形体积的有效随机遍历方法。程序中。交响乐团。计算几何。ACM,日本京都,318-325。
    [30]
    K.Fischer、B.Gärtner、T.Herrmann、M.Hoffmann和S.Schönherr。2013年a。有边界的体积。在CGAL用户和参考手册(4.3版)中。CGAL编辑委员会。检索自http://doc.cgal.org/4.3/Manual/packages.html#PkgBoundingVolumesSummary。
    [31]
    K.Fischer、B.Gärtner、S.Schönherr和F.Wessendorp。2013年b。线性和二次规划求解器。在CGAL用户和参考手册(4.3版)中。CGAL编辑委员会。http://doc.cgal.org/4.3/Manual/packages.html#PkgQPSolverSummary。
    [32]
    M.Grötschel、L.Lovász和A.Schrijver。1993年。几何算法和组合优化(第二修正版)。算法与组合数学,第2卷。柏林施普林格。
    [33]
    G.Guennebaud、B.Jacob等人,2010年。特征v3。检索自http://eigen.tuxfamily.org。
    [34]
    尤·杰克尔。2011年,高维体积估计的蒙特卡罗方法及其在多面体中的应用。已处理。计算。科学。4 (2011), 1403--1411.
    [35]
    R.Kannan、L.Lovász和M.Simonovits。1997.随机行走和(n个<sup>5</sup>)凸体的体积算法。兰德。结构。阿尔戈。11 (1997), 1--50.
    [36]
    R.Kannan和H.Narayanan。2012.多边形上的随机行走和线性规划的仿射内点方法。数学。Op.Res.37,1(2012),1-20。
    [37]
    R.Kannan和S.Vempala。1997.取样格点。程序中。交响乐团。计算理论。ACM,纽约,696--700。
    [38]
    L.Khachiyan。1993年。多面体体积计算的复杂性。《离散和计算几何的新趋势》。柏林施普林格,91-101。
    [39]
    L.G.哈奇扬。1996.实数计算模型中的多边形四舍五入。数学。操作。第21、2号决议(1996年),307--320。
    [40]
    J.劳伦斯。1991年,多边形体积计算。AMS数学。计算。57, 195 (1991), 259--271.
    [41]
    S.Liu、J.Zhang和B.Zhu。2007年。使用直接蒙特卡罗方法进行体积计算。在Comp。以及组合数学。,G.Lin(编辑)。LNCS,第4598卷。柏林施普林格,198-209。
    [42]
    洛瓦兹。1999年,点击和运行混合迅速。数学。程序。86 (1999), 443--461. 第3版。
    [43]
    L.Lovász和I.Deák。2012年(n个<sup>4</sup>)体积算法。《欧洲期刊运营研究》216,1(2012),152-161。
    [44]
    L.Lovász和S.Vempala。2006年a。从一个角落打了又跑。SIAM J.计算。35, 4 (2006), 985--1005.
    [45]
    L.Lovász和S.Vempala。2006年b。凸体和O中的模拟退火*(n个<sup>4</sup>)体积算法。J.公司。系统。科学。72, 2 (2006), 392--417.
    [46]
    J.Maurer。2000.增强:C++库。第23章。随机提升。检索自www.boost.org/doc/libs/1_54_0/doc/html/boost_random.html。
    [47]
    L.Mohácsi和I.Deák。2015年O的并行实施(n个<sup>4</sup>)体积算法。美分。《欧洲期刊运营研究》3,24(2015),1-28。
    [48]
    M.Muja先生。2011年。FLANN:近似最近邻居的快速库。2013年10月检索自http://mloss.org/software/view/143/。
    [49]
    E.A.拉莫斯。1999.关于靶场报告、射线拍摄和K级建造。程序中。交响乐团。计算几何。ACM,纽约,390-399。
    [50]
    S.Reisner、C.Schütt和E.Werner。2001.从凸多面体中删除顶点或面。论坛数学。13, 3 (2001), 359--378.
    [51]
    M.西蒙诺维茨。如何计算高维体积?数学。程序。(2003), 337--374.
    [52]
    R.L.史密斯。1984.生成均匀分布在有界区域上的点的高效蒙特卡罗程序。Op.Res.32,6(1984),1296--1308。
    [53]
    R.斯坦利。1986.两个偏序多面体。离散计算。地理。1, 1 (1986), 9--23.
    [54]
    圣万帕拉。2005.几何随机漫步:一项调查。梳子。计算。地理。52 (2005), 573--612.
    [55]
    A.William和V.J.B.Escriba。2007.增强:C++库。第32章。线程。检索自http://www.boost.org/doc/libs/1-56_0/doc/html/thread.html。
    [56]
    Y.Zheng和K.Yamane。2013.机器人的射线扫描算法。IEEE传输。自动。科学。工程10,4(2013),862--874。

    引用人

    查看全部
    • (2024)分布空间上MDP的CTL模型检查:算法和基于抽样的计算第27届ACM混合系统国际会议记录:计算与控制10.1145/3641513.3651397(1-12)在线发布日期:2024年5月14日
    • (2024)智能微电网中建筑预测能量灵活性的集合国际电力与能源系统杂志2016年10月10日/j.ijepes.2024.110073160(110073)在线发布日期:2024年9月
    • (2023)凸体的反射哈密顿蒙特卡罗截断对数压缩采样ACM数学软件汇刊10.1145/358950549:2(1-25)在线发布日期:2023年6月15日
    • 显示更多引用者

    建议

    评论

    信息和贡献者

    问询处

    发布于

    数学软件上的封面图像ACM事务
    ACM数学软件汇刊 第44卷第4期
    2018年12月
    305页
    ISSN公司:0098-3500
    EISSN公司:1557-7295
    DOI(操作界面):10.1145/3233179
    期刊目录
    如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

    出版商

    计算机协会

    美国纽约州纽约市

    出版历史

    出版:2018年6月16日
    认可的:2018年2月1日
    修订过的:2017年1月1日
    收到:2015年3月1日
    在TOMS中发布体积44,问题4

    权限

    请求对此文章的权限。

    检查更新

    作者标记

    1. 体积近似值
    2. 算法工程
    3. birkhoff多面体
    4. 一般尺寸
    5. 开源软件
    6. 多面体预言
    7. 随机游走

    限定符

    • 研究文章
    • 研究
    • 推荐

    资金来源

    • 欧盟地平线2020研究和创新计划

    贡献者

    其他指标

    文献计量学和引文

    文献计量学

    文章指标

    • 下载次数(过去12个月)87
    • 下载次数(最近6周)11

    其他指标

    引文

    引用人

    查看全部
    • (2024)分布空间上MDP的CTL模型检查:算法和基于抽样的计算第27届ACM混合系统国际会议记录:计算与控制10.1145/3641513.3651397(1-12)在线发布日期:2024年5月14日
    • (2024)智能微电网中建筑预测能源灵活性的聚合国际电力与能源系统杂志2016年10月10日/j.ijepes.2024.110073160(110073)在线发布日期:2024年9月
    • (2023)凸体的反射哈密顿蒙特卡罗截断对数压缩采样ACM数学软件汇刊10.1145/358950549:2(1-25)在线发布日期:2023年6月15日
    • (2023)一种基于台球轨迹和模拟退火的实用体积估计算法ACM实验算法杂志10.1145/358418228(1-34)在线发布日期:2023年3月3日
    • (2023)高维凸体的实用体积近似,用于投资组合相关性和金融危机建模计算几何:理论与应用2016年10月10日/j.comgeo.2022.101916109:C在线发布日期:2023年2月1日
    • (2022)网络可用性的概率分析2022 IEEE第30届网络协议国际会议(ICNP)10.1109/ICNP55882.2022.9940438(1-11)在线发布日期:2022年10月30日
    • (2022)频谱图和体积近似中的有效采样线性代数及应用2016年10月10日/j.laa.2022.04.002648(205-232)在线发布日期:2022年9月
    • (2022)DNF结构的近似加权模型积分人工智能2016年10月10日/j.artint.2022.103753311(103753)在线发布日期:2022年10月
    • (2022)基于洛伦兹多项式的列联表下限以色列数学杂志2007年10月10日/11856-022-2364-9253:1(43-90)在线发布日期:2022年10月20日
    • (2021)沉积过程的蒙特卡罗和动力学蒙特卡罗模型:最新研究综述物理学前沿10.3389/fphy.2021.631918年9在线发布日期:2021年4月13日
    • 显示更多引用者

    视图选项

    获取访问权限

    登录选项

    完全访问权限

    查看选项

    PDF格式

    以PDF文件查看或下载。

    PDF格式

    电子阅读器

    使用联机查看电子阅读器.

    电子阅读器

    HTML格式格式

    在中查看本文HTML格式格式。

    HTML格式

    媒体

    数字

    其他

    桌子

    分享

    分享

    共享此出版物链接

    在社交媒体上分享