设万维读者为首页 万维读者网 -- 全球华人的精神家园 广告服务 联系我们 关于万维
 
首  页 新  闻 视  频 博  客 论  坛 分类广告 购  物
搜索>> 发表日志 控制面板 个人相册 给我留言
帮助 退出
     
  慕容青草的博客
  哲学与信仰
网络日志正文
考拉兹幂集运算 2026-10-23 11:55:47

戴榕菁

1. 引言

本文为对探索考拉兹猜想感兴趣的读者提供一种简单便利的分析工具,望能对最终破解考拉兹猜想有所帮助,特别是对那些具有本博所不具有的算力的读者在这方面的工作有所助益。

2. 考拉兹幂集(简称幂集)

定义1. 幂集

满足下述条件的随位置下标单调上升的正整数集合(S={Ni}, i=0,…,n单调上升且Ni随i单调上升)为考拉兹幂集(简称幂集):

(i)项并运算^S:

从右至左检查S,遇到有三项一样的Ni=Ni+1=Ni+2,跳过第三项Ni,合并前两项Ni+1和Ni+2,令{ Ni+2, Ni+1}={ Ni +1},例子:{10,10,10}={11,10};遇到只有相邻两项一样的Ni=Ni+1,则令{ Ni+1,Ni}={ Ni +1},例子:{0,0}={1}。然后将所有元素下标重新从右至左单调排序,S’={N’i}, i=0,…,n’.

 (ii) 幂集之倍运算2S或2×S:

2S=2×S = {Ni +1}, i=0,…,n 单调上升且Ni随i单调上升。

例子:S={11,8,4,2,0}, 则2S= {12,9,5,3,1}

(iii)加运算+:

单调正整数集S={Ni}与正整数N的加运算S1=S+N为如下运算:

从右至左检查S,将N插入到Ni与Ni+1之间,使得Ni≤N≤Ni+1,然后重新挑战下标使其成为由0至n+1的单调上升序列。

例子:S={9,6,4,3}, S1=S+5={9,6,5,4,3}

(iii.1)增运算++:

S的增运算S++为在S的尾部(最右边)增加一项0。

例子:S= {12,9,5,3,1}, S++={12,9,5,3,1,0}

(iii.2)和运算+:

单调正整数集S1={N1j1} (j1=0,…,n1 单调上升且N1j1随j1单调上升)与S2={ N2j2} (j2=0,…,n2 单调上升且N2j2随j2单调上升) 的和运算S=S1+S2为下述操作:

将{N1j1}与{ N2j2}合并为一个单调正整数集S={Ni}, i=0,…,n1+n2+1

例子:S1={9,7,5,3,1}, S2={8,6,4,2}则S=S1+S2={9,8,7,6,5,4,3,2,1},其下标由0至8。

(iv)减运算-

当单调正整数集S={Ni}, i=0,…,n的最左边的元素Nn≥正整数N时,它们之间的减运算S1=S-N为如下运算:

从右至左检查S,如果遇到Ni=N,则将Ni除去,并重新调整下标;如果有Ni<N<Ni+1,则将Ni+1拆成两项Ni+1-1和Ni+1-1,如果N< Ni+1-1,则继续将右边的那个Ni+1-1拆成Ni+1-2和Ni+1-2,如此重复直到获得Ni+1-k=N,将两个Ni+1-k中的一个除去,且重新调整下标。

例子:S={39,26,24,13,8,5}, N=6,则S-6={39,26,24,13,7,6,5}

(iv.1) 降运算--:

当S的尾项(最右边那项)为0时,S的降运算S--为除去S的尾部(最右边)0。

例子: S={12,9,5,3,1,0}, S--={12,9,5,3,1}

(iv.2)分运算-:

单调正整数集S1={N1j1} (j1=0,…,n1 单调上升且N1j1随j1单调上升)与S2={ N2j2} (j2=0,…,n2 单调上升且N2j2随j2单调上升) 之间当N1n1> N2n2时可进行的分运算S=S1-S2为下述操作:

用S1运用上述减运算逐一除去S2中的元素。

例子:S1={6},S2={5,4},则S=S1-S2={4}

(v)集并运算#:

单调正整数集S1={N1j1} (j1=0,…,n1 单调上升且N1j1随j1单调上升)与S2={ N2j2} (j2=0,…,n2 单调上升且N2j2随j2单调上升) 之间的集并运算#为如下的操作:

a) 进行S1与S2的和运算:令S’=S1+S2

b) 对S’进行项并运算:S=^S’

在上面这些定义的基础上,如果有需要,我们还可衍生出幂集的乘运算与除运算的定义。

定义2. 幂集之项差集

令幂集S={Ni}, i=0,…,n,则Sd={Δi}为S的项差集,其中Δi=Ni-Ni-1,i=1,…,n 单调上升。假如n=1,则Sd为空集。

3. 考拉兹运算

定义3. 幂集之准考拉兹变换(运算)

令幂集S={Ni}, i=0,…,n,其准考拉兹变换为以下的操作:

a) 对S进行倍运算:

令S1=2S={Ni +1}, i=0,…,n

例子: S={ 11,8,4,2,0},S1=2S={ 12,9,5,3,1},

b) 进行S1与S的并运算#然后进行增运算:

令S2={S1#S}++

例子:S2= S1#S={12,11,9,8,5,4,3,2,1,0,0}

c) 对S2进行项并运算^:

S2’=^S2={12,11,9,8,5,4,3,2,1,1}

S2’’=^S2’={12,11,9,8,5,4,3,2,2}

S2’’’=^S2’’={12,11,9,8,5,4,3,3}

S[4]=^S2’’’={12,11,9,8,5,4,4}

S[5]=^ S[4]={12,11,9,8,5,5}

S[6]= ^S[5]={12,11,9,8,6}

伴随着上述准考拉兹运算,我们还可算出相应的项差集:

Sd={3,4,2,2}

S[6]d={1,2,1,2}

定义4. 幂集之考拉兹变换(运算)

考拉兹变换与上述的准考拉兹变换的区别为:准考拉兹运算不要求尾项(最右边的项)为0,而考拉兹运算要求初始的幂集的尾项为0,且在项并运算完成后要减去最后一项的值才成为考拉兹运算:

上面的例子的初始幂集{11,8,4,2,0}满足考拉兹运算的条件,只是在项并之后还要减去最后一项的值:

S[6]’={12,11,9,8,6}-6={6,5,3,2,0}

可以看出S[6]’d= S[6]d。

4. 考拉兹猜想

有了上述幂集和项差集的定义后,考拉兹猜想可改写为:

任意幂集S={Ni} (i=0,…,n)可通过一系列考拉兹变换收敛为{0}。

5. 考拉兹变换长(下降)短(上升)周期

从尾项为0的幂集经过准考拉兹变换后如果其尾项为1,则为短周期(上升周期);如果其尾项大于1,则为长周期(上升周期)。

6. 幂集的子集类型

6.1. 幂集之子集的三种类型(参见【[1]】)

类型I:项差集Sd的所有 Δi=1, 标记为SI

类型II:项差集Sd的所有Δi=2, 标记为SII

类型III:项差集Sd的所有Δi>2, 标记为SIII

6.2. 幂集子集的九种亚类型

类型I.1: 当最右边的一个子集为类型I,该子集称为尾I型

类型I.2: 当最左边的一个子集为类型I,该子集称为头I型

类型I.3: 当整个幂集S为类型I,S称为全I型

类型II.1: 当最右边的一个子集为类型II,该子集称为尾II型

类型II.2: 当最左边的一个子集为类型II,该子集称为头II型

类型II.3: 当整个幂集S为类型II,S称为全II型

类型III.1: 当最右边的一个子集为类型III,该子集称为尾III型

类型III.2: 当最左边的一个子集为类型III,该子集称为头III型

类型III.3: 当整个幂集S为类型III,S称为全III型

7. 相关定理

定理1.  连续N次考拉兹变换为短周期的充要条件是:初始幂集之尾部长度为N+1的子集为尾I型子集。

证:本定理的证明可由“关于考拉兹猜想的哲学分析”【[2]】一文中的定理3.1和3.2直接推出。

QED

定理2. 幂集S经过一次考拉兹变换收敛于{0}的充要条件是S为全II型幂集。

证:本定理可由“再给AI添点料”【[3]】一文的定理直接推出。

QED

定理3.幂集{n,0}不可能由任何其它幂集经过考拉兹变换获得。

证:这个定理由二进制展开证明比较方便。有兴趣的读者可以自己去试一下。这里略去。

8. 讨论

上述三个定理虽然简单,也涵盖了三种幂集类型的一些基本特征。

9. 例子

S={4,0}

S1=2S#S={5,1}#{4,0}={5,4,1,0,0}={5,4,2}

S2=S1-2={3,2,0}

S3=2S2#S2={4,3,1}#{3,2,0}={4,3,3,2,1,0,0}={5,3}

S4=S3-3={2,0}

S5=2S4#S4={3,1}#{2,0}={3,2,1,0,0}={4}

S6=S5-4={0}

10.结束语

随着我对考拉兹猜想的了解的加深,我越来越相信考拉兹猜想应该是能够破解的。目前专业数学界流传的所谓的“考拉兹猜想超出了人类数学及AI所能触及的范围”这种说法用哲学进行翻译就是目前的数学界缺乏相关的语言储备。而哲学不但如怀特海所说的是以语言为基本工具更是如老子所意指的创造新语言储备的重要实践。如本博在“关于考拉兹猜想的哲学分析”【2】一文中提到的,本博有关考拉兹猜想的分析论证的一个重要的目的就是为今后AI或人工证明考拉兹猜想提供一些新的语言储备,而本博过去几周里所提出的定义,分类,定理,以及本文所介绍的幂集及其项差集的分析方法都是在为这一目标做些贡献。



【[1]】戴榕菁(2026) 进一步分析考拉兹猜想

【[2]】戴榕菁(2026)关于考拉兹猜想的哲学分析

【[3]】戴榕菁(2026)再给AI添点料


浏览(113) (0) 评论(0)
发表评论
我的名片
慕容青草
来自: ny
注册日期: 2007-08-15
访问总量: 2,371,530 次
点击查看我的个人资料
Calendar
我的公告栏
错误 vs 犯错的原因
拆房
如何锁定人类科学
20世纪物理学
复杂情势下之最佳优先考虑
成功与别人的帮助
对抗真理的结果
旧房子的哲学
拔枯树
站与踩
哲学是公开的密码
普朗克论科学真理之传播
黑格尔论学习的过程
黑格尔论逻辑
自勉
欢迎交流
最新发布
· 考拉兹幂集运算
· 进一步分析考拉兹猜想
· 小结
· 再给AI添点料
· 关于考拉兹猜想的哲学分析
· 还要看是什么样的假说叠假说。。
· 两个不同角度的哲学分析之意义
存档目录
2026-10-03 - 2026-10-23
2026-09-02 - 2026-09-30
2026-08-10 - 2026-08-28
2026-07-05 - 2026-07-16
2026-06-03 - 2026-06-30
2026-05-07 - 2026-05-28
2026-04-06 - 2026-04-28
2026-03-09 - 2026-03-28
2026-02-03 - 2026-02-21
2026-01-04 - 2026-01-27
2025-12-05 - 2025-12-30
2025-11-04 - 2025-11-26
2025-10-01 - 2025-10-29
2025-09-30 - 2025-09-30
2025-06-01 - 2025-06-29
2025-05-03 - 2025-05-28
2025-04-04 - 2025-04-28
2025-03-03 - 2025-03-31
2025-02-05 - 2025-02-26
2025-01-05 - 2025-01-31
2024-12-02 - 2024-12-31
2024-11-05 - 2024-11-28
2024-10-02 - 2024-10-31
2024-09-01 - 2024-09-18
2024-08-01 - 2024-08-31
2024-07-02 - 2024-07-29
2024-06-01 - 2024-06-28
2024-05-02 - 2024-05-28
2024-04-01 - 2024-04-30
2024-03-02 - 2024-03-29
2024-02-03 - 2024-02-29
2024-01-01 - 2024-01-30
2023-12-05 - 2023-12-24
2023-11-06 - 2023-11-27
2023-10-02 - 2023-10-29
2023-09-01 - 2023-09-29
2023-08-01 - 2023-08-31
2023-07-01 - 2023-07-31
2023-06-01 - 2023-06-30
2023-05-02 - 2023-05-29
2023-04-04 - 2023-04-29
2023-03-03 - 2023-03-29
2023-02-01 - 2023-02-28
2023-01-01 - 2023-01-30
2022-12-02 - 2022-12-31
2022-11-02 - 2022-11-23
2022-10-09 - 2022-10-31
2022-09-01 - 2022-09-30
2022-08-01 - 2022-08-21
2022-07-02 - 2022-07-31
2022-06-15 - 2022-06-25
2022-05-06 - 2022-05-27
2022-04-07 - 2022-04-30
2022-03-03 - 2022-03-28
2022-02-01 - 2022-02-28
2022-01-01 - 2022-01-30
2021-12-01 - 2021-12-29
2021-11-02 - 2021-11-29
2021-10-02 - 2021-10-29
2021-09-08 - 2021-09-30
2021-08-08 - 2021-08-31
2021-07-18 - 2021-07-26
2021-06-03 - 2021-06-27
2021-05-04 - 2021-05-29
2021-04-04 - 2021-04-28
2021-03-08 - 2021-03-27
2021-02-12 - 2021-02-28
2021-01-04 - 2021-01-28
2020-12-02 - 2020-12-30
2020-11-01 - 2020-11-26
2020-10-06 - 2020-10-29
2020-09-01 - 2020-09-29
2020-08-06 - 2020-08-27
2020-07-02 - 2020-07-27
2020-06-07 - 2020-06-29
2020-05-01 - 2020-05-31
2020-04-17 - 2020-04-30
2020-03-08 - 2020-03-20
2020-02-20 - 2020-02-24
2020-01-10 - 2020-01-31
2019-12-02 - 2019-12-31
2019-11-07 - 2019-11-30
2019-10-07 - 2019-10-30
2019-09-14 - 2019-09-26
2019-08-13 - 2019-08-21
2019-07-23 - 2019-07-29
2019-06-06 - 2019-06-23
2019-05-05 - 2019-05-25
2019-04-01 - 2019-04-22
2019-03-07 - 2019-03-29
2019-02-09 - 2019-02-27
2019-01-01 - 2019-01-21
2018-12-01 - 2018-12-31
2018-11-04 - 2018-11-24
2018-10-01 - 2018-10-30
2018-09-01 - 2018-09-30
2018-08-01 - 2018-08-29
2018-07-02 - 2018-07-27
2018-06-02 - 2018-06-26
2018-05-13 - 2018-05-28
2018-04-03 - 2018-04-28
2018-03-02 - 2018-03-28
2018-02-10 - 2018-02-28
2018-01-08 - 2018-01-27
2017-12-06 - 2017-12-30
2017-11-09 - 2017-11-25
2017-10-15 - 2017-10-15
2017-09-05 - 2017-09-30
2017-08-05 - 2017-08-27
2017-07-14 - 2017-07-24
2017-06-09 - 2017-06-24
2017-05-02 - 2017-05-02
2017-04-04 - 2017-04-26
2017-03-02 - 2017-03-30
2017-02-02 - 2017-02-27
2017-01-25 - 2017-01-30
2016-12-04 - 2016-12-31
2016-11-16 - 2016-11-23
2016-10-04 - 2016-10-27
2016-09-08 - 2016-09-29
2016-08-02 - 2016-08-31
2016-07-02 - 2016-07-27
2016-06-08 - 2016-06-30
2016-05-02 - 2016-05-22
2016-04-01 - 2016-04-13
2016-03-06 - 2016-03-31
2016-02-07 - 2016-02-23
2016-01-18 - 2016-01-18
2015-12-04 - 2015-12-30
2015-11-02 - 2015-11-27
2015-10-25 - 2015-10-29
2015-09-06 - 2015-09-24
2015-07-11 - 2015-07-25
2015-06-22 - 2015-06-22
2015-05-01 - 2015-05-29
2015-04-14 - 2015-04-14
2015-03-07 - 2015-03-22
2015-02-02 - 2015-02-21
2015-01-20 - 2015-01-20
2014-12-06 - 2014-12-06
2014-11-08 - 2014-11-24
2014-10-03 - 2014-10-20
2014-09-09 - 2014-09-27
2014-08-16 - 2014-08-16
2014-07-12 - 2014-07-25
2014-06-08 - 2014-06-14
2014-05-09 - 2014-05-16
2014-04-02 - 2014-04-29
2014-03-01 - 2014-03-28
2014-02-03 - 2014-02-28
2014-01-02 - 2014-01-29
2013-12-02 - 2013-12-30
2013-11-02 - 2013-11-27
2013-10-02 - 2013-10-29
2013-09-02 - 2013-09-28
2013-08-02 - 2013-08-31
2013-07-01 - 2013-07-26
2013-06-05 - 2013-06-21
2013-05-06 - 2013-05-31
2013-04-08 - 2013-04-30
2013-03-01 - 2013-03-28
2013-02-07 - 2013-02-27
2013-01-11 - 2013-01-29
2012-12-01 - 2012-12-26
2012-11-15 - 2012-11-15
2012-10-07 - 2012-10-28
2012-09-05 - 2012-09-28
2012-08-24 - 2012-08-24
2012-07-03 - 2012-07-20
2012-06-02 - 2012-06-30
2012-05-01 - 2012-05-30
2012-04-03 - 2012-04-29
2012-03-01 - 2012-03-31
2012-02-03 - 2012-02-27
2012-01-29 - 2012-01-29
2011-12-02 - 2011-12-13
2011-11-06 - 2011-11-28
2011-10-12 - 2011-10-27
2011-09-24 - 2011-09-24
2011-08-04 - 2011-08-09
2011-07-02 - 2011-07-31
2011-06-06 - 2011-06-28
2011-05-09 - 2011-05-27
2011-04-18 - 2011-04-24
2011-03-10 - 2011-03-23
2011-02-10 - 2011-02-17
2011-01-14 - 2011-01-14
2010-11-26 - 2010-11-26
2010-10-13 - 2010-10-13
2010-09-12 - 2010-09-29
2010-08-22 - 2010-08-29
2010-07-05 - 2010-07-27
2010-06-12 - 2010-06-26
2010-05-09 - 2010-05-29
2010-04-11 - 2010-04-17
2010-03-10 - 2010-03-28
2010-02-16 - 2010-02-16
2010-01-04 - 2010-01-31
2009-12-04 - 2009-12-29
2009-11-22 - 2009-11-26
2009-06-03 - 2009-06-29
2009-05-13 - 2009-05-13
2009-02-13 - 2009-02-22
2009-01-14 - 2009-01-18
2008-12-08 - 2008-12-28
2008-11-01 - 2008-11-29
2008-10-04 - 2008-10-27
2008-09-12 - 2008-09-26
2008-08-01 - 2008-08-22
2008-07-15 - 2008-07-31
2008-06-07 - 2008-06-29
2008-05-01 - 2008-05-30
2008-04-19 - 2008-04-28
2008-02-02 - 2008-02-19
2008-01-08 - 2008-01-28
2007-11-01 - 2007-11-07
2007-10-02 - 2007-10-29
2007-09-04 - 2007-09-30
2007-08-15 - 2007-08-29
 
关于本站 | 广告服务 | 联系我们 | 招聘信息 | 网站导航 | 隐私保护
Copyright (C) 1998-2026. Creaders.NET. All Rights Reserved.