虎嗅网

停机问题

  • 文章
  • 作者
谈量子通信前,先看看经典保密通信安全性如何?

在NP问题以外,还存在一些问题是不可判定的,比如停机问题,这类问题存在但并不是计算科学关注的重点。质因数分解是典型的NP问题:它很容易验证,但很难求解。这并不意味着在未来某位天才数学家找到可以在多项式复杂度下分解质因数的算法没有可能,只能说目前没什么线索。

返朴2019-04-15
这个问题,计算机就算想破了脑袋也解决不了

但是,有些问题计算机永远也找不到答案。比如,一个程序有没有bug,运行时会不会导致卡机?不管计算机多聪明,它们就是想破了脑袋,也解答不了这个问题。这就是计算机学里著名的问题——停机问题(the halting problem)。1936年,人工智能之父艾伦·图灵就对停机问题进行了证明。

把科学带回家©2019-02-28
阅读的痛痒

我联系到他,他说我经常不接电话,我的电话好像停机了。虽然是智能手机的基本功能是电话,但恰恰是这个功能在衰减,变得不重要。它变成了阅读器,在管理和统领你的日程,是工作的一个交接站,还在管理你家里的电器。这样的状态下,人变成在信息流中多线程跳转。

方希-FANCY2019-12-12
我在大兴机场修飞机

大兴机场142号停机坪短停保障是机务人员在白班时最为常见的工作,每人每天至少要保障三架次飞机起落。15点37分,飞机平稳降落,通过自动泊位引导系统滑行至指定位置,距离下一班执飞任务,停泊只有短短90分钟。停机坪的90分钟战役工具箱、工具包、轮档、隔离桩,随身携带11页被奉为“机务圣经”的工单,王梦成三人整装待发。待飞机防撞灯熄灭后,他们走近飞机放轮档和隔离桩,为飞机地面安全加固。

界面新闻©2019-11-30
“流浪大师”沈巍走红之后

七我试图联系刘小飞,但他的电话已经停机,沈巍告诉我他出事了,细节不愿意多说;我找到刘小飞的父亲,他说自己有很多委屈没处说,但又问我,“是谁给你钱让你来的?”钱像一把刀子悬在头上。刘小飞的父亲声称自己的儿子是被金主搞了,沈巍一行人说起几位大粉丝也是讳莫如深。他们贡献了直播中绝大多数的穿云箭,但有时候也去反对者的房间刷几根表示态度;他们会打电话调停纷争,也会突然出现在言语恶毒的谩骂直播间里。

时尚先生2019-11-21
中国“超高层”模式退烧

大屋面99层(净高467米)钢结构封顶,楼顶停机坪施工正在快速推进中。绿地集团在2004年开始尝试超高层,除了武汉,绿地还在南京、郑州、大连、长春、西安、济南、南昌等地布局了超高层项目,截至2017年底,绿地有49栋超高层项目,包括200米以上45栋,400米以上8栋,基本上做到了“凡有二线城市,皆有绿地高层”。然而超高层项目的周期长,投入的资金量大,这对开发商的现金流考验非常大。

界面新闻©2019-11-19
你离花呗自由还有多远?

有一回,欠款拖得有点久,偏偏手机又停机。阿四的朋友接到了催款电话,来学校找到她,主动借钱给她还了,阿四尴尬得不知所措。还完那一期的贷款,她第一次对伴侣产生了一丝怨恨。分手后她曾要求对方还一部分,对方过了很久后转来三百块,然后拉黑了她。“没想到蚂蚁花呗成了我们之间唯一有关联的事情。”分开后很长一段时间,一旦她对过去产生了一丝留恋,她就去看看下个月的花呗账单。

Epoch故事小馆©2019-11-14
全民“出门打飞机”的时代,真的要到来了么?

噪音噪音在垂直起降飞机设计中似乎是一个容易被轻视却极其重要的问题。没有人愿意忍受每天几百架飞机在头顶上轰鸣,因此,要想实现大规模商用,每一架“空中的士”都要做到足够的安静。把噪声降低到现有地面交通噪声的级别是垂直起降飞机的设计目标也是设计难点。

2030出行研究室©2019-11-11
中年创业者罗永浩还剩下什么?

投中网试图联系上述已经起诉的供应商,但其中的大部分公司公开号码已经停机,截止发稿,投中网未能与之取得联系。从工商信息变更来看,已经有公司改名换姓,切入其他行业。7年手机生涯,留给锤子科技的或只剩6亿元债务。2019年1月,今日头条收购锤子科技专利使用权的消息传出;4月,锤子系统SmartisanOS官方微博信息变更,背后直指字节跳动。但双方始终未就具体收购事项作出回应。

投中网2019-11-09
【虎嗅早报】柳青致歉:给朋友们添堵了;中国将恢复进口加拿大牛肉和猪肉

异地销户终于来了@新浪财经【中国联通宣布上线异地销户功能:手机卡补卡、挂失也不用回本地】中国联通正式宣布,从今天开始正式上线“异地无忧”服务,其主要是解决外地不能挂失手机卡、补卡/注销必须回本地、融合业务只能是本地的号码等问题。公告中称,“跨域服务”包括异地信息查询、停机保号/停机保号复机、移网挂失/解挂、移网开通/关闭国际或港澳台长途漫游权限等。

季末2019-11-07