Source author record

Vladimir Gurvich

Vladimir Gurvich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2022arXiv

Supercentenarian paradox

Consider the following statement: $B(t, Δt)$: a $t$ years old person NN will survive another $Δt$ years, where $t, Δt\in \mathbb{R}$ are nonnegative real numbers. We know only that NN is $t$ years old and nothing about the health conditions, gender, race, nationality, etc. We bet that $B(t, Δt)$ holds. It seems that our odds are very good, for any $t$ provided $Δt$ is small enough, say, $1 / 365$ (that is, one day). However, this is not that obvious and depends on the life-time probabilistic distribution. Let $F(t)$ denote the probability to live at most $t$ years and set $Φ(t) = 1 - F(t)$. Clearly, $Φ(t) \rightarrow 0$ as $t \rightarrow \infty$. It is not difficult to verify that $Pr(B(t, Δt)) \rightarrow 0$ as $t \rightarrow \infty$, for any fixed $Δt$, whenever the convergence of $Φ$ is fast enough (say, super-exponential). Statistics provide arguments (based on an extrapolation yet) that this is the case. Hence, for an arbitrarily small positive $Δt $ and $ε$ there exists a sufficiently large $t$ such that $Pr(B(t, Δt)) < ε$, which means that we should not bet... in theory. However, in practice we can bet safely, because for the inequality $Pr(B(t, Δt)) < 1/2$ a very large $t$ is required. For example, $Δt = 1/365$ may require $t > 125$ years for some typical distributions $F$ considered in the literature. Yet, on Earth there is no person of such age. Thus, our odds are good, either because the chosen testee NN is not old enough, or for technical (or, more precisely, statistical) reasons -- absence of a testee. This situation is similar to the famous St.Petersburg Paradox.

preprint2021arXiv

More about Exact Slow $k$-Nim

Given $n$ piles of tokens and a positive integer $k \leq n$, the game Nim$^1_{n, =k}$ of exact slow $k$-Nim is played as follows. Two players move alternately. In each move, a player chooses exactly $k$ non-empty piles and removes one token from each of them. A player whose turn it is to move but has no move loses (if the normal version of the game is played, and wins if it is the misére version). In Integers 20 (2020) 1-19, Gurvich et al gave an explicit formula for the Sprague-Grundy function of Nim$^1_{4, =2}$, for both its normal and misére version. Here we extend this result and obtain an explicit formula for the P-positions of the normal version of Nim$^1_{5, =2}$ and Nim$^1_{6, =2}$.

preprint2020arXiv

Computational Hardness of Multidimensional Subtraction Games

We study algorithmic complexity of solving subtraction games in a~fixed dimension with a finite difference set. We prove that there exists a game in this class such that any algorithm solving the game runs in exponential time. Also we prove an existence of a game in this class such that solving the game is PSPACE-hard. The results are based on the construction introduced by Larsson and Wästlund. It relates subtraction games and cellular automata.

preprint2020arXiv

On the degree sequences of dual graphs on surfaces

Given two graphs $G$ and $G^*$ with a one-to-one correspondence between their edges, when do $G$ and $G^*$ form a pair of dual graphs realizing the vertices and countries of a map embedded in a surface? A criterion was obtained by Jack Edmonds in 1965. Furthermore, let $\boldsymbol{d}=(d_1,\ldots,d_n)$ and $\boldsymbol{t}=(t_1,\ldots,t_m)$ be their degree sequences. Then, clearly, $\sum_{i=1}^n d_i = \sum_{j=1}^m t_j = 2\ell$, where $\ell$ is the number of edges in each of the two graphs, and $χ= n - \ell + m$ is the Euler characteristic of the surface. Which sequences $\boldsymbol{d}$ and $\boldsymbol{t}$ satisfying these conditions still cannot be realized as the degree sequences? We make use of Edmonds' criterion to obtain several infinite series of exceptions for the sphere, $χ= 2$, and projective plane, $χ= 1$. We conjecture that there exist no exceptions for $χ\leq 0$.

preprint2016arXiv

A Convex Programming-based Algorithm for Mean Payoff Stochastic Games with Perfect Information

We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph $G = (V, E)$, with local rewards $r: E \to \ZZ$, and three types of positions: black $V_B$, white $V_W$, and random $V_R$ forming a partition of $V$. It is a long-standing open question whether a polynomial time algorithm for BWR-games exists, even when $|V_R|=0$. In fact, a pseudo-polynomial algorithm for BWR-games would already imply their polynomial solvability. In this short note, we show that BWR-games can be solved via convex programming in pseudo-polynomial time if the number of random positions is a constant.

preprint2015arXiv

A Nested Family of $k$-total Effective Rewards for Positional Games

We consider Gillette's two-person zero-sum stochastic games with perfect information. For each $k \in \ZZ_+$ we introduce an effective reward function, called $k$-total. For $k = 0$ and $1$ this function is known as {\it mean payoff} and {\it total reward}, respectively. We restrict our attention to the deterministic case. For all $k$, we prove the existence of a saddle point which can be realized by uniformly optimal pure stationary strategies. We also demonstrate that $k$-total reward games can be embedded into $(k+1)$-total reward games.

preprint2015arXiv

A Potential Reduction Algorithm for Two-person Zero-sum Mean Payoff Stochastic Games

We suggest a new algorithm for two-person zero-sum undiscounted stochastic games focusing on stationary strategies. Given a positive real $ε$, let us call a stochastic game $ε$-ergodic, if its values from any two initial positions differ by at most $ε$. The proposed new algorithm outputs for every $ε>0$ in finite time either a pair of stationary strategies for the two players guaranteeing that the values from any initial positions are within an $ε$-range, or identifies two initial positions $u$ and $v$ and corresponding stationary strategies for the players proving that the game values starting from $u$ and $v$ are at least $ε/24$ apart. In particular, the above result shows that if a stochastic game is $ε$-ergodic, then there are stationary strategies for the players proving $24ε$-ergodicity. This result strengthens and provides a constructive version of an existential result by Vrieze (1980) claiming that if a stochastic game is $0$-ergodic, then there are $ε$-optimal stationary strategies for every $ε> 0$. The suggested algorithm is based on a potential transformation technique that changes the range of local values at all positions without changing the normal form of the game.

preprint2015arXiv

Slow $k$-Nim

Given $n$ piles of tokens and a positive integer $k \leq n$, we study the following two impartial combinatorial games Nim$^1_{n, \leq k}$ and Nim$^1_{n, =k}$. In the first (resp. second) game, a player, by one move, chooses at least $1$ and at most (resp. exactly) $k$ non-empty piles and removes one token from each of these piles. For the normal and misère version of each game we compute the Sprague-Grundy function for the cases $n = k = 2$ and $n = k+1 = 3$. For game Nim$^1_{n, \leq k}$ we also characterize its P-positions for the cases $n \leq k+2$ and $n = k+3 \leq 6$.

preprint2014arXiv

A four-person chess-like game without Nash equilibria in pure stationary strategies

In this short note we give an example of a four-person finite positional game with perfect information that has no positions of chance and no Nash equilibria in pure stationary strategies. The corresponding directed graph has only one directed cycle and only five terminal positions. It remains open: (i) if the number $n$ of the players can be reduced from $4$ to $3$, (ii) if the number $p$ of the terminals can be reduced from $5$ to $4$, and most important, (iii) whether it is possible to get a similar example in which the outcome $c$ corresponding to all (possibly, more than one) directed cycles is worse than every terminal for each player. Yet, it is known that (j) $n$ cannot be reduced to $2$, (jj) $p$ cannot be reduced to $3$, and (jjj) there can be no similar example in which each player makes a decision in a unique position. Keywords: stochastic, positional, chess-like, transition-free games with perfect information and without moves of chance; Nash equilibrium, directed cycles (dicycles), terminal position.

preprint2013arXiv

On CIS Circulants

A circulant is a Cayley graph over a cyclic group. A well-covered graph is a graph in which all maximal stable sets are of the same size, or in other words, they are all maximum. A CIS graph is a graph in which every maximal stable set and every maximal clique intersect. It is not difficult to show that a circulant G is a CIS graph if and only if G and its complement are both well-covered and the product of the independence and the clique numbers of G is equal to the number of vertices. It is also easy to demonstrate that both families, the circulants and the CIS graphs, are closed with respect to the operations of taking the complement and lexicographic product. We study the structure of the CIS circulants. It is well-known that all P_4-free graphs are CIS. In this paper, in addition to the simple family of the P_4-free circulants, we construct a non-trivial sparse but infinite family of CIS circulants. We are not aware of any CIS circulant that could not be obtained from graphs in this family by the operations of taking the complement and lexicographic product.