KAMAK tree conjecture for grounded forests
KAMAK tree conjecture for grounded forests
Let a digraph have a height function be a mapping such that for every arc . An oriented forest is grounded if it admits a height function constant on the set of vertices of in-degree at least . A digraph is -enforcible if there exists such that every digraph with minimum out-degree at least contains a subdigraph isomorphic to .
KAMAK tree conjecture. Every grounded forest is -enforcible.
Hons et al. proved the necessary condition that every -enforcible digraph is a grounded forest. The conjecture asserts sufficiency and is the main result proved in the paper, although the supplied status metadata marks it as open.
Sources & referencesView supporting material
Primary source
Micha Christoph and Raphael Steiner, “Proof of the KAMAK tree conjecture”, arXiv:2505.21367 (2025).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.