×
恩德雷·博罗斯;乔佩克，Ondřej;彼得·库切拉

CNF极小性证明的分解方法。 （英语） Zbl 1358.68120号

西奥。计算。科学。 510, 111-126 (2013).
总结：如果不存在代表相同函数的较短CNF，则CNF是最小的，其中CNF长度是指子句数或文字总数（子句长度之和）。在本文中，我们开发了一种分解方法，它可以在某些情况下应用于证明CNF公式的极小性。我们给出了使用这种分解方法的两个示例。这两个例子都涉及纯Horn最小化，这是一个定义如下的问题：给定一个纯Horn CNF，构造一个逻辑等价的纯Horn-CNF，它是尽可能最短的（w.r.t.子句数或w.r.t文本总数）。这两个示例都给出了纯Horn最小化的已知复杂性结果的替代证明。

引用于6文件

MSC公司：

65年第68季度 算法和问题复杂性分析
06E30年 布尔函数
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）

关键词：

布尔函数;CNF公司;布尔最小化;喇叭最小化;分解法

软件：

勒图尔
PDF格式BibTeX公司 XML格式引用
\textit{E.Boros}等人，Theor。计算。科学。510111-126（2013年；兹bl 1358.68120）
全文： 内政部

参考文献：

[1] 锤子，P。；Kogan，A.，命题角知识库的最佳压缩：复杂性和近似，Artif。整数。，64, 131-145 (1993) ·Zbl 0935.68105号
[2] Hammer，P.L。；Kogan，A.，《知识压缩-专家系统的逻辑最小化》（IISF/ACM日本国际研讨会论文集（1994），世界科学：世界科学新加坡，东京），306-312
[3] Cook，S.A.，理论证明程序的复杂性，（第三届ACM计算理论研讨会论文集。第三届年度ACM计算原理研讨会论文集，STOC’71（1971），ACM：美国纽约州纽约市ACM），151-158·Zbl 0253.68020号
[4] Umans，C.，最小等价DNF问题和最短蕴涵，J.Compute。系统。科学。，63, 597-611 (2001) ·Zbl 1006.68053号
[5] 乌曼斯，C。；T.维拉。；Sangiovanni-Vincentelli，A.L.，二级逻辑最小化的复杂性，IEEE Trans。计算-辅助设计。集成。电路系统。，25, 1230-1246 (2006)
[6] Buchfuhrer，D。；Umans，C.，《布尔公式最小化的复杂性》，J.Compute。系统。科学。，77, 142-153 (2011) ·Zbl 1218.68089号
[7] Ausiello，G。；阿特里。；Sacca，D.，有向超图的最小表示，SIAM J.Compute。，15, 418-431 (1986) ·Zbl 0602.68056号
[8] Boros，E。；乔佩克，O.，《关于Horn最小化的复杂性》（1994），罗格斯大学：新泽西州新不伦瑞克罗格斯大学，技术报告1-94，RUTCOR研究报告RRR
[9] 乔佩克，O.，《Horn布尔函数的结构性质和最小化》（1995年10月），罗格斯大学：新泽西州新不伦瑞克罗格斯大学，博士论文
[10] Maier，D.，关系数据库模型中的最小覆盖，J.ACM，27664-674（1980）·Zbl 0466.68085号
[11] 锤子，P。；Kogan，A.，《准循环命题Horn知识库：最优压缩》，IEEE Trans。知识。数据工程，7751-762（1995）
[12] Boros，E。；乔佩克，O。；Kogan，A。；Kučera，P.，Horn CNF多项式时间最优可压缩的一个子类，Ann.Math。工件。整数。，57, 249-291 (2009) ·Zbl 1253.68311号
[13] Boros，E。；乔佩克，O。；Kogan，A.，《通过迭代分解实现Horn最小化》，《数学年鉴》。工件。整数。，23, 321-343 (1998) ·兹比尔0913.68192
[14] Boros，E。；乔佩克，O。；Kogan，A。；Kučera，P.，布尔函数蕴涵的唯一集和本质集，离散应用。数学。，158, 81-96 (2010) ·Zbl 1194.06010号
[15] 比戈什。，Hornovskéformule（2010），布拉格查尔斯大学数学和物理系（捷克语）
[16] 乔佩克，O。；库切拉，P.，《关于最小化霍恩公式中文字数量的复杂性》（2008），罗格斯大学：新泽西州新不伦瑞克罗格斯大学，技术报告11，RUTCOR研究报告RRR
[17] Bhattacharya，A。；达斯·古普塔，B。；Mubayi，D。；Turán，G.，《关于近似Horn公式最小化》（Abramsky，S.；Gavoille，C.；Kirchner，C.；Meyer auf der Heide，F.；Spirakis，P.，《计算机科学讲稿》，第6198卷（2010），Springer:Springer Berlin/Heidelberg），438-450·Zbl 1288.68086号
[18] Boros，E。；Gruber，A.，近似纯Horn CNF公式最小化的硬度结果（AI和数学国际研讨会论文集（ISAIM）（2012））·Zbl 1320.68089号
[19] Genesereth，M。；Nilsson，N.，《人工智能逻辑基础》（1987），Morgan Kaufmann:Morgan Koufmann Los Altos，CA·Zbl 0645.68104号
[20] 香港勃宁。；Lettmann，T.，《命题逻辑：演绎与算法》（1999），剑桥大学出版社：剑桥大学出版社，纽约州纽约市，美国·Zbl 0957.03001号
[21] 锤子，P。；Kogan，A.，Horn函数及其DNF，Inf.过程。莱特。，44, 23-29 (1992) ·Zbl 0794.68148号
[22] 道林，W。；Gallier，J.，测试命题Horn公式可满足性的线性时间算法，J.Log。程序。，3, 267-284 (1984) ·Zbl 0593.68062号
[23] 伊泰，A。；Makowsky，J.，《统一作为逻辑编程的复杂性度量》，J.Log。程序。，4, 105-117 (1987) ·兹伯利0641.68143
[24] Minoux，M.，LTUR：霍恩公式和计算机实现的简化线性时间单位分辨率算法，Inf.Process。莱特。，29, 1-12 (1988) ·Zbl 0658.68110号
[25] Garey，M。；Johnson，D.，《计算机与难治性：NP-完备性理论指南》（1979年），W.H.Freeman and Company：W.H.Freeman和Company San Francisco·Zbl 0411.68039号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。