拉姆齐数r(5,5)计算量多大