Dominant areas of computer science and computation systems are intensively linked to the hypercube-related studies and interpretations. This article presents some transformations and analytics for some example algorithms and Boolean domain problems. Our focus is on the methodology of complexity evaluation and integration of several types of postulations concerning special hypercube structures. Our primary goal is to demonstrate the usual formulas and analytics in this area, giving the necessary set of common formulas often used for complexity estimations and approximations. The basic example under considered is the Boolean minimization problem, in terms of the average complexity of the so-called reduced disjunctive normal form (also referred to as complete, prime irredundant, or Blake canonical form). In fact, combinatorial counterparts of the disjunctive normal form complexities are investigated in terms of sets of their maximal intervals. The results obtained compose the basis of logical separation classification algorithmic technology of pattern recognition. In fact, these considerations are not only general tools of minimization investigations of Boolean functions, but they also prove useful structures, models, and analytics for constraint logic programming, machine learning, decision policy optimization and other domains of computer science.
翻译:计算机科学与计算系统的主要领域与超立方体相关的研究和解释紧密相连。本文针对若干示例算法和布尔域问题提出了一些变换与分析。我们的重点在于复杂性评估的方法论,以及对涉及特殊超立方体结构的几类假设的整合。主要目标是展示该领域常用的公式与分析,并提供一组用于复杂性估计和近似的常见公式。所考虑的基本示例是布尔最小化问题,涉及所谓简化析取范式(也称为完全、素无冗余范式或布莱克规范形式)的平均复杂性。实际上,我们以最大区间集为对象,研究了析取范式复杂性的组合对应关系。所获得的结果构成了模式识别的逻辑分离分类算法技术的基础。事实上,这些考量不仅是布尔函数最小化研究的通用工具,还为约束逻辑编程、机器学习、决策策略优化及其他计算机科学领域提供了有用的结构、模型和分析方法。