?
Re-pairing brackets
P. 312–326.
Chistikov D., Mikhail Vyalyi
Keywords: combinatoricsautomata theory one-counter automataParikh imageDyck languagebalanced parentheses
Publication based on the results of:
In book
Association for Computing Machinery (ACM), 2020.
Springer, 2025.
The second edition of this 5-volume handbook is intended to be a basic yet comprehensive reference work in combinatorial optimization that will benefit newcomers and researchers for years to come. This multi-volume work deals with several algorithmic approaches for discrete problems as well as with many combinatorial problems. The editors have brought together almost every aspect ...
Added: January 18, 2026
Buchstaber V., Spodarev E., Satoshi K. et al., Journal of Physics A: Mathematical and Theoretical 2025 Vol. 58 No. 2 Article 025212
We analyze the numbers of closed paths of length on two important regular lattices: the hexagonal lattice (also called graphene in chemistry) and its dual triangular lattice. These numbers form a moment sequence of specific random variables connected to the distance of a position of a planar random flight (in three steps) from the origin. Here, we refer to such ...
Added: August 22, 2025
Khestanov R., Suvalko A., Социологическое обозрение 2025 Т. 24 № 2 С. 164–189
The article examines the genesis of the concept of novelty and argues that modern difficulties in defining and identifying the new are a symptom of a semantic crisis, which is based on the loss of strategic normativity of novelty in modern culture. Three historical-semantic models of novelty are identified and analyzed: cyclical (characteristic of prehistoric ...
Added: June 29, 2025
М.: Математический институт им. В. А. Стеклова РАН, 2024.
This volume is dedicated to the 80th birthday of Victor Matveevich Buchstaber, Corresponding Member of the Russian Academy of Sciences. The volume includes articles on topology, geometry, combinatorics, and mathematical physics, the areas in which V. M. Buchstaber is a recognized world leader and the head of an active scientific school. Most of the articles are written ...
Added: January 15, 2025
Providence: AMS, 2023.
This book is a translation from Russian of Part III of the book Mathematics via Problems: From Olympiads and Math Circles to Profession. Part I, Algebra, and Part II, Geometry, have been published in the same series.
The main goal of this book is to develop important parts of mathematics through problems. The authors tried to put together sequences ...
Added: March 3, 2024
Ignatov D. I., , in: FCA4AI 2023 What can FCA do for Artificial Intelligence 2023 Proceedings of the 11th International Workshop "What can FCA do for Artificial Intelligence?" co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023) Macao, S.A.R. China; August 20, 2023Vol. 3489.: CEUR-WS.org, 2023. P. 47–56.
The paper aims at not only counting how many basic choice functions exist on a finite set of alternatives (all, non-empty, single-element valued) but shows how to do this with the help of Formal Concept Analysis. Moreover, we introduce the contextual representation of a choice function by considering the formal context of its map from ...
Added: November 23, 2023
Babash A. V., , in: Proceedings of the 10th International Scientific and Practical Conference named after A. I. Kitov "Information Technologies and Mathematical Methods in Economics and Management (IT&MM-2020)"/, Moscow, Russia, October 15-16, 2020Vol. 2830.: CEUR Workshop Proceedings, 2021. P. 337–359.
A trapdoor cipher is a cipher whose algorithm contains some hidden structure (a trapdoor) providing the existence of a subliminal information channel. In cryptographic practice, there could be situations when a constructed cipher may contain some critical defect (a trapdoor) whose identification can significantly weaken the cryptographic strength of this cipher. In this paper, we ...
Added: November 2, 2021
Beisegel J., Chudnovsky M., Gurvich V. et al., , in: Algorithms and Data Structures. WADS 2019. Lecture Notes in Computer ScienceVol. 11646.: Springer, 2019. P. 126–139.
A vertex v in a graph G is said to be avoidable if every induced two-edge path with midpoint v is contained in an induced cycle. Generalizing Dirac’s theorem on the existence of simplicial vertices in chordal graphs, Ohtsuki et al. proved in 1976 that every graph has an avoidable vertex. In a different generalization, Chvátal et al. gave in 2002 a characterization of graphs ...
Added: October 26, 2021
Switzerland: Springer International Publishing, 2021.
Added: September 28, 2021
Cham: Birkhäuser, 2021.
Is published at every edition of EuroComb which is one of the leading conferences in the area worldwide
Presents the most recent achievements in this conference
Collects the extended abstracts of the accepted contributions to EuroComb21 ...
Added: September 8, 2021
Springer, 2020.
This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020.
The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including ...
Added: September 4, 2020
М.: Изд-во механико-математического факультета МГУ, 2019.
Сборник содержит материалы XII Международного семинара «Дискретная математика и ее приложения» имени академика О.Б. Лупанова, проходившего на механико-математическом факультете МГУ имени М. В. Ломоносова с 17 по 22 июня 2019 г. при поддержке Российского фонда фундаментальных исследований (проект 16–01–20345). Семинар охватывает следующие направления в области дискретной математики: теория функциональных систем, синтез, сложность и надежность управляющих ...
Added: October 17, 2019
Bresolin D., Tvardovskii A., Nina Yevtushenko et al., , in: IFAC-PapersOnLine (T.V.51.Вып 7).: Elsevier, 2018. P. 486–492.
Timed automata and timed finite state machins (TFSMs) have been proposed to represent more accurately the behaviour of systems in continuous time. Recently, we introduced a model of TFSMs that extends the expressive power of FSMs by introducing a single clock, timed guards which restrict when the input/output transitions may happen, and timeouts on the ...
Added: November 1, 2018
Rubtsov A. A., , in: Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings.: Cham: Springer, 2018. P. 553–565.
We present a new structural lemma for deterministic con- text free languages. From the first sight, it looks like a pumping lemma, because it is also based on iteration properties, but it has significant distinctions that makes it much easier to apply. The structural lemma is a combinatorial analogue of KC-DCF-Lemma (based on Kolmogorov complexity), ...
Added: September 12, 2018
Cham: Springer, 2018.
This volume of Lecture Notes in Computer Science contains the papers presented at the 22nd International Conference on Developments in Language Theory (DLT 2018) organized by the Algorithmic “Oritatami” Self-Assembly Laboratory as part of the 100th Anniversary Commemorative Events of University of Electro-Communications (UEC) in Fuchu, Tokyo, Japan, during September 10–14, 2018.
The DLT conference series is one ...
Added: September 12, 2018
Avdoshin S. M., Набебин А. А., М.: ДМК Пресс, 2019.
The book contains the necessary information from the algorithm theory, graph theory, combinatorics. It is considered partially recursive functions, Turing machines, some versions of the algorithms (associative calculus, the system of substitutions, grammars, Post's productions, Marcov's normal algorithms, operator algorithms). The main types of graphs are described (multigraphs, pseudographs, Eulerian graphs, Hamiltonian graphs, trees, bipartite ...
Added: August 24, 2018