科普文章-另一个视角解读计算机编码(修订版)

标签: 计算机编码反码补码二进制
2439人阅读 评论(4) 收藏 举报
分类:

我不知道本文该作为原创发布还是作为转载发布,因为本文是《另一个视角解读计算机编码-补码编码》的“排版后的版本”,内容几乎没有变,除了增加了一系列的图解。
后来想了下,还是作为原创吧,毕竟《另一个视角解读计算机编码-补码编码》也是我自己写的,而我的版权声明:
这里写图片描述
让我自己可以任意把转载当原创,我的版权声明的受益人竟然是我自己:-)。

为什么要整理这篇文章

时间过得太快,在我写下《另一个视角解读计算机编码-补码编码》的时候,我记得是陪着老婆去做完产检之后,我那天请了一天的假,从妇幼保健院回到家里,我利用下午的时间写了那篇文章…如今,小小都已经要上小学了,一转眼六年就这么过去了,我清晰地记得当时小小还在老婆肚子里的时候,我经常用摇滚乐和古罗马的历史故事作为胎教在家里胡吼乱叫…如今,我依然还是在家里胡吼乱叫,只不过是跟小小一起。
  六年里,我自我感觉进步了很多,至少是精通了Netfilter,OpenVPN这两样吧,最近的两年里,我理解了一向都挺反感的TCP并以此为业(让我越过谎言去拥抱你…)…其次我对一些基本概念的理解也有了新的认识,在我重读我那篇讲补码编码的文章后,我第一感觉就是要重构它,我仔细看了文章下面的评论,几乎都是在说排版乱的问题,我是个完美主义者,容不得瑕疵,所以我必须花点时间把这篇文章重新整理一遍,并把它作为本文的第一部分。
  文章的第一部分内容我是照搬原文的,段落间加了一些分割,并且突出显示了些核心的内容,由于是照搬,那么错误和不当之处也照搬了,呵呵~。仅仅是重新排版就完事了吗?显然是不够的。我必须增加点什么才好,作为本文的第二部分,我增加了自己对补码编码的最新解释,可能这个解释可以完爆第一部分的内容,事实上也确实,人总是要自我超越的吧。
  作为本文的第三部分,我以自己的理解尝试去解释为什么离散对数求解是一个难题,而实数域上的对数求解却很容易。这个看似与本文无关的话题,其实在我的眼里,还是有关联的。

建议

如果你看你一部分觉得太罗嗦,请赶紧移步第二部分,顺便,如果我的讲解能让没有数学基础的人理解有限群的概念,这将是我最大的荣幸。

第一部分 另一个视角解读计算机编码-补码编码

数学的计算机表示

数学是一个完全抽象的学科,而计算机是这个学科的一种形象化的实现,显然无法处理一些仅在抽象意义上有意义的特殊“数字”,比如无穷之类的东西,。像数学中的加法,乘法这样运算,计算机必须给与实现,然而由于数学中的实数加法(以及别的运算)是建立在实数域上的,而实数域又是无限的,而计算机只能处理有限域的运算,因此必须给定一个范围,一种方案是在这个范围内保证运算的正确性,超出范围的结果给出错误提示,然而这样的计算机不是很完美,毕竟它能力太有限了,仅仅给出错误提示是不能让人满意的,如果能在有限的编码上实现诸如实数运算那样“无错误”运算就更好了,毕竟给出错误提示并不是一个很合理的计算结果,我们不需要一个提示,而是在任何情况下(包括超出范围)都可以得到一个“能够自圆其说的正确”结果,因此计算机采用了在有限域上的加法运算后再次取模的方式将结果控制在一个有限的范围内。
  计算机是基于模运算来进行加法和乘法运算的,在实现编码之前,必须有一个理论支撑,对于加法,必须实现一个阿贝尔群,它要满足交换率,拥有一个“零”,每一个元素都存在一个逆,相加后等于零,并且结果也应该在该群中,只要按照如此的规则设计一个编码,那么对于计算机而言就非常圆满了,对于任何数字的加法,我们都不会得到一个“错误”,而是很实在的得到一个正确的结果,如果实数可以表示在数轴上,那么计算机处理的数就可以表示在一个圆环上。为了方便,以下将计算机表示数的范围仅考虑成字节,实际上现在计算机表示8字节的数已经不是什么稀罕事了。

计算机为什么要如此编码

一个字节可以表示从0000000011111111范围内的256个数字,由于计算机编码不区分有符号和无符号数,按照和实数的一致性,我们将其视为有符号数, 这样的话负数和正数应该各占一半,它们中间有一个0,由于十进制数和二进制数仅仅是数制的不同,不管在什么数制下,0都是不变的,那么显然需要将0编码为00000000。现在考虑一下这样做的后果,8位二进制数的最小值被编码成了0,那么负数怎么办呢?毕竟没有比0更小的数字了啊!想象一下,我们现在做的事是“编码”,一个数字的编码只是一种表示方式,它真正的含义是其字面上的值,而不是编码的值,比如说,我们可以将数字1编码成“0”,而将数字0编码为“123”,仅此而已。为了表示负数,我们先从-1开始考虑,在字面上,-1加上1就是0,而1的二进制编码就是00000001(二进制和十进制仅仅数制不同,编码正数和0当然就是完全按照字面意义进行数制转换编码的,编码负数其实就是编码一个符号“-”),其最低位就是1,根据二进制加法,要想x+00000001的结果为00000000x的值必然是11111111,但是不对啊,8位的100000001加在一起是100000000而不是00000000,也就是说,结果是9位,超出了一个字节。
  不过这没有关系,我们的前提是计算机只能表示8位的数字,那么最高位的1当然算是溢出了,我们得到的结果就是00000000,因此-1的编码就是11111111,接下来-2呢?很显然-2+1=-1,因此-211111110,依次类推,我们得到的最小的负数为10000000,这是为什么呢?设想还能表示比它小1的负数x,则x+1=100000000,这样的话x的值就是01111111了,我们姑且将这个数看成是比10000000还小1的一个负数,接下来考虑一下正数,我们知道1的编码是000000012的编码是00000010,依次类推,我们也得到了01111111这个数,这是因为计算机将它能表示的数字编码在一个圆环上而不是一个数轴上,那么01111111到底是正数还是负数呢?这时候考虑一下阿贝尔群的性质,如果将01111111编码为负数,那么它将和它的逆元相加结果为00000000,既然计算机算术仅仅最后做了取模操作,其它的群性质和实数域的是一样的,因此01111111的逆肯定是正数,我们求出它的逆是10000000,而这个数是我们从-1开始的负数编码推导出来的一个负数编码,因此这样的假设不正确,所以01111111必然属于一个正数的编码,它的十进制数是127,它是计算机能表示的最大的整数,而
10000000则是计算机能表示的最小的负数,它的十进制值是-128
  如果最大的正数011111111的结果是什么呢?结果是10000000,变成了最小的负数,这也是合理的,因为计算机将数字编码在了一个圆环上。既然计算机将数字编码在一个圆环上,那么如果我们将此圆环从10000000处劈开并拉直,将得到一个线段,上面编码的数字从10000000开始是递增的,直到01111111。有了这个形象化的概念之后,下面看一下加法的实质,一个数x在圆环上,另一个数y肯定也在圆环上,x+y的计算过程则是维持x不变,将00000000y的这一段圆弧ar摘下来,拼接到x处,最终的ar的终点处的编码就是结果,事实上ar有两种摘取方式-顺时针和逆时针,不管哪种方式,最后结果落到同一处。计算机加法的结果左后按照圆环的周长取模,并不是说先得到实数域的字面结果,然后再执行取模操作,而是按照前面设计的圆环,二进制加法最后的取模是自动进行的,本质上说这个“自动”是通过高位的溢出来实现的。注意,我们现在讨论的是编码,而不涉及有无符号,具体有符号还是无符号,就看指令的解释了,10000000可以是有符号的-128,也可以是无符号的128,同样,11111111可以是有符号的-1,也可以是无符号的255

取模和溢出

编码和符号是无关联的,那么取模是如何自动实现的呢?设想250+10的操作,字面操作的结果是260,可是计算机最大只能由8位来表示,因此按照无符号解释最大也只能表示为11111111,也就是255,可是260255还相差5,显然结果需要在255的基础上再加上5,根据刚才的形象化的圆环加法,加上5之后落到了00000100这个位置,也就是十进制数4,这个4就是就是最后的结果,一个圆环的周长是2564正好是260除以256的余数,而取余数就是取模。在计算机硬件上,这是通过溢出来实现的,255的二进制表示为11111111,它加上1之后就发生最高位溢出到第9位,由于计算机只能表示8位的数字,因此丢弃最高位,结果为[1]00000000([]中的被丢弃),一切从0开始,再加上4,结果就是4。不管在这个圆环上绕几圈,最终的落点都在圆环上,每绕一圈就会发生最高位的溢出,然后从00000000开始,这就是取模的实质。
  对于乘法,这个圆环依然使用,两个数相乘,只要有一个数是正数,那么就可以用上述的圆弧不断拼接来得到答案,比如3*2就是用2个3这个圆弧拼接两次,-2*4就是拿4个-2这个圆弧拼接四次,对于两个负数相乘,比如-a-b*,总是可以拆成a*b-1*-1*,只需要计算-1-1*即可,也就是11111111*11111111,列出递等式进行计算,最终的结果是[xxx]00000001,高位全部溢出了,结果就是正数1,在实数乘法中,我们依靠了一个规定“负负得正”,然而在计算机编码中,负号本身和数字一起被编码,依靠溢出竟然可以推导出“负负得正”这个所谓的规定,显然,计算机是不能被“规定”的,只有在纯抽象的领域才能规定,在计算机上,必须实现这个规定,将负号和数字一起编码可以解决这个问题,直接了当的推导出了一切在实数域上的异号数字乘法的性质。
  加法和乘法都套入这个“圆环+溢出”模型之后,最后再来看一下0这个特殊的数字,在实数域上,-x+x=0也是一个规定,一个群的性质,然而在计算机,它却是被真实地实现的,也是依靠溢出,不失一般性,以-1+1为例,1的编码为00000001,要想得到-1的编码和1加和等于00000000,同时又没有对计算机的行为进行“规定”,根据二进制加法,只要能得到[x[y]]00000000就可以了,8位以上的不用管,由于计算机只能表示8位,8位以上的全部溢出即可,比如11111111+00000001=[1]00000000,就这样实现了群性质中的逆元加和等于零元的这个性质。

回到现实

教科书上经常说原码,反码,补码之类的概念,还说计算机一律使用补码编码,正数和0的补码等于原码,负数的补码等于负数相反数的原码的反码加1。其实根本不需要这么复杂的概念,仅靠以上的“圆环+溢出”模型就能说明一切,什么原码,补码之类的概念根本就没有必要引出来,之所以这么引出来是为了符合科学精神,任何事物都要有概念,概念的导出是一个分析和综合的过程,在形成概念之前必然需要归纳出一个一般结论,接下来才可以形成概念,由此可以想象,当初的编码设计者也是先想到了上述的“圆环+溢出”这个形象化的模型,进而才引出“原码,反码,补码”这些抽象的概念的,有了形象模型,再解释为何负数的补码是其相反数的反码加1就简单多了,首先要明白负数和其相反数相加等于00000000,而由于计算机没有被“规定”而是真实实现了群的性质,因此这个00000000实际上应该是100000000,溢出了一个1到第9位,我们知道一个正数和该正数取反之后相加,会得到11111111这个数字,然而再加上1则会得到[1]00000000这个所谓的0,正数的二进制编码完全按照数制的转换机制由十进制(或者其它进制)数转化而来,因此它不能变,而负数由于需要编码一个“负号”,因此它需要被改成别的,因此就由“去掉负号的该数按位取反然后加上1”来表示负数,其中包含了两个部分,第一部分是负号,第二部门为该负数的相反数。最终,表示负数的时候,其相反数就成了“原码”,得到负数编码的中间步骤-按位取反操作的结果显然就是“反码”,而结果加1则称作补码,为了一致性,正数的补码就是原码!按照有符号数据解释,所有的负数的最高位都是1,而所有的正数最高位都是0,因此最高位也就成了负号位,注意,负号“-”的编码已经隐藏在了“取相反数-按位取反-结果加1”的整个过程中了,因此最高位虽然是符号位,它却不是负号“-”的编码,你不能说负号的编码是10000000
  如果教科书上不是先从原码,反码,补码这类概念讲起,而是先引出一个“圆环+溢出”的模型,最后通过这个模型自然而然导出这些概念的话,我想很多学生就不会被这些概念搞得糊涂且无助了。文艺复兴以来,西方科学精神风靡,要知道这种精神的本质和古代纯思辨推理精神的本质只差那么一点点,那就是“概念”要通过“现实的实现”来检验,任何概念都是通过归纳法得到感性认识,然后再通过推理得到一般性的表述,对于计算机编码以及任何其它的工程学原理而言,熟悉这个归纳的过程是最重要的,要比你熟练得掌握概念要有益得多,只有当你理解了这个归纳的过程,再去深入这些概念才会觉得轻松,理解概念的目的是将知识体系化,而只要理解归纳的过程才能真正学会这个概念。

附:关于编码的符号

c语言中提供了有符号和无符号两种类型的数据类型,其实这仅仅指示如何解释这个数据类型,对于汇编层次的编码来说是不区分符号的,比如11111111可以解释成无符号的255,也可以解释成有符号的-1。那么c语言的关于有无符号的数据类型是给谁看的呢?其实是给指令看的,指令负责解释一个数据是有符号的还是无符号的,和大部分人的想象不一样,这种指令非常少,按照常理,理应每个算术指令都应该提供两套才对,一套针对有符号数据,另一套针对无符号数据,实则没有这个必要。这是因为计算机的数字编码不区分符号,甚至没有大小,它完全是一个封闭的阿贝尔群,两个数相加前怎么解释,它们的和就怎么解释,因此完全没有必要设计两套指令,加法的过程完全符合正文中的圆弧拼接法则。正文中假设计算机最多用8位编码数据,然而如今的计算机可以用8位,16位,32位等不同的位数来编码数据,那么就涉及到“将一个x位的数据放到一个y位的空间中”这种事情,在计算机中,实际上每一种数据都表示一个圆环,如果系统中有8位,16位,32位三种数据的话,系统中就有三个圆环,只有将一个数据从一个圆环放到另一个圆环的指令才会考虑符号,比如现有8位编码为11111111,现将其放入16位的圆环中,如果它是无符号数,显然它是255,因此16位编码为0000000011111111,然而如果它是有符号数,那么它就是-1,它的16位编码就是1111111111111111,可见放到16位圆环中的位置是不同的,因此只有在这种情况下才需要考虑符号,故计算机硬件在这种情况下提供了指令组,比如movzx/movsx等等,在同一圆环上进行的运算根本没有必要考虑符号,因此也就不需要提供两套指令。

第二部分 图解有限长度二进制运算与补码编码

准备工作

计算机无法表示整个抽象的实数域,我们实际使用的计算机是现实的,而非抽象的,计算机可以表示的数字是有固定长度的,比如4bit,8bit,16bit,32bit…简单期间,本文接下来以4bit为例进行讲解,首先我们定义一个初始值,0000,然后让其不断加1,看看最后会发现什么:
0000,0001,0010,0011,0100,0101,0110,0111,1000,1001,1010,1011,1100,1101,1110,1111,?
到1111后,再加1会怎样?很显然,再加1的话会变成10000,然而我们假设我们只能表示4bit的数据,那么最高的第5bit的1将会溢出而被丢弃,所以最终的结果是1111+0001=0000.
  于是我们就有了下面的序列:
0000,0001,0010,0011,0100,0101,0110,0111,1000,1001,1010,1011,1100,1101,1110,1111,0000,0001,0010…
也就是说,无论怎么加1,加多少个1,4个bit的二进制数,只能表示16个元素,它们构成一个集合:
{0000,0001,0010,0011,0100,0101,0110,0111,1000,1001,1010,1011,1100,1101,1110,1111}

时钟上的运算

是不是很像我们平时看到的时钟呢?我们的时钟上有12个刻度,当指针指向12的时候,接下来没有13,而是重新从1开始,只不过在我们的4bit例子中,刻度为16个,其它的都一样:
这里写图片描述
虽然我们是以4bit作为例子,但这并不失一般性,其实哪怕是64bit的数据,也是一样的道理,除了我这里无法给出图示…

时钟加法的物理含义

在彻底理解时钟加法的物理含义之前,我们先看一下在这个钟表式的刻度盘上如何表示一个任意的4bit集合中的数a。很简单,a的物理含义就是从刻度0000作为起点,刻度a最终终点的一段圆弧:
这里写图片描述

现在假设两个数相加,加数分别是x和y,那么x+y的物理含义就是,x维持不变,顺时针移动圆弧y,直到圆弧y的起点与圆弧x的终点重合,即将圆弧y的起点顺时针移动到圆弧x的终点,设移动后的圆弧为y’:

这里写图片描述

这样,y’的终点就是x+y的结果。OK,这很容易,不是吗?

时钟减法的物理含义

理解了加法,我们再来看看时钟减法的物理含义。
现在假设两个数相减,x-y的物理含义相比加法来讲略微复杂,它分为两步操作:

  1. 先将圆弧y逆时针旋转,使其终点移动到0000的位置,并翻转其方向【翻转的含义在于始终保持圆弧的起点位置与0000重合】,设新的圆弧为y’:

这里写图片描述

2.然后再将圆弧x逆时针旋转,使其起点0000移动到圆弧y’的起始位置,设新的圆弧为x’:

这里写图片描述

这样x’的终点就是x-y的结果。
  然而为了统一起见,我们用哥伦布航海的思路达到同样的目标,即将圆弧x和圆弧y顺时针旋转而非逆时针旋转,达到同样的效果。依然分两步:

1.先将圆弧y顺时针旋转,使其终点和0000重合,并翻转起点和终点,设为圆弧y’,作为基调:

这里写图片描述

2.再将圆弧x顺时针旋转,使其起点和圆弧y’的终点重合,设为x’:

这里写图片描述

圆弧x’的终点就是结果!只看上面的步骤2,你就会发现,这个和上一小节讲的加法物理意义是一致的,即都是“移动一条圆弧,使其起点与另一条圆弧的终点重合”,我们把逆时针旋转全部统一成了顺时针旋转,这就是把减法全部统一成了加法,即将x-y转换为了x+(-y)
  也许你要问,第一步中为啥要反转起点和终点呢?因为在加法中,任何圆弧的起点都是0000,换句话说,你把一段圆弧理解成一个在“时钟坐标系”中以0000为起点的一个向量就好了。

阶段性总结

到目前为止,我们理解了在这个时钟上的加法和减法运算的物理含义,总结下来无外乎:

  • 加法就是顺时钟圆弧拼接;
  • 减法就是逆时针圆弧拼接;
  • 由于时钟表盘是个圆,按照哥伦布的思路,从一个方向能到的地方,从另一个方向也能到。

避开好望角和印度洋的他国军舰与海盗,从另一个方向到达印度显然是个黑科技…
到目前为止,我还没有涉及任何关于二进制,编码这些概念,不急,慢慢道来。

阿贝尔群对称性–x与-x在时钟上的表示

通过对时钟加法/减法物理意义的理解,我们知道了x和-x的表示法,如下所示:

这里写图片描述

在数学上,我们知道-x是x的相反数,x+(-x)的结果是0,按照上述的物理含义,操作一遍,我们可以很显然看到这一点。

  接下来有点意思了啊,为了节省篇幅,我不得不引出阿贝尔群的概念了。
  阿贝尔群是什么意思,请自行wiki,我这里只说结论,上面展示的这个4bit所能表示的16个元素的集合就是一个阿贝尔群,确切的说是一个有限群,因为它只有有限的16个元素,它满足以下的性质:

  1. 任意的在集合中x,y之和x+y依然在集合中,这个已经通过上述时钟加法一目了然;
  2. 集合中存在一个0元,即0000,满足任意的x与其相加均等于x本身:x+0000=x
  3. 集合中任意一个元素x均有一个逆元-x,满足x+(-x)=0000
  4. 集合中任意两个元素x,y之和满足交换律,即x+y=y+x

这意味着,任何元素x的相反数(群加法里的逆元即相反数,0元为0;群乘法的逆元即倒数,0元为1)-x在时钟圆弧表示上均相对0000点对称,二者的加和为0000,这个不再赘述。
  这里我们得到一个群对称性,即一个值和它的相反数关于0000对称,显然0000的相反数是它本身,这是阿贝尔群的性质决定的。
  下面要涉及二进制编码的东西了,我们为上述的物理操作赋予二进制的意义。让我们继续。

二进制编码对称性–反码的表示

我们将4bit能表示的所有数刻在那个时钟上,再次展示出本节最初的那个图:

这里写图片描述

实际上任意长度bit的二进制都可以刻在那个时钟上。不失一般性,我们仍以4bit来讨论。
  我们知道4bit(任意长度的bit)能表示的数值个数为偶数个,这个不解释。而且我们知道它们的极端在哪里,一个极端是0000,另一个极端是1111,对于任意长度bit表示的数,极端永远都是00…0011..11,一个全0,一个全1。如果我们把它们顺序排在钟表上,拿1111做二进制递减,拿0000做递增,很显然它们成对的两个值按位或的结果都是1111,:

这里写图片描述

因此我们得到了另一个对称性,即反码对称性,和阿贝尔群对称不同,0000的反码对称是1111,而不是它本身,因此它的对称轴线与阿贝尔群对称轴线有偏差:

这里写图片描述

这一切
0+(-0)=0 —> 0000+0000=0000
1+(-1)=0 —> 0001+?1=0000;
2+(-2)=0; —> 0010+?2=0000;

上述的?x该是多少?我们从上一小节的两种对称性的对比就能知道答案!
  很显然,?1就是1110,而?2就是1101,就是与固定加数在关于群对称位置的另一个值。然而我们怎么去定义它?!这是关键!总不能每次都摆出这个表盘来,正确的科学的做法是找出一个规律,然后以此规律做出定义,也许这个定义没有任何物理含义,但它是必要的,仅为定义。
  我们发现上述两种物理意义对称(群对称和反码对称)的对称轴仅仅偏差0.5,因此便可以定义补码了,即一个数字在时钟上位置关于0000群对称的位置就是其补码,它恰好表示为该数值关于反码对称轴对称的位置所表示的值加上0001

这里写图片描述

然而这个补码只是个侠义的补码,为了更加不失一般性,将概念提升,规定在反码对称轴右边的数值编码的补码是其本身,而反码对称轴左边的数值编码的补码为其位置编码加1,因为:

  1. 按照阿贝尔加法群,x与-x的和必须是00000000的对称数值为其本身0000
  2. 按照反码对称,0000的对称位置为1111,不再是0000,它和其本身相差0001

这就是一切的意义吗?是的,这就是意义。
  我的图解基本也就能到这里了,其实很简单,我相信任何没有数学基础的人都能搞得定。如有不解就自己动手画一下,真相即在眼前。关于反码,补码的概念就是这么简单,关于为什么补码是反码加1,通过上面的图解应该可以看出本质了,就是适配两种对称的不相容问题,事实上,它们是相容的…But why?

回到现实

回到现实,让我们看看现实世界。
  -4,-3,-2,-1,0,1,2,3…谁是谁的反码?这是个简单的问题。如果没有反码,何谈补码?!按照二进制的方法,-3的补码是什么?是-4吗?是-2吗?都不是!
  直接给出结论,除了二进制,别的数制没有反码,这要从状态谈起。所谓反码就是非此即彼,01正好有次特质。我们看十进制,与“0”相“反”的是“1,2,3,4,5,6,7,8,9”,到底是哪一个是不确定的,所以在十进制里,数值是没有反码的,既然没有反码,也就不存在“反码对称轴”了。
  不存在对称轴,也就没法定义操作…是这样吗?非也!
  我们可以在群环域里定义所有的这些!然而你知道为什么在实数域里不存在“补码等于反码加1”这种命题吗?因为实数域不需要编码!因为实数域的处理者是人的大脑而不是规程化的计算机,所以人可以动用任何抽象的逻辑思维来搞定这一切。当有人说出1.234这个数的时候,人脑并不需要对其进行固定格式的编码就可以理解这个数字的含义,这就是本质。
  编码是为了什么?编码是为了处理现实世界的数据。然而在抽象世界,根本就不需要编码,或者说编码本身就是抽象的。
  随意说,“定义一个数”和”表示一个数“是完全不同的两个概念,定义一个数是抽象的,而表示一个数则不然,数学可以定义一个数,但是要表示一个数,即必然借助人脑或者计算机,而人脑和计算机对数的表示有所有不同,基本就是这样。
  对于学习者,到底是先学定义还是先学表示重要,我个人倾向于要先学会定义,你要先理解群,环的概念,才可能知道”负负得正“是必然,才会知道很多自认为神奇之处(让你说,哇,太妙了!)其实是定义之内就可以推导出来的结论,然而如果你试图首先理解Howto,即如何表示,那么很多细节会从你眼前飘走。以我个人为反面教材,我起初看到计算机可以自动处理”负负得正“(参见本文第一部分)之后兴奋不已,然而那其实只是有限域的一个根本结论,我兴奋说明我发现了美妙之处,然而在一个懂理论概念的人看来,这没什么好兴奋的,这是必然。

第三部分 离散对数难

今天是6月17号,你能快速说出30天以后是几月几号吗?很显然,很多人都可以,但我不行,我总是处理不好边界,我知道肯定是7月17号附近的某天,但我不能快速确定到底是哪天。下一个问题,现在是下午3点,你能快速说出38个小时以后是几点吗?很显然,这个问题并不难,但是如果时钟不是24小时制的,而是可以无限延展的,假设现在依然是下午3点,问你38个小时以后是几点,你会更快地回答出来,因为只要3+38就好了,即41点。那为什么24小时制约束下同样的问题就比较难?
  常规的答案也许是“24小时制要做加法,然后再除法,余数什么的”…但其实从这个问题我们可以看到一个更加普遍的结论。

在一个无限的没有边界的空间中,所有的物体都将做匀速直线运动,这里的关键在直线运动,所以我们很容易算出物体的位置和画出它运动的轨迹,然而在一个封闭的空间中,你将很难跟踪物体的运动轨迹,当物体撞到边界之后便会弹回,如果仅仅是这么弹来弹去,那么轨迹还是有迹可循的,但是如果再考虑到多个物体之间的碰撞,那就是完全是类似布朗运动了。
  如果我们把数域看作是物体运动的空间,把数元素看作是物体,那么实数域上的运算就相当于无限空间里的物体运动,匀速直线运动且遵循动量守恒,反过来看离散对数的运算,这是类似在一个mod N的封闭空间做类似布朗运动的物体了,求解离散对数就是预测物体的轨迹。连续的实数域可以做连续积分,所以对数函数可以展开成级数,但在离散的mod N中,却不行!
  积分和西格玛加和并不等同。
  值得注意的是,所谓的难题并不是完全不可解的,即便在无限空间中做匀速直线运动且遵循动量守恒的物体,考虑到碰撞,想追踪其轨迹也并不容易,但正如拉普拉斯妖怪所述,相对于在封闭的空间中做同样的事,要容易的多。
  以上我将数域比做空间,把数值间的计算比做运动和碰撞,解释了一个观点,即封闭空间追踪物体轨迹会更难。接下来我举一个现实中的例子。那就是绕线问题。
  一条或者若干条没有互相缠绕的线是多么优美,然而人们总是很难欣赏这种美。耳机听完摘下往包里一放,再用时就要捋半天,电脑电源线,网线也是一样,再牛逼的笔记本电脑,其最大的败笔都是电源线…为什么?如果把所有的线缆都捋直了,还会有问题吗?还会有烦恼吗?原因就在于,我们把线缆揉在了一个相对封闭的空间中,难免会产生死结,而解开这些死结,就类似于求解离散对数问题。
  最后,我想介绍一下今天我本来要玩的一个我自己设计的游戏。我来介绍一下。

准备工作:
一个骰子,一张资金足够的公交卡,以及足够的1元硬币。
游戏过程:

  1. 出门,在最近的公交站坐上首先到来的公交车;
  2. 投骰子,显示的数字代表坐几站,然后根据结果N在坐完N站后下车;
  3. 再次投骰子,根据结果N,等待接下来到来的第N辆公交车,上车;
  4. 重复2,3…

这是一个非常好玩的游戏,最终你会画出一个你所在城市的地图,非常有意思,如果没有画出,那就是这个城市规划的有问题或者公交系统规划有问题。我在哈尔滨,长春,郑州,上海这四个城市均玩过这个游戏的初级版本,没有骰子,只是盲目坐到终点站…昨天跟同事闲聊说到了这个游戏,同事提到了用骰子增加随机性的想法,并且告诉我在深圳的话,一旦上了宝安大道-深南大道,基本就不是布朗运动了,而是简谐振动…因为深圳的公交系统主干就是东西向的宝安/深南大道…
  这个游戏今天最终没有完成,因为今天下了一天的大雨。
  我介绍的这个游戏和离散对数有什么关系呢?其实,如果我们把固定时间段内行驶的路程作为度量标准的话,我一天大概能玩80到100公里左右,然而买一张高铁票跑80到100公里,奔到广州,却是一个轨迹十分确定的路线…也许你已经知道我想表达的意思了吧。

8
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:6048368次
    • 积分:75609
    • 等级:
    • 排名:第20名
    • 原创:1397篇
    • 转载:2篇
    • 译文:0篇
    • 评论:2926条
    最新评论