伊莎贝尔·贝梅乔；伊格纳西奥·加西亚·马尔科；萨拉扎尔·冈萨雷斯，胡安·何塞 一种检查仿射单项式曲线的复曲面理想是否是完全交集的算法。 （英语） Zbl 1147.14026号 J.塞姆。计算。 42，第10号，971-991（2007）. 本文的目的是给出一个算法来检查（K^n）中的仿射单项式曲线是否是完全相交的。让我回忆一下，定义仿射单项式曲线的理想是复曲面理想的特殊情况，所以许多人发展的所有理论都适用于这里。这本书的一个很好的参考文献是E.Kunz公司【代数几何导论。Vieweg Studium:Aufbaukurs Mathematik.87。威斯巴登：Vieweg（1997年；兹比尔0885.14001)]. 另一方面，数值半群也给出了单项式仿射曲线。从这个半群中识别完全交集的问题是一个普遍而困难的问题。几年前，几位作者通过半群上的粘合操作给出了一个解决方案。在本文中，作者采用了另一种不同于粘合的方法。这里开发的算法与前一个算法更接近（可以被视为改进）C.德洛姆【《科学学报年鉴》规范补充（4）9，145-154（1976；Zbl 0325.20065号)]. 本文中的算法是在Singular中实现的，并通过实例证明它比Delorme算法更快。审核人：马塞尔·莫拉莱斯（圣马丁·德赫雷斯） 引用于1审查引用于13文件 MSC公司： 2015年14月 双曲面变体、牛顿多面体、Okounkov体 2005年第14季度 代数曲线的计算方面 14个M10 完成十字路口 第13页99 交换环的计算方面和应用 关键词：单项曲线；复曲面理想；完全交叉口 引文：Zbl 0885.14001号；兹伯利0325.20065 软件：可可；麦考利2；单一；极为复杂的；cimonom公司 PDF格式BibTeX公司 XML格式引用 \textit{I.Bermejo}等人，J.Symb。计算。42，第10号，971--991（2007；Zbl 1147.14026） 全文： DOI程序 参考文献： [1] 阿尔达尔，K。；Lenstra，A.K.，硬等式约束整数背包，数学。操作。Res.，29，724-738（2004）·Zbl 1082.90066号 [2] 贝尔梅乔，I。；Gimenez博士。；Reyes，E。；Villarreal，R.H.，仿射单项式曲线的完全交点，Bol。墨西哥国家材料学会（3a）系列，11，2，191-204（2005）·Zbl 1105.14040号 [3] Bermejo，I.、García-Marco，I.和Salazar-González，J.J.，2007年。单一; Bermejo，I.、García-Marco，I.和Salazar-González，J.J.，2007年。单一 [4] 克劳森，M。；Fortenbacher，A.，线性丢番图方程的有效解，符号计算杂志。，8, 201-216 (1989) ·Zbl 0674.10011号 [5] Cherkassky，B.V。；Goldberg，A.V。；Radzik，T.，《最短路径算法：理论和实验评估》，数学。程序。，73, 129-174 (1996) ·Zbl 0853.9011号 [6] CoCoA团队，2006年。CoCoA 4.6：在交换代数中进行计算的系统。网址：http://cocoa.dima.unige.it; CoCoA团队，2006年。CoCoA 4.6：在交换代数中进行计算的系统。网址：http://cocoa.dima.unige.it [7] Delorme，C.，Sous-mono ie des d’crossition complete de \（N），《科学年鉴》。埃科尔规范。Sup.，9145-154（1976年）·Zbl 0325.20065号 [8] Dijkstra，E.W.，关于与图有关的两个问题的注释，Numer。数学。，1, 269-271 (1959) ·兹比尔0092.16002 [9] Eliahou，S。；Villarreal，R.H.，《关于复曲面簇理想中的二项式系统》，Proc。阿默尔。数学。《社会学杂志》，130，345-351（2002）·Zbl 0994.14030号 [10] 弗雷德曼，M.L。；Tarjan，R.E.，Fibonacci堆及其在改进网络优化算法中的应用，J.Assoc.Compute。马赫数。，34, 596-615 (1987) ·Zbl 1412.68048号 [11] Grayson，D.R.，Stillman，M.E.，2006年。Macaulay2 0.9.93，用于代数几何研究的软件系统。网址：http://www.math.uiuc.edu/Macaulay2网站; Grayson，D.R.，Stillman，M.E.，2006年。Macaulay2 0.9.93，用于代数几何研究的软件系统。网址：http://www.math.uiuc.edu/Macaulay2网站 [12] Greuel，G.-M.，Pfister，G.，Schoenemann，H.，2007年。奇异3.0.3，用于多项式计算的计算机代数系统，计算机代数中心。凯泽斯劳滕大学。网址：http://www.singular.uni-kl.de; Greuel，G.-M.，Pfister，G.，Schoenemann，H.，2007年。奇异3.0.3，用于多项式计算的计算机代数系统，计算机代数中心。凯泽斯劳滕大学。网址：http://www.singular.uni-kl.de [13] Herzog，J.，阿贝尔半群和半群环的生成元和关系，Manuscripta Math。，3, 175-193 (1970) ·Zbl 0211.33801号 [14] Lenstra，H.W.，变量数固定的整数编程，数学。操作。研究，8538-548（1983）·Zbl 0524.90067号 [15] Lueker，G.S.，1975年。非负整数规划中的两个NP-完全问题。技术报告TR-178 CSL。普林斯顿大学；Lueker，G.S.，1975年。非负整数规划中的两个NP-完全问题。技术报告TR-178 CSL。普林斯顿大学 [16] 莫拉莱斯，M。；托马，A.，《完全交点格理想》，《J.代数》，284755-770（2005）·兹比尔1076.13006 [17] Papadimitriou，C.H.，《计算复杂性》（1994），Addison-Wesley·Zbl 0557.68033号 [18] Villarreal，R.H.，（《单项式代数》，《单项型代数、纯数学和应用数学专著和教科书》，第238卷（2001年），马塞尔·德克尔：马塞尔·德克尔纽约）·Zbl 1002.13010号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。