Journals Information
Computer Science and Information Technology Vol. 8(1), pp. 13 - 23
DOI: 10.13189/csit.2020.080102
Reprint (PDF) (225Kb)
Analysis and Recurrent Calculation of 8th Rank MBF of Maximal Types
Tkachenco V. G. 1,*, Sinyavsky O. V. 2
1 Institute of Radio, Television, Electronics, Odessa National Academy of Telecommunications, Ukraine
2 Department of Fundamental Sciences, Odessa Military Academy, Ukraine
ABSTRACT
This paper is a continuation of the study of monotone Boolean functions (MBFs) of maximal types using MBF partitioning into schemes. When factor out any of the variables out of the brackets, two MBFs are formed: left (in brackets) and right. It proved the possibility of such that take the one of the variables out of the brackets such that any conjunctive clause in the left MBF consists of fewer variables than any conjunctive clause in the right MBF. In addition, the left MBF absorbs the right MBF. For the first time, an important class of MBF of rank 8 - MBF of maximal types was studied and analyzed. The number of MBFs of maximal types of rank 8 and the number of isomorphic classes of such MBFs obtained from pairs of MBFs 7 rank are calculated. An example of the recursive construction MBF 8 rank is shown. Tables and schemes for MBF 8th rank are given. The dependences found between the maximal types MBF nth rank and rank n鈥�1 make it possible to reduce the enumeration of MBFs by constructing rank 8 equivalence classes from rank 7 equivalence classes. The proposed methods are convenient for the analysis of large MBF ranks.
KEYWORDS
Monotone Boolean Functions, MBF Types, Maximal Types, MBF Profile, MBF Schemes, MBF Equivalence Classes
Cite This Paper in IEEE or APA Citation Styles
(a). IEEE Format:
[1] Tkachenco V. G. , Sinyavsky O. V. , "Analysis and Recurrent Calculation of 8th Rank MBF of Maximal Types," Computer Science and Information Technology, Vol. 8, No. 1, pp. 13 - 23, 2020. DOI: 10.13189/csit.2020.080102.
(b). APA Format:
Tkachenco V. G. , Sinyavsky O. V. (2020). Analysis and Recurrent Calculation of 8th Rank MBF of Maximal Types. Computer Science and Information Technology, 8(1), 13 - 23. DOI: 10.13189/csit.2020.080102.