路德维希·坎佩尔;迪米特里斯·西蒙斯(Dimitris E.Simos)。;伯恩哈德·加恩;科齐里亚斯(Ilias S.Kotsireas)。;叶夫根·哲雷什钦 (v)元字母上任意强度覆盖数组的代数模型。 (英语) Zbl 1434.68341号 乔·伊里奇、米罗斯拉夫(编辑)等,《代数信息学》。2019年6月30日至7月4日在塞尔维亚尼什举行的第八届国际会议,CAI 2019。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11545, 177-189 (2019). 小结:扩展以前的工作[B.加恩和D.E.西蒙斯,Springer程序。数学。Stat.198,149-170(2017年;Zbl 1383.05048号)],我们引入了一种新的技术,利用线性代数、交换代数和符号计算的方法,对(v)元字母上的任意强度覆盖数组进行建模和计算。给定参数的覆盖数组的具体实例在多元多项式方程组的解中以变量中的点的形式出现。为了求解这些系统,我们应用基于Gröbner基理论的多项式解算器,并使用串行和并行编程技术进行穷举搜索。关于整个系列,请参见[Zbl 1428.68013号]. 引用于1文件 MSC公司: 68卢比 计算机科学中的组合数学 05B40号 包装和覆盖的组合方面 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68瓦20 随机算法 68瓦30 符号计算和代数计算 关键词:覆盖阵列;代数模型;解算器 引文:Zbl 1383.05048号 PDF格式BibTeX公司 XML格式引用 \textit{L.Kampel}等人,Lect。注释计算。科学。11545177-189(2019年;Zbl 1434.68341) 全文: 内政部