只看一件事。”
他顿了顿，用红笔重重写下两个字。
“‘差值’。”
“如果x-y是GF(q)里的‘二次剩余’，那么它们之间就有边。
如果不是，就没有。”
“二次剩余？”
这个词简瑶知道，就是指一个数在模q的意义下，能被写成另一个数的平方。
比如在模5的意义下，1和4就是二次剩余，因为1=1=4，4=2=3。
“对。”
许燃点头，“比如，我们直接攻击R(5，5)的下界，构造一个41阶的图。
取q=41，因为它是一个素数，且41=4*10+1。”
“我们构造佩利图P(41)。”
“它的顶点，就是0， 1， 2，...， 40。”
“顶点2和顶点5之间有没有边？”许燃看向简瑶。
“5-2=3，我们需要判断3是不是模41的二次剩余……”简瑶迅速心算，却发现这并不容易。
“很难算，对吧？”
许燃笑了笑，“但数学的美妙在于，我们不需要一个一个去算。
高斯早就为我们铺好了路。”