Power domination in generalized undirected de Bruijn graphs and Kautz graphs

To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in graph theory. A set P is a power dominating set (PDS) of a graph G = (V, E), if every vertex and every edge in the system is observed following the observation rules of power system monitoring. The minimum cardinality of a PDS of a graph G is the power domination number γp(G). In this paper, we determine the upper bounds of power domination number of generalized undirected de Bruijn graphs and generalized undirected Kautz graphs.

A Bijective Proof of a Theorem of Knuth

The line graph G of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix Tree Theorem to prove a formula for the number of spanning trees of G, and he asked for a bijective proof [6]. In this paper, we give a bijective proof of Knuth's formula. As a result of this proof, we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2n−1. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine [7].

An Algebraic Analogue of a Formula of Knuth

International audience We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph $G$ and its directed line graph $\mathcal{L} G$. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when $G$ is regular of degree $k$, we show that the sandpile group of $G$ is isomorphic to the quotient of the sandpile group of $\mathcal{L} G$ by its $k$-torsion subgroup. As a corollary we compute the sandpile groups of two families of graphs widely studied in computer science, the de Bruijn graphs and Kautz graphs. Nous généralisons un théorème de Knuth qui relie les arbres couvrants dirigés d'un graphe orienté $G$ au graphe adjoint orienté $\mathcal{L} G$. On peut associer à tout graphe orienté un groupe abélien appelé groupe du tas de sable, et dont l'ordre est le nombre d'arbres couvrants dirigés enracinés en un sommet fixé. Lorsque $G$ est régulier de degré $k$, nous montrons que le groupe du tas de sable de $G$ est isomorphe au quotient du groupe du tas de sable de $\mathcal{L} G$ par son sous-groupe de $k$-torsion. Comme corollaire, nous déterminons les groupes de tas de sable de deux familles de graphes étudiées en informatique: les graphes de de Bruijn et les graphes de Kautz.