克劳迪娅·达安布罗西奥;武、基;卡莱尔·拉沃尔;利贝蒂,利奥;纳尔逊·马库兰 从距离数据实现蛋白质图的新的误差度量和方法。 (英语) Zbl 1358.05085号 离散计算。地理。 57,第2号,371-418(2017). 摘要:区间距离几何问题在于在简单无向图(G=(V,E)\)的\(\mathbb{R}^K\)中找到一个实现,该图的非负区间分配给边,使得对于每条边,相邻顶点的实现之间的欧几里得距离在边区间边界内。在本文中,我们主要研究蛋白质在空间构象中的应用,这是确定蛋白质功能的一个基本步骤:给定一些原子间距离的区间估计,找到它们的形状。在完成这项任务的不同方法系列中,我们研究了基于数学规划的方法,这些方法非常适合处理区间。我们想回答的基本问题是:对于这个问题,什么是最好的这种方法?评估溶液质量最有意义的误差度量是坐标均方根偏差。我们首先介绍了一种新的误差测量方法,它解决了蛋白质主干的一个特殊特征,即许多部分反射也会产生可接受的主干。然后,我们给出了这个问题的一组新的和现有的二次和半定规划公式,以及一组用于求解这些公式的新的和已有的方法。最后,我们根据新的和现有的误差度量对所有可行解算器(+)公式组合进行了计算评估,发现最佳方法是基于乘法权重更新的新启发式方法。 引用于14文件 MSC公司: 05C12号 图形中的距离 05年10月 平面图;图论的几何和拓扑方面 05C90年 图论的应用 92D20型 蛋白质序列,DNA序列 90C20个 二次规划 90C22型 半定规划 关键词:距离几何图形;蛋白质构象;数学规划 软件:相位提升;Matlab公司;COIN或;AMPL公司;SNLSDP公司;YALMIP公司;莫塞克;伊波特 PDF格式BibTeX公司 XML格式引用 \textit{C.D'Ambrosio}等人,《离散计算》。地理。57,第2号,371--418(2017;Zbl 1358.05085) 全文: 内政部 arXiv公司 哈尔 参考文献: [1] Alfakih,A.,Khandani,A.,Wolkowicz,H.:通过半定规划解决欧几里德距离矩阵完成问题。计算。最佳方案。申请。12, 13-30 (1999) ·Zbl 1040.90537号 ·doi:10.1023/A:1008655427845 [2] Alt,H.,Mehlhorn,K。,Wagener,H。,Welzl,E。:几何对象的同余、相似性和对称性。离散计算。地理。237-256(1988年)·Zbl 0679.68070号 ·doi:10.1007/BF02187910 [3] Arora,S.,Hazan,E.,Kale,S.:使用乘法权重更新方法的近似半定规划快速算法。收录于:《计算机科学基础》,FOCS,第46卷,第339-348页。IEEE(2005)·Zbl 1134.90542号 [4] Arora,S.、Hazan,E.、Kale,S.:乘法权重更新方法:元算法和应用。理论计算。8, 121-164 (2012) ·Zbl 1283.68414号 ·doi:10.4086/toc.2012.v008a006 [5] Atkinson,M.:几何一致性的最佳算法。J.算法8,159-172(1987)·Zbl 0618.68041号 ·doi:10.1016/0196-6774(87)90036-8 [6] Bahr,A.、Leonard,J.、Fallon,M.:自动水下航行器的合作定位。国际J机器人。第28(6)号决议,714-728(2009)·doi:10.1177/0278364908100561 [7] Basu,S.,Pollack,R.,Roy,M.-F.:实代数几何中的算法。施普林格,纽约(2006)·Zbl 1102.14041号 [8] 北卡罗来纳州比克。;Gaubert,S。;Glusa,C。;自由,L。;Mucherino,A.(编辑);Lavor,C.(编辑);Liberti,L.(编辑);Maculan,N.(编辑),距离几何问题是NP中的吗?(2013),纽约 [9] Belotti,P.,Lee,J.,Liberti,L.,Margot,F.,Wächter,A.:非凸MINLP的分支和边界收紧技术。最佳方案。方法软件。24(4), 597-634 (2009) ·Zbl 1179.90237号 ·doi:10.1080/10556780903087124 [10] Benedetti,R.,Risler,J.-J.:实代数集和半代数集。赫尔曼,巴黎(1990)·Zbl 0694.14006号 [11] Berman,H.、Westbrook,J.、Feng,Z.、Gilliland,G.、Bhat,T.、Weissig,H.,Shindyalov,I.N.、Bourne,P.:蛋白质数据库。核酸研究28,235-242(2000)·doi:10.1093/nar/28.1235 [12] Biswas,P.:距离几何问题的半定规划方法。斯坦福大学博士论文(2007年)。http://www.optimization-online.org/DB_FILE/2008/12/2170.pdf [13] Biswas,P.,Lian,T.,Wang,T.,Ye,Y.:基于半定规划的传感器网络定位算法。ACM事务处理。传感器净值。2, 188-220 (2006) ·doi:10.1145/1149283.1149286 [14] Biswas,P.,Liang,T.-C.,Toh,K.-C.,Wang,T.-C,Ye,Y.:带噪声距离测量的传感器网络定位的半定规划方法。IEEE传输。自动。科学。工程3,360-371(2006)·doi:10.1109/TASE.2006.877401 [15] Candès,E.,Strohmer,T.,Voroninski,V.:相位提升:通过凸规划从量级测量中准确稳定地恢复信号。Commun公司。纯应用程序。数学。66(8), 1241-1274 (2012) ·Zbl 1335.94013号 ·doi:10.1002/cpa.21432 [16] Cassioli,A.,Bordeaux,B.,Bouvier,G.,Mucherino,A.,Alves,R.,Liberti,L.,Nilges,M.,Lavor,C.,Malliavin,T.:枚举所有可能的蛋白质构象的算法,验证一组距离约束。BMC生物信息。16, 23 (2015) ·doi:10.1186/s12859-015-0451-1 [17] Cassioli,A.,Günlük,O.,Lavor,C.,Liberti,L.:距离几何的离散化顶点顺序。离散应用程序。数学。197, 27-41 (2015) ·Zbl 1321.05029号 ·doi:10.1016/j.dam.2014.08.035 [18] 共同订单:IPOPT简介:下载、安装和使用IPOPT的教程(2006)·Zbl 1103.90414号 [19] Coutsias,E.,Seok,C.,Dill,K.:使用四元数计算rmsd。J.计算。化学。25(15), 1849-1857 (2004) ·doi:10.1002/jcc.20110 [20] 达姆布罗西奥,C。;Ky、VK;拉沃尔,C。;自由,L。;北马库兰。;Casado,L.(编辑);Garcia,I.(编辑);Hendrix,E.(编辑),距离几何问题的计算经验2.0,第12期,97-100(2014),马拉加 [21] Ding,Y.、Krislock,N.、Qian,J.、Wolkowicz,H.:传感器网络定位、欧氏距离矩阵补全和图形实现。最佳方案。工程11,45-66(2010)·Zbl 1273.74387号 ·doi:10.1007/s11081-008-9072-0 [22] 杜,H。;Alechina,N。;股票,K。;杰克逊,M。;Tenbling,T.(编辑);等。,NEAR和FAR的逻辑,编号8116,475-494(2013),苏黎世 [23] 福勒,R.,盖伊,D.:AMPL图书。达克斯伯里出版社,太平洋格罗夫出版社(2002年) [24] Goodall,C.:形状统计分析中的普鲁斯特方法。J.R.Stat.Soc.B 53(2),285-339(1991)·Zbl 0800.62346号 [25] Henneberg,L.:Starren Systeme图形统计。莱比锡,图布纳(1911) [26] 拉沃尔,C。;Liberti,L.(编辑);Maculan,N.(编辑),《分子距离几何问题的实例生成》,405-414(2006),柏林·Zbl 1100.90034号 ·doi:10.1007/0-387-30528-914 [27] Lavor,C.,Alves,R.,Figuereido,W.,Petraglia,A.,Maculan,N.:Clifford代数和可离散的分子距离几何问题。高级申请。克利夫德·阿尔盖布(Clifford Algebr)。25, 925-942 (2015) ·Zbl 1327.15052号 ·doi:10.1007/s00006-015-0532-2 [28] Lavor,C.,Lee,J.,John,A.L.S.,Liberty,L.,Mucherino,A.,Sviridenko,M.:距离几何问题的离散化阶。最佳方案。莱特。6, 783-796 (2012) ·Zbl 1258.90096号 ·doi:10.1007/s11590-011-0302-6 [29] Lavor,C.,Liberti,L.,Maculan,N.,Mucherino,A.:可离散的分子距离几何问题。计算。最佳方案。申请。52, 115-146 (2012) ·Zbl 1259.90153号 ·doi:10.1007/s10589-011-9402-6 [30] Lavor,C.,Liberti,L.,Mucherino,A.:具有不精确距离的可离散分子距离几何问题的区间Branch-and-Prune算法。J.全球。最佳方案。56, 855-871 (2013) ·Zbl 1272.90074 ·doi:10.1007/s10898-011-9799-6 [31] Liberti,L.:《数学规划中的改革:定义与系统学》。RAIRO-Oper。第43(1)号决议,55-86(2009)·Zbl 1158.90390号 ·doi:10.1051/ro/2009005 [32] Liberti,L.,Draíic,M.:约束NLP全局优化的可变邻域搜索。摘自:《GO研讨会论文集》,Almeria(2005)·Zbl 1335.94013号 [33] Liberti,L.,Lavor,C.:精确解决大规模距离几何问题与近似解决问题。In:优化学会,年度会议记录,INFORMS,休斯顿(2014)·兹比尔1481.51001 [34] 自由,L。;拉沃尔,C。;阿伦卡尔,J。;Abud,G。;Nielsen,F.(编辑);Barbaresco,F.(ed.),《计算kDMDGP实例的解的数量》,第8085、224-230号(2013),纽约·Zbl 1405.05083号 ·doi:10.1007/978-3-642-40020-9_23 [35] Liberti,L.,Lavor,C.,Maculan,N.:分子距离几何问题的Branch-and-Prune算法。国际事务处理。操作。第15号决议,第1-17号决议(2008年)·Zbl 1136.92037号 ·文件编号:10.1111/j.1475-3995.2007.00622.x [36] Liberti,L.,Lavor,C.,Maculan,N.,Mucherino,A.:欧几里德距离几何和应用。SIAM版本56(1),3-69(2014)·Zbl 1292.51010号 ·doi:10.1137/120875909 [37] 利伯蒂。;拉沃尔,C。;Mucherino,A。;Mucherino,A.(编辑);Lavor,C.(编辑);Liberti,L.(编辑);Maculan,N.(编辑),蛋白质上的可离散分子距离几何问题似乎更容易(2013年),纽约·Zbl 1366.92094号 [38] Liberti,L.,Lavor,C.,Mucherino,A.,Maculan,N.:分子距离几何方法:从连续到离散。国际事务处理。操作。第18号决议、第33-51号决议(2010年)·Zbl 1219.90177号 ·文件编号:10.1111/j.1475-3995.2009.00757.x [39] Liberty,L.,Masson,B.,Lavor,C.,Lee,J.,Mucherino,A.:关于蛋白质构象中产生的某些Henneberg图的实现数。离散应用程序。数学。165, 213-232 (2014) ·Zbl 1288.05121号 ·doi:10.1016/j.dam.2013.01.020 [40] Liberti,L.,Mencarelli,L.:MINLP的乘法权重更新算法,工作文件,(2014)·Zbl 1396.90050号 [41] Liberti,L.,Mladenović,N.,Nannicini,G.:寻找MINLP良好解决方案的秘诀。数学。程序。计算。3, 349-390 (2011) ·Zbl 1276.90041号 ·doi:10.1007/s12532-011-0031-i [42] Löfberg,J.:YALMIP:MATLAB中用于建模和优化的工具箱。摘自:《计算机辅助控制系统设计国际研讨会论文集》,CACSD,台北,第1卷。IEEE(2004) [43] Maiorov,V.,Crippen,G.:比较球状蛋白质三维结构时根-平方偏差的重要性。分子生物学杂志。235, 625-634 (1994) ·doi:10.1006/jmbi.1994.1017 [44] Malliavin,T。;Mucherino,A。;Nilges,M。;Mucherino,A.(编辑);Lavor,C.(编辑);Liberti,L.(编辑);Maculan,N.(编辑),《结构生物学中的距离几何》(2013),纽约·Zbl 1366.92095号 [45] MATLAB R2014a。MathWorks,Inc.,Natick(2014) [46] Milnor,J.:从可微观点看拓扑。弗吉尼亚大学出版社,夏洛茨维尔(1969年)·Zbl 0136.20402号 [47] Moré,J.,Wu,Z.:蛋白质结构的距离几何优化。J.全球。最佳方案。15, 219-234 (1999) ·Zbl 0944.92012号 ·doi:10.1023/A:1008380219900 [48] Mosek公寓:mosek手册,第7版(114版),2014年。网址:www.mosek.com [49] Mucherino,A.、Lavor,C.、Liberti,L.、Maculan,N.(编辑):距离几何:理论、方法和应用。施普林格,纽约(2013)·Zbl 1405.51008号 [50] Plotkin,S.、Shmoys,D.、Tardos,E.:分数填充和覆盖问题的快速逼近算法。数学。操作。第20号决议,第257-301号决议(1995年)·Zbl 0837.90103号 ·doi:10.1287/门20.2.257 [51] Saxe,J.:加权图在k空间中的嵌入性是强NP-hard的。摘自:《第17届Allerton通信、控制和计算会议记录》,第480-489页(1979年) [52] Singer,A.:通过特征向量和半定规划实现角度同步。申请。计算。谐波分析。30, 20-36 (2011) ·Zbl 1206.90116号 ·doi:10.1016/j.aca.2010.02.001 [53] Tay,T.-S.,Whiteley,W.:生成均衡框架。结构。白杨。1985年11月21日至69日·Zbl 0574.51025号 [54] Wächter,A.,Biegler,L.:关于大规模非线性规划的点内滤波器线性搜索算法的实现。数学。程序。106(1), 25-57 (2006) ·Zbl 1134.90542号 ·doi:10.1007/s10107-004-0559-y [55] 维基百科。方差,相关变量之和(2016年)。2016年6月22日访问 [56] Yajima,Y.:距离几何问题的半正定松弛。日本。J.Ind.申请。数学。19, 87-112 (2002) ·Zbl 1103.90414号 ·doi:10.1007/BF03167449 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。