奇怪的是,这个序列的每一项在它的二次剩余中只多了一个-1,2,3,5,7,11……,因此通过“做最小值”进入序列,并且没有该序列的下一项作为二次剩余。例如,模73的二次剩余包括-1、2和3,但不包括5。对于241,5是二次剩余,而7不是。对于1009,7是但11不是。这应该会在某个时候停止,但我的计算还没有到那里(它们还没有得到电子辅助)。
如果有人想编写一个程序来快速计算这个序列的成员,那么应该在使用二次互易定律可以得到的筛子(以及(-1/p)和(2/p)之间取得平衡(如果不使用完全不同或更聪明的方法)定理),并利用蛮力偶然找到具有右二次剩余的素数。
例如,有2*3*5*6*8*9*11*14=1995840个模8*3*5%7*11*13*17*19*23*29的剩余类,其中包含带-1的奇数素数,最大29的素数为二次剩余。简单地列举这些是计算机的重要工作。
另一方面,生成一个较小的剩余类列表(例如,模为8*3*5*7*11*13*17*19的12960个剩余类包含-1的奇数素数和作为二次剩余的19个素数),然后将p的素性和(23/p)=(29/p)留给偶然(和蛮力)与使用前面描述的完整筛子相比,=1应该是一种更智能的方法来搜索具有-1的最小奇数素数,以及作为二次剩余的素数最多为29的素数。我将这个序列标记为“难”,因为一旦这些项达到20位数左右,扩展它就会变得困难(指数级困难,因为每个项的计算量大约是前一项的两倍)。
我现在已经编写了一个计算机程序来帮助我找到这个序列的成员。其中,项3818929是有趣的,因为它是由先前项建立的模式中的第一个突破,其中使得-1的最小素数p和直到第k个素数的素数是二次残数模p具有作为二次非残数的(k+1)个素数。3818929是最小的p有-1,素数<=41作为二次剩余,但它也有43(但不是47)作为二次余数-大卫·L·哈登2005年5月21日