arXiv++ Combinatorics

Nash-Williams proved that every graph has a well-balanced orientation. A key ingredient in his proof is admissible odd-vertex pairings. We show that for two slightly different definitions of admissible odd-vertex pairings, deciding whether a given odd-vertex pairing is admissible is co-NP-complete. This resolves a question of Frank. We also show that deciding whether a given graph has an orientation that satisfies arbitrary local arc-connectivity requirements is NP-complete.

Given a mixed hypergraph $\mathcal{F}=(V,\mathcal{A}\cup \mathcal{E})$, functions $f,g:V\rightarrow \mathbb{Z}_+$ and an integer $k$, a packing of $k$ spanning mixed hyperarborescences is called $(k,f,g)$-flexible if every $v \in V$ is the root of at least $f(v)$ and at most $g(v)$ of the mixed hyperarborescences. We give a characterization of the mixed hypergraphs admitting such packings. This generalizes results of Frank and, more recently, Gao and Yang. Our approach is based on matroid intersection, generalizing a construction of Edmonds. We also obtain an algorithm for finding a minimum weight solution to the above mentioned problem.

We attempt to generalize a theorem of Nash-Williams stating that a graph has a $k$-arc-connected orientation if and only if it is $2k$-edge-connected. In a strongly connected digraph we call an arc {\it deletable} if its deletion leaves a strongly connected digraph. Given a $3$-edge-connected graph $G$, we define its Frank number $f(G)$ to be the minimum number $k$ such that there exist $k$ orientations of $G$ with the property that every edge becomes a deletable arc in at least one of these orientations. We are interested in finding a good upper bound for the Frank number. We prove that $f(G)\leq 7$ for every $3$-edge-connected graph. On the other hand, we show that a Frank number of $3$ is attained by the Petersen graph. Further, we prove better upper bounds for more restricted classes of graphs and establish a connection to the Berge-Fulkerson conjecture. We also show that deciding whether all edges of a given subset can become deletable in one orientation is NP-complete.

Fortier et al. proposed several research problems on packing arborescences. Some of them were settled in that article and others were solved later by Matsuoka and Tanigawa and by Gao and Yang. The last open problem is settled in this article. We show how to turn an inductive idea used in the latter two articles into a simple proof technique that allows to relate previous results on arborescence packings. We show how a strong version of Edmonds' theorem on packing spanning arborescences implies Kamiyama, Katoh and Takizawa's result on packing reachability arborescences and how Durand de Gevigney, Nguyen and Szigeti's theorem on matroid-based packing of arborescences implies Király's result on matroid-reachability-based packing of arborescences. Finally, we deduce a new result on matroid-reachability-based packing of mixed hyperarborescences from a theorem on matroid-based packing of mixed hyperarborescences due to Fortier et al.. In the last part of the article, we deal with the algorithmic aspects of the problems considered. We first obtain algorithms to find the desired packings of arborescences in all settings and then apply Edmonds' weighted matroid intersection algorithm to also find solutions minimizing a given weight function.

Durand de Gevigney and Szigeti \cite{DgGSz} have recently given a min-max theorem for the $(2,k)$-connectivity augmentation problem. This article provides an $O(n^3(m+ n \textrm{ }log\textrm{ }n))$ algorithm to find an optimal solution for this problem.