摘要：
拟阵理论主要是研究定义在一个集合的子集合上的抽象相关关系。不是相关的子集通常也叫独立集。一个拟阵可以有许多不同但是等价的方法定义。 拟阵与子集系统 定义： 子集系统是一个二元组M=(S,L)，它须满足以下条件： S是一个有限集(finite set or ground set)。 L是由S的一些子集 阅读全文
posted @ 2018-10-07 11:52 MwingFly 阅读(4941) 评论(0) 推荐(1) 编辑
摘要：
关于归约的故事 可以让机器人执行 让机器人执行较困难，需要较高智能去判断(这不是归约方案) 机器人执行比较容易(这才是归约方案) 可归约性 一种化难为易、化繁为简的方法。 归约精确化 证明1 证明2 多项式时间归约 阅读全文
posted @ 2018-10-06 11:41 MwingFly 阅读(629) 评论(0) 推荐(0) 编辑
摘要：
转自：https://www.cnblogs.com/shixiangwan/p/7532858.html 梯度下降法，是当今最流行的优化（optimization）算法，亦是至今最常用的优化神经网络的方法。本文旨在让你对不同的优化梯度下降法的算法有一个直观认识，以帮助你使用这些算法。我们首先会考察 阅读全文
posted @ 2018-10-05 21:53 MwingFly 阅读(2453) 评论(0) 推荐(0) 编辑
摘要：
转自：http://www.cnblogs.com/maybe2030/p/4946256.html 1. 拉格朗日乘数法的基本思想 作为一种优化算法，拉格朗日乘子法主要用于解决约束优化问题，它的基本思想就是通过引入拉格朗日乘子来将含有n个变量和k个约束条件的约束优化问题转化为含有（n+k）个变量的 阅读全文
posted @ 2018-10-05 17:04 MwingFly 阅读(627) 评论(0) 推荐(0) 编辑
摘要：
转自：http://www.cnblogs.com/maybe2030/ 我们每个人都会在我们的生活或者工作中遇到各种各样的最优化问题，比如每个企业和个人都要考虑的一个问题“在一定成本下，如何使利润最大化”等。最优化方法是一种数学方法，它是研究在给定约束之下如何寻求某些因素(的量)，以使某一(或某些 阅读全文
posted @ 2018-10-05 16:40 MwingFly 阅读(8798) 评论(0) 推荐(0) 编辑
摘要：
图灵在1936年就指出，图灵机并不是什么都能计算。最著名的例子就是停机问题，即没有计算机能通过查看一段代码就知道自己是会永远执行下去还是会最终停止。——摘自《可能与不可能的边界：P/NP问题趣史》 前言 我们都见过计算机屏幕上出现一个代表忙碌的小沙漏，不知道这是代表计算机死机了，还是在进行长时间的计 阅读全文
posted @ 2018-10-04 21:49 MwingFly 阅读(5962) 评论(0) 推荐(0) 编辑
摘要：
致谢：http://www.docin.com/p-1902790324.html 阅读全文
posted @ 2018-10-04 19:43 MwingFly 阅读(544) 评论(0) 推荐(0) 编辑
摘要：
Richard Karp发明了缩写记号P，用来表示有好算法的判定问题。P类的正式定义是指，能在多项式时间内由一台单带图灵机解决的问题，换言之，如果输入带上的符号数目为n，那么必定存在指数k和常数C，保证图灵机经过至多Cnk步以后必然停机。当然，这种定义相当好，单带图灵机可以替换为多带图灵机，甚至换成 阅读全文
posted @ 2018-10-04 19:35 MwingFly 阅读(5746) 评论(0) 推荐(0) 编辑
摘要：
图灵机与确定性算法 多项式时间内归约才是有效的。 以多项式作为分界函数？ 一、常见算法大致分为两类： 一类是多项式时间内可实现的 另一类需要指数时间（O(cn)） 二、多项式时间算法与计算模型无关 算法的研究依赖于计算模型。在不同类型计算模型上实现算法，计算时间不同。 广义Church-Turing 阅读全文
posted @ 2018-10-04 16:18 MwingFly 阅读(839) 评论(0) 推荐(0) 编辑