有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.