上海财经大学理论盘算机科学研究中心主任
我的研究方向是理论盘算机。每次我跟别人说本身的专业时，各人都会问我一个标题：你是做硬件还是软件？
我每次都非常尴尬。由于我既不是做硬件的，也不是做软件的。大学毕业后十几年，我就没有写过步伐。我们一样寻常的工作，只要一张纸、一只笔就可以了。
理论盘算机的关键词不在盘算机，而在盘算。我们关注的是盘算的理论。
各人大概前两年看过一个影戏，叫《模拟游戏》。影戏就是以盘算理论的祖师爷——图灵的一生作为原型。
图灵在1936年的一篇论文中准确地界说了什么叫盘算。如许的准确界说有什么意义呢？
一方面，从他原始的初志来说，有了如许准确的界说，就可以证实什么东西是不能盘算的。
别的一方面的意义大概对我们的影响更大。今世盘算机就是在图灵机如许的数学模子根本上造出来的。固然盘算机已经被发明出来了，但盘算的理论还是沿着自身的逻辑发展，继续研究盘算的原形。
什么是盘算的原形呢？
简单来说，就是我们盘算的本领到了什么水平？盘算的极限又在那里？什么是可以盘算的？什么是不能盘算的？什么是轻易盘算的？什么是不轻易盘算的？
盘算实在是无处不在的。从最深刻最根本的数学到最酷最炫的信息科技应用；从最客观的天然科学，到我们一样寻常生存中的社会、经济举动。盘算与它们都有着非常广泛而本质的接洽。
非常荣幸，我本人的研究方向恰恰与数学、科学、技能、经济学这四个纬度都有交织。以是，我的朋侪和互助者中既有数学家、物理学家、经济学家、也有盘算机应用科学的学者以及一线的步伐员和工程师们。
实在这四类人优劣常不一样的，他们之间使用的语言和关注的东西都很不一样，相互很难对话。但是，他们跟我都对话得很好，互助得很好。我以为这也从一个角度论证了盘算头脑的普适性。
在盘算与数学、科学、技能、经济学这四个方向的接洽中，各人对盘算与科学、技能的接洽相对好明白一些。
比如它与科学方面的接洽。如今最火的技能叫量子信息与量子盘算，就是盘算与物理学的联合。如今这个范畴特别火。不但各国政府投入了很多资金，很多高科技企业也加入了。就在迩来这短短的一年左右，BAT先后创建了量子盘算与量子信息的实行室。
盘算与技能的联合就更不消说了。如今的高科技都是以盘算机科学的技能为根本支持的。包罗各人说得特别多的人工智能技能、区块链技能等等。
不外我本日最想讲的，是盘算与数学、经济学的接洽。
让我们从数学开始。德国巨大的数学家希尔伯特有一个很紧张的贡献。他在1900年巴黎国际数学家大会上，提出了23个数学标题。这23个标题涉及数学非常多差别的方向，很大水平上引导了整个21世纪数学的发展。
厥后很多人试图解答他的这23个标题，从而发展出了很多新的数学理论和工具。此中有一些到如今还没有解出来。
我们本日要讲的是他的第10个标题。第10个标题，各人非常好明白，尤其对小时间学过奥数大概有孩子在学奥数的人来说，很好明白。
就是恣意给你一个方程，让你答复这个方程有没有整数解？（编者按：即不定方程可解性）
前段时间，有个特别的方程在我的朋侪圈里刷屏了。
这个方程看起来非常轻便，也没有什么特别的。标题是存不存在三个正整数ABC使得这个方程创建。
这题为什么很风趣呢？
由于如许的正整数确实是存在的，但如果你去算一下的话，我信托你不会很快算出来。由于它最小的一个正整数解是长这个样子的。详细多少位我也没数过。
从这个例子，各人可以看出。不是全部的标题都可以通过输入方程，就能把解给找出来。
就像希尔伯特第10标题，固然已经有了答案，但效果却不是希尔伯特所盼望的。希尔伯特盼望找出一个通用的方法。但我们通过盘算理论证实白通用方法是不存在的。不存在一个算法，可以给你一个方程，就能确定地找到一个解。
如许一种否定性的答复，偶然间在数学中反而具有更加深刻的意义。
盘算的理论如今已经发展得很成熟了。我们各人已经知道，哪些标题是可以算的，哪些标题是不能算的。
如今，盘算理论关注的焦点已经从能不能算发展到了难不难算。也就是盘算的复杂性标题。
盘算复杂性怎么明白？意思是我们要用多长时间来把这个标题给算出来。
我们再举一个奥赛题。这是一张纸，上面有一张图。你沿着图上的线画，但是同一条线不能画两次，你能不能把这个图一笔画出来？
如果实行全部的画法，必要好久；如果这个图再大一点，就更贫苦了。有没有一个轻便的方法呢？
我想很多人会知道这个轻便的方法。那就是你看每一个点毗连的线是奇数条还是偶数条。偶数条我们就叫偶点，奇数条叫奇点。如果一个图的奇点数不凌驾2的话，这个图就是可以一笔画的。
有了如许一个简单的辨别方法，纵然这个图里有几百个点，你也能很快判定出能不能一笔画完。
如果我把这个题稍微换一下，说图中的每个点都不能重复呢？就比如这是一个游览图，每个点代表一个景点，你能不能把全部的景点没有重复地游览一遍？
这个标题在数学上称为哈密尔顿蹊径标题。固然你可以把全部大概的门路图都走一遍。但如果这个图的点数凌驾几百的话，即使用今世开始进的电脑，要穷举全部的大概性，也无法在我们的有生之年看到效果。由于所必要的时间着实太长了。
那么有没有一个像一笔画一样的轻便方法？这个标题不但奥数老师没有教过，如今全部的数学家也都不知道。
它是21世纪七大数学困难之一。如果你可以大概找到如许一个轻便方法，你就可以得到一百万美金的奖金。如果你能证实这个方法不存在，同样可以得到这一百万美金。
哈密尔顿标题并不是孤立存在的。这世上，有成千上万个标题，固然看起来不一样，但在盘算复杂性这件事故上却是等价的。等价的意思就是说，如果你找到此中一个标题的轻便方法，那么，这成千上万的标题，你都找到了一个轻便方法。以是盘算复杂性是当今理论盘算机科学焦点之一。
我们的目的就是根据盘算复杂性把标题举行区分。
像我本身证实白很多二分定理。二分定理的意思就是：全部在一个框里可以形貌的标题，我要把它完全地域分出哪些是难的，哪些是不难的。
讲完盘算理论与数学联合，我们再来讲它与经济学的接洽。
我们举一个各人比力轻易明白的例子——淘宝。
在淘宝中，你输入一个关键词，它会保举一些商品和商家。
从淘宝的角度来说，它盼望为用户提供最好的体验，以是会只管把它以为优质的商品与商家保举给你。那怎样评价商品与商家呢？淘宝用了一系列参数，比如商家的汗青销量、用户评价等等，然后根据这些参数举行排名。
排名对每一个商家来说很紧张。如果被排在在前面的话，商品被购买的大概性就会大很多。
以是，很多商家就会用卖弄生意业务的方式来刷销量、刷评价，让本身排名靠前。
如果很多商家都如许做，用户的体验就欠好了。从盘算的视角来看，淘宝运行一个算法，盼望给用户好的体验。但是由于这些数据的生产者是商家，而商家又有各自的优点。它的优点是盼望本身的收益最好，而不是盼望团体用户的体验最好。
就在如许的过程中，算法有其限定性。也就是说，输入的数据并不是完全可控的。这时间，盘算的极限的分界点实在就发生了厘革。
为相识释得更详细，举一个我本身科研中的例子。这是一个最优拍卖机制的计划。
各人大概都知道拍卖。大到开发商拍地，小到在淘宝网上拍卖，乃至各人常说的搜刮引擎关键词的竞价排名，都是用的拍卖方式。
拍卖是经济学中非常紧张的一个举动，也有很多关于设置最优拍卖机制的研究。但经济学的研究一样平常都基于如许的假设：拍卖者知道各人对拍卖品的估价大概是处在什么样的分布水平。
这种情况在互联网期间变得越来越不实际。由于互联网上卖的很多东西，比如竞价排名，你是不大概对每一个网友做市场观察的。
以是原来的经济学理论很难在实际中实用。为了改变这个标题，理论盘算机科学家在2001年基于竞争比的概念，提出了新的最优拍卖机制模子。它概念是说，如果竞争比的数值越小，拍卖机制盼望的收益就会越好。因此对于卖家来说，竞争比越小越好。
而2001年提出的最优拍卖机制，它的竞争比非常大的，是一个大于100的常数。之后有很多多少差别的经济学家、数学家、盘算机科学家试图计划更好的机制来改进这个竞争比。之前改进到最好的是3.12。
这个改进是不是无止尽的？有没有一个极限呢？2004年，有科学家证实这个数不能变得比2.42还小。但是，从3.12到2.42怎么做到不知道。
于是，我和我的两个互助者一起证实白，存在一个拍卖机制，竞争比就是2.42。那么，这就是一个最优的拍卖机制。
淘宝的排名与拍卖机制的计划催生一个新的学科——盘算经济学。
这个学科包罗的范畴实在非常广，包罗像市场代价的推测、市场均衡的盘算等等标题。这些标题原来在经济学中也有很多研究，但当市场越来越大的时间，关于盘算的复杂性成为新经济学中的一个新的束缚。
我们讲到了盘算理论与数学、科学、经济学、技能的关系。可以看到：
盘算理论与数学的联合体现了理论的深刻性；
在与科学的联合中，我们发现关于盘算的概念真的出如今物理的天下中，而且影响着宇宙运行的规律，以是是真实的；
它与经济学的联合，可以看到它的普适性；
而当我们看到以盘算机科学为根本的信息科技，正从亘古未有的水平改变着我们整个生存和生产的方式时，再一次证实白这些盘算工具的有效性。
深刻、真实、普适、有效，这就是我眼中的盘算头脑和盘算原理，也是我十几年来不停醉心于这个学科的缘故原由。
我信托通过盘算的视角，我们可以更好地明白这个天下；通过盘算这个工具，我们也可以去更好地改造我们的天下，创造更加精美的未来。
编辑丨汉岚
校对丨其奇
点击蓝字“相识更多”，获取更多「作育」精彩内容。
| 欢迎光临 淘宝卖家开店运营论坛_淘宝卖家经验交流学习社区 (https://tao92.com/) | Powered by Discuz! X3.3 |