arXiv++ Combinatorics

For a graph (undirected or directed), a cycle-factor is a collection of vertex-disjoint cycles covering the entire vertex set. Cycle-factors subject to parity constraints arise naturally in the study of structural graph theory and algorithmic complexity. In this work, we study four variants of the problem of finding a cycle-factor subject to the following parity constraints: (1) all cycles are odd, (2) all cycles are even, (3) at least one cycle is odd, and (4) at least one cycle is even. We show that all the variants of the problem are NP-complete both in undirected and directed graphs, even if each vertex is incident to at most three edges. We also prove that the first two variants are NP-complete even for planar directed graphs.

A [z,r;g]-mixed cage is a mixed graph of minimum order such that each vertex has z in-arcs, z out-arcs, r edges, and it has girth g. We present an infinite family of mixed graphs with girth 6. This construction also provides an upper bound on the minimum order of mixed cages of girth 6. Additionally,we introduce a lower bound on the minimum order for any mixed cage.