Chris Lambie-Hanson proved recently that for every function there is an -chromatic graph of size such that every -chromatic subgraph of has at least vertices. Previously, this fact was just known to be consistently true due to P. Komj'ath and S. Shelah. We investigate the analogue of this question for directed graphs. In the first part of the paper we give a simple method to construct for an arbitrary $ f:\rightarrow D 2^{\aleph_0} (n+2) D f(n) $ vertices. In the second part we show that it is consistent with arbitrary large continuum that in the previous theorem “uncountably dichromatic” and “of size ” can be replaced by “-dichromatic” and “of size ” respectively where is universally quantified with bounds .

生成讲解博客的中文版本

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