c语言a+=b
鱼羊 梦晨 发自 凹非寺
量子位 | 公众号 QbitAI
张益唐在北大学术报告,各平台超10万人在线观看,一起见证历史!
张益唐攻克朗道-西格尔零点猜想的消息,不断牵动人心。
此事也因为论文在arXiv上公布,以及他本人首次公开直播介绍成果,而再次被推向高潮。
一位学数学的朋友表示,“今天睁眼第一件事,就是看张益唐的直播”。
![](https://p0.ssl.img.360kuai.com/t014f81d7efff64d684.jpg)
在这次报告中,张益唐再次提到了“大海捞针”。
有人说他证明孪生素数猜想就像大海捞针,他自己则觉得朗道-西格尔零点猜想的证明更像大海捞针。
这次的学术报告,让张益唐有机会深入介绍了他这个“被闪电击中两次的人”究竟是怎么“大海捞针”的。
据浙大数学教授蔡天新透露,张益唐的研究生导师、中科院院士潘承彪听了报告后评论到:
听了益唐讲的想法很清楚,这是一个重要的筛法新思想,有很大发展潜力,可实现起来很难。
从大海捞针到另辟蹊径
朗道-西格尔零点猜想,是广义黎曼猜想的一个特殊形式。
简单来说这个问题可以这样理解:数学家们想要证明,狄利克雷的L函数并不存在一个非常接近1的零点(即朗道-西格尔零点)。
在朗道-西格尔零点猜想中,L函数的实零点与1的距离应为:
![](https://p0.ssl.img.360kuai.com/t01db00bc6ba6a77d11.jpg)
面对这个问题,一开始,张益唐的想法是这样的。
首先,构造一个实数序列 {xn},如果存在朗道-西格尔零点,就推出xn≥0。
那么只要证明有xn<0,朗道-西格尔零点就是不存在的。
而根据塞尔伯格筛法,这个问题就变成了,要找到一组实数序列 {ξn},使得:
![](https://p0.ssl.img.360kuai.com/t0121a14a83d61deeff.jpg)
张益唐形容,找这个ξn,就是一个大海捞针的过程。但直到他把海底的情况都摸清楚了,也没找出这根针来。
不过到这时候张益唐发现,即使没有这根“针”,他也能解决这个问题。
这个新想法,被他归结为一个非常基础的式子:ac-bd=(a+b)c-(c+d)b。
展开来说,就是张益唐引入了两组序列 {an+bn} 和 {cn+dn}。
他证明,xn与 (an+bn)^2的乘积之和非常接近0。第二组序列同理。
这时候,假定xn≥0,基于 ac-bd=(a+b)c-(c+d)b,就可以推出以下结果:
接着根据柯西不等式,估计左右两边式子的上界,就会发现,这个不等式的左边比右边大,是不成立的。
这样,张益唐就得到了3个命题,最后通过证明3个命题,得到实零点与1之间的距离应小于:
![](https://p0.ssl.img.360kuai.com/t0104e5234df41d62e1.jpg)
这部分更具体的细节,在论文的第二节。
改进沿用70年的数论方法
省去很多繁琐细节,张益唐只用了40分钟左右就尽量以易懂的语言介绍了自己艰深的研究。
接下来的观众提问环节,很多人关心这个成果究竟能用在什么地方?
在此前活动中张益唐曾表示,它比孪生素数猜想的意义更大。
朗道-西格尔零点猜想有点像黎曼猜想那样,它一解决,一百个猜想都变成定理了。
这次的学术报告让他可以把话题更深入到对数论的影响。
![](https://p0.ssl.img.360kuai.com/t0186cbb08e896ec3c8.jpg)
张益唐认为对于很多数论问题而言,朗道-西格尔零点是一个瓶颈。跨越过这个瓶颈,就会有很多应用出来。
比如“素数在等差级数中的分布”是一个长期悬而未决的问题。
如果朗道西格尔零点存在,就代表某些等差级数里素数会特多,某些里会很少。
但是我这个结果出来以后,至少把这个解决了。
张益唐还具体讲了数论的两个分支,解析数论与代数数论。
牵扯到解析数论,那什么地方都得用到这个。
代数数论中二次域的类数问题,会给出一个非常强的结果。
除了研究结论之外,张益唐这次用到的方法同样意义重大。
1950年前后,阿特勒·塞尔伯格(Atle Selberg)提出塞尔伯格筛法,成为数论研究中的重要工具并沿用至今。
在很长一段时间里,该方法都是“初步估计在一个小区间里素数分布之上界”的唯一方法,曾使哥德巴赫猜想前进一大步,张益唐解决孪生素数猜想的思路也受其启发。
这一次张益唐通过不断地“大海捞针”,虽然没有捞到塞尔伯格筛法中的那根“针”,但终于是设计出了新的方法。
新方法不依赖于“求二次型极值”,除了用于朗道-西格尔零点猜想外,还有望用于其他数论问题。
![](https://p0.ssl.img.360kuai.com/t010197e6e84fcbc3aa.jpg)
张益唐本人表示,他正在思考能不能用新方法改进之前的孪生素数猜想结果。
这是可以考虑的,我也会往这方面去想。
张益唐在他的孪生素数猜想论文中证明了“存在无穷多间距小于七千万的相邻素数对”。
![](https://p0.ssl.img.360kuai.com/t0154b227ed66d6c380.jpg)
七千万这个数字,后来在全世界数学家合作的Polymath Project 8项目努力下已经缩小到了246。
使用新方法,这个间距有望继续朝着最终目标2前进。
同时,这也意味着朗道-西格尔零点猜想的结果是可以改进的。
张益唐为致敬他做出成果的这一年,把相应的数字选为2022,这一次的最终目标则是1。
还有人开玩笑说,如果他能在2021年完成证明,那结果就能比现在更精确一点。
![](https://p0.ssl.img.360kuai.com/t0170fb4500fcca642f.jpg)
在这次报告上,张益唐表示靠现在这个方法应该是能做到几百。
……只是我还没有去做。但是要到1目前这个方法还是不够的。
目前这篇新论文还未经过同行评议,有待学术界验证其结论。
而一旦论文被承认是正确的,可以预见的是接下来数学界也会在他的工作基础上不断向1进发。
最后,在热议中还有一些人关注到了张益唐的年龄。
一旦论文被验证,67岁的张益唐就打破了著名数学家哈代“数学是年轻人的游戏”这个论断。
在之前接受采访时,张益唐就多次表示自己不赞同这个说法”。
我对他那个东西不是很注意,我觉得好像跟我没直接关系似的,我没有受那些东西的影响。
如今他证明了新的猜想,也用实际行动证明了自己的话。
张益唐零点猜想论文:https://arxiv.org/abs/2211.02515
参考链接:[1]https://news.ycombinator.com/item?id=33512338[2]https://weibo.com/1277439255/Me402b5zI[3]https://mp.weixin.qq.com/s/MIztT_oTB8taIHRoobAoDA
— 完 —
量子位 QbitAI · 头条号签约
","force_purephv":"0","gnid":"949220d832910d133","img_data":[{"flag":2,"img":[{"desc":"","height":"419","title":"","url":"https://p0.ssl.img.360kuai.com/t014f81d7efff64d684.jpg","width":"1080"},{"desc":"","height":"500","title":"","url":"https://p0.ssl.img.360kuai.com/t01db00bc6ba6a77d11.jpg","width":"1056"},{"desc":"","height":"396","title":"","url":"https://p0.ssl.img.360kuai.com/t0121a14a83d61deeff.jpg","width":"1152"},{"desc":"","height":"372","title":"","url":"https://p0.ssl.img.360kuai.com/t0104e5234df41d62e1.jpg","width":"976"},{"desc":"","height":"554","title":"","url":"https://p0.ssl.img.360kuai.com/t0186cbb08e896ec3c8.jpg","width":"1080"},{"desc":"","height":"720","title":"","url":"https://p0.ssl.img.360kuai.com/t010197e6e84fcbc3aa.jpg","width":"1080"},{"desc":"","height":"279","title":"","url":"https://p0.ssl.img.360kuai.com/t0154b227ed66d6c380.jpg","width":"1080"},{"desc":"","height":"704","title":"","url":"https://p0.ssl.img.360kuai.com/t0170fb4500fcca642f.jpg","width":"1080"}]}],"original":0,"pat":"art_src_3,fts0,sts0","powerby":"hbase","pub_time":1667887440000,"pure":"","rawurl":"http://zm.news.so.com/c77d250684b31370e6806ba05c0911af","redirect":0,"rptid":"9a9226ede565d27b","s":"t","src":"量子位","tag":[{"clk":"ktechnology_1:直播","k":"直播","u":""}],"title":"张益唐新成果首次公开直播,开场写下ac-bd=(a+b)c-(c+d)b
史广爬3948C语言中,a+b==c - 3是表示? -
蓬亚超15326288622 ______ 这句C语言表达式意思是:判断a+b的值是否与c-3的值相等,a,b,c可以是常量,也可以是变量.
史广爬3948c语言中a - =b,是什么意思 -
蓬亚超15326288622 ______ a=a-b; 类似的还有 a+=b;相当于a=a+b; 等等以此类推.
史广爬3948C语言中 a=b==c怎么理解 -
蓬亚超15326288622 ______ “=”是赋值符,把c的值赋给b赋给a,最后a、b、c的值都相等,“==”是判断符; =赋值==等于运算说a=b=c,表达式运行a值赋给b、c运行完abc值相等; a=b==c,复合表达式先a值赋给b与c比较相等则返0,否则返非零值; 运算b==c,若b...
史广爬3948C语言a+=b++==0表示什么意思 -
蓬亚超15326288622 ______ 首先,b++表示对b做自加运算,我们用c代替,c=b++; 然后,a+=b++ 等于 a+=c,即a=a+c,也就是说“==”之前部分是给a赋值的,我们用d代替,即d=a+c; 最后是一个逻辑判断d==0,也就是判断前面计算出来的a是否等于0. 这里要注意的一个地方是b++,不是++b,也就是说在当前这一次判断的时候b并不自加,而是在当前判断执行完之后才自加1. 比如初始a=1, b=2,b没有自加,a=a+b=1+2=3,那么这句话这次是在判断“3==0”,下次再判断的时候b才自加变成了2,a=a+b=3+2=5,相当于在判断“5==0”,依次类推即可.
史广爬3948C语言中,a=b=c具体是什么意思? -
蓬亚超15326288622 ______ 1. 赋值语句本身也是一个表达式,也是有返回值的,它的返回值就是赋值给变量的值,比如b = 1 这个语句,会把1赋值给b,但是它本身也是个表达式,这个表达式的返回值为1. 2. 赋值语句是先算等号右边的值,把右边的值赋值给左边的变量 ...
史广爬3948C语言:求表达式a+=b*=b - c和表达式a=(b=5)+(c=7)值 -
蓬亚超15326288622 ______ 一、表达式:a+=b*=b-c 赋值表达式=、+=是从右往左结合,所以先算b-c 再算 b*= 最后算a+= 比如a=1 b=2 c=3,那么原式子就是a+=b*=2-3 => b=-1*2;a+=2*(2-3) => a=1+2*(2-3) a=-1;b=-2;c=3; 二、表达式:a=(b=5)+(c=7) 先算括号,b=5和c=7都是赋值表达式,返回值就是赋的值.比如a=1 b=2 c=3,那么先执行b=5 返回5 ,c=7返回7,原式子就变成a=5+7=12.a=12,b=5,c=7
史广爬3948请问C语言中 比如 A=&B什么意思? -
蓬亚超15326288622 ______ A = &B A应该是指针类型,&是取地址符号,上式的意思表示为将B的地址赋给A,或A指向B int *a=NULL; //定义一个指针,此时a指向0x00000000 int b=3; //定义一个int型变量,假设地址为0x00000100 a=&b; //此时 a指向0x00000100 //====================分界线========================== 另外或许想问A &=B? 就是A = A&B //二进制的与运算 其他运算依此类推: A +=B; //A=A+B A -=B; //A=A-B A *=B; //A=A*B .....
史广爬3948c语言中a+=b++=1;和a=int(b);这个语句为什么不对 -
蓬亚超15326288622 ______ a+=b++=1 这个是两个赋值 一个是b++=1 一个是a+=b++; 其中b++=1不对, 赋值运算左值 只能是变量 不能是表达式. a=int(b) 这个是要强制转换,不过 强制转换要求类型必须加括号 所以 可以是 a=(int)b; 也可以是a=(int)(b); int外面没括号是不可以的.
史广爬3948c语言中,a+=b++,,s+=1/i ,什么意思?还有a++和++a有什么区别? -
蓬亚超15326288622 ______ a+=b++; 等价于 a=a+b++; s+=1/i; 等价于 s=s+1/i; a++;和++a; 单独写没任何区别 但是 如果 b=a++; 和 b=++a; 就有区别了 如果 a=3 ,执行 b=a++; 之后 a是4 ,b是3 如果 a=3 ,执行 b=++a; 之后 a是4 ,b是4
史广爬3948c语言中a+=b等价与a=a+b,那么是否b还要在最后自加一
蓬亚超15326288622 ______ 不需要,如果是a+=b++则b再自加1