canBeWritten[an_,n_,ai_]:=解析[Exists[p,Reduce[an==p*ai+1,p,Primes]];canBeWritten[an_,n_]:=或@@(canBeWitten[an,n,#]&)/@表[a[i],{i,1,n-1}];a[1]=1;a[n_]:=a[n]=(an=a[n-1]+1;当[canBeWritten[an,n],an++];an);表[a[n],{n,1,50}](*发件人 _Jean-François Alcover公司, _, 2012年1月11日*)
OEIS服务器: https://oeis.org/edit/global/2066
_莱因哈德·祖姆凯勒_, , <a href=“/A078180型/b078180.txt“>n、a(n)表(n=1..10000)</a>
OEIS服务器: https://oeis.org/edit/global/1934
_莱因哈德·祖姆凯勒, _, <a href=“/A078180型/b078180.txt“>n、a(n)表(n=1..10000)</a>
--_莱因哈德·祖姆凯勒, _, 2012年1月9日
90=89*1+1替换为缺失89_莱因哈德·祖姆凯勒, _, 2012年1月11日
OEIS服务器: https://oeis.org/edit/global/1866
_贝诺伊特·克洛伊特 (贝诺特7848c(在)橙色.前) _ 和保罗·D·汉纳2002年11月20日
OEIS服务器: https://oeis.org/edit/global/216
Benoit Cloitre(benoit7848c(AT)orange.fr)和_保罗·D·汉纳 (保尔达纳(在)朱诺.通用域名格式), _, 2002年11月20日
OEIS服务器: https://oeis.org/edit/global/213
编辑
经核准的
80=79*1+1由Jean-François Alcover删除 (jf公司.阿尔科弗(在)gmail公司.通用域名格式), , 2012年1月11日
90=89*1+1由Reinhard Zumkeller用缺失的89替换 (莱因哈德.祖姆克勒(在)gmail公司.通用域名格式), , 2012年1月11日
提出
(哈斯克尔)
a078180 n=a078180_列表!!(n-1)
a078180_list=1:f 1 1其中
f x k=y:f y(k+1)其中
y=头部[z|z<-[x+1..],全部(qz)$take k a078180_list]
quv=m>0||a010051 u'==0,其中(u',m)=divMod(u-1)v
--Reinhard Zumkeller,2012年1月9日
2012年1月11日,Reinhard Zumkeller(Reinhard.Zumkeller(AT)gmail.com)将90=89*1+1替换为缺失的89
1, 2, 9, 10, 13, 16, 17, 22, 25, 26, 29, 34, 36, 37, 41, 43, 50, 55, 56, 57, 58, 61, 65, 70, 77, 78, 82, 85,90,89,91, 93, 94, 96, 97, 99, 105, 106, 116, 121, 122, 125, 127, 129, 133, 134,136,137,139,142,145,148,149,153,156,160,161,162,163,173
Reinhard Zumkeller,<a href=“/A078180型/b078180.txt“>n、a(n)表(n=1..10000)</a>