有n个人，其中有k个人相识，l个人不相识。请问n最少有几个人？
这个公式记做r(k，l)=n。
这是英国数理逻辑学家西塔潘在上个世纪90年代提出的。
其中r(3，3)=6.
用计算机穷举遍历r(4，5)=25.
r(5，5)的计算量极大。
而2011年5月，刘路否定r(3，3)=6.
