×
玛丽亚·伊莎贝尔·埃雷罗;加布里埃拉·杰罗尼莫;胡安·萨比亚

一般稀疏多项式系统的消除。 （英语） Zbl 1310.68261号

离散计算。地理。 51，第3号，578-599（2014）.
摘要：我们提出了一种新的概率符号算法，该算法通过具有固定支撑的一般稀疏系统在（n）维仿射空间中定义一个变量，计算其到（ell<n）维坐标仿射空间的投影的Zarisk闭包。算法的复杂性在多项式上取决于与支持向量相关联的一些组合不变量。

引用于4文件

MSC公司：

68瓦30 符号计算和代数计算
12E05型 一般域中的多项式（不可约性等）
第13页，共15页 求解多项式系统；结果
2015年第14季度 高维变量的计算方面
65层99 数值线性代数
65年第68季度 算法和问题复杂性分析

关键词：

代数簇的投影;稀疏多项式系统;概率符号算法;计算复杂性

软件：

克罗内克;DEMiC公司
PDF格式BibTeX公司 XML格式引用
\textit｛M.I.Herrero｝等人，离散计算。地理。51，第3号，578--599（2014；Zbl 1310.68261）
全文： 内政部 arXiv公司

参考文献：

[1] Adrovic，D。；Verschelde，J.，《计算代数曲面的Puiseux级数》，法国格勒诺布尔，2012年7月22日至25日·Zbl 1323.68578号 ·数字对象标识代码：10.1145/2442829.2442837
[2] Adrovic，D。；Verschelde，J。；Gerdt，V.P.（编辑）；Koepf，W.（编辑）；Mayr，E.W.（编辑）；Vorozhtsov，E.V.（编辑），利用对称性处理循环n根问题的空间曲线多面体方法，CASC 2013，德国柏林·Zbl 1412.13030号 ·doi:10.1007/978-3-319-02297-02
[3] Berkowitz，S.J.：关于使用少量处理器在小并行时间内计算行列式。信息处理。莱特。18(3), 147-150 (1984) ·Zbl 0541.68019号 ·doi:10.1016/0020-0190（84）90018-8
[4] 伯恩斯坦，D.N.：方程组的根数。功能。分析。申请。9, 183-185 (1975) ·Zbl 0328.32001号 ·doi:10.1007/BF01075595
[5] Bini，D.，Pan，V.Y.：多项式和矩阵计算。第1卷。基本算法。理论计算机科学进展。伯赫用户波士顿（1994）·Zbl 0809.65012号 ·doi:10.1007/978-1-4612-0265-3
[6] Bürgisser，P.，Clausen，M.，Shokrollahi，M.A.：代数复杂性理论。格兰德伦数学。威斯。，第315卷。柏林施普林格（1997）·Zbl 1087.68568号
[7] Caniglia，L.：如何在单指数时间内计算未混合多项式理想的Chow形式。申请。代数工程通讯。计算。1（1），25-41（1990）·Zbl 0732.13012号 ·doi:10.1007/BF01810845
[8] Canny，J.，Emiris，I.Z.：稀疏结果的基于细分的算法。J.ACM 47（3），417-451（2000）·Zbl 1094.65508号
[9] 奇斯托夫，A.L。；格里戈列夫，D.Yu。，代数闭域理论中量词消除的复杂性，布拉格，1984年，柏林·Zbl 0562.03015号 ·doi:10.1007/BFB030287
[10] Cox，D.，Little，J.，O'Shea，D.：使用代数几何。毕业生。数学课文。，第185卷。施普林格，纽约（1998）·Zbl 0920.13026号
[11] D’Alfonso，L.、Jeronimo，G.、Ollivier，F.、Sedoglavic，A.、Solernó，P.：微分代数方程隐式系统的几何指数简化方法。J.塞姆。计算。46(10), 1114-1138 (2011) ·兹比尔1235.34030 ·doi:10.1016/j.jsc.2011.05.012
[12] D'Andrea，C.：稀疏结果的Macaulay式公式。事务处理。美国数学。Soc.354（7），2595-2629（2002）·Zbl 0987.13019号 ·doi:10.1090/S0002-9947-02-02910-0
[13] D’Andrea，C.，Dickenstein，A.：多元结果的显式公式。J.纯应用。《代数》164（1-2），59-86（2001）。代数几何中的有效方法（巴斯，2000）·Zbl 1066.14061号 ·doi:10.1016/S0022-4049（00）00145-6
[14] Dyer，M.，Gritzmann，P.，Hufnagel，A.：关于计算混合体积的复杂性。SIAM J.计算。27(2), 356-400 (1998) ·Zbl 0909.68193号 ·网址：10.1137/S009753979794278384
[15] Edmonds，J.，子模函数，拟阵和某些多面体，Proc。卡尔加里国际机场。Conf.，阿尔塔州卡尔加里，1969年，纽约·Zbl 0268.05019号
[16] Emiris，I.Z.，Canny，J.F.：稀疏结果和混合体积的高效增量算法。J.塞姆。计算。20(2), 117-149 (1995) ·兹比尔0843.68036 ·doi:10.1006/jsco.1995.1041
[17] Emiris，I.Z.，Verschelde，J.：如何有效计算多项式系统的所有仿射根。离散应用程序。数学。93（1），21-32（1999）。第十三届欧洲计算几何研讨会CG'97（Würzburg，1997）·Zbl 1034.68715号 ·doi:10.1016/S0166-218X（99）00003-7
[18] Fitchas，N.，Galligo，A.，Morgenstern，J.：代数闭域上量词消除的精确序列和并行复杂性边界。J.纯应用。代数67（1），1-14（1990）·Zbl 0716.03023号
[19] Gao，T.，Li，T.Y.：半混合系统的混合体积计算。离散计算。地理。29(2), 257-277 (2003) ·Zbl 1052.68131号 ·文件编号：10.1007/s00454-002-2837-x
[20] Gao，T.，Li，T.Y.，Wang，X.：通过稳定混合体积求（mathbb{C}^n）中多项式系统的所有孤立零点。多项式消除算法及其应用。J.塞姆。计算。28(1-2), 187-211 (1999) ·兹比尔0944.65055 ·doi:10.1006/jsco.1998.0272
[21] Giusti，M。；Heintz，J.，Algorithmes-disons rapides-pour la de composition d'une variétéalgébrique en composantes irréutibles etéquidimensionelles，卡斯蒂格利昂塞洛，1990年，波士顿·Zbl 0755.14018号 ·doi:10.1007/978-1-4612-0441-1_11
[22] Giusti，M.，Lecerf，G.，Salvy，B.：多项式系统求解的无Gröbner替代方案。J.复杂。17(1), 154-211 (2001) ·Zbl 1003.12005年 ·doi:10.1006/jcom.2000.0571
[23] Heintz，J.：代数闭域中的可定义性和快速量词消除。西奥。计算。科学。24(3), 239-277 (1983) ·Zbl 0546.03017号 ·doi:10.1016/0304-3975（83）90002-6
[24] Herrero，M.I.，Jeronimo，G.，Sabia，J.：计算仿射空间中稀疏多项式系统的孤立根。西奥。计算。科学。411(44-46), 3894-3904 (2010) ·Zbl 1241.65046号 ·doi:10.1016/j.tcs.2010.07.015
[25] Herrero，M.I.，Jeronimo，G.，Sabia，J.：稀疏多项式系统的仿射解集。J.塞姆。计算。51, 34-54 (2013) ·Zbl 1264.13027号 ·doi:10.1016/j.jsc.2012.03006
[26] Huber，B.，Sturmfels，B.：求解稀疏多项式系统的多面体方法。数学。计算。64(212), 1541-1555 (1995) ·Zbl 0849.65030号 ·doi:10.1090/S0025-5718-1995-1297471-4
[27] Huber，B.，Sturmfels，B.：仿射空间中的Bernstein定理。离散计算。地理。17(2), 137-141 (1997) ·Zbl 0891.65055号 ·doi:10.1007/BF02770870
[28] Jeronimo，G.，Sabia，J.：使用直线程序计算多重同质结果。J.塞姆。计算。42（1-2），218-235（2007）·Zbl 1207.65056号 ·doi:10.1016/j.jsc.2006.03.006
[29] Jeronimo，G.，Krick，T.，Sabia，J.，Sombra，M.：Chow形式的计算复杂性。发现。计算。数学。4(1), 41-117 (2004) ·Zbl 1058.14075号 ·doi:10.1007/s10208-002-0078-2
[30] Jeronimo，G.，Matera，G.，Solernó，P.，Waissbein，A.：稀疏系统的变形技术。已找到。计算。数学。9(1), 1-50 (2009) ·Zbl 1167.14039号 ·doi:10.1007/s10208-008-9024-2
[31] Khovanskii，A.G.：牛顿多面体和环形变体。功能。分析。申请。11, 289-296 (1978) ·Zbl 0445.14019号 ·doi:10.1007/BF01077143
[32] 库什尼伦科，A.G.：牛顿多面体和贝佐特定理。功能。分析。申请。10, 233-235 (1976) ·Zbl 0341.32001号 ·doi:10.1007/BF01075534
[33] Li，T.Y.，Li，X.：在混合体积计算中寻找混合单元。已找到。计算。数学。1(2), 161-181 (2001) ·Zbl 1012.65019号 ·doi:10.1007/s102080010005
[34] Li，T.Y.，Wang，X.：（mathbb{C}^n）中的BKK根计数。数学。计算。65(216), 1477-1484 (1996) ·Zbl 0855.65053号 ·doi:10.1090/S0025-5718-96-00778-8
[35] Mizutani，T.、Takeda，A.、Kojima，M.：所有混合细胞的动态计数。离散计算。地理。37(3), 351-367 (2007) ·兹比尔1113.65055 ·doi:10.1007/s00454-006-1300-9
[36] Puddu，S.，Sabia，J.：使用直线程序在代数闭域上消除量词的有效算法。J.纯应用。代数129（2），173-200（1998）·Zbl 0929.68132号 ·doi:10.1016/S0022-4049（97）00068-6
[37] Rojas，J.M.：计算多项式系统根的凸几何方法。西奥。计算。科学。133(1), 105-140 (1994) ·Zbl 0812.65040号 ·doi:10.1016/0304-3975（93）00062-A
[38] Rojas，J.M.，《为什么多面体在非线性方程求解中起作用》，第334期，293-320页（2003年），普罗维登斯·2007年3月1073日Zbl ·doi:10.1090/conm/334/05987
[39] Rojas，J.M.，Wang，X.：通过点牛顿多面体计算多项式系统的仿射根。J.复杂。12(2), 116-133 (1996) ·Zbl 0885.12007号 ·文件编号：10.1006/jcom.1996.0009
[40] Schost女士：计算参数化几何分辨率。申请。代数工程通讯。计算。13(5), 349-393 (2003) ·Zbl 1058.68123号 ·doi:10.1007/s00200-002-0109-x
[41] Schwartz，J.：验证多项式恒等式的快速概率算法。J.ACM 27，701-717（1980）·Zbl 0452.68050号
[42] Steffens，R.，Theobald，T.：嵌入拉曼图的混合体积技术。J.计算。地理。43(2), 84-93 (2010) ·Zbl 1225.05186号 ·doi:10.1016/j.comgeo.2009.04.004
[43] Sturmfels，B.：关于结式的牛顿多面体。J.Algebr。梳子。3(2), 207-236 (1994) ·Zbl 0798.05074号 ·doi:10.1023/A:1022497624378
[44] Tarski，A.：初等代数和几何的决策方法，第2版。加州大学出版社，伯克利/洛杉矶（1951）·Zbl 0044.25102号
[45] Verschelde，J.，《数值代数几何中的多面体方法》，第496、243-263号（2009），普罗维登斯·Zbl 1181.65073号 ·doi:10.1090/conm/496/09727
[46] Verschelde，J.，Verlinden，P.，Cools，R.：利用牛顿多面体求解稀疏多项式系统的同伦。SIAM J.数字。分析。31(3), 915-930 (1994) ·Zbl 0809.65048号 ·doi:10.1137/0731049
[47] Verschelde，J.，Gatermann，K.，Cools，R.：应用于多项式系统求解的动态提升混合体积计算。离散计算。地理。16(1), 69-112 (1996) ·Zbl 0854.68111号 ·doi:10.1007/BF02711134
[48] von zur Gathern，J.，Gerhard，J.：现代计算机代数。剑桥大学出版社，剑桥（1999）·兹伯利0936.11069
[49] Zippel，R.：有效多项式计算。Kluwer国际系列。工程计算。科学。，第241卷。多德雷赫特·克鲁沃（1993）·Zbl 0794.11048号 ·数字对象标识代码：10.1007/978-1-4615-3188-3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。