佛罗伦萨卡佩利；亚恩·斯特罗泽基 更快地枚举DNF模型：打破对公式大小的依赖。 （英语） Zbl 1523.68036号 离散应用程序。数学。 303, 203-215 (2021). 小结：在本文中，我们研究了DNF公式模型的枚举问题。其目的是为枚举算法提供一个延迟，该延迟以多项式形式取决于每个模型的大小，而不是取决于公式的大小，公式的大小可以指数级地大。我们成功地解决了DNF公式的两个子类：通过适当的摊销方法，为固定（k）的（k）-DNF提供了一个常数延迟算法，并给出了单调公式的二次延迟算法。然后我们将重点放在枚举算法的平均延迟上，并展示如何获得公式大小的次线性延迟。 MSC公司： 65年第68季度 算法和问题复杂性分析 03B70号 计算机科学中的逻辑 2015年1月5日 精确枚举问题，生成函数 68卢比 计算机科学中的组合数学 68周05 非数值算法 68瓦40 算法分析 关键词：计算复杂性；枚举；地下城与勇士 PDF格式BibTeX公司 XML格式引用 \textit{F.Capelli}和\textit{Y.Strozecki}，离散应用。数学。303203--215（2021；Zbl 1523.68036） 全文： 内政部 arXiv公司 参考文献： [1] A.Amarilli，P.Bourhis，L.Jachiet，S.Mengel，《基于电路的高效枚举方法》，载于：第44届自动控制、语言和编程国际学术讨论会，2017年7月10日至14日，2017年，波兰华沙，第111:1-111:15页·Zbl 1442.68052号 [2] 安德拉德，R。；Wannagat，M。；克莱因，C.C。；阿库尼亚，V。；Marchetti-Paccamela，A。；Milreu，P.V.公司。；斯托吉，L。；Sagot，M.-F.，《代谢网络中最小化学计量前体集合的枚举》，分子生物学算法。，2016年11月1日至25日 [3] 阿维斯博士。；Fukuda，K.，枚举反向搜索，离散应用。数学。，65, 1, 21-46 (1996) ·Zbl 0854.68070号 [4] Bagan，G.，关于树可分解结构的MSO查询可以用线性延迟计算，（计算机科学逻辑国际研讨会（2006），Springer），167-181·Zbl 1225.68268号 [5] 巴特，D。；O.大卫。；Quessette，F。；雷因哈德，V。；斯特罗泽基，Y。；Vial，S.，《化学稳定平面笼的高效生成》（实验算法国际研讨会（2015），Springer），235-246 [6] Böhmová，K。；Häfliger，L。；米哈拉克，M。；Pöger，T。；Sacomoto，G。；Sagot，M.-F.，公共交通网络中的计算和列出st-path，理论计算。系统。，6200-621（2018）·Zbl 1393.68194号 [7] 卡佩利，F。；Strozecki，Y.，《增量延迟枚举：空间和时间》，《离散应用》。数学。(2018) [8] Courcelle，B.，线性延迟枚举和一元二阶逻辑，离散应用。数学。，157, 12, 2675-2700 (2009) ·Zbl 1217.03024号 [9] 北卡罗来纳州克里诺。；Hébrard，J.-J.，关于生成广义可满足性问题的所有解，Inform。西奥。申请。，31, 6, 499-511 (1997) ·兹比尔0901.68075 [10] 杜兰德，A。；Strozecki，Y.，《二阶变量逻辑查询问题的枚举复杂性》（LIPIcs-Leibniz International Proceedings in Informatics，Vol.12（2011），Schloss Dagstuhl-Leibiniz-Zentrum fuer Informatik）·Zbl 1247.68073号 [11] 佛罗里达州。；Daenen，J。；Ramon，J。；Van den Bussche，J。；Van Dyck，D.，增量多项式时间内无上下文语言的Naive无限枚举，J.UCS，21，7，891-911（2015） [12] 弗鲁姆，J。；Grohe，M.，参数化复杂性理论（2006），Springer Science&Business Media·Zbl 1143.68016号 [13] Fredkin，E.，Trie memory，Commun。美国医学会，3，9，490-499（1960） [14] Golovach，P.A。；Heggenes，P。；康德，M.M。；Kratsch，D。；Sæther，S.H.等人。；Villanger，Y.，有界（局部）线性最小宽度图的输出多项式计数，算法，80，2，714-741（2018）·Zbl 1383.05162号 [15] 卡普·R·M。；Luby，M.，Monte-Carlo枚举和可靠性问题算法，（第24届计算机科学基础年度研讨会，1983年（1983），IEEE），56-64 [16] Knuth，D.E.，《计算机编程艺术》，第3卷（1997），培生教育·Zbl 0883.68015号 [17] Knuth，D.E.，《组合算法》，《计算机编程艺术》（2011）第4A卷第1部分，Addison-Wesley Professional·Zbl 1354.68001号 [18] Mary，A.，《最基本的主导理论》（2013），布莱斯·帕斯卡大学（博士论文） [19] A.Mary，Y.Strozecki，《闭包操作产生的解决方案的有效枚举》，载于：第33届计算机科学理论研讨会，2016年·Zbl 1388.68129号 [20] A.玛丽。；Strozecki，Y.，闭包运算产生的解的有效枚举，离散数学。西奥。计算。科学。，21, 3 (2019) ·Zbl 1417.05010号 [21] Meel，K.S。；Shrotri，A.A。；Vardi，M.Y.，并非所有FPRAS都是平等的：为DNF计数揭开FPRAS的神秘面纱，限制，1-23（2018）·Zbl 1483.68498号 [22] Mehlhorn，K.，《数据结构和算法1:排序和搜索》，第1卷（2013年），Springer Science&Business Media [23] 村上，K。；Uno，T.，大型超图对偶的高效算法，离散应用。数学。，17083-94（2014）·Zbl 1288.05188号 [24] 普鲁西，G。；Ruskey，F.，《快速生成线性扩展》，SIAM J.Compute。，2373-386年（1994年）·Zbl 0804.68055号 [25] 里德·R。；Tarjan，R.，列出循环、路径和生成树的回溯算法的界限，网络，5，3，237-252（1975）·Zbl 0316.05125号 [26] Schweikardt，N。；塞古芬，L。；Vigny，A.，无处稠密图上FO查询的枚举，（第37届ACM SIGMOD-SIGACT-SIGAI数据库系统原理研讨会论文集，SIGMOD/PODS’18（2018），ACM:美国纽约州纽约市ACM），151-163，URLhttp://doi.acm.org/10.1145/3196959.3196971 [27] Segoufin，L.，以恒定延迟枚举查询的答案，（第16届数据库理论国际会议论文集（2013），ACM），10-20 [28] Y.Strozecki，枚举复杂性和拟阵分解（博士论文），巴黎72010年7月·Zbl 1287.68082号 [29] Strozecki，Y.，《利用多项式插值枚举单项式和其他组合结构》，《理论计算》。系统。，53, 4, 532-568 (2013) ·Zbl 1298.68096号 [30] Uno，T.，按摊销的恒定时间枚举，（算法和数据结构研讨会（2015），Springer），593-605·Zbl 1451.68361号 [31] Williams，R.，最优2-约束满足的新算法及其含义，Theoret。计算。科学。，348，2-3357-365（2005）·Zbl 1081.68095号 [32] 赖特，R.A。；B.里士满。；奥德利兹科，A。；McKay，B.D.，自由树的恒定时间生成，SIAM J.Compute。，15, 2, 540-548 (1986) ·Zbl 0616.68063号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。