×
米科拉什·亚诺塔;安东尼奥·莫尔加多;沃伊特·乔夫斯克，皮特

计算有限代数中最小规模的生成集。 （英语） Zbl 1520.20128号

J.塞姆。计算。 119, 50-63 (2023).
本文研究了计算最小规模发电机组的问题岩浆，这是一个具有单个操作的代数。这个问题可以使用SAT解算器解决，但相应的实例包含了代数的整个乘法表。本文基于CEGAR（反例引导抽象求精）范式，提出了一种不同的算法。该算法在Moufang循环的子类上进行了测试。
审核人：Yuval Filmus（海法）

MSC公司：

20号05 环，拟群
65年第68季度 算法和问题复杂性分析
20-08 群论问题的计算方法
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）

关键词：

计算代数;发电机;等级;整数线性规划;牟芳线圈

软件：

回路;挑战;弯曲;钙DiCaL;玲玲;最大HS;PBLib（公共图书馆）;YalSAT卫星;古罗比;间隙
PDF格式BibTeX公司 XML格式引用
\textit{M.Janota}等人，J.Symb。计算。119、50-63（2023；Zbl 1520.20128）
全文： 内政部

参考文献：

[1] GAP-组、算法和编程，版本4.11.1（2021）
[2] Arvind，V。；Torán，J.，《拟群同构的复杂性与最小生成集问题》，（Asano，T.，《算法与计算》，第17届国际研讨会，ISAAC 2006。算法与计算，第17届国际研讨会，ISAAC 2006，印度加尔各答，2006年12月18-20日，会议记录。算法与计算，第17届国际研讨会，ISAAC 2006。算法与计算，第17届国际研讨会，ISAAC 2006，印度加尔各答，2006年12月18-20日，计算机科学论文集，第4288卷（2006），Springer），233-242·Zbl 1135.68434号
[3] Baez，J.C.，《八角头》，公牛。美国数学。社会学（N.S.），39，2，145-205（2002）·Zbl 1026.17001号
[4] Biere，A.，CaDiCaL，Lingeling，PLingeling，Treengeling和YalSAT参加2017年SAT竞赛（2017年）
[5] Bruck，R.H.，《二进制系统概览》，Gruppenthorie Ergebnisse der Mathematik und ihrer Grenzgebiete，第20卷（1958年），《Springer Verlag:Springer Verlag Berlin-Gottingen-Heidelberg》·兹伯利0081.01704
[6] 克拉克，E.M。；格伦伯格，O。；Jha，S。；卢，Y。；Veith，H.，符号模型检查的反示例引导抽象求精，J.ACM，50，5（2003）·Zbl 1325.68145号
[7] 戴维斯，J。；Bacchus，F.，通过求解一系列更简单的SAT实例来求解MAXSAT，（Lee，J。H.，约束编程的原理与实践——CP 2011第17届国际会议。约束编程的原理与实践——2011年CP第17届国际会议，2011年CP，意大利佩鲁贾，2011年9月12日至16日，会议记录。约束编程原理与实践-CP 2011-第17届国际会议。约束编程的原理和实践——CP 2011——第17届国际会议，CP 2011，意大利佩鲁贾，2011年9月12日至16日，计算机科学论文集，第6876卷（2011），Springer），225-239
[8] 戴维斯，J。；Bacchus，F.，在MaxSAT中利用MIP解算器的能力，（Järvisalo，M.；Gelder，A。V.，可满足性测试的理论与应用——2013年SAT第16届国际会议。可满足性测试理论与应用——2013年SAT第16届国际会议，芬兰赫尔辛基，2013年7月8日至12日，会议记录。满意度测试理论与应用——2013年第16届SAT国际会议。可满足性测试的理论与应用——2013年SAT第16届国际会议，芬兰赫尔辛基，2013年7月8日至12日，计算机科学论文集，第7962卷（2013），Springer），166-181·Zbl 1390.68592号
[9] Drápal，A.，Kinyon，M.，Vojtଖchovsk滟，P.，正在准备中。环路理论。
[10] 加戈拉，S.M。；霍尔，J.I.，牟方回路的拉格朗日定理，科学学报。数学。，71、1-2、45-64（2005年）·Zbl 1102.20049号
[11] Garey，M.R。；Johnson，D.S.，《计算机与不可纠正性：NP-完备性理论指南》（1979），W.H.Freeman·Zbl 0411.68039号
[12] 格拉uberman，G.，关于奇数阶循环。二、 《代数杂志》，8393-414（1968）·Zbl 0155.03901号
[13] Glauberman，G。；Wright，C.R.B.，有限Moufang 2-圈的幂零性，J.代数，8，415-417（1968）·Zbl 0155.03902号
[14] 戈麦斯，C.P。；塞尔曼，B。；北卡罗来纳州克雷托。；Kautz，H.A.，可满足性和约束满足问题中的重尾现象，J.Autom。原因。，24, 1/2, 67-100 (2000) ·Zbl 0967.68145号
[15] 古代尔，E.G。；五月，S。；Raman，M.，《Moufang Loops of Order Less than 64》（1999年），新星科学出版社：新星科学出版公司，纽约州科马克·Zbl 0964.20043号
[16] 格里什科夫，A.N。；Zavarnitsine，A.V.，Moufang循环的拉格朗日定理，数学。程序。外倾角。菲洛斯。Soc.，139，1，41-57（2005）·Zbl 1091.20039号
[17] Gurobi，L.，Optimization，古罗比优化器参考手册（2021）
[18] Halbeisen，L。；汉密尔顿，M。；Růćička，P.，群、环和域的最小生成集，Quaest。数学。，30, 3, 355-363 (2007) ·Zbl 1147.12001年
[19] Ignatiev，A。；Janota，M。；Marques-Silva，J.，《量化最大可满足性：一种核心指导方法》，（可满足性测试的理论和应用——SAT。可满足性检测的理论和运用——SAT，计算机科学讲义，第7962卷（2013），Springer），250-266·Zbl 1390.68598号
[20] Janota，M。；Marques-Silva，J.，关于为单调谓词选择最小集的查询复杂性，Artif。智力。，233, 73-83 (2016) ·Zbl 1351.68117号
[21] Jukna，S.，语义分辨率的指数下限，（Beam，P.；Buss，S.R.，《证明复杂性和可行算法》，DIMACS研讨会论文集。证明复杂性和可行性算法，DIMACC研讨会论文集，美国新泽西州新不伦瑞克，1996年4月21日至24日。证明复杂性和可行算术，DIMACS研讨会论文集。证明复杂性和可行性算法，DIMACS研讨会论文集，美国新泽西州新不伦瑞克，1996年4月21日至24日，DIMACC离散数学和理论计算机科学系列，第39卷（1996），DIMACS/AMS），163-172·Zbl 0890.03032号
[22] Lucchini，A.，有限群的最小生成集的最大大小，Arch。数学。，101, 1, 1-8 (2013) ·Zbl 1311.20035号
[23] 卢基尼，A。；Menegazo，F.，计算可解群中最小基数的一组生成器，J.Symb。计算。，17, 5, 409-420 (1994) ·Zbl 0830.20003号
[24] Marques-Silva，J。；林奇，I。；Malik，S.，《冲突驱动子句学习SAT求解器》（Biere，A.；Heule，M.；van Maaren，H.；Walsh，T.，《可满足性手册》，《人工智能与应用前沿》，第336卷（2021），IOS出版社），133-182·Zbl 1456.68001号
[25] Mengazzo，F.，有限群的生成元数，Ir.Math。社会公牛。，50（2003年）·Zbl 1065.20038号
[26] Moreno-Centeno，E。；Karp，R.M.，解决组合优化问题的隐式命中集方法及其在多基因组比对中的应用，Oper。第61、2、453-468号决议（2013年）·Zbl 1267.90125号
[27] Nagy，G。；Vojtěchovsk଑，P.，LOOPS，GAP 4.3（2006）的软件包，下载GAP
[28] Nagy，G.P。；沃伊特·乔夫斯克（Vojtěchovskí，P.），《64和81阶的牟方回路》（The Moufang loops of order 64 and 81），J.Symb。计算。，42, 9, 871-883 (2007) ·Zbl 1131.20053号
[29] Papadimitriou，C.H。；Yannakakis，M.，《关于V-C维的有限不确定性和复杂性》，J.Compute。系统。科学。，53, 2, 161-170 (1996) ·Zbl 0859.68031号
[30] 菲利普，T。；Steinke，P.，PBLib–将伪布尔约束编码为CNF的库，（Heule，M.；Weaver，S.，《可满足性测试的理论与应用——SAT 2015》。可满足性测试的理论与应用——2015年SAT，计算机科学课堂讲稿，第9340卷（2015年），斯普林格国际出版公司，9-16·Zbl 1471.68261号
[31] 塞科，P。；Wallner，J.P。；Järvisalo，M.，《用于NP以外推理的隐式命中集算法》（Baral，C.；Delgrand，J.P.；Wolter，F.，《知识表示和推理原则：第十五届国际会议论文集》，KR（2016），AAAI出版社），104-113
[32] Schafer，R.D.，《非结合代数导论，纯粹与应用数学》，第22卷（1966年），学术出版社：学术出版社，纽约-伦敦·Zbl 0145.25601号
[33] Seress，A.，《置换群算法》，《剑桥数学丛书》，第152卷（2003），剑桥大学出版社：剑桥大学出版社·兹比尔1028.20002
[34] Shalev，A.，渐近群论，Not。美国数学。《社会学杂志》，48，4，383-389（2001）·Zbl 1048.20027号
[35] 斯拉特里，M.C。；Zenisek，A.L.，牟芳243级循环，评论。数学。卡罗尔大学。，53, 3, 423-428 (2012) ·Zbl 1256.20064号
[36] 沃尔塔·F·D。；Lucchini，A.，《需要比任何适当商更多生成器的有限群》，J.Aust。数学。Soc.序列号。A、 64、1、82-91（1998）·Zbl 2013年2月9日
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。