Showing 1–12 of 12 results for author: Rubtsov, A

Disjunctive Complexity

Authors: Nikita Ivanov, Alexander Rubtsov, Michael Vyalyi

Abstract: A recently introduced measure of Boolean functions complexity--disjunc\-tive complexity (DC)--is compared with other complexity measures: the space complexity of streaming algorithms and the complexity of nondeterministic branching programs (NBP). We show that DC is incomparable with NBP. Specifically, we present a function that has low NBP but has subexponential DC. Conversely, we provide argumen… ▽ More A recently introduced measure of Boolean functions complexity--disjunc\-tive complexity (DC)--is compared with other complexity measures: the space complexity of streaming algorithms and the complexity of nondeterministic branching programs (NBP). We show that DC is incomparable with NBP. Specifically, we present a function that has low NBP but has subexponential DC. Conversely, we provide arguments based on computational complexity conjectures to show that DC can superpolynomially exceed NBP in certain cases. Additionally, we prove that the monotone version of NBP complexity is strictly weaker than DC. We prove that the space complexity of one-pass streaming algorithms is strictly weaker than DC. Furthermore, we introduce a generalization of streaming algorithms that captures the full power of DC. This generalization can be expressed in terms of nondeterministic algorithms that irreversibly write 1s to entries of a Boolean vector (i.e., changes from 1 to 0 are not allowed). Finally, we discuss an unusual phenomenon in disjunctive complexity: the existence of uniformly hard functions. These functions exhibit the property that their disjunctive complexity is maximized, and this property extends to all functions dominated by them. △ Less

Submitted 29 March, 2025; originally announced March 2025.

Comments: Submitted to DCFS 2025

ACM Class: F.1.3

Computational Model for Parsing Expression Grammars

Authors: Alexander Rubtsov, Nikita Chudinov

Abstract: We present a computational model for Parsing Expression Grammars (PEGs). The predecessor of PEGs top-down parsing languages (TDPLs) were discovered by A. Birman and J. Ullman in the 1960-s, B. Ford showed in 2004 that both formalisms recognize the same class named Parsing Expression Languages (PELs). A. Birman and J. Ullman established such important properties like TDPLs generate any DCFL and som… ▽ More We present a computational model for Parsing Expression Grammars (PEGs). The predecessor of PEGs top-down parsing languages (TDPLs) were discovered by A. Birman and J. Ullman in the 1960-s, B. Ford showed in 2004 that both formalisms recognize the same class named Parsing Expression Languages (PELs). A. Birman and J. Ullman established such important properties like TDPLs generate any DCFL and some non-context-free languages like $a^nb^nc^n$, a linear-time parsing algorithm was constructed as well. But since this parsing algorithm was impractical in the 60-s TDPLs were abandoned and then upgraded by B. Ford to PEGs, so the parsing algorithm was improved (from the practical point of view) as well. Now PEGs are actively used in compilers (eg., Python replaced LL(1)-parser with a PEG one) so as for text processing as well. In this paper, we present a computational model for PEG, obtain structural properties of PELs, namely proof that PELs contain Boolean closure of regular closure of DCFLs and PELs are closed over left concatenation with regular closure of DCFLs. We present an extension of the PELs class based on the extension of our computational model. Our model is an upgrade of deterministic pushdown automata (DPDA) such that during the pop of a symbol it is allowed to return the head to the position of the push of the symbol. We provide a linear-time simulation algorithm for the 2-way version of this model, which is similar to the famous S. Cook linear-time simulation algorithm of 2-way DPDA. △ Less

Submitted 5 September, 2024; v1 submitted 21 June, 2024; originally announced June 2024.

Efficient Mixed Integer Linear Programming Approaches to Dynamic Path Restoration

Authors: Alexander Rubtsov, Bruno Bauwens, Dmitri Shmelkin, Elizaveta Rudenko, Alexey Lavrov

Abstract: We consider the problem of single link failure in an elastic optical network, (also known as flex-grid WDM network). The task is to reroute optical connections that go through the broken link using free capacity of other links of the network. Nowadays, dynamic restoration gains popularity, in which the possiblity of rerouting is only inspected after a link failure is detected. Since the problem of… ▽ More We consider the problem of single link failure in an elastic optical network, (also known as flex-grid WDM network). The task is to reroute optical connections that go through the broken link using free capacity of other links of the network. Nowadays, dynamic restoration gains popularity, in which the possiblity of rerouting is only inspected after a link failure is detected. Since the problem of recovery is NP-hard, heuristic algorithms are used to either find such routes, or suggest that the routes do not exist. In order to understand the quality of these heuristics, often mixed integer linear programming is used to obtain exact positive and negative answers. We present a detailed such model that checks whether restoration is possible without the use of additional regenerators. This means, that the new light paths need to satisfy a length constraint. As preprossing we apply a trimming procedure that takes advantage of this length constraint, and significantly speeds up the evaluation of these models. Our model is more general, and besides solving the problem of link restoration, also solves the full problem of wavelength and spectrum assignment. △ Less

Submitted 14 June, 2024; originally announced June 2024.

Comments: Accepted for IEEE BlackSeaCom conference, 7 pages

A Linear-time Simulation of Deterministic $d$-Limited Automata

Authors: Alexander Rubtsov

Abstract: A $d$-limited automaton is a Turing machine that uses only the cells with the input word (and end-markers) and rewrites symbols only in the first $d$ visits. This model was introduced by T. Hibbard in 1967 and he showed that $d$-limited automata recognize context-free languages for each $d \geq 2$. He also proved that languages recognizable by deterministic $d$-limited automata form a hierarchy an… ▽ More A $d$-limited automaton is a Turing machine that uses only the cells with the input word (and end-markers) and rewrites symbols only in the first $d$ visits. This model was introduced by T. Hibbard in 1967 and he showed that $d$-limited automata recognize context-free languages for each $d \geq 2$. He also proved that languages recognizable by deterministic $d$-limited automata form a hierarchy and it was shown later by Pighizzini and Pisoni that it begins with deterministic context-free languages (DCFLs) (for $d=2$). As well-known, DCFLs are widely used in practice, especially in compilers since they are linear-time recognizable and have the corresponding CF-grammars subclass (LR$(1)$-grammars). In this paper we present a linear time recognition algorithm for deterministic $d$-limited automata (in the RAM model) which opens an opportunity for their possible practical applications. We also generalize this algorithm to deterministic $d(n)$-limited automata: the extension of deterministic $d$-limited automata, where $d$ is not a constant, but a function depending on the input length $n$. △ Less

Submitted 4 December, 2023; originally announced December 2023.

On universality of regular realizability problems

Authors: Alexander Rubtsov, Michael Vyalyi

Abstract: We prove the universality of the regular realizability problems for several classes of filters. The filters are encodings of finite relations on the set of non-negative integers in the format proposed by P. Wolf and H. Fernau. The universality has proven up to disjunctive truth table polynomial reductions for unary relations and polynomial space reductions for invariant binary relations. Stronger… ▽ More We prove the universality of the regular realizability problems for several classes of filters. The filters are encodings of finite relations on the set of non-negative integers in the format proposed by P. Wolf and H. Fernau. The universality has proven up to disjunctive truth table polynomial reductions for unary relations and polynomial space reductions for invariant binary relations. Stronger reductions correspond to the results of P. Wolf and H. Fernau about decidability of regular realizability problems for many graph-theoretic properties. △ Less

Submitted 10 October, 2024; v1 submitted 26 November, 2023; originally announced November 2023.

MSC Class: 68Q45 ACM Class: F.4.3

The Simplest Proof of Parikh's Theorem via Derivation Trees

Authors: Alexander Rubtsov

Abstract: Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that is really short, simple and discloses the nature of this fundamental result. We follow the technique closed to the original Parikh's paper and our proof is sim… ▽ More Parikh's theorem is a fundamental result of the formal language's theory. There had been published many proofs and many papers claimed to provide a simplified proof, but most of them are long and still complicated. We provide the proof that is really short, simple and discloses the nature of this fundamental result. We follow the technique closed to the original Parikh's paper and our proof is similar to the proof by Ryoma Sin'ya 2019, but we provide more detailed exposition and pretend to more simplicity as well. We achieve the simplicity via nonconstructivenes that allows us avoiding many difficulties met by other proofs. △ Less

Submitted 30 December, 2022; originally announced January 2023.

ACM Class: F.4.3

Automata Equipped with Auxiliary Data Structures and Regular Realizability Problems

Authors: Alexander Rubtsov, Mikhail Vyalyi

Abstract: We consider general computational models: one-way and two-way finite automata, and logarithmic space Turing machines, all equipped with an auxiliary data structure (ADS). The definition of an ADS is based on the language of protocols of work with the ADS. We describe the connection of automata-based models with ``Balloon automata'' that are another general formalization of automata equipped with a… ▽ More We consider general computational models: one-way and two-way finite automata, and logarithmic space Turing machines, all equipped with an auxiliary data structure (ADS). The definition of an ADS is based on the language of protocols of work with the ADS. We describe the connection of automata-based models with ``Balloon automata'' that are another general formalization of automata equipped with an ADS presented by Hopcroft and Ullman in 1967. This definition establishes the connection between the non-emptiness problem for one-way automata with ADS, languages recognizable by nondeterministic log-space Turing machines equipped with the same ADS, and a regular realizability problem (NRR) for the language of ADS' protocols. The NRR problem is to verify whether the regular language on the input has a non-empty intersection with the language of protocols. The computational complexity of these problems (and languages) is the same up to log-space reductions. △ Less

Submitted 8 October, 2022; originally announced October 2022.

Comments: 25 pages. An extended version of the conference paper (DCFS 2021), submitted to International Journal of Foundations of Computer Science

MSC Class: 68Q45

Effectively Trainable Semi-Quantum Restricted Boltzmann Machine

Authors: Ya. S. Lyakhova, E. A. Polyakov, A. N. Rubtsov

Abstract: We propose a novel quantum model for the restricted Boltzmann machine (RBM), in which the visible units remain classical whereas the hidden units are quantized as noninteracting fermions. The free motion of the fermions is parametrically coupled to the classical signal of the visible units. This model possesses a quantum behaviour such as coherences between the hidden units. Numerical experiments… ▽ More We propose a novel quantum model for the restricted Boltzmann machine (RBM), in which the visible units remain classical whereas the hidden units are quantized as noninteracting fermions. The free motion of the fermions is parametrically coupled to the classical signal of the visible units. This model possesses a quantum behaviour such as coherences between the hidden units. Numerical experiments show that this fact makes it more powerful than the classical RBM with the same number of hidden units. At the same time, a significant advantage of the proposed model over the other approaches to the Quantum Boltzmann Machine (QBM) is that it is exactly solvable and efficiently trainable on a classical computer: there is a closed expression for the log-likelihood gradient with respect to its parameters. This fact makes it interesting not only as a model of a hypothetical quantum simulator, but also as a quantum-inspired classical machine-learning algorithm. △ Less

Submitted 11 February, 2021; v1 submitted 24 January, 2020; originally announced January 2020.

Comments: 8 pages, 6 figures; misprints have been corrected; numerical experiments have been extended

On computational complexity of Set Automata

Authors: Alexander A. Rubtsov, Mikhail N. Vyalyi

Abstract: We consider a computational model which is known as set automata. The set automata are one-way finite automata with an additional storage---the set. There are two kinds of set automata---the deterministic and the nondeterministic ones. We denote them as DSA and NSA respectively. The model was introduced by M. Kutrib, A. Malcher, M. Wendlandt in 2014. It was shown that DSA-languages look similar… ▽ More We consider a computational model which is known as set automata. The set automata are one-way finite automata with an additional storage---the set. There are two kinds of set automata---the deterministic and the nondeterministic ones. We denote them as DSA and NSA respectively. The model was introduced by M. Kutrib, A. Malcher, M. Wendlandt in 2014. It was shown that DSA-languages look similar to DCFL due to their closure properties and NSA-languages look similar to CFL due to their undecidability properties. In this paper we show that this similarity is natural: we prove that languages recognizable by NSA form a rational cone, so as CFL. The main topic of this paper is computational complexity: we prove that - languages recognizable by DSA belong to P and there are P-complete languages among them; - languages recognizable by NSA are in NP and there are NP-complete languages among them; - the word membership problem is P-complete for DSA without epsilon-loops and PSPACE-complete for general DSA; - the emptiness problem is in PSPACE for NSA and, moreover, it is PSPACE-complete for DSA. △ Less

Submitted 27 October, 2017; v1 submitted 12 April, 2017; originally announced April 2017.

Comments: 31 pages, an extended version of the conference paper (DLT 2017), includes new results and omitted proofs

Regular realizability problems and regular languages

Authors: Alexander A. Rubtsov

Abstract: We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. We consider two kind of problems depending on representation of regular language. If a regular language on input is represented by a DFA, then we obtain (deterministic) regular realizability… ▽ More We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. We consider two kind of problems depending on representation of regular language. If a regular language on input is represented by a DFA, then we obtain (deterministic) regular realizability problem and we show that in this case the complexity of regular realizability problem for an arbitrary regular filter is either L-complete or NL-complete. We also show that in case of representation regular language on input by NFA the problem is always NL-complete. △ Less

Submitted 19 March, 2015; originally announced March 2015.

Regular realizability problems and context-free languages

Authors: Alexander A. Rubtsov, Mikhail N. Vyalyi

Abstract: We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. In this paper we focus on the case of context-free filters. Algorithmic complexity of the RR problem is a very coarse measure of context-free languages complexity. This characteristic is comp… ▽ More We investigate regular realizability (RR) problems, which are the problems of verifying whether intersection of a regular language -- the input of the problem -- and fixed language called filter is non-empty. In this paper we focus on the case of context-free filters. Algorithmic complexity of the RR problem is a very coarse measure of context-free languages complexity. This characteristic is compatible with rational dominance. We present examples of P-complete RR problems as well as examples of RR problems in the class NL. Also we discuss RR problems with context-free filters that might have intermediate complexity. Possible candidates are the languages with polynomially bounded rational indices. △ Less

Submitted 22 April, 2015; v1 submitted 1 March, 2015; originally announced March 2015.

Comments: conference DCFS 2015

Regular realizability problems and models of a generalized nondeterminism

Authors: A. Rubtsov, M. Vyalyi

Abstract: Models of a generalized nondeterminism are defined by limitations on nonde- terministic behavior of a computing device. A regular realizability problem is a problem of verifying existence of a special sort word in a regular language. These notions are closely connected. In this paper we consider regular realizability problems for languages consist- ing of all prefixes of an infinite word. These pr… ▽ More Models of a generalized nondeterminism are defined by limitations on nonde- terministic behavior of a computing device. A regular realizability problem is a problem of verifying existence of a special sort word in a regular language. These notions are closely connected. In this paper we consider regular realizability problems for languages consist- ing of all prefixes of an infinite word. These problems are related to the automata on infinite words and to the decidability of monadic second-order theories. The main contribution is a new decidability condition for regular realizability problems and for monadic-second order theories. We also show that decidability of a regular realizability problem is equivalent to decidability of some prefix realizability problem. △ Less

Submitted 30 May, 2011; originally announced May 2011.

Comments: 13 pages