• 图论科学家教你如何安排婚礼座次

    在2002年,Chudnovsky同她的博士导师(Seymour)以及另外两个合作者共同证明了“强完美图定理”(strongperfect graph theorem),证实如何完成一个完美图。他们的论证发表在2006年的《the Annals of Mathematics》...
    文章 2017-05-02 1148浏览量
  • Certigrad——随机计算图优化系统

    然而使用现状方法,编译器不知道程序应该做什么,因此只能捕获表面的语法错误,用我们的方法论,这个定理证明了程序应该做什么,并且能够提供更多有用的帮助。作为一个简单的例子,假设我们要将一个2层MLP编译成一个...
    文章 2017-07-13 2978浏览量
  • 纯粹数学的雪崩效应:庞加莱猜想何以造福了精准医疗?

    在二维曲面情形,哈密尔顿和Ben Chow证明了曲率流的确将任何一个黎曼度量形变成常值曲率度量,从而给出了曲面单值化定理的一个构造性证明。但是在三维流形情形,里奇曲率流遇到了巨大的挑战。在二维曲面情形,在曲率...
    文章 2017-05-02 1310浏览量
  • 最小生成树的两种寻路算法及证明[上]

    平面连通图是一个二维网络,网络由节点和边组成,比如我随手画了一个:也可以是这样:它并不是一个空间连通图因为他可以拓扑变换成这样:但如果这种图就不行了:这样的连通图只能出现在三维空间中,所以无法满足欧拉公式. ...
    文章 2018-03-08 5971浏览量
  • 对话 IJCAI 11「卓越研究奖」得主 Robert Kowalski:...

    虽然在那个年代,自动定理证明主要是用以证明数学定理,但是斯坦福大学的研究者在一些研究中开始将自动定理证明应用到了 AI 领域,例如规划和问答。这些 AI 应用更加接近于我希望用其解决人类现实问题的目标,也成为...
    文章 2019-06-21 1024浏览量
  • 《中国人工智能学会通讯》——6.24 智能、知识和学习

    我们无法证明,在任何给定情况下,这个算法都始终、全面优于任何其他算法。对于这个原则,人工智能研究人员已经有了正式的数学描述——“没有免费午餐”定理——定理证实,不存在能够解决每一个真实世界学习情境...
    文章 2017-09-04 987浏览量
  • CAP原理

    这点对于分布式系统至关重要,我们不能保证系统中众多节点在运行期间整体可用,总会出现不可用的情况,比如节点崩溃、节点数据异常、节点连接超时等,所以我们要保证某些节点不可用的情况下系统依然可用。...
    文章 2021-09-15 56浏览量
  • 观点|如何优雅地从四个方面加深对深度学习的理解

    Pratik Chaudhari 和 Stefano Soatto 论文的一个主要定理证明了分布的单调会收敛到稳定状态(在 KL 散度意义中)。第二个方程表明,使 F 最小化相当于最小化某个潜在的ϕ以及扩大熵的分布(温度 1/β控制的权衡)...
    文章 2018-09-21 1971浏览量
  • “符号数学”终于向“神经网络”屈服:...学会数学证明了...

    证明定理的一种常见办法是提出一个反例,证明它不成立。这是这类神经网络有朝一日可能非常适合的一项任务:找到一把意想不到的扳手然后扔进机器里面。这种方案展现出解决希望的另一个未解决问题是神经网络最令人不安...
    文章 2020-06-11 1409浏览量
  • 深度|无法找到“黑点”的代码,连顶级黑客也束手无策

    Fisher 说道:“我们用机器从数学上证明了红方肯定无法突破这一代码块,因此他们无法突破也就很顺理成章了。结果与定理一致,也很好确认。在“小鸟”无人军事直升机上测试后,美国国防部高级研究计划局就开始将这些...
    文章 2017-08-01 932浏览量
  • 深度|无法找到“黑点”的代码,连顶级黑客也束手无策

    Kathleen Fisher 说道:“我们用机器从数学上证明了红方肯定无法突破这一代码块,因此他们无法突破也就很顺理成章了。结果与定理一致,也很好确认。在“小鸟”无人军事直升机上测试后,美国国防部高级研究计划局就...
    文章 2017-08-09 788浏览量
  • Isito从懵圈到熟练-半夜两点Ca证书过期问题处理惨况...

    有一条定理,就是我们绞尽脑汁,耗费大量时间无法解决的问题,在大神眼里,可能就是几秒钟的事情。11月22号半夜,这条真理再次被验证。因为实在想不通,但是用户又非常着急,所以最终还是打扰了一位大神,他只大概看...
    文章 2020-03-25 690浏览量
  • Isito从懵圈到熟练-半夜两点Ca证书过期问题处理惨况...

    有一条定理,就是我们绞尽脑汁,耗费大量时间无法解决的问题,在大神眼里,可能就是几秒钟的事情。11月22号半夜,这条真理再次被验证。因为实在想不通,但是用户又非常着急,所以最终还是打扰了一位大神,他只大概看...
    文章 2019-11-25 1905浏览量
  • 计算机中的数学【集合论】现代数学的共同基础

    在我看来,连通性有两个重 要的用场:一个是用于证明一般的中值定理(Intermediate Value Theorem),还有就是代数拓扑,拓扑群论和李群论中讨论根本群(Fundamental Group)的阶。Compact set(紧集)。Compactness似乎...
    文章 2018-05-01 1093浏览量
  • 麻省理工(MIT)牛人解说数学体系

    在我看来,连通性有两个重要的用场:一个是用于证明一般的中值定理(Intermediate Value Theorem),还有就是代数拓扑,拓扑群论和李群论中讨论根本群(Fundamental Group)的阶。Compact set 紧集 Compactness似乎在...
    文章 2017-05-02 955浏览量
  • 演讲稿丨李衍达 沿着Simon开拓下去

    每当人工智能专家实现了一次突破,比方说有人说如果能证明数学定理我就说你有智能了,结果人工智能专家实现了,把罗素一本书中所有的数学定理都给证明了,还是有人说那不算智能,后来有人说如果你能下棋我就算你有...
    文章 2017-05-02 1482浏览量
  • 关于CAP理论的一些笔记

    Gilbert 和Lynch已经证明,使用其他的变种方式,即使是部分同步模型(每个节点上使用安排好的时钟)也无法保证原子性。因此,CAP 告诉我们,如果想让 A 和 B 是高可用的(例如,以最小的延迟提供服务)并且想让所有...
    文章 2016-04-08 4619浏览量
  • 量子人工智能笔记之量子深度学习

    但是以上算法都因为性能原因无法非常有效地计算全连接的玻尔兹曼机。于是就有了RBM(受限玻尔兹曼机),就是将一些单元之间的连接人为地去掉,这样训练起来就快了不少。用量子比特来表示玻尔兹曼机思路上并不复杂,...
    文章 2018-05-15 1579浏览量
  • 量子通信是如何做到“绝对安全”的

    这就是量子不可克隆定理,已经经过了数学上严格的证明。窃听者在窃听经典信息的时候,等于复制了这份经典信息,使信息的原本接收者和窃听者各获得一份。但是在量子态传输时,因为无法克隆任意量子态,于是在窃听者...
    文章 2018-05-15 1039浏览量
  • 独家揭秘:量子通信如何做到“绝对安全”?

    这就是量子不可克隆定理,已经经过了数学上严格的证明。窃听者在窃听经典信息的时候,等于复制了这份经典信息,使信息的原本接收者和窃听者各获得一份。但是在量子态传输时,因为无法克隆任意量子态,于是在窃听者...
    文章 2018-05-03 827浏览量
  • [区块链]拜占庭将军问题[BFT]

    Fischer-Lynch-Paterson定理证明了,只要有一个叛徒存在,拜占庭将军问题就无解。翻译成分布式计算语言,在一个多进程异步系统中,只要有一个进程不可靠,那么就不存在一个协议,此协议能保证有限时间内使所有进程...
    文章 2018-06-25 2291浏览量
  • ITDSD-4.分布式软件的定量分析

    为了证明由具有共享数据的单线程服务器组成的网络必然是异步网络。首先假设客户端和服务器创建链接后都使用同步方式,并且能与其他客户端共享数据。即任意方处理完消息后都阻塞等待对方发送新的消息。这样的链接方式...
    文章 2019-06-13 912浏览量
  • 注水、占坑、瞎掰:起底机器学习学术圈的那些“伪科学...

    我们将这种正式和非正式的主张的纠结称之为数学滥用,正如经济学家Paul Romer所描述的这种模式:“就像数学理论一样,数学滥用利用语言和符号的混合,但并没有做紧密的关系连接,而是在自然语言声明和正式语言声明...
    文章 2018-07-17 1063浏览量
  • 学习分布式不得不会的ACP理论

    通过CAP理论及前面的证明,我们知道无法同时满足一致性、可用性和分区容错性这三个特性,那要舍弃哪个呢?我们分三种情况来阐述一下。CA without P 这种情况在分布式系统中几乎是不存在的。首先在分布式环境下,网络...
    文章 2018-07-21 2295浏览量
  • 大数据背后的神秘公式(下):“贝叶斯革命”

    根据采样定理进行估算,采用经典统计学方法至少需要获得1%-10%的样本才能确定其病因,也就是需要制作出数万亿亿亿个患有该疾病的病人的基因图谱!这不具备可操作性。所以用经典统计学方法无法解释由相互联系、错综...
    文章 2017-05-02 1188浏览量
  • 如何让AI理解数学?Facebook神经网络通过“语言翻译”...

    数学家们正越来越多地研究使用人工智能来生成新的定理证明的方法,尽管“这种技术还没有取得很大进展,”Lample 说,“这是我们正在研究的东西。Charton 描述了他们的方法至少有两种方法可以推动人工智能定理的...
    文章 2020-07-01 720浏览量
  • 技术详解DAG区块链项目SPECTRE:围绕一致性建设,投票...

    通常从技术层面来说,在一个分布式的系统里,开发人员都遵循着“CAP”定理来进行开发和维护,它们分别是上述提到的一致性、可用性和隔离性。在以往的区块链中,首先需要注意的因素即为一致性,分布式账本需要一致,...
    文章 2018-04-19 1096浏览量
  • GAN完整理论推导、证明与实现(附代码)

    在均衡点上 D 和 G 都不能得到进一步提升,并且判别器无法判断数据到底是来自真实样本还是伪造的数据,即 D(x)=1/2。上面比较精简地介绍了生成对抗网络的基本概念,下一节将会把这些概念形式化,并描述优化的...
    文章 2017-10-09 7428浏览量
  • 《人工智能:计算Agent基础》——1.2 人工智能简史

    Newell和Simon[1956]开发的程序“逻辑理论家”可以证明命题逻辑中的定理。除了研究高级的符号推理,还有一些工作研究低级学习,这些研究从神经元如何工作受到启发。McCulloch和Pitts[1943]说明了一个简单的阈值...
    文章 2017-07-03 1158浏览量
  • 机器学习研究人员需要了解的8个神经网络架构(上)

    它们受到了生物神经网络的启发,目前所谓的深层神经网络已经被证明非常有效。神经网络本身就是一般的函数逼近,这就是为什么它们几乎可以应用于几乎任何机器学习问题,其中问题的关键是学习从输入到输出空间的复杂...
    文章 2018-04-15 1665浏览量
1 2 3 >

云产品推荐

视频直播 大数据计算服务 MaxCompute 国内短信套餐包 ECS云服务器安全配置相关的云产品 开发者问答 阿里云建站 新零售智能客服 万网 小程序开发制作 视频内容分析 视频集锦 代理记账服务 阿里云AIoT 阿里云科技驱动中小企业数字化