arXiv++ Combinatorics

We study the $k$-Bonacci word over the infinite alphabet $\mathbb{N}$. Since the alphabet is infinite, the usual factor complexity is infinite and does not provide any information. We therefore investigate factor occurrence statistics in the finite iterates. For $k \ge 3$, we obtain closed forms for the generating functions (with respect to the iteration index) that count the number of occurrences of an arbitrary digit in the $n$th iterate. We then characterize the complete set of length-$2$ factors occurring in the infinite word and compute, for each such factor, a closed form for the generating function encoding its number of occurrences across all finite iterates. As a consequence, the associated counting sequences satisfy uniform $(k\!-\!1)$-step Fibonacci-type recurrences and admit a description in terms of $(k\!-\!1)$-Bonacci enumeration phenomena, including self-convolution structures.

A set $S$ of vertices of a digraph $D$ is called an open neighbourhood locating-dominating set if every vertex in $D$ has an in-neighbour in $S$, and for every pair $u,v$ of vertices of $D$, there is a vertex in $S$ that is an in-neighbour of exactly one of $u$ and $v$. The smallest size of an open neighbourhood locating-dominating set of a digraph $D$ is denoted by $γ_{OL}(D)$. We study the class of digraphs $D$ whose only open neighbourhood locating-dominating set consists of the whole set of vertices, in other words, $γ_{OL}(D)$ is equal to the order of $D$. We call those digraphs extremal. By considering digraphs with loops allowed, our definition also applies to the related (and more widely studied) concept of identifying codes. We extend previous studies from the literature for both open neighbourhood locating-dominating sets and identifying codes of both undirected and directed graphs. These results all correspond to studying open neighbourhood locating-dominating sets on special classes of digraphs. To do so, we prove general structural properties of extremal digraphs, and we describe how they can all be constructed. We then use these properties to give new proofs of several known results from the literature. We also give a recursive and constructive characterization of the extremal di-trees (digraphs whose underlying undirected graph is a tree).

An open neighbourhood locating-dominating set is a set $S$ of vertices of a graph $G$ such that each vertex of $G$ has a neighbour in $S$, and for any two vertices $u,v$ of $G$, there is at least one vertex in $S$ that is a neighbour of exactly one of $u$ and $v$. We characterize those graphs whose only open neighbourhood locating-dominating set is the whole set of vertices. More precisely, we prove that these graphs are exactly the graphs all whose connected components are half-graphs (a half-graph is a special bipartite graph with both parts of the same size, where each part can be ordered so that the open neighbourhoods of consecutive vertices differ by exactly one vertex). This corrects a wrong characterization from the literature.

For any integer $k>2$, the infinite $k$-bonacci word $W^{(k)}$, on the infinite alphabet is defined as the fixed point of the morphism $\varphi_k:\mathbb{N}\rightarrow \mathbb{N}^2 \cup \mathbb{N}$, where \begin{equation*} \varphi_k(ki+j) = \left\{ \begin{array}{ll} (ki)(ki+j+1) & \text{if } j = 0,\cdots ,k-2, (ki+j+1)& \text{if } j =k-1. \end{array} \right. \end{equation*} The finite $k$-bonacci word $W^{(k)}_n$ is then defined as the prefix of $W^{(k)}$ whose length is the $(n+k)$-th $k$-bonacci number. We obtain the structure of all square factors occurring in $W^{(k)}$. Moreover, we prove that the critical exponent of $W^{(k)}$ is $3-\frac{3}{2^k-1}$. Finally, we provide all critical factors of $W^{(k)}$.

A subset $D$ of the vertex set $V$ of a graph $G$ is called an $[1,k]$-dominating set if every vertex from $V-D$ is adjacent to at least one vertex and at most $k$ vertices of $D$. A $[1,k]$-dominating set with the minimum number of vertices is called a $γ_{[1,k]}$-set and the number of its vertices is the $[1,k]$-domination number $γ_{[1,k]}(G)$ of $G$. In this short note we show that the decision problem whether $γ_{[1,k]}(G)=n$ is an $NP$-hard problem, even for bipartite graphs. Also, a simple construction of a bipartite graph $G$ of order $n$ satisfying $γ_{[1,k]}(G)=n$ is given for every integer $n\geq (k+1)(2k+3)$.

The Fibonacci word $W$ on an infinite alphabet was introduced in [Zhang et al., Electronic J. Combinatorics 2017 24(2), 2-52] as a fixed point of the morphism $2i\rightarrow (2i)(2i+1)$, $(2i+1) \rightarrow (2i+2)$, $i\geq 0$. Here, for any integer $k>2$, we define the infinite $k$-bonacci word $W^{(k)}$ on the infinite alphabet as the fixed point of the morphism $\varphi_k$ on the alphabet $\mathbb{N}$ defined for any $i\geq 0$ and any $0\leq j\leq k-1$, as \begin{equation*} \varphi_k(ki+j) = \left\{ \begin{array}{ll} (ki)(ki+j+1) & \text{if } j = 0,\cdots ,k-2,\\ (ki+j+1)& \text{otherwise}. \end{array} \right. \end{equation*} We consider the sequence of finite words $(W^{(k)}_n)_{n\geq 0}$, where $W^{(k)}_n$ is the prefix of $W^{(k)}$ whose length is the $(n+k)$-th $k$-bonacci number. We then provide a recursive formula for the number of palindromes occur in different positions of $W^{(k)}_n$. Finally, we obtain the structure of all palindromes occurring in $W^{(k)}$ and based on this, we compute the palindrome complexity of $W^{(k)}$, for any $k>2$.