贝尔齐，克里斯托夫;恩德尔博罗斯;乔佩克，Ondřej;哈立德·埃尔巴西尼;彼得·库切拉;Kazuhisa Makino 生成CNF公式的子句序列。 （英语） Zbl 1476.68186号 西奥。计算。科学。 856, 68-74 (2021). 摘要：给定一个包含子句（C_1，\ldots，C_m\）和变量（V=\{x_1，\ ldots、x_n\}\）的CNF公式\（\Phi\），（\Phi）的真值赋值\（\textbf{a}:V\ to \{0,1\}\）导致子句序列\（\sigma_\Phi（\boldsymbol{a}^m\）其中\（C_i（\boldsymbol{a}）=1\）if子句\（C_ i\）赋值时计算为1\（a），否则\（C_i（\boldsymbol{a}）=0\）。所有可能的子句序列集都包含大量关于公式的信息，例如，SAT、MAX-SAT和MIN-SAT可以通过查找具有极值属性的子句序列进行编码。我们考虑了19211年Dagstuhl研讨会“数据管理中的枚举”（2019）上提出的一个问题，该问题涉及给定的有界维数的CNF的所有可能子句序列的生成。我们证明了该问题可以在增量多项式时间内求解。我们进一步给出了一类可处理CNF公式的多项式延迟算法。我们还考虑了最大和最小子句序列的生成，并证明了生成最大子句序列是NP-hard，而最小子句序列可以用多项式延迟生成。 MSC公司： 68卢比 计算机科学中的组合数学 65年第68季度 算法和问题复杂性分析 68兰特 可满足性的计算方面 关键词：CNF公式;子句序列;枚举;一代 PDF格式BibTeX公司 XML格式引用 \textit{K.Bérczi}等人，Theor。计算。科学。856，68-74（2021；Zbl 1476.68186） 全文： 内政部 arXiv公司 OA许可证 参考文献： [1] Letelier，A。；佩雷斯，J。；皮克勒，R。；Skritek，S.，语义web查询的静态分析和优化，ACM Trans。数据库系统。（TODS），第38、4、25页（2013年）·Zbl 1321.68129号 [2] Bulatov，A.A。；达尔摩，V。；格罗，M。；Marx，D.，《列举同态》，J.Compute。系统。科学。，78, 2, 638-650 (2012) ·兹比尔1253.68165 [3] 杜兰德，A。；Schweikardt，N。；Segoufin，L.，《列举低度数据库一阶查询的答案》，（第33届ACM SIGMOD-SIGACT-SIGART数据库系统原理研讨会论文集（2014），ACM），121-131 [4] Kazana，W。；Segoufin，L.，有界展开结构类的一阶查询枚举，（第32届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集（2013），ACM），297-308 [5] Segoufin，L.，以恒定延迟枚举查询的答案，（第16届数据库理论国际会议论文集（2013），ACM），10-20 [6] Kröll，M。；皮克勒，R。；Skritek，S.，《关于枚举精心设计的模式树答案的复杂性》，（第19届数据库理论国际会议，第19届国际数据库理论会议，2016（2016），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik）·Zbl 1369.68191号 [7] Guigues，J.-L。；Duquenne，V.，Familles minimales d’implications informatives resultant d’un tableau de données binaires，数学。科学。哼，95，5-18（1986）·Zbl 1504.68217号 [8] Boros，E。；Kimelfeld，B。；皮克勒，R。；Schweikardt，N.，《数据管理枚举》（Dagstuhl研讨会，19211年）（2019年） [9] Boros，E。；Elbassioni，K。；Gurvich，V.，《生成二部图中完美匹配的最小阻断子的算法及相关问题》，计算机科学讲稿（包括人工智能子系列讲稿和生物信息学讲稿），第3221卷，第122-133页（2004）·Zbl 1111.05303号 [10] 斯特罗泽基，Y。；Mary，A.，关闭操作产生的解决方案的有效枚举，Discret。数学。西奥。计算。科学。，21, 3, 1-30 (2019) ·Zbl 1417.05010号 [11] 卡佩利，F。；Strozecki，Y.，更快地枚举DNF的模型：打破对公式大小的依赖，离散应用。数学。(2020) [12] 筑山，S。；Ide，M。；Ariyoshi，H。；白川方明，I.，生成所有最大独立集的新算法，SIAM J.Compute。，6, 3, 505-517 (1977) ·Zbl 0364.05027号 [13] 约翰逊，D.S。；Yannakakis，M。；Papadimitriou，C.H.，关于生成所有最大独立集，Inf.过程。莱特。，27, 3, 119-123 (1988) ·Zbl 0654.68086号 [14] Makino，K。；Uno，T.，枚举所有最大集团的新算法，（斯堪的纳维亚算法理论研讨会（2004），施普林格），260-272·Zbl 1095.68626号 [15] 萨默，M。；Szeider，S.，命题模型计数算法，J.Discret。算法，8，1，50-64（2010）·Zbl 1214.05166号 [16] Y.Strozecki，个人通信，2020年。 [17] 库克，S.A.，《理论证明程序的复杂性》（第三届ACM计算理论研讨会论文集（1971）），151-158·Zbl 0253.68020号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。