Geodesic
Lattice of E-closed classes of multifunctions of rank 2
The Bulletin of Irkutsk State University. Series Mathematics, Tome 48 (2024), pp. 111-128 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

Multifunctions are discrete functions defined on a finite set and returning as their values all subsets of the considered set. The paper considers the classification of multifunctions defined on a two-element set with respect to the E-closure operator. E-closed sets of multifunctions are sets that are closed under superposition, the closure operator with branching by the equality predicate, the identification of variables, and the addition of dummy variables. The concept of separating sets was introduced using a greedy algorithm for the set covering problem, and 22 classes of separating sets were obtained. It is shown that the classification under consideration leads to a finite set of closed classes. The work describes all 359 E-closed classes of multifunctions, among which there are 138 pairs of dual classes and 83 self-dual classes. For each class consisting only of multifunctions, its generating system is indicated.
Keywords: closure, equality predicate, multifunction, closed set
Mots-clés : composition. 
@article{IIGUM_2024_48_a7,
     author = {Boris P. Ilyin and Vladimir I. Panteleev},
     title = {Lattice of {E-closed} classes of multifunctions of rank 2},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {111--128},
     year = {2024},
     volume = {48},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2024_48_a7/}
}
TY  - JOUR
AU  - Boris P. Ilyin
AU  - Vladimir I. Panteleev
TI  - Lattice of E-closed classes of multifunctions of rank 2
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2024
SP  - 111
EP  - 128
VL  - 48
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2024_48_a7/
LA  - ru
ID  - IIGUM_2024_48_a7
ER  - 
%0 Journal Article
%A Boris P. Ilyin
%A Vladimir I. Panteleev
%T Lattice of E-closed classes of multifunctions of rank 2
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2024
%P 111-128
%V 48
%U http://geodesic.mathdoc.fr/item/IIGUM_2024_48_a7/
%G ru
%F IIGUM_2024_48_a7
Boris P. Ilyin; Vladimir I. Panteleev. Lattice of E-closed classes of multifunctions of rank 2. The Bulletin of Irkutsk State University. Series Mathematics, Tome 48 (2024), pp. 111-128. http://geodesic.mathdoc.fr/item/IIGUM_2024_48_a7/

[1] Zinchenko A.S., Ilyin B.P., Panteleev V.I., Ryabets L.V., “On a set of $E$-closed classes of multifunctions on a two-element set”, Algebra, geometriya i kombinatorika, Itogi nauki i tekhniki. Seriya: Sovremennaya matematika i ee prilozheniya. Tematicheskie obzory, 214, VINITI Publ, M., 2022, 30–36 (in Russian) | DOI

[2] Marchenkov S.S., “Closure Operators with Predicate Branching”, Bulletin of Moscow State University. Series 1, Mathematics and Mechanics, 2003, no. 6, 37–39 (in Russian) | Zbl

[3] Marchenkov S.S., “$E$-closed Operator in the Set of Partial Many-Valued Logic Functions”, Mathematical problems in cybernetics, 18, Fizmatlit, M., 2013, 227–238 (in Russian)

[4] Marchenkov S.S., “On parametric closure operator extensions by means of logical connectives”, University proceedings. Volga region. Physical and mathematical sciences, 2017, no. 1, 22–31 (in Russian) | DOI

[5] Marchenkov S.S., “Equational completeness criterion in ternary logic”, University proceedings. Volga region. Physical and mathematical sciences, 2019, no. 4, 29–41 (in Russian) | DOI

[6] Marchenkov S.S., “Extensions of the positive closure operator by using logical connectives”, Journal of Applied and Industrial Mathematics, 12:4 (2018), 678–683 | DOI | DOI | MR | Zbl

[7] Marchenkov S.S., Prostov V.A., “Completeness criterion with respect to the enumeration closure operator in the three-valued logic”, Discrete Mathematics and Applications, 32:2 (2021), 105–114 | DOI | DOI | MR

[8] Marchenkov S.S., “Logical extensions of the parametric closure operator”, Discrete Mathematics and Applications, 33:6 (2022), 371–379 | DOI | DOI | MR | MR

[9] Matveev S.A., “Construction of All $E$-closed Classes of Partial Boolean Functions”, Mathematical problems in cybernetics, 18, Fizmatlit Publ, M., 2013, 239–244

[10] Sharankhaev I.K., “On positive completeness and positively closed sets of multifunctions of rank 2”, Siberian Electronic Mathematical Reports, 20:2 (2023), 1313–1319 (in Russian) | DOI | MR

[11] Machida H., “Hyperclones on a Two-Element Set”, Multiple-Valued Logic. An International Journal, 8:4 (2002), 495–501 | DOI | MR | Zbl

[12] Marchenkov S. S., “The Closure Operator With the Equality Predicate Branching on the Set of Partial Boolean Functions”, Discrete Math. Appl., 18:4 (2008), 381–389 | DOI | MR | Zbl

[13] Panteleev V.I., Riabets L.V., “The Completeness Criterion for Closure Operator with the Equality Predicate Branching on the Set of Multioperations on Two-Element Set”, The Bulletin of Irkutsk State University. Series Mathematics, 29 (2019), 68–85 | DOI | MR | Zbl

[14] Panteleev V.I., Riabets L.V., “E-closed Sets of Hyperfunctions on Two-Element Set”, J. Sib. Fed. Univ. Math. Phys., 13:2 (2020), 231–241 | DOI | MR | Zbl

[15] Panteleev V.I., Riabets L.V., “Classification of Multioperations of Rank 2 by E-precomplete Sets”, The Bulletin of Irkutsk State University. Series Mathematics, 34 (2020), 93–108 | DOI | MR | Zbl