arXiv++ Combinatorics

The dichromatic number of a digraph $D$ is the minimum number of colors of a vertex coloring of $D$ such that $D$ has no monochromatic cycles. The Hajós join were recently extended to digraphs (using the dichromatic number) by J. Bang-Jensen et. al. and Hajós (directed) operations is a tool to obtain r-(di)chromatic (di)graphs. J. Bang-Jensen et. al. posed in 2020 the problem of how to obtain the symmetric cycle of length 5 from symmetric cycles of length 3. We recently solved this problem by applying a genetic algorithm. In this article, a procedure is presented to construct any odd symmetric cycle by applying directed Hajós operations to symmetric cycles of length 3, thus, generalizing the known construction of the symmetric cycle of length 5. In addition, this procedure is analyzed to determine its computational complexity.

In 2020 Bang-Jensen et. al. generalized the Hajós join of two graphs to the class of digraphs and generalized several results for vertex colorings in digraphs. Although, as a consequence of these results, a digraph can be obtained by Hajós constructions (directed Hajós join and identifying non-adjacent vertices), determining the Hajós constructions to obtain the digraph is a complex problem. In particular, Bang-Jensen et al. posed the problem of determining the Hajós operations to construct the symmetric 5-cycle from the complete symmetric digraph of order 3 using only Hajós constructions. We successfully adapted a rank-based genetic algorithm to solve this problem by the introduction of innovative recombination and mutation operators from graph theory. The Hajós Join became the recombination operator and the identification of independent vertices became the mutation operator. In this way, we were able to obtain a sequence of only 16 Hajós operations to construct the symmetric cycle of order 5.

If $M$ is an $m \times m$ matrix over $\{ 0, 1, \ast \}$, an $M$-partition of a graph $G$ is a partition $(V_1, \dots V_m)$ such that $V_i$ is completely adjacent (non-adjacent) to $V_j$ if $M_{ij} = 1$ ($M_{ij} = 0$), and there are no further restrictions between $V_i$ and $V_j$ if $M_{ij} = \ast$. Having an $M$-partition is a hereditary property, thus it can be characterized by a set of minimal obstructions (forbidden induced subgraphs minimal with the property of not having an $M$-partition). It is known that for every $3 \times 3$ matrix $M$ over $\{ 0, 1, \ast \}$, there are finitely many chordal minimal obstructions for the problem of determining whether a graph admits an $M$-partition, except for two matrices, $M_1 = \left( \begin{array}{ccc} 0 & \ast & \ast \\ \ast & 0 & 1 \\ \ast & 1 & 0 \end{array} \right)$ and $M_2 = \left( \begin{array}{ccc} 0 & \ast & \ast \\ \ast & 0 & 1 \\ \ast & 1 & 1 \end{array} \right)$. For these two matrices an infinite family of chordal minimal obstructions is known (the same family for both matrices), but the complete set of minimal obstructions is not. In this work we present the complete family of chordal minimal obstructions for $M_1$.