SearcharxivSearch

arXiv subjects

M. Vyalyi

Publications and source records attributed to M. Vyalyi.

4 recordsLinked to original sources

On Remoteness Functions of Exact Slow $k$-NIM with $k+1$ Piles

Given integer $n$ and $k$ such that $0 < k \leq n$ and $n$ piles of stones, two player alternate turns. By one move it is allowed to choose any $k$ piles and remove exactly one stone from each. The player who has to move but cannot is the loser. Cases $k=1$ and $k = n$ are trivial. For $k=2$ the game was solved for $n \leq 6$. For $n \leq 4$ the Sprague-Grundy function was efficiently computed (for both the normal and misère versions). For $n = 5,6$ a polynomial algorithm computing P-positions was obtained. Here we consider the case $2 \leq k = n-1$ and compute Smith's remoteness function, whose even values define the P-positions. In fact, an optimal move is always defined by the following simple rule: if all piles are odd, keep a largest one and reduce all other; if there exist even piles, keep a smallest one of them and reduce all other. Such strategy is optimal for both players, moreover, it allows to win as fast as possible from an N-position and to resist as long as possible from a P-position.

math.CO

Regular realizability problems and models of a generalized nondeterminism

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.

cs.FL

Orbits of linear maps and regular languages

We settle the equivalence between the problem of hitting a polyhedral set by the orbit of a linear map and the intersection of a regular language and a language of permutations of binary words (the permutation filter realizability problem). The decidability of the both problems is presently unknown and the first one is a straightforward generalization of the famous Skolem problem and the nonnegativity problem in the theory of linear recurrent sequences. To show a `borderline' status of the permutation filter realizability problem with respect to computability we present some decidable and undecidable problems closely related to it.

cs.FL

Commutative version of the k-local Hamiltonian problem and common eigenspace problem

We study the complexity of a problem "Common Eigenspace" -- verifying consistency of eigenvalue equations for composite quantum systems. The input of the problem is a family of pairwise commuting Hermitian operators H_1,...,H_r on a Hilbert space (C^d)^{\otimes n} and a string of real numbers h_1,...,h_r. The problem is to determine whether a common eigenspace specified by equalities (H_a - h_a)|ψ>=0, a=1,...,r, has a positive dimension. We consider two cases: (i) all operators H_a are k-local; (ii) all operators H_a are factorized. It can be easily shown that both problems belong to the class QMA - the quantum analogue of NP, and that some NP-complete problems can be reduced to either (i) or (ii). A non-trivial question is whether the problems (i) or (ii) belong to NP? We show that the answer is positive for some special values of k and d. Also we prove that the problem (ii) can be reduced to its special case, such that all operators H_a are factorized projectors and all h_a=0.

quant-ph