arXiv++ Combinatorics

Given a vertex colouring of the infinite $n$-ary Cantor tree with $m$ colours ($n,m\geq 2$), the natural problem arises: may this colouring induce a bijective colouring of the infinite paths starting at the root, i.e., that every infinite $m$-coloured string is used for some of these paths but different paths are not coloured identically? In other words, we ask if the above vertex colouring may define a bijective short map between the corresponding Cantor spaces. We show that the answer is positive if and only if $n\geq m$, and provide an effective construction of the bijective colouring in terms of Mealy automata and functions defined by such automata. We also show that a finite Mealy automaton may define such a bijective colouring only in the trivial case, i.e. $m=n$.

Let $L$ be a finite sequence of natural numbers. In Woryna (2017,2018), we derived some interesting properties for the ratio $ρ_{n,L}=|PR_n(L)|/|UD_n(L)|$, where $UD_n(L)$ denotes the set of all codes over an $n$-letter alphabet and with length distribution $L$, and $PR_n(L)\subseteq UD_n(L)$ is the corresponding subset of prefix codes. In the present paper, we study the case when the length distributions are three-element sequences. We show in this case that the ratio $ρ_{n,L}$ is always greater than $α_n$, where $α_n=(n-2)/n$ for $n>2$ and $α_2=1/6$. Moreover, the number $α_n$ is the best possible lower bound for this ratio, as the length distributions of the form $L=(1,1,c)$ and $L=(1,2,c)$ assure that the ratios asymptotically approach $α_n$. Namely, if $L=(1,1,c)$, then $ρ_{n,L}$ tends to $(n-2)/n$ with $c\to\infty$, and, if $L=(1,2,c)$, then $ρ_{2,L}$ tends to $1/6$ with $c\to\infty$.

We investigate the ratio $ρ_{n,L}$ of prefix codes to all uniquely decodable codes over an $n$-letter alphabet and with length distribution $L$. For any integers $n\geq 2$ and $m\geq 1$, we construct a lower bound and an upper bound for $\inf_Lρ_{n,L}$, the infimum taken over all sequences $L$ of length $m$ for which the set of uniquely decodable codes with length distribution $L$ is non-empty. As a result, we obtain that this infimum is always greater than zero. Moreover, for every $m\geq 1$ it tends to 1 when $n\to\infty$, and for every $n\geq 2$ it tends to 0 when $m\to\infty$. In the case $m=2$, we also obtain the exact value for this infimum.

For every natural number $n\geq 2$ and every finite sequence $L$ of natural numbers, we consider the set $UD_n(L)$ of all uniquely decodable codes over an $n$-letter alphabet with the sequence $L$ as the sequence of code word lengths, as well as its subsets $PR_n(L)$ and $FD_n(L)$ consisting of, respectively, the prefix codes and the codes with finite delay. We derive the estimation for the quotient $|UD_n(L)|/|PR_n(L)|$, which allows to characterize those sequences $L$ for which the equality $PR_n(L)=UD_n(L)$ holds. We also characterize those sequences $L$ for which the equality $FD_n(L)=UD_n(L)$ holds.

Given integers $1\leq k<n$, the Gusein-Zade version of a generalized secretary problem is to choose one of the $k$ best of $n$ candidates for a secretary, which are interviewing in random order. The stopping rule in the selection is based only on the relative ranks of the successive arrivals. It is known that the best policy can be described by a non--decreasing sequence $(s_1, \ldots, s_k)$ of integers with $l\leq s_l<n$ for every $1\leq l\leq k$, and conversely, any such a sequence determines the general structure of the best policy. We found a finite analytic expression for the probability of success when using the optimal policy with a sequence $(s_1, \ldots, s_k)$. We also study the problem of the construction of the optimal sequence, i.e. a sequence which maximizes the corresponding probability of success. We discovered finite analytic expressions which enable to calculate the elements $s_l$ of an optimal sequence one by one, from $l=k$ to $l=1$. Until now, such expressions were derived separately, and only for the values $k\leq 3$.