We prove that there is an absolute constant C>0C>0 so that for every natural nn there exists a triangle-free \emph{regular} graph with no independent set of size at least CnlognCnlogn.
生成讲解博客的中文版本
生成AI智能校验的中文版本