×
塔德乌兹·斯特泽梅基

生成素蕴涵体的多项式时间算法。 （英语） Zbl 0768.68061号

J.复杂性 8，第1号，37-63（1992）.
摘要：介绍了以标准析取范式表示的布尔函数项的邻域立方体的概念。建立了布尔函数的邻域立方体与素蕴涵之间的关系。对素数蕴涵体生成问题的各个方面进行了识别，并开发了基于邻域立方体的求解算法。证明了算法的正确性，并分析了算法的时间复杂度。证明了所有提出的算法在布尔函数的标准析取范式表示中出现的最小项数都是多项式的。本文还总结了解决素数蕴涵体生成问题的已知方法。

引用于5文件

MSC公司：

65年第68季度 算法和问题复杂性分析
94立方厘米 交换理论，布尔代数的应用；布尔函数（MSC2010）
06E30年 布尔函数

关键词：

邻域立方体;布尔函数;析取范式;素蕴涵词;算法的正确性;时间复杂性

软件：

ESPRESSO公司
PDF格式BibTeX公司 XML格式引用
\textit{T.Strzememcki}，J.复杂性8，No.1，37--63（1992；Zbl 0768.68061）
全文： 内政部

参考文献：

[1] Bing，K.，《关于简化真函数公式》，J.符号逻辑，21253（1956）·Zbl 0072.00104号
[2] Biswas，N.N.，布尔函数的计算机辅助最小化程序，IEEE Trans。CAD，CAD-5，2，303-304（1986）
[3] Blake，A.，布尔代数中的标准表达式，（博士论文（1937），芝加哥大学数学系：伊利诺伊州芝加哥大学数学部）
[4] 布雷顿，R.K。；科恩，J.D。；哈希特尔，G.D。；悲剧，B.M。；Yun，D.Y.Y，快速递归布尔函数操作，（电路与系统国际研讨会论文集（1982）），58
[5] Brayton，R.K.，用新的启发式和树修剪策略进行分区互补和最小化，（1982年国际电路与系统研讨会论文集。1982年国际电路与系统研讨会论文集，意大利罗马（1982））
[6] 布雷顿，R.K。；哈希特尔，G.D。；洛杉矶Hemachandra。；牛顿，A.R。；Sangiovanni-Vincentelli，A.L.M，《使用ESPRESSO比较逻辑最小化策略：用于分区逻辑最小化的APL程序包》（1982），IEEECH
[7] 布雷顿，R.K。；麦克马伦，C。；哈希特尔，G.D。；Sangiovanni-Vincentelli，A.，《超大规模集成电路合成的逻辑最小化算法》（1984），Kluwer学术出版社：Kluwer-学术出版社Norwell，MA·Zbl 0565.94020号
[8] 布雷德森，J.D。；Hulina，P.T.，通过直接乘法生成素蕴涵体，IEEE Trans。计算。，C-20、475-476（1971）·Zbl 0245.94030号
[9] Breuer，M.A.，《启发式转换表达式简化》（Proceedings，ACM 23th Natl.Conf.Proceeding，ACM 23 Natl.Conf.，ACM publ.P-68（1968）），241-250
[10] Bubenik，V.，确定素蕴涵无冗余集的加权方法，IEEE Trans。计算。，C-211449-1451（1972）·Zbl 0246.94021号
[11] Carroll，C.C.，布尔函数最小化的快速算法，（陆军导弹司令部技术报告AU-T-3（1968），奥本大学：阿拉巴马州奥本市奥本大学），亚利桑那州亨茨维尔
[12] Caruso，G.，开关函数最小化的局部选择算法，IEEE Trans。计算。，C-33、1、91-97（1984）·兹伯利0528.94029
[13] 钱德拉，A.C。；Markowsky，G.，关于素蕴涵数，离散数学。，1978年7月24日至11日·Zbl 0392.03038号
[14] Dagenais，M.R。；阿加瓦尔，V.K。；北卡罗来纳州鲁明，麦克布尔：精确逻辑最小化的新程序，IEEE Trans。CAD，CAD-5，1，229-238（1986）
[15] 达斯·S·R。；Choudhury，A.K.，开关函数的Maxterm型表达式及其基本含义，IEEE Trans。电子计算机。，EC-14920-923（1965）·Zbl 0143.39503号
[16] Das，S.R.，关于生成素数隐式的新算法的评论，IEEE Trans。计算。，C-20，1614-1615（1971）
[17] 达斯，S.R。；Khabra，N.S.，生成开关函数所有素蕴涵的克劳斯列表方法，IEEE Trans。电子计算。，EC-211239-1246（1972）
[18] Fleisher，H。；Giraldi，R。；菲尼克斯，R。；Tavel，M.，随机布尔函数的最小化，IEEE Trans。计算。，C-38、4593-595（1989）·Zbl 1395.68123号
[19] Fridshal，R.，《奎因算法》（The Quine algorithm），（康奈尔大学符号逻辑夏季研究所（1957）讲座摘要），211
[20] Gavrilov，M.A.，布尔函数最小化，Avtomat。Telemekh.公司。，20, 9, 1217-1238 (1959)
[21] Ghazala，M.J.，布尔函数的非冗余析取和合取形式，IBM J.，171-176（1957）
[22] 嘉宾，C.C。；Mirsalehi，M.M。；Gaylord，T.K.，剩余数系统真值查找处理——模选择和逻辑最小化，IEEE Trans。计算。，C-33、10、927-931（1984）
[23] Hall，F.B.，《通过二元筛方法实现布尔素蕴涵》，AIEE Trans。Commun公司。电子。，80, 709-713 (1962)
[24] Hayes，J.P.，《计算机体系结构与组织》（1978），麦格劳-希尔：麦格劳–希尔纽约·Zbl 0384.68001号
[25] Hong，S.J。；Cain，R.G。；Ostapko，D.L.，《MINI:逻辑最小化的启发式方法》，IBM J.Res.Dev.，18，5（1974）·Zbl 0289.02009
[26] 卡诺，G.，组合逻辑电路综合的映射方法，AIEE Trans。Commun公司。电子。第1、72、593-599页（1953年）
[27] 基恩，A。；Tsiknis，G.，一种生成基本暗示/暗示的增量方法，（技术报告88-16（1988），不列颠哥伦比亚大学计算机科学系）·Zbl 0704.68100号
[28] 凯斯特，W。；里奇，A.E。；Washburn，S.，《开关电路的设计》（1951年），Van Nostrand：纽约，普林斯顿，新泽西州·Zbl 0053.40303号
[29] Kuo，Y.S.，为具有多值输入的布尔函数生成本质素数，IEEE Trans。计算。，C-36、3、356-359（1987）·兹比尔062994020
[30] Ledley，R.S.，《数字计算机和控制工程》（1960），麦格劳-希尔：麦格劳–希尔纽约·Zbl 0121.34803号
[31] Lee，C.Y.，N维立方体上的切换函数，Trans。AIEE第1、73、289-291部分（1954年）
[32] McCluskey，E.J.，布尔函数最小化，贝尔系统。《技术期刊》，35，1417-1444（1956）
[33] McCluskey，E.J.，《开关电路理论导论》（1965），McGrawHill:McGrawHill纽约·Zbl 0192.08105号
[34] 麦克马伦，C。；希勒，J.，《素数蕴涵、最小覆盖和逻辑简化的复杂性》，IEEE Trans。计算。，C-35、8、761-762（1986）
[35] Miller，R.E.，（开关理论，开关理论，组合电路，第一卷（1965），Wiley:Wiley纽约）
[36] Morreale，E.，从规范形式确定素蕴涵的分区列表算法，IEEE Trans。电子。计算。，EC-16、611-620（1967）·Zbl 0171.14704号
[37] Morreale，E.，分区列表算法的计算复杂性，IEEE Trans。计算。，C-19，421-428（1970）·Zbl 0215.60502号
[38] Morreale，E.，素数隐含和无冗余范式确定的递归算子，IEEE Trans。电子。计算。，C-19、6、504-509（1970）·Zbl 0204.32302号
[39] Necula，N.N.，确定布尔函数素蕴涵的数值程序，IEEE Trans。电子。计算。，EC-16、687-689（1967）·Zbl 0171.14801号
[40] Necula，N.N.，布尔函数自动近似最小化算法，IEEE Trans。电子。计算。，C-17、770-782（1968）·Zbl 0169.31801号
[41] Nelson，R.J.，《最简正态真值函数》，J.符号逻辑，20，105-108（1955）·Zbl 0066.25602号
[42] 奥斯塔普科，D.L。；Hong，S.J.，为启发式布尔函数最小化生成测试示例，IBM J.Res.Dev.，18，5（1974）·Zbl 0289.02010
[43] Perkins，S.R。；Rhyne，T.，一种识别和选择多输出布尔函数素蕴涵的算法，IEEE Trans。CAD，CAD-7，11，1215-1218（1988）
[44] Quine，W.V.，《真值函数的简化问题》，Amer。数学。每月，59521-531（1952）·兹比尔0048.24503
[45] Quine，W.V.，简化真值函数的方法，Amer。数学。《月刊》，62627-631（1955）·Zbl 0068.24209
[46] 奎因，W.V.，《关于真值函数的核心和素蕴涵》，美国数学出版社。月刊，66755-760（1959）·Zbl 0201.32203号
[47] Reiter，R。；De Kleer，J.，《基于假设的真相维护系统的基础：初步报告》（Proceeding，AAAI-87（1987）），183-188，华盛顿州西雅图
[48] Reush，B.，从子函数生成素蕴涵和覆盖问题的统一方法，IEEE Trans。计算。，C-24、9、924-930（1975）·Zbl 0318.94033号
[49] Roth，J.P.，《n变量开关系统综合的代数拓扑方法》（1956），高级研究所：高级研究所，新泽西州普林斯顿，ECP56-02
[50] Roth，J.P.，开关系统综合的代数拓扑方法，Trans。阿默尔。数学。Soc.，88，2，301-326（1958年）·Zbl 0083.13103号
[51] Roth，J.P.，合成中的代数拓扑方法，（《开关理论国际研讨会论文集》，第39卷（1959年），哈佛大学计算实验室），57-731957年4月2-5日·Zbl 0281.94013号
[52] Roth，J.P.，《多输出2级最小化问题的微积分和算法》，（研究报告RC-2007（1968），IBM Thomas J.Watson研究中心：IBM Thomas-J.Wasson研究中心，纽约州约克敦高度）
[53] Roth，J.P.，立方复合体理论及其在诊断和算法描述中的应用，（研究报告RC-3675（1972），IBM Thomas J.Watson研究中心：IBM Thomas-J.Wasson研究中心，纽约约克敦高地）
[54] Samson，E.W。；Mills，B.E.，《电路最小化：新布尔正则展开的代数和算法》（技术代表AFRCTC-54-21（1954），AF剑桥研究中心：AF剑桥研发中心，马萨诸塞州贝德福德）
[55] Sasao，T.，多值输入二元函数乘积和表达式的快速补码算法，（第13届多值逻辑国际研讨会论文集（1983）），103-110·Zbl 0561.94016号
[56] Scheinman，A.H.，简化布尔函数的方法，贝尔系统技术杂志，411337-1346（1962）
[57] 斯拉格，J.R。；Chang，C.L。；Lee，R.C.T，结果发现中语义解析的完备性定理，（Proceeding，IJCAI−69（1969）），281-285，华盛顿特区。
[58] 斯拉格，J.R。；Chang，C.L。；Lee，R.C.T，生成素蕴涵的新算法，IEEE Trans。电子。计算。，C-19、4、304-310（1970）·Zbl 0197.14601号
[59] Strzemecki，T.，《小深度电路的构建》（ICYCS’91（1991）论文集），312-316，北京
[60] Sureshchander，开关函数最小化——一种快速技术，IEEE Trans。电子。计算。，C-24、9、753-756（1975年）·兹伯利0318.94036
[61] Svoboda，A.，暗示的排序，IEEE Trans。电子。计算。，1967年10月16日至105日·Zbl 0145.40705号
[62] Tison，P.，一致性理论的推广及其在布尔函数最小化中的应用，IEEE Trans。电子。计算。，EC-16，446-456（1967）·Zbl 0158.16102号
[63] Urbano，R.H。；Mueller，R.K.，一种确定布尔函数最小形式的拓扑方法，IRE-Trans。电子。计算。，EC-5、3、126-132（1956）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。