摘要
运用计算机构造了一个既不含4顶点完全图、也不含17顶点独立集的162阶循环图,得到了Ramsey数R(4,17)的下界:R(4,17)≥163.
A method is put forward to establish the lower bounds for the classical Ramsey numbers.With this method the new explicit lower bound is obtained using a computer.
出处
《甘肃高师学报》
2012年第5期7-7,共1页
Journal of Gansu Normal Colleges