A332416-OEIS公司

A332416型

正整数r，使得B（1，r）=B（2，r-1）=…=B（r，1）=0，其中B表示将每对正整数（m，n）映射为1的函数，如果m*2^（n+2）+1是素数除以F（n），其中F（n=A000215号（n））；否则为0。

1, 3, 4, 5, 6, 7, 8, 11, 12, 13, 14, 15, 16, 17, 19, 20, 21, 22, 23, 24, 25, 26, 28, 29, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 44, 46, 47, 48, 50, 51, 52, 53, 54, 55, 56, 57, 58, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 78, 79 (列表;图表;参考;听;历史;文本;内部格式)

	偏移	`1,2`
	评论	`请注意A332414型是此序列的子序列。` `素数q=m2^（n+2）+1不除（F（n+2）-1）^m-1）/F（n）当且仅当q除F（n）。直接含义是我文章中的定理2.24（见链接）。相互暗示的证明（王）：A001146号（n） =2^（2^n）==-1（mod q），所以（F（n+2）-1）^m-1）/F（n）=Sum_{i=0..4m-1}（-1）^（i+1）（2^（2 ^n））^i==-4m（mod q）。`
	链接	`n=1..68时的n、a（n）表。` `洛伦佐·索拉斯（Lorenzo Sauras Altuzarra），通过分析证明和无限图得到的一些算术问题，arXiv:2002.03075[math.NT]，2020年。`
	例子	`3是这个序列的一个项，因为B（1,3）=B（2,2）=B（3,1）=0。`
	枫木	`A332416型：=进程（n）` `局部c、i、k、q、r、v：` `c： =0：` `i： =0：` `r： =1：` `而c<n do` `对于k从0到r-1 do` `q： =（k+1）*2^（r-k+2）+1:` `如果不是素数（q）或（2^（2^-（r-k））+1）mod q！=然后是0` `i： =i+1：` `图1：` `日期：` `如果i=r，则` `v： =r：` `c： =c+1：` `图1：` `i： =0：` `r： =r+1：` `日期：` `返回v：` `结束过程：`
	数学	`选择[Range@29，NoneTrue[Transpose@{#，Reverse@#}&@Range@#，And[PrimeQ[#4]，Mod[（（#3-1）^#1）/（2^（2^#2）+1），#4]！=0] & @@ {#1, #2, 2^(2^(#2 + 2)) + 1, #12^(#2 + 2) + 1} & @@ # &] &] (迈克尔·德弗利格2020年2月14日*）`
	黄体脂酮素	`（PARI）是B（m，t）=假时间（q=4m2^t+1）&&Mod（2，q）^（2^t）==-1；` `isok（r）=总和（i=1，r，isB（i，r-i+1））==0\\王金源2020年2月18日`
	交叉参考	`囊性纤维变性。A000215号（费马数），A001146号,A332414。` `上下文中的序列：A001272号 A273664型 A364099型A047563型 A261604型 A120561号` `相邻序列：A332413型 A332414型 A332415型A332417型 A332418型 A332419型`
	关键词	`非n`
	作者	`洛伦佐·索拉斯（Lorenzo Sauras Altuzarra）2020年2月12日`
	扩展	`a（25）-a（68）来自王金源2020年2月18日`
	状态	`经核准的`