研究论文

计算实代数集维数的概率算法

作者:

伊凡班瓦尔特和

穆罕默德 Safey El Din公司作者信息和声明

ISSAC’15：2015年ACM符号与代数计算国际研讨会论文集

2015年6月

页37-44

https://doi.org/10.1145/2755996.2756670

出版:2015年6月24日出版历史

获取访问权限

摘要

让如果欧洲Q[X（X）₁, …,X（X）_n个]是次数多项式D类.我们考虑计算由如果=0.这样的问题可以简化为量词消除。因此，可以在变量数为双指数的复杂度内，用柱面代数分解来解决这个问题。最近，表示d日正在研究的实代数集的维数，在时间上运行的确定性算法D类^O（d（n-d))已被提议。然而，尚未获得反映这种复杂度增益的实现，指数中的常数仍未明确。

我们设计了一个在时间上运行的概率算法，该算法在D类^d（n-d). 我们的算法利用了极地品种避免量词消除的计算困难步骤。我们还报告了首次实施情况。它处理了最先进技术无法触及的例子，其实际行为反映了复杂性的增加。

工具书类

[1]

B.Bank、M.Giusti、J.Heintz和GM.Mbakop。极变量、实方程求解和数据结构：超曲面情况。复杂性杂志，13（1）：5--271997。

数字图书馆

[2]

B.Bank、M.Giusti、J.Heintz和GM.Mbakop。极地品种和有效的真正消除。Mathematische Zeitschrift，238（1）：115-1442001。

[3]

B.Bank、M.Giusti、J.Heintz和L.M.Pardo。广义极变量和有效的实消去。Kybernetika，40（5）：519-5502004年。

[4]

B.Bank、M.Giusti、J.Heintz和L.M.Pardo。关于实奇异超曲面中点搜索的内在复杂性。信息处理快报，109（19）：1141--11442009。

数字图书馆

[5]

B.Bank、M.Giusti、J.Heintz、M.Safey El Din和E.Schost。关于极地变种的几何学。工程、通信和计算中的应用代数，21（1）：33-832010。

数字图书馆

[6]

S.Barone和S.Basu。各种符号条件的连接组件数量的优化边界。离散与计算几何，47（3）：577-5972012。

数字图书馆

[7]

S.Barone和S.Basu。关于bezout不等式和符号条件的连通分量数的一个实际模拟。ArXiv电子版，2013年。

[8]

S.Basu、R.Pollack和M.F.Roy。《实代数几何中的算法》，《数学中的算法与计算》第10卷。Springer-Verlag，柏林，2006年（第二版）。

数字图书馆

[9]

S Basu、R Pollack和M-F Roy。计算半代数集的维数。数学科学杂志，134（5）：2346-23532006。

[10]

C.Brown，H.Hong和等人通过部分圆柱代数分解的QEPCAD B-量词消去。网址：http://www.cs.usna.edu/~qepcad/B/qepcad.html，2009年。

[11]

C.Chen和M.Moreno Maza。正则库中的柱面代数分解。2014年8月5日至9日，韩国首尔第四届国际会议数学软件ICMS 2014编辑H.Hong和C.Yap。《计算机科学讲义》第8592卷，第425-433页。斯普林格，2014年。

[12]

G.柯林斯。用柱面代数分解法消除实闭域的量词。在自动机理论和形式语言第二届GI会议Kaiserslautern，1975年5月20日至23日，第134-183页。斯普林格，1975年。

数字图书馆

[13]

D.Cox、J.Little和D.O'Shea。理想、种类和算法：计算代数几何和交换代数导论。数学本科生课文。Springer-Verlag，纽约，1997年。

[14]

D.艾森巴德。面向代数几何的交换代数，第27卷。纽约施普林格出版社，1995年。

[15]

J.-C.福盖尔。FGB：计算gröbner基的库。www-polsys.lip6.fr/jcf/Software/，2010年。

[16]

J.-C.Faugère、G.Moroz、F.Rouillier和M.Safey El-Din。透视三点问题的分类、判别多样性和实解多项式不等式组。第二十一届符号与代数计算国际研讨会论文集，第79-86页。ACM，2008年。

数字图书馆

[17]

M.Giusti、G.Lecerf和B.Salvy。多项式系统求解的无gröbner替代方案。复杂性杂志，17（1）：154--2112001。

数字图书馆

[18]

A.Greuet和M.Safey-El-Din。多元多项式下确界的可达性判定。第36届符号和代数计算国际研讨会论文集，第131-138页。ACM，2011年。

数字图书馆

[19]

A.Greuet和M.Safey-El-Din。实代数集上多项式优化的概率算法。SIAM优化杂志，24（3）：1313--13432014。

[20]

J.Han、L.Dai和B.Xia。在cad投影中通过gcd计算构造较少的开放单元。arXiv预印arXiv:1401.49532014。

数字图书馆

[21]

J.Heintz和C.-P.Schnorr。测试易于计算的多项式。第十二届ACM计算机理论研讨会论文集，第262-272页。ACM，1980年。

数字图书馆

[22]

D.Henrion，S.Naldi和M.Safey El Din。线性矩阵行列式的实根发现。2014年预印。

[23]

H.Hong和M.Safey El Din。变体实量词消除：算法和应用。2009年符号和代数计算国际研讨会论文集，第183-190页。ACM，2009年。

数字图书馆

[24]

H.Hong和M.Safey El Din。变量量词消除。符号计算杂志，47（7）：883--9012012。

数字图书馆

[25]

N.V.伊利尤什金。关于对称矩阵元素的一些恒等式。Zapiski Nauchnykh Seminarov POMI，303:119--1442003。

[26]

Q.Jin和T.Yang。空间六环的过约束分析。机构与机器理论，37（3）：267-2782002。

[27]

P.科伊兰。代数簇维数的随机化和确定性算法。1997年，《计算机科学基础》。诉讼程序。，第38届年度研讨会，第36-45页。IEEE，1997年。

数字图书馆

[28]

P.科伊兰。实维问题是npr-完全的。复杂性杂志，15（2）：227--2381999。

数字图书馆

[29]

G.Lecerf。通过提升纤维计算代数闭集的等维分解。复杂性杂志，19（4）：564--5962003。

数字图书馆

[30]

P.A.帕里罗。鲁棒性和优化方面的结构化半定程序和半代数几何方法。博士论文，Citeser，2000年。

[31]

F.Rouiller、M.-F.Roy和M.Safey El Din。在由单个方程定义的实代数集的每个连接分量中找到至少一个点。复杂性杂志，16（4）：716--7502000。

数字图书馆

[32]

在奇异情况下，在真实超曲面上寻找采样点更容易。MEGA（代数几何的有效方法）电子学报，2005年。

[33]

M.Safey El Din.RAGlib:实代数几何库。www-polsys.lip6.fr/safey/RAGLib/，2007年。

[34]

M.Safey El Din。多元多项式的符号条件测试与应用，计算机科学杂志中的数学，关于算法和复杂性的特别创刊号，H.Hong和C.Yap（客座编辑），2007年。

[35]

M.Safey El Din等人。斯科斯特。光滑实代数集中每个连通分量中一个点的极性变化和计算。2003年符号和代数计算国际研讨会论文集，第224-231页。ACM，2003年。

数字图书馆

[36]

M.Safey El Din和E.Schost。一种在光滑和有界实代数集中判定连通性查询的近似最优算法。arXiv预印arXiv:1307.78362013。

[37]

E.斯科斯特。计算参数化几何分辨率。工程、通信和计算中的应用代数，13（5）：349-3932003。

[38]

I.R.Shafarevich和K.A.Hirsch。《基本代数几何》，第197卷。斯普林格，1977年。

[39]

T.Sturm和V.Weispfenning。REDLOG中的计算几何问题。在ADG，第58-961996页。

数字图书馆

[40]

N.沃罗布乔夫。计算半代数集的局部维数的复杂性。符号计算杂志，27（6）：565--5791999。

数字图书馆

引用人

哈里斯·K豪恩斯坦JSzanto A公司(2023)半代数集上的光滑点符号计算杂志2016年10月10日/j.jsc.2022.09.003116(183-212)在线发布日期：2023年5月
https://doi.org/10.1016/j.jsc.2022.09.003
Capco J公司Safey El Din M公司Schicho J公司(2022)正维参数多项式系统、连通性查询及其在机器人中的应用符号计算杂志10.1016/j.jsc.2022.08.08在线发布日期：2022年8月
https://doi.org/10.1016/j.jsc.2022.08.08
莱雷斯PSafey El Din M公司克扎克F拉巴恩G(2021)实代数集维数的计算2021年符号和代数计算国际研讨会论文集10.1145/3452143.3465551(257-264)在线发布日期：2021年7月18日
https://dl.acm.org/doi/10.1145/3452143.3465551
显示更多引用者

索引术语

计算实代数集维数的概率算法
1. 计算方法
  1. 符号和代数操作
    1. 符号和代数算法
      1. 代数算法
2. 计算理论
  1. 随机性、几何和离散结构
    1. 计算几何

建议

实代数集维数的计算
ISSAC’21：2021年符号和代数计算国际研讨会论文集

设V是F=（F）的实公共解集₁，…，f_秒)英寸[x₁, …;, x个_n个]D是f的最大总次数_我的。我们设计了一种算法，该算法在输入F上计算V的维数。设L为F的评估复杂度，s=1，则。。。
阅读更多信息
光滑实代数集的极变分与每个连通分量中一点的计算
ISSAC’03：2003年符号和代数计算国际研讨会论文集

让f₁、ldot、f_秒是Q[X中的多项式₁, ..., X（X）_n个]生成一个激进的理想，并让V成为它们的复数零集。假设V光滑且等维；然后我们表明，计算与…有关的极性变种的合适截面。。。
阅读更多信息
基于位置的零维多项式系统实根隔离通用方法

我们改进了分离具有两个多项式的零维二元多项式系统实根的局部泛型位置法，并将该方法推广到一般的零维多项式系统。该方法主要涉及合成。。。
阅读更多信息

评论

信息和贡献者

问询处

发布于

封面图片ACM会议

ISSAC’15：2015 ACM符号和代数计算国际研讨会论文集

2015年6月

374页

国际标准图书编号：9781450334358

DOI（操作界面）：10.1145/2755996

会议主席：
丹尼尔·罗伯茨
英国普利茅斯大学
,
总主席：
史蒂夫·林顿
英国圣安德鲁斯大学
,
项目主席：
横山和弘
日本立纪大学

版权所有©2015 ACM。

如果复制品不是为了盈利或商业利益而制作或分发的，并且复制品的第一页载有本通知和完整引文，则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

SIGSAM:ACM符号和代数操作特别兴趣小组

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：2015年6月24日

权限

请求对此文章的权限。

检查更新

作者标记

限定符

研究文章

资金来源

GEOLMI公司

会议

ISSAC’15

赞助商：

SIGSAM公司

ISSAC’15：符号和代数计算国际研讨会

2015年7月6日至9日

英国巴斯

接受率

ISSAC’15论文接受率71份提交中的43份，61%；

838份提交文件中的总接受率为395份，47%

即将召开的会议

ISSAC’24

赞助商：
西格萨姆

符号和代数计算国际研讨会

2024年7月16日至19日

罗利，北卡罗来纳州，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

5
引文总数
查看引文
79
总下载次数

下载次数（过去12个月）0
下载次数（最近6周）0

其他指标

查看作者指标

引文

引用人

哈里斯·K豪恩斯坦JSzanto A公司(2023)半代数集上的光滑点符号计算杂志2016年10月10日/j.jsc.2022.09.003116(183-212)在线发布日期：2023年5月
https://doi.org/10.1016/j.jsc.022.09.003
Capco J公司Safey El Din M公司Schicho J公司(2022)正维参数多项式系统、连通性查询及其在机器人中的应用符号计算杂志10.1016/j.jsc.2022.08.08在线发布日期：2022年8月
https://doi.org/10.1016/j.jsc.2022.08.08
莱雷斯PSafey El Din M公司克扎克F拉巴恩G(2021)实代数集维数的计算2021年符号和代数计算国际研讨会论文集10.1145/3452143.3465551(257-264)在线发布日期：2021年7月18日
https://dl.acm.org/doi/10.1145/3452143.3465551
Safey El DIn M公司Spaenlehauer P公司阿布拉莫夫SZima E公司高X(2016)光滑簇上的临界点计算ACM符号和代数计算国际研讨会论文集10.1145/2930889.2930929(183-190)在线发布日期：2016年7月20日
https://dl.acm.org/doi/10.1145/2930889.2930929
福盖尔JSpaenlehauer P公司斯瓦尔茨J阿布拉莫夫SZima E公司高X(2016)二次多项式系统不一致性的小证明计算ACM符号和代数计算国际研讨会论文集10.1145/2930889.2930927(223-230)在线发布日期：2016年7月20日
https://dl.acm.org/doi/10.1145/2930889.2930927

视图选项

获取访问权限

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

完全访问权限

获取此出版物

查看选项

PDF格式

以PDF文件查看或下载。

电子阅读器

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

电子阅读器

媒体

数字

其他

桌子