加载中…
A. Hajnal and P. Erd\H{o}s proved that a graph with uncountable chromatic number cannot avoid short cycles, it must contain for example (among other obligatory subgraphs). It was shown recently by D. T. Soukup that, in contrast of the undirected case, it is consistent that for any there exists an uncountably dichromatic digraph without directed cycles shorter than . He asked if it is provable already in ZFC. We answer his question positively by constructing for every infinite cardinal and a digraph of size with dichromatic number at least which does not contain directed cycles of length less than as a subdigraph.

生成讲解博客的中文版本

生成AI智能校验的中文版本