Сергей Серафимович Марченков, Sergey Seraphimovich Marchenkov
{"title":"О проблеме равенства конечно-порожденных классов экспоненциально-полиномиальных функций","authors":"Сергей Серафимович Марченков, Sergey Seraphimovich Marchenkov","doi":"10.4213/dm1666","DOIUrl":null,"url":null,"abstract":"Рассматривается класс $\\mathrm{EP}_{\\mathbb N}$ экспоненциально-полиномиальных функций, которые можно получить произвольными суперпозициями из констант 0, 1 и арифметических функций сложения, умножения и возведения в степень. Для этого класса решается алгоритмическая проблема равенства двух функций, принимающих конечное число значений. Далее этот класс сужается до класса $\\mathrm{PEP}_{\\mathbb N}$, в котором функция $x^y$ заменена последовательностью функций $\\{p_i^x\\}$, где $p_0, p_1,\\ldots$ - все простые числа. Для класса $\\mathrm{PEP}_{\\mathbb N}$ проблема принадлежности функции конечно-порожденному классу эффективно сводится к проблеме равенства двух функций. Последняя проблема эффективно решается для множества всех одноместных функций из $\\mathrm{PEP}_{\\mathbb N}$.","PeriodicalId":42607,"journal":{"name":"Prikladnaya Diskretnaya Matematika","volume":"62 13 1","pages":""},"PeriodicalIF":0.2000,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Prikladnaya Diskretnaya Matematika","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4213/dm1666","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
О проблеме равенства конечно-порожденных классов экспоненциально-полиномиальных функций
Рассматривается класс $\mathrm{EP}_{\mathbb N}$ экспоненциально-полиномиальных функций, которые можно получить произвольными суперпозициями из констант 0, 1 и арифметических функций сложения, умножения и возведения в степень. Для этого класса решается алгоритмическая проблема равенства двух функций, принимающих конечное число значений. Далее этот класс сужается до класса $\mathrm{PEP}_{\mathbb N}$, в котором функция $x^y$ заменена последовательностью функций $\{p_i^x\}$, где $p_0, p_1,\ldots$ - все простые числа. Для класса $\mathrm{PEP}_{\mathbb N}$ проблема принадлежности функции конечно-порожденному классу эффективно сводится к проблеме равенства двух функций. Последняя проблема эффективно решается для множества всех одноместных функций из $\mathrm{PEP}_{\mathbb N}$.
期刊介绍:
The scientific journal Prikladnaya Diskretnaya Matematika has been issued since 2008. It was registered by Federal Control Service in the Sphere of Communications and Mass Media (Registration Witness PI № FS 77-33762 in October 16th, in 2008). Prikladnaya Diskretnaya Matematika has been selected for coverage in Clarivate Analytics products and services. It is indexed and abstracted in SCOPUS and WoS Core Collection (Emerging Sources Citation Index). The journal is a quarterly. All the papers to be published in it are obligatorily verified by one or two specialists. The publication in the journal is free of charge and may be in Russian or in English. The topics of the journal are the following: 1.theoretical foundations of applied discrete mathematics – algebraic structures, discrete functions, combinatorial analysis, number theory, mathematical logic, information theory, systems of equations over finite fields and rings; 2.mathematical methods in cryptography – synthesis of cryptosystems, methods for cryptanalysis, pseudorandom generators, appreciation of cryptosystem security, cryptographic protocols, mathematical methods in quantum cryptography; 3.mathematical methods in steganography – synthesis of steganosystems, methods for steganoanalysis, appreciation of steganosystem security; 4.mathematical foundations of computer security – mathematical models for computer system security, mathematical methods for the analysis of the computer system security, mathematical methods for the synthesis of protected computer systems;[...]