arXiv++ Combinatorics

A questionnaire is a sequence of multiple choice questions aiming to collect data on a population. We define an abstract questionnaire as an ordered pair $(N,{\cal M})$, where $N$ is a positive integer and ${\cal M}=(m_0,m_1,\ldots,m_{N-1})$ is an $N$-tuple of positive integers, with $m_i$, for $i \in \{0, 1, \ldots, N-1 \}$, as the number of possible answers to question $i$. An abstract questionnaire may be endowed with a skip-list (which tells us which questions to skip based on the sequence of answers to the earlier questions) and a flag-set (which tells us which sequences of answers are of special interest). An FS-decision tree is a decision tree of an abstract questionnaire that also incorporates the information contained in the skip-list and flag-set. The main objective of this paper is to represent the abstract questionnaire using a directed graph, which we call an FS-decision digraph, that contains the full information of an FS-decision tree, but is in general much more concise. We present an algorithm for constructing a fully reduced FS-decision digraph, and develop the theory that supports it. In addition, we show how to generate all possible orderings of the questions in an abstract questionnaire that respect a given precedence relation.

We prove that $K_n+I$, the complete graph of an even order with a $1$-factor duplicated, admits a decomposition into $2$-factors, each a disjoint union of cycles of length $m \geq 5$ if and only if $m \mid n$, except possibly when $m$ is odd and $n=4m$. In addition, we show that $K_n+I$ admits a decomposition into $2$-factors, each a disjoint union of cycles of lengths $m_1, \ldots, m_t$, whenever $m_1, \ldots, m_t$ are all even.

The Honeymoon Oberwolfach Problem HOP$(2m_1,2m_2,\ldots,2m_t)$ asks the following question. Given $n=m_1+m_2+\ldots +m_t$ newlywed couples at a conference and $t$ round tables of sizes $2m_1,2m_2,\ldots,2m_t$, is it possible to arrange the $2n$ participants at these tables for $2n-2$ meals so that each participant sits next to their spouse at every meal, and sits next to every other participant exactly once? A solution to HOP$(2m_1,2m_2,\ldots,2m_t)$ is a decomposition of $K_{2n}+(2n-3)I$, the complete graph $K_{2n}$ with $2n-3$ additional copies of a fixed 1-factor $I$, into 2-factors, each consisting of disjoint $I$-alternating cycles of lengths $2m_1,2m_2,\ldots,2m_t$. The Honeymoon Oberwolfach Problem was introduced in a 2019 paper by Lepine and Šajna. The authors conjectured that HOP$(2m_1,2m_2,\ldots,$ $2m_t)$ has a solution whenever the obvious necessary conditions are satisfied, and proved the conjecture for several large cases, including the uniform cycle length case $m_1=\ldots=m_t$, and the small cases with $n \le 9$. In the present paper, we extend the latter result to all cases with $n \le 20$ using a computer search.

The directed Oberwolfach problem OP$^\ast(m_1,\ldots,m_k)$ asks whether the complete symmetric digraph $K_n^\ast$, assuming $n=m_1+\ldots +m_k$, admits a decomposition into spanning subdigraphs, each a disjoint union of $k$ directed cycles of lengths $m_1,\ldots,m_k$. We hereby describe a method for constructing a solution to OP$^\ast(m_1,\ldots,m_k)$ given a solution to OP$^\ast(m_1,\ldots,m_\ell)$, for some $\ell<k$, if certain conditions on $m_1,\ldots,m_k$ are satisfied. This approach enables us to extend a solution for OP$^\ast(m_1,\ldots,m_\ell)$ into a solution for OP$^\ast(m_1,\ldots,m_\ell,t)$, as well as into a solution for OP$^\ast(m_1,\ldots,m_\ell,2^{\langle t \rangle})$, where $2^{\langle t \rangle}$ denotes $t$ copies of 2, provided $t$ is sufficiently large. In particular, our recursive construction allows us to effectively address the two-table directed Oberwolfach problem. We show that OP$^\ast(m_1,m_2)$ has a solution for all $2 \le m_1\le m_2$, with a definite exception of $m_1=m_2=3$ and a possible exception in the case that $m_1 \in \{ 4,6 \}$, $m_2$ is even, and $m_1+m_2 \ge 14$. It has been shown previously that OP$^\ast(m_1,m_2)$ has a solution if $m_1+m_2$ is odd, and that OP$^\ast(m,m)$ has a solution if and only if $m \ne 3$. In addition to solving many other cases of OP$^\ast$, we show that when $2 \le m_1+\ldots +m_k \le 13$, OP$^\ast(m_1,\ldots,m_k)$ has a solution if and only if $(m_1,\ldots,m_k) \not\in \{ (4),(6),(3,3) \}$.

We examine the necessary and sufficient conditions for a complete symmetric equipartite digraph $K_{n[m]}^\ast$ with $n$ parts of size $m$ to admit a resolvable decomposition into directed cycles of length $t$. We show that the obvious necessary conditions are sufficient for $m,n,t \ge 2$ in each of the following four cases: (i) $m(n-1)$ is even; (ii) $\gcd(m,n) \not\in \{1,3\}$; (iii) $\gcd(m,n)=1$ and $4|n$ or $6|n$; and (iv) $\gcd(m,n)=3$, and if $n=6$, then $p|m$ for a prime $p \le 37$.

An Euler tour in a hypergraph $H$ is a closed walk that traverses each edge of $H$ exactly once, and an Euler family is a family of closed walks that jointly traverse each edge of $H$ exactly once. An $\ell$-covering $k$-hypergraph, for $2 \le \ell < k$, is a $k$-uniform hypergraph in which every $\ell$-subset of vertices lie together in at least one edge. In this paper we prove that every $\ell$-covering $k$-hypergraph, for $k \ge 3$, admits an Euler family.

An Euler tour in a hypergraph is a closed walk that traverses each edge of the hypergraph exactly once, while an Euler family is a family of closed walks that jointly traverse each edge exactly once and cannot be concatenated. In this paper, we show how the problem of existence of an Euler tour (family) in a hypergraph $H$ can be reduced to the analogous problem in some smaller hypergraphs that are derived from $H$ using an edge cut of $H$. In the process, new techniques of edge cut assignments and collapsed hypergraphs are introduced. Moreover, we describe algorithms based on these characterizations that determine whether or not a hypergraph admits an Euler tour (family), and can also construct an Euler tour (family) if it exists.

An Euler tour in a hypergraph (also called a rank-2 universal cycle or 1-overlap cycle in the context of designs) is a closed walk that traverses every edge exactly once. In this paper, we define a covering $k$-hypergraph to be a non-empty $k$-uniform hypergraph in which every $(k-1)$-subset of vertices appear together in at least one edge. We then show that every covering $k$-hypergraph, for $k\geq 3$, admits an Euler tour if and only if it has at least two edges.

The Directed Oberwolfach Problem can be considered as the directed version of the well-known Oberwolfach Problem, first mentioned by Ringel at a conference in Oberwolfach, Germany in 1967. In this paper, we describe some new partial results on the Directed Oberwolfach Problem with variable cycle lengths. In particular, we show that the complete symmetric digraph $K_n^{*}$ admits a $( \vec{C}_2, ..., \vec{C}_2, \vec{C}_3) $-factorization for all $ n\equiv 1, 3,$ or $ 7\pmod{8}$. We also show that $K_n^{*}$ admits a $(\vec{C}_2, \vec{C}_{n-2})$-factorization for any integer $n \geq 5$.

Using the technique of amalgamation-detachment, we show that the complete equipartite multigraph $λK_{n\times m}$ can be decomposed into cycles of lengths $c_1m,\dots,c_km$ (plus a 1-factor if the degree is odd) whenever there exists a decomposition of $λm K_n$ into cycles of lengths $c_1, \dots,c_k$ (plus a 1-factor if the degree is odd). In addition, we give sufficient conditions for the existence of some other, related cycle decompositions of the complete equipartite multigraph $λK_{n\times m}$.

We construct new resolvable decompositions of complete multigraphs and complete equipartite multigraphs into cycles of variable lengths (and a perfect matching if the vertex degrees are odd). We develop two techniques: {\em layering}, which allows us to obtain 2-factorizations of complete multigraphs from existing 2-factorizations of complete graphs, and {\em detachment}, which allows us to construct resolvable cycle decompositions of complete equipartite multigraphs from existing resolvable cycle decompositions of complete multigraphs. These techniques are applied to obtain new 2-factorizations of a specified type for both complete multigraphs and complete equipartite multigraphs, with the emphasis on new solutions to the Oberwolfach Problem and the Hamilton-Waterloo Problem. In addition, we show existence of some $α$-resolvable cycle decompositions.

An Euler tour in a hypergraph is a closed walk that traverses each edge of the hypergraph exactly once, while an Euler family, first defined by Bahmanian and Sajna, is a family of closed walks that jointly traverse each edge exactly once and cannot be concatenated. In this paper, we study the notions of a spanning Euler tour and a spanning Euler family, that is, an Euler tour (family) that also traverses each vertex of the hypergraph at least once. We examine necessary and sufficient conditions for a hypergraph to admit a spanning Euler family, most notably, when the hypergraph possesses a vertex cut consisting of vertices of degree two. Moreover, we characterise hypergraphs with a vertex cut of cardinality at most two that admit a spanning Euler tour (family). This result enables us to reduce the problem of existence of a spanning Euler tour (which is NP-complete), as well as the problem of a spanning Euler family, to smaller hypergraphs.

We show that the complete symmetric digraph $K_{2m}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all odd $m$, $5 \le m \le 49$. Consequently, $K_{n}^\ast$ admits a resolvable decomposition into directed cycles of length $m$ for all $n \equiv 0 \pmod{2m}$ and odd $m$, $5 \le m \le 49$.

In this paper we study three substructures in hypergraphs that generalize the notion of an Euler tour in a graph. A flag-traversing tour of a hypergraph corresponds to an Euler tour of its incidence graph, hence complete characterization of hypergraphs with an Euler tour follows from Euler's Theorem. An Euler tour is a closed walk that traverses each edge of the hypergraph exactly once; and an Euler family is a family of closed walks that cannot be concatenated and that jointly traverse each edge of the hypergraph exactly once. Lonc and Naroski have shown that the problem of existence of an Euler tour is NP-complete even on a very restricted subclass of 3-uniform hypergraphs, while we show that the problem of existence of an Euler family is polynomial on the class of all hypergraphs. Furthermore, we examine the necessary conditions for a hypergraph to admit an Euler family (Euler tour, respectively); we show that while these necessary conditions are sufficient for connected graphs, they are not sufficient for general hypergraphs. On the other hand, we exhibit a new class of hypergraphs for which these necessary conditions are also sufficient, extending a result by Lonc and Naroski. We give a partial characterization of hypergraphs with an Euler family (Euler tour, respectively) in terms of the intersection graph of the hypergraph, and a complete (but not easy to verify) characterization in terms of the incidence graph. For hypergraphs with an Euler family, we give a complete verifiable characterization using a theorem of Lovász, and then show that every 3-uniform hypergraph without cut edges admits an Euler family. Finally, we show that a hypergraph admits an Euler family if and only if it can be decomposed into cycles, and exhibit a relationship between 2-factors in a hypergraph and eulerian properties of its dual.

In this paper we study fundamental connectivity properties of hypergraphs from a graph-theoretic perspective, with the emphasis on cut edges, cut vertices, and blocks. To prepare the ground, we define various types of subhypergraphs, as well as various types of walks in a hypergraph. We then prove a number of new results involving cut edges, cut vertices, and blocks. In particular, we describe the exact relationship between the block decomposition of a hypergraph and the block decomposition of its incidence graph.