lyly1995的博客

今天看了网上很多SAT问题规约到3SAT，虽然写的不错，但是过于理论。其实我看到已知半解。后来无意中发现一个解释这个规约，简单易懂，特此记录。定义：首先给出一个比较直观的定义：假设现在有这么个问题：过年了，正打算烧年夜饭，家里每个人都可以说说自己想吃啥不想吃啥。小C说他要吃牛肉、不吃香菇、不吃内脏，小D说他要吃内脏、吃蔬菜、不吃牛肉。但毕竟众口难调、不一定所有愿望都能实现。因而只要每个人有一个愿望实现，这顿年夜饭就算非常成功了。所以现在问题来了，有没有一桌年夜饭可以让所有人都至少有一个愿望被实现呢？

往往我们只是知道了简单的证明，应付了考试，但是却没有把所学的东西，真正的去实践和应用一番，又可能苦于代码或理论难理解，而选择直接放弃。本主题【机器学习算法原理及其实现剖析】就是，把常用的机器学习算法的原理实现和对应理论支撑相结合，希望能提供一种不同的学习思路。SVM如果想明白一个东西，第一步就是知道它用来干什么的？也就是解决了什么问题。1、解决什么问题？最基本的应用是数据分类，特别是对于非线性不可分数据集。支持向量机不仅能对非线性可分数据集进行分类，对于非线性不可分数据集的也可以分类（这也是SVM

「Teacher forcing」如果我们能够在每一步的预测时，让老师来指导一下，即提示一下上一个词的正确答案，decoder就可以快速步入正轨，训练过程也可以更快收敛。因此大家把这种方法称为teacher forcing。所以，这种操作的目的就是为了使得训练过程更容易。缺点：（1）预测（inference stage）时我们没有老师给你做标记了！纯靠自己很可能挂掉。（2）对于NMT任务来说，不可能保证某种语言中的每一个词在另一种语言中都有对应的词语 【1】。（3）强制词语对应消除了语义相似的其

第七章 归约与复杂度的NP问题理解NP完备性理论（1）理解什么是多项式归约（polynomial-time reduction）（2）知道怎样从一个问题多项式归约到另一个问题，需要熟悉的归约包括：从点覆盖问题到独立集问题，从3-SAT问题到独立集问题等基本归约。（3）要求掌握同一个问题的最优问题如何多项时间归约到该问题的判断问题（自身归约）；（4）熟悉NP和NPC的概念（5）记住证明一个问题属于NPC的基本步骤（6）能证明一个问题是NP-hard第八章 近似算法（1）理解什么是近似算

第四章 理解分治算法的思想4.2 掌握Master method（主方法）来求解递归关系式求解递归方程式的方法：1、代入法2、递归树法3、主方法4.3 其他问题第五章 理解动态规划算法的思想对动态规划类型的问题能建立起基本的递归关系式，并能用从底至上的方法求解，在求解过程知道建立数据储存的表格、理解背包问题动态规划算法的运行时间是伪多项式时间。5.2 比较贪心算法与动态规划算法的差异:动态规划和贪心算法都是一种递推算法，均有最优子结构性质，通过局部最优解来推导全局最

算法分析与设计引论（1）理解算法和程序的差别（2）理解判断问题和优化问题这两类计算问题1、理解指数增长的规模2、理解渐进表达式掌握渐进符号Ο、Θ、Ω的含义，能判断一个函数属于哪个渐近增长阶；3、理解贪心算法的思想掌握工作安排问题（Interval scheduling）的贪心算法；能对简单贪心算法进行证明；4、理解分治算法的思想掌握Master method（主方法）来求解递归关系式5、理解动态规划算法的思想对动态规划类型的问题能建立起基本的递归关系式，并能用从底至上的方法求解，在求

电子科大学系列：数据结构数据结构思维导图数据结构的知识梳理图操作系统操作系统思维导图和重难点操作系统的知识梳理图操作系统——PV重难点分布式系统分布式系统总结数据库设计数据库系统概论 王珊版高级计算机体系结构计算机体系结构 第1-2章 量化设计与分析基础/指令系统原理与示例计算机体系结构 第3章 单周期MIPS处理器的设计计算机体系结构 章4-1和4-2 流水线的基本概念、性能分析、冒险问题和模型设计计算机体系结构 章4-3 流水线指令并行技术计算机体系结构 第5章 存储器

电子科技大学矩阵理论电子科技大学随机过程

第1章 量化设计与分析基础计算机的分类类别计算机系统结构定义和计算机的设计任务：指令集结构概念及要素实现技术的趋势：技术发展的趋势集成电路功耗的趋势：功耗的概念可靠性：提高可靠性的方法6. 测量、报告和总结计算机性能：计算机主要性能指标7. 计算机设计的量化原则：Amdahl定律第2章 指令系统原理与示例指令集系统结构的分类：指令集系统的不同结构存储器寻址：大小端...

第3章 单周期MIPS处理器的设计1、add, sub, addi, subi, lw, sw, beq, j 每条指令在单周期处理器中的执行逻辑2、上述指令的指令编码、代码、功能以及在单周期中的数据通路，条件分支指令的地址计算、单周期各功能部件的控制信号值判断3、中断和异常的处理时机一、MIPS指令注：时钟部件二、数据通路合并（1）R型指令与load/store...

第4章 流水线技术及指令级并行 纲要1、流水线的概念、分类2、流水线的时空图及性能指标计算3、add, sub, addi, subi, lw, sw, beq每条指令在5级流水线的执行过程4、结构冒险、数据冒险和控制冒险的判断，以及需要暂停的时钟周期数的判断5、结构冒险、数据冒险和控制冒险的解决办法6、流水线中处理中断和异常的方法7、记分牌动态调度算法基本概念流水线术语机器...

Cache：按块（block）进行管理的。Cache和主存均被分割成大小相同的块。对Cache和主存的访问是以块为基本单位。5.2 基本原理问题1：映像规则如何放置指定块问题2：块识别问题3：块替换（在发生cache缺失时）习题问题4：写策略1.是否写回主存写直达的配置：2.对cache的是否写5.3 性能分析习题怎样改善cac...

2.每条指令在流水线中在指令预取之后的过程分为四个阶段：(1) 流出（Issue，记为IS）(2) 读操作数（Read Operand，记为RO）(3) 执行（Execution，记为EX）(4) 写结果（Write Result，记为WR）3. 记分牌需记录的信息分为三部分4.习题5. 记分牌的性能受限于以下几个方面：...

Part1：安装pycharm安装Professional：链接：link.之后注册邮箱（在校学生或者老师），如果没有就需要自己购买了。英文Professional才提供全套的远程debug。以下介绍邮箱的申请：step 1 注册account，使用任意一个邮箱registration.step 2 按流程关联自己的学生/老师邮箱即可Part 2 pycharm的远程配置ste...

Part 1 短语结构文法（PSG）、上下文有关文法（CSG）、上下文无关文法（CFG）、右线性文法(RLG)的区别Part 2 概念文法G=(V，T，P，S)G叫做0型文法(type 0 grammar)，也叫做短语结构文法(phrase structure grammar, PSG)。L(G)叫做0型语言。也可以叫做短语结构语言(PSL)、递归可枚举集(recursively en...