×

(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号].

MSC公司:

68卢比 计算机科学中的组合数学
05B40号 包装和覆盖的组合方面
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68瓦20 随机算法
68瓦30 符号计算和代数计算
PDF格式BibTeX公司 XML格式引用
全文: 内政部