登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


修订历史记录A359349飞机

(粗体、蓝色下划线文本是附加;褪色的红色下划线文本是删除.)

显示条目1-10|较旧的更改
初始位,从左到右写入奇数因子(2^e)!模2^e值的2进制极限!。
(历史;已发布版本)
#85通过肖恩·欧文2023年8月20日星期日21:55:12 EDT
状态

提出

经核准的

#84通过乔恩·肖恩菲尔德2023年7月22日星期六23:40:21 EDT
状态

编辑

提出

讨论
7月23日周日
08:07
唐纳德·戴维斯:我觉得不错。你的电话是关于你是否想说根据你的推测你已经计算出512位。我想我们已经准备好上市了。
7月24日周一
01:49
乔恩·肖恩菲尔德:我在评论中包含的猜测不足以获得前512位。
01:52
乔恩·肖恩菲尔德(为此,我不得不使用不同的推测。)
7月27日星期四
09:01
唐纳德·戴维斯:我一直在问,但没有回应。谁发起上市?我想是时候了。
7月30日周日
13:57
乔恩·肖恩菲尔德:我认为目前我们只是在等待其他编辑的审查和批准。
8月13日周日
14:13
唐纳德·戴维斯:真的需要这么长时间吗?2周
#83通过乔恩·肖恩菲尔德2023年7月22日星期六23:26:02 EDT
评论

其中d=2+楼层((B-e)/2)。

讨论
7月22日星期六
23:40
乔恩·肖恩菲尔德:@唐纳德:请接受我的道歉,因为我在这方面做得太慢了:@编辑:请接受我的道歉,因为我对这篇草稿的评论太多太长了,我想除了那些真正全神贯注于这一序列的人之外,任何人都会阅读这篇文章。根据我的观察结果,我决定不写任何关于我获得这个序列的前512项的方式的进一步内容,我认为这是这个序列的前512项,这导致了我在7月15日发表了具有巨大系数的评论。我认为其他人可能会找到(并证明)更好的方法来生成这个序列的更多项。如果你看到我在“评论”或“示例”部分中添加的任何需要更正、澄清、删节等的内容,请告诉我。谢谢!
#82通过乔恩·肖恩菲尔德美国东部时间2023年7月22日星期六23:23:53
评论

stab(n+1,d)=(g[n+1+d]-(g[n+1+d]模2^(n+2))/2^(n+2)模2^d,而

uns(n,d)=(g[n]-(g[n]模2^(n+1))/2^(n+1)模2^d。

发件人乔恩·肖恩菲尔德,2023年7月22日:(开始)

对于任意正整数e,设f(e)是(2^e)!的奇数部分!,即f(e)=(2^e)/2^(2^e-1),设h(m)是所有m位奇数的乘积,即h(m。则f(e)=产品{m=2.e}h(m)^(e+1-m)。

因此,(2^e)奇数部分的B最低有效位!--即,f(e)mod 2^B——可以计算为Product_{m=2..e}h(m)^(e+1-m)mod 2 ^B(其中每次乘法时只保留余数模2^B)。

但是,随着m变大,计算h(m)mod 2^B可能会变得很耗时,因为有2^(m-2)个连续奇数需要相乘。然而,如果以下猜想成立,那么有一种更快的方法来计算那些乘积mod 2^B,这取决于e和B的值。

猜想:对于所有e,B,使得3<=e<B<=3*e-5,

产品{j奇数,j=2^(e-1)+1..2^e-1)==

(乘积_{j奇数,j=2^(e-1)+1..2^(e-1)+2^d-1)^(2^(e-1-d))(模2^B)

其中d=2+楼层((B-e)/2)。

(当d<e-1时,猜想同余右边的乘积只需要计算1/2^(e-1-d)倍的乘法,乘法后该乘积只需平方一次或多次,每次平方后取余数模2^B,因此,这可能比假设同余左边的乘积快得多。)

(结束)

#81通过唐纳德·戴维斯2023年7月14日星期五07:33:03 EDT
例子

(2^4)的奇数部分!是3*(5*3*7)*(9*5*11*3*13*7*15)=3^3*(5%*7)^2*(9*11*13*15) , 哪一个 下面解释了Maple程序。

讨论
7月14日星期五
07:33
唐纳德·戴维斯:我在示例中添加了单词“which”。
7月15日星期六
01:58
乔恩·肖恩菲尔德:谢谢!
01:59
乔恩·肖恩菲尔德:我几乎放弃了一个正式的证明,但我很有信心,条款开始了1,1,0,1,0,0,0,1,0,1,1,0,1,0,0,0,1,0,1,1,1,0,1,1,0,0,0,1,1,1,0,1,1,0,1,0,1,0,0,1,0,0,0,1,0,1,1,0,1,1,0,0,1,0,0,0,0,0,1,1,0,0,1,1,0,0,1,0,1,0,0,1,1,1,1,1,1,0,0,1,0,0,1,0,1,0,0,0,1,1,1,1,0,1,1,0,0,1,0,1,1,1,1,0,0,0,0,1,1,0,1,1,0,1,1,1,1,0,1,0,1,1,1,1,1,1,0,1,1,0,1,1,0,0,1,0,0,1,0,1,0,1,1,1,0,0,1,0,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0,1,1,0,0,0,0,0,0,0,1,1,0,0,1,0,0,0,1,1,0,1,1,0,1,1,1,0,1,0,1,1,0,0,1,1,0,0,1,0,0,1,1,0,1,0,1,0,0,0,0,0,1,0,0,1,0,1,0,1,0,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,1,1,1,0,1,1,0,1,1,0,0,0,1,1,1,1];
02:01
乔恩·肖恩菲尔德:(嗯,除了最后几点,我对所有这些都很有信心。)
02:44
乔恩·肖恩菲尔德:如果我取(273327070719066494069382732370422370410578421308607941114803783863161682885678731+8424305746954588362473288315173736365662703975751956468774*2^e+284813873282390620882075207517624025085602841957756926*2^(2*e)+141604126456161214269456735308010134384175702*2^2(3*e)+25313492515143355858386781202059742711302*2^(4*e)+9254774696015876450689218984388*2^(5*e)+2028890769126487813289218*2*(6*e)+35781094705132865512*2 ^(7*e)+19054638578007934*2^-(8*e)+36486287016*2^2(9*e)+6668498456*2*2^ 78*2^(12*e)+4*2^(13*e))模块2^128,对于e=18..40,我得到了与Links中40X128表中相同的128位。(对于e<18,当e从1增加到17时,上述总和给出了越来越多的(最低有效)协议位。当e增加到17以上时,与我用512位创建的表中相应值一致的位数(精确到e=35)将继续随着e的增加而增加。)
7月16日周日
23:46
乔恩·肖恩菲尔德:我再次尝试了一下,并得出结论,只有我在7月15日星期六01:59列出的最后一个位是错误的。将我列出的八行位中的最后一行更改为“0,0,1,1,0,0,1,0,1,0,1,1,0,01,0,1,1,1,1,1,0,10,1,0”将为前512位提供正确的值。
7月17日星期一
21:03
唐纳德·戴维斯我理解你的猜测,乔恩,以及为什么它有用。这与重复平方的价值有关。我已经在几个婴儿案例中验证了这一点,并花了一些时间试图证明这一点。我有一个想法,明天我将继续追求。
7月18日星期二
11:30
唐纳德·M·戴维斯:我天真地试图证明这个猜想行不通。我不得不把它放在一边。我建议你把猜想放在注释中,并说如果猜想是真的,那么你可以扩展序列,并在注释中列出扩展,但不要在数据部分列出扩展。
7月21日星期五
20:41
唐纳德·戴维斯:这是怎么回事?乔恩,你想证明你的猜测吗?谁决定我们什么时候准备上市?
7月22日星期六
12:02
乔恩·肖恩菲尔德对不起,我忘了我需要做这个-(我今天会尽力完成。
#80通过乔恩·肖恩菲尔德2023年7月13日星期四20:56:33 EDT
链接

Jon E.Schoenfield,<a href=“/A359349飞机/359349个_4.txt“>e=2..40时(2^e)!/2^(2^e-1)的128个最低有效位</a> (具有 这个 1' 一点 这个 左边 结束 空间 插入 之后 这个 (e(电子)+1)标准 一点).

Jon E.Schoenfield,<a href=“/A359349飞机/a359349_4.txt“>链接标题</a>

例子

<--------------稳定位---------------->\<------- 不稳定钻头 ...

讨论
13年7月4日
22:25
乔恩·肖恩菲尔德“(2^4)!的奇数部分是3*(5*3*7)*(9*5*11*3*13*7*15)=3^3*(5*7)^2*(9*11*13*15)解释了下面的Maple程序”中是否缺少一个单词?在“解释”之前应该有一个“which”吗?或者其他东西(可能是句子中的其他地方)?
#79通过乔恩·肖恩菲尔德2023年7月13日星期四20:53:33 EDT
链接

Jon E.Schoenfield,<a href=“/A359349飞机/a359349_4.txt“>链接标题</a>

#78通过乔恩·肖恩菲尔德2023年7月13日星期四20:49:26 EDT
链接

Jon E.Schoenfield,<a href=“/A359349飞机/a359349_3.txt“>e的(2^e)!/2^(2^e-1)的128个最低有效位=12..40</a>(1的位在左端,在第(e+1)位之后插入一个空格)。

例子

下表显示了e=12..40,(2^e)!奇数部分的64个最低有效位!,最低有效位位于左端,并在(e+1)st位之后立即插入空格。对于e=1行之后的每一行,第一个e+1位似乎已收敛到其最终值,并且(e+2)nd位与其表面极限值相反。

1 | 10 00000000000000000000000000000000000000000000000000000000000000

讨论
7月13日星期四
20:49
乔恩·肖恩菲尔德:是的,谢谢!
#77通过乔恩·肖恩菲尔德2013年7月13日星期四08:42:06 EDT 2023
例子

<------------- 聚合的 - 稳定的 位------------->\<---- 未覆盖的 --- 不稳定的

讨论
7月13日星期四
08:49
乔恩·肖恩菲尔德:我可以使用“stable”/“unstable”。我已经对示例部分中的表进行了更改,但需要等到今晚才能更改今晚链接中的表。因此,暂时来说,“未覆盖”仍然未被转换,但很快这两个表都将是“稳定”/“不稳定”表。:-)
08:51
乔恩·肖恩菲尔德:很抱歉,我说得太早了,因为我想证明我的猜测。我仍然认为这是真的,但我的证明方法不起作用-(
13:02
唐纳德·戴维斯:次要建议:从表中删除e=1行,因为其空格左侧的位不稳定。
#76通过乔恩·肖恩菲尔德2023年7月12日星期三22:33:05 EDT
数据

1, 1, 0, 1, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 1, 1,0,1,0,1,0,0,1,0

扩展

a(22)-a(3341)来自乔恩·肖恩菲尔德,7月10 12 2023

讨论
7月12日星期三
22:41
乔恩·肖恩菲尔德:@All:Donald+编辑:我已经放大了示例部分中的表格,并将链接中的表格替换为更大的表格。现在是一个还是两个都太大了?如果是这样的话,我很乐意将它们缩减到大家一致认为适合它们的大小。
22:52
乔恩·肖恩菲尔德:我可能弄错了,但我*认为*我可以从上面的粉盒评论中证明这个猜想,即对于所有e,B都是这样的,即3<=e<B<=3*e-5,oddProd(2^(e-1)+1,2^e-1)==oddProd-(2^-(e-1。如果这个猜想被证明了,那么,尽管我可能会弄错,但我认为应该不难确定前87位(足以将数据填充到260个字符)以及之后的几个位的确切值。我想我记得,不久前,有人决定,对于一个所有项都是一位数非负数的序列(特别是带有关键字:cons的序列),105项并不过分。如果我的猜想能够被证明,那么我想我可以用一个可能需要几天时间才能运行的程序计算出前105项。但也许这么多术语在这里会被认为是过度的?
22:53
乔恩·肖恩菲尔德:(在我写“@All:Donald+editors:”的地方,我的意思只是说“@Donald+editors:”……对不起,这是漫长的一天。):-(
22:57
乔恩·肖恩菲尔德:@编辑:如果在任何时候(包括现在)您认为最好修剪/抛光需要的任何部分,并继续批准此序列,那么我很乐意推迟任何进一步的添加,以免耽搁时间。(我打算下一步尝试,这可以等到序列发布后再做,如果它现在看起来差不多准备好了,那就是尝试证明我的猜想,如果我可以的话,或者如果其他人先证明它!——把数据扩展到87个项。)
13年7月4日
07:45
唐纳德·戴维斯:我认为扩展表很好。我喜欢你把聚合部分和未覆盖部分都贴上标签。我在猜想中使用了稳定和不稳定这两个术语。我们可能应该保持一致。虽然我更喜欢稳定,但我愿意改变。我现在并不想证明我或你的猜测;我忙于其他事情。我认为40比特就足够了。

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年9月23日17:39。包含376178个序列。(在oeis4上运行。)