巴鲁克·希伯;丹尼尔·盖斯特;阿亚尔·扎克斯 计算由区间定义的布尔函数的最小DNF表示。 (英语) Zbl 1101.68089号 离散应用程序。数学。 149,编号1-3,154-173(2005). 摘要:对于任意两个(n)位数字(a),定义布尔函数(f_{[a,b]}:\{0,1\}^{n}到\{0,1\})为当且仅当\(x)是区间\(a,b])中数字的二进制表示形式的函数。我们考虑了这类函数的析取范式表示,并说明了如何在线性时间内用最少的析取数计算这类表示。我们还展示了如何计算最小“不相交”表示;即,析取的域相互不相交的表示。最小析取范式可以用于设计用于测试模式自动生成的有效约束满足系统。 引用于5文件 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 06E30年 布尔函数 65年第68季度 算法和问题复杂性分析 关键词:约束满足;自动测试生成;布尔函数;地下城与勇士;虚拟语气范式 PDF格式BibTeX公司 XML格式引用 \textit{B.Schieber}等人,《离散应用》。数学。149,编号1--3,154-173(2005;Zbl 1101.68089) 全文: 内政部 参考文献: [1] Chandra,A.K。;Iyengar,V.S.,《测试用例生成的约束求解——高级设计验证技术》(IEEE国际计算机设计会议(ICCD)论文集,1992年) [2] DeMillo,R.A。;Offutt,A.J.,基于约束的自动测试数据生成,IEEE Trans。软件工程。,17, 9, 900-910 (1991) [3] Garey,M.R。;Johnson,D.S.,《计算机与难处理性:NP-完全性理论指南》(1979),W.H.Freeman:W.H.Freeman NY·Zbl 0411.68039号 [4] 黄,C.-Y。;Cheng,K.-T.,解决自动生成设计验证向量的约束可满足性问题,(IEEE国际高级设计验证与测试研讨会论文集(1999)) [5] Lewin,D。;Fournier,L。;Roytman,E。;Shurek,G.,测试程序生成的约束满足,(第14届IEEE国际计算机与通信凤凰会议论文集(1995)),45-48 [6] Umans,C.,《最小等价DNF问题和最短蕴涵》(IEEE第39届计算机科学基础年会论文集(1998)),556-563 [7] Ziv,A。;Fournier,L.,求解二进制浮点加法运算测试生成的广义掩码约束,Theoret。计算。科学。,291, 2, 183-201 (2003) ·Zbl 1064.68008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。