
Prof. Boris MELNIKOV
Shenzhen MSU – BIT University, China
Title: A polynomial-time algorithm for constructing an optimal inverse morphism
Abstract:
We consider the theme of constructing an optimal inverse morphism, where optimality can be defined as the length of the maximum word of a language that is an inverse morphic image. Instead of considering all subsets of the set of so-called potential roots, which always leads to exponential algorithms, we obtained some various polynomial algorithms in previous publications.
In order to formulate the second of these problems in a way convenient for constructing polynomial algorithms, we have considered some equivalent versions of the special hypothesis of the formal languages theory in previous papers. One of its equivalent formulations can be expressed as follows. For two finite languages not containing the empty word, we can consider the necessary and sufficient condition that the iteration of any of both languages belongs to the set of prefixes of the other language, and write it as follows.
There is some new alphabet, different from the alphabet over which the source languages are set, and above this alphabet there are two maximum prefix codes (generally speaking, different ones) and two languages containing these maximum prefix codes as subsets. In addition, there is some special morphism, and the source languages should be formed by applying this morphism to the languages containing these maximal prefix codes as subsets.
Now, we show that when this hypothesis is fulfilled, a polynomial algorithm for constructing an optimal inverse morphism is possible.
Biography:
Professional Appointments:
-
Nov. 2018 – present, Professor, Faculty of Computational Mathematics and Cybernetics, Shenzhen MSU – BIT University, Shenzhen, China; https://en.smbu.edu.cn/, https://szmsubit.ru/en/.
-
Aug. 2017 – Nov. 2018, Professor, Faculty of Information Technologies, Russian State Social University, Moscow, Russia.
-
Dec. 2016 – Aug. 2017, Main Researcher, Center for Information Technologies and Systems for Executive Authorities, Moscow, Russia.
Education:
-
Nov. 1997, Lomonosov Moscow State University, Doctor of sciences in Mathematical support and software of computers, computer systems, complexes, and nets (05.13.11).
-
Oct. 1988 – Nov. 1990, Lomonosov Moscow State University, Candidate of sciences (PhD) in Mathematical support and software of computers, computer systems, complexes, and nets (05.13.11).
-
Sep. 1979 – Jun. 1984, Lomonosov Moscow State University, Specialist in Applied Mathematics.
-
1979 – Kolmogorov Mathematical High School of Lomonosov Moscow State University.
Visiting professor (1–3 months):
-
1998 – Germany, Leipzig & Dieburg, Fachhochschule Telekom
-
2000 and 2001 – Bulgaria, Varna, Technological University
-
2004 – Czech Republic, Brno, Masarykova Univerzita
-
2006, 2008, and 2014 – Switzerland, Zürich, Eidgenössische Technische Hochschule (Top-10 of the THE-rating)
-
2009 and 2014 – Italia, Politecnico di Milano
-
2010 – Slovakia, Bratislava, Univerzita Komenského
-
2011 – Germany, Berlin, Humbolt Universität
-
2012 – Bulgaria, Sofia, University “St. Kliment Ohridski”
H-index:
-
=23 (http://elibrary.ru/author_items.asp?authorid=15715)
-
=10 (https://www.scopus.com/authid/detail.uri?authorId=55954040300)
Erdős number = 4
Scientific advising:
-
13 PhD (candidate of sciences) thesis, already defended since 1999 – by Russian specialties 05.13.18 and 05.13.17 (Software etc; Mathematical sciences and Technical sciences) and 01.01.09 (Mathematical sciences)
-
about 150 Master, Specialist, and Bachelor thesis defended since 1995
Scientific conferences since May 2023:
-
4th International Conference "Bioinformatics and Intelligent Computing" (BIC 2023), Chengdu, China, May 30 - June 2, 2023
-
8th Combinatorics and Graph Theory Conference (CGT 2023), Chengdu, China, May 30 - June 2, 2023
-
Third International Conference "Mathematics in Armenia: advances and perspectives", Yerevan, Armenia (2 reports), July 2-8, 2023
-
LNCS (Springer) conference "Software Engineering Research in System Science", Czechia (2 reports, on-line), July 9-12, 2023
-
"Mathematical Modeling in Physical Sciences" (12th IC-MSquare), Belgrade, Serbia, August 28–31, 2023
-
International Conference "Artificial Intelligence and Human-Computer Interaction" (ArtInHCI 2023) Wuhan, China (5 reports with co-authors, on-line), October 27-28, 2023
-
7th International Conference "Computer Science and Artificial Intelligence" (CSAI 2023) Beijing, China (2 reports), December 8-10, 2023
-
16th Iranian International Group Theory Conference, Tehran, Iran (4 reports), February 1-2, 2024
-
International Conference "Discrete Applied Mathematics and Mathematical Programming" (ICDAMMP-2024), Mashhad, Iran, February 5-6, 2024 12th International Conference on Bioinformatics and Computational Biology (ICBCB-2024), Tokyo, Japan, March 18-21, 2024
-
9th Combinatorics and Graph Theory Conference (CGT 2024), Kunming, China (Plenary report), May 28-30, 2024
-
LNCS (Springer) conference "Data Analytics in System Engineering", Czechia (2 reports, on-line), February, 24-25 2024
-
International Conference "Mathematics in the constellation of Sciences", Moscow, Russia, 1-2 April 2024
-
LNCS (Springer) conference "Mathematical Modeling in Physical Sciences", Czechia (on-line), 24-25 May 2024
-
8th International School-seminar "Nonlinear Analysis and Extremal Problems", Irkutsk, Russia, 24-28 June 2024
-
Third SMBU-BIT-MSU Youth Forum of Innovation and Technology, Shenzhen, China (Plenary report), October 24, 2024
-
2nd International Conference on Artificial Intelligence and Human-Computer Interaction, Kunming, China (2 reports), October 25-27, 2024
-
"Mathematical Modeling in Physical Sciences" (13th IC-MSquare), Greece (on-line), October 30–31, 2024
-
7th International Symposium on Computational and Applied Mathematics (ISCAM 2024), Sanya, China (Plenary report), November 15-17, 2024
-
8th International Conference "Mechanics, Mathematics and Applied Physics" (ISCAM 2024), Dalian, China (Plenary report), November 22-24, 2024
-
8th International Conference "Computer Science and Artificial Intelligence" (CSAI 2024), Beijing, China (2 reports), December 6-8, 2024
-
Joint conference of Beijing Technological Institute and Shenzhen MSU-BIT University, Beijing, China, January 3-5, 2025
-
13th International Conference on Bioinformatics and Computational Biology (ICBCB-2025), Seoul, South Korea, February 27 - March 2, 2025
-
19th Conference on Parallel Computational Technologies (PCT'2025), Moscow, April 8-11,2025