KAMAK 树猜想的证明

极值图论中有许多引人入胜的问题，它们在无向图情形下已被充分理解，但在有向图中仍然难以捉摸。Hons、Klimošová、Kucheriya、Mikšaník、Tkadlec 和 Tyomkyn 最近研究了一个此类问题的自然实例：哪些有向图必须作为子图出现在所有具有足够大最小出度的有向图中？Hons 等人证明了所有此类有向图必须是具有特定结构的定向森林，并猜想反之，所有具有此特定结构的定向森林都会出现在任何具有足够大最小出度的有向图中。在本文中，我们证实了他们的猜想。