数学
cd2dvd
这个作者很懒,什么都没留下…
展开
-
单纯形法 simplex method
单纯形法 simplex method 求解线性规划问题的通用方法.单纯形是美国数学家G.B.丹齐克于1947年首先提出来的.它的理论根据是:线性规划问题的可行域是 n维向量空间Rn中的多面凸集,其最优值如果存在必在该凸集的某顶点处达到.顶点所对应的可行解称为基本可行解.单纯形法的基本思想是:先找出一个基本可行解,对它进行鉴别,看是否是最优解;若不是,则按照一定法则转换到另一改进的基本可行...转载 2017-09-11 10:36:18 · 7914 阅读 · 0 评论 -
NP理论(1):图灵机与丘奇-图灵论题
NP理论(1):图灵机与丘奇-图灵论题 精选已有 3593 次阅读 2016-5-24 03:36 |个人分类:NP理论|系统分类:科研笔记|关键词:图灵机,邱奇-图灵论题,无限长的纸带计算机理论的基础是可计算性理论,而可计算性理论的基石是“图灵机”与“丘奇-图灵论题”,其意义之丰富,涵盖了从数学、算法理论、数理逻辑以及哲学意义上的深刻内容,迄今仍然未被充分解读。转载 2017-09-21 11:34:39 · 1607 阅读 · 0 评论 -
计算理论基础
内容形式语言与自动机:正则语言、上下文无关语言、图灵机 可计算性:可判定、可归约 计算复杂性:时间、空间、难解性正则语言确定有穷自动机DFA:M=<Q,Σ,δ,q0,F>,δ:Q×Σ→QM=<Q,Σ,δ,q0,F>,δ:Q×Σ→QM 接受字符串:w=w1...wn,∃q0...qn,δ(qi,wi+1)=qi+1,qn⊂Fw=w1...wn,∃q0...q...转载 2019-01-26 13:28:42 · 1237 阅读 · 0 评论 -
可计算性理论与复杂性介绍
前言原文:An Introduction to Computability Theory and Complexity 作者: MEHMET BAJIN正文你有没有想过:你正在阅读这篇文章的设备究竟是什么?什么是电脑?计算科学可以追溯到在这些现代计算机设备还没有被想象出来之前很长一段时间。在一个更经常被问到的问题中,围绕着编程语言、框架和库的问题,我们常常想当然地认为,计算机的基本...转载 2019-01-26 20:15:37 · 7206 阅读 · 0 评论