184 research outputs found
On Path Partitions and Colourings in Digraphs
Abstract. We provide a new proof of a theorem of Saks which is an extension of Greene's Theorem to acyclic digraphs, by reducing it to a similar, known extension of Greene and Kleitman's Theorem. This suggests that the Greene-Kleitman Theorem is stronger than Greene's Theorem on posets. We leave it as an open question whether the same holds for all digraphs, that is, does Berge's conjecture concerning path partitions in digraphs imply the extension of Greene's theorem to all digraphs (conjecture
Out-degree reducing partitions of digraphs
Let be a fixed integer. We determine the complexity of finding a
-partition of the vertex set of a given digraph such
that the maximum out-degree of each of the digraphs induced by , () is at least smaller than the maximum out-degree of . We show
that this problem is polynomial-time solvable when and -complete otherwise. The result for and answers a question
posed in \cite{bangTCS636}. We also determine, for all fixed non-negative
integers , the complexity of deciding whether a given digraph of
maximum out-degree has a -partition such that the digraph
induced by has maximum out-degree at most for . It
follows from this characterization that the problem of deciding whether a
digraph has a 2-partition such that each vertex has at
least as many neighbours in the set as in , for is
-complete. This solves a problem from \cite{kreutzerEJC24} on
majority colourings.Comment: 11 pages, 1 figur
Berge's conjecture on directed path partitions—a survey
AbstractBerge's conjecture from 1982 on path partitions in directed graphs generalizes and extends Dilworth's theorem and the Greene–Kleitman theorem which are well known for partially ordered sets. The conjecture relates path partitions to a collection of k independent sets, for each k⩾1. The conjecture is still open and intriguing for all k>1.11Only recently it was proved Berger and Ben-Arroyo Hartman [56] for k=2 (added in proof). In this paper, we will survey partial results on the conjecture, look into different proof techniques for these results, and relate the conjecture to other theorems, conjectures and open problems of Berge and other mathematicians
- …