Geodesic
On classes of hyperfunctions of rank 2 generated by maximal multiclones
The Bulletin of Irkutsk State University. Series Mathematics, Tome 21 (2017), pp. 61-76
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The research of multifunctions is a one of the directions in discrete function's investigations. Multifunction is a discrete function from a finite set A to all subsets of A. The set of hyperfunctions is a subset of set of multifunctions. Hyperfunction is a discrete function from a finite set A to all nonempty subsets of A. The subset relation of hyperfunctions to maximal multiclones is a relation of equivalence and according it all hyperfunctions are divided into equivalence classes. Based on this equivalence it is possible to estimate the cardinality of all possible bases, calculate the number of different types of bases of the same cardinality, and construct some intervals of the clone lattice. Knowing the number of maximal clones, we can obtain upper-bound estimate of the number of such classes as the cardinality of the set of all subsets of the set of maximal clones. It possible to lower this estimate by using properties of the hyperfunctions . A lower-bound estimate for the number of classes can be obtained by constructing the corresponding classes. It is noteworthy that the complexity of the problem of describing all equivalence classes increases essentially with the cardinality of the set of maximal clones increasing. This paper considers multifunctions on a two-element set. The number of maximal multiclones equals to 15 (Panteleyev V. I., 2009). The primary purpose of this research is describing the classification of the set of hyperfunctions into equivalence classes. As Kazimirov A. S. and Panteleyev V. I. showed there are 18 equivalence classes on the set of Boolean functions, which is a subset of the set of hyperfunctions. In this paper were obtained special properties of hyperfunctions and were described all the equivalence classes generated by functions of 3 arguments having applied a computer experiment. The obtained results made it possible to show that the subset relation of hyperfunctions to maximal multiclones splits the set of all hyperfunctions into 67 equivalence classes.
Keywords: hyperclone, basis; hyperfunction, complete set, closed set, multifunction.
Mots-clés : superposition 
@article{IIGUM_2017_21_a4,
     author = {V. I. Panteleyev and A. S. Zinchenko},
     title = {On classes of hyperfunctions of rank~2 generated by maximal multiclones},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {61--76},
     year = {2017},
     volume = {21},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a4/}
}
TY  - JOUR
AU  - V. I. Panteleyev
AU  - A. S. Zinchenko
TI  - On classes of hyperfunctions of rank 2 generated by maximal multiclones
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2017
SP  - 61
EP  - 76
VL  - 21
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a4/
LA  - ru
ID  - IIGUM_2017_21_a4
ER  - 
%0 Journal Article
%A V. I. Panteleyev
%A A. S. Zinchenko
%T On classes of hyperfunctions of rank 2 generated by maximal multiclones
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2017
%P 61-76
%V 21
%U http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a4/
%G ru
%F IIGUM_2017_21_a4
V. I. Panteleyev; A. S. Zinchenko. On classes of hyperfunctions of rank 2 generated by maximal multiclones. The Bulletin of Irkutsk State University. Series Mathematics, Tome 21 (2017), pp. 61-76. http://geodesic.mathdoc.fr/item/IIGUM_2017_21_a4/

[1] Kazimirov A. S., Panteleyev V. I., “On the classes of Boolean functions generated by maximal multiclones”, Vestn. Buryat. Gos. Univ., Mat., Inf., 2015, no. 9, 16–22 (in Russian)

[2] Kazimirov A. S., Panteleyev V. I., Tokareva L. V., “Classification and Enumeration of Bases in Clone of All Hyperfunctions on Two-Elements Set”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 7 (2014), 61–78 (in Russian) | Zbl

[3] Panteleyev V. I., “The criteria of completeness for redefining boolean function”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 9:3 (2009), 95–114 (in Russian) | Zbl

[4] Tarasov V. V., “A test for the completeness of not everywhere defined functions of the algebra of logic”, Problemy Kibernet., 30, 1975, 319–325 (in Russian) | Zbl

[5] Yablonskij S. V., “On the Superpositions of Logic Functions”, Mat. Sbornik, 30:2(72) (1952), 329–348 (in Russian) | Zbl

[6] L. Krnic, “Types of bases in the algebra of logic”, Glasnik matematicko-fizicki i astronomski. Ser. 2, 20 (1965), 23–32 | MR

[7] M. Miykawa, I. Stojmenovic, D. Lau, I. Rosenberg, “Classifikation and basis enumarations in many-valued logics”, Proc 17th International Symposium on Multi-Valued logic (Boston, 1987), 151–160

[8] M. Miykawa, I. Stojmenovic, D. Lau, I. Rosenberg, “Classifikation and basis enumarations of the algebras for partial functions”, Proc 19th International Symposium on Multi-Valued logic (Rostock, 1989), 8–13

[9] D. Lau, M. Miykawa, “Classification and enumaration of bases in $P_k(2)$”, Asian-European Journal of Mathematics, 01:02 (2008), 255–282 | DOI | MR

[10] I. Stojmenovic, “Classification of $P_3$ and the enumeration of bases of $P_3$”, Rev. of Res. 14, Fat. of Sci., Math. Ser. Novi Sad., 1984, 73–80 | MR | Zbl

[11] M. Miyakawa, I. Rosenberg, I. Stojmenovic, “Classification of three-valued logical functions preserving 0”, Discrete Applied Mathematics, 28 (1990), 231—249 | DOI | MR | Zbl