- 综合排序
- 最热优先
- 最新优先
- 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 泵引理 Pumping 证明 ) ★★
文章目录 一、泵引理 ( Pumping ) 二、泵引理证明示例 1 三、泵引理证明示例 2 四、泵引理证明示例 3 参考博客 : 【计算理论】Pumping 引理 ( 四个等价概念 | 自动机界限 | xy^iz \in A \quad ( i \geq 0 ) : \rm i 表示中间的 \rm y 的重复次数 ; \rm |y| > 0 : \rm y 是中间重复的部分 , 星计算部分 xy^iz \in A \quad ( i \geq 0 ) : \rm i 表示中间的 \rm y 的重复次数 ; \rm |y| > 0 : \rm y 是中间重复的部分 , 星计算部分 xy^iz \in A \quad ( i \geq 0 ) : \rm i 表示中间的 \rm y 的重复次数 ; \rm |y| > 0 : \rm y 是中间重复的部分 , 星计算部分 xy^iz \in A \quad ( i \geq 0 ) : \rm i 表示中间的 \rm y 的重复次数 ; \rm |y| > 0 : \rm y 是中间重复的部分 , 星计算部分
75000编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( P 、NP 、NPC 总结 ) ★★
| NP 直觉 | NP 简介 | NP 类严格数学定义 ) 【计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★ 【计算理论】 计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 ) 【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 】计算复杂性 ( P 类 | 有效算法函数 | NP 直觉 | NP 简介 | NP 类严格数学定义 ) 【计算理论】计算复杂性 ( 多项式时间规约 | NP 完全 ★ | 布尔可满足性问题 ) ★ 【 计算理论】计算复杂性 ( NP 完全问题 - 布尔可满足性问题 ★ | 布尔可满足性问题是 NP 完全问题证明思路 ) ★ 【计算理论】计算复杂性 ( 3-SAT 是 NP 完全问题 | 团问题是 NP 完全问题 | 团问题是 NP 完全问题证明思路 ) 【计算理论】计算复杂性 ( NP 完全问题 | 顶点覆盖问题 | 哈密顿路径问题 | 旅行商问题 | 子集和问题 ) 【计算理论】计算复杂性 ( NP
1.3K00编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 上下文无关文法 ) ★★
文章目录 一、上下文无关文法 ( CFG ) 二、上下文无关文法 ( CFG ) 示例 三、确定性有限自动机 DFA 转为 上下文无关语法 CFG 参考博客 : 【计算理论】上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 | 语法分析树 ) 【计算理论】上下文无关语法 ( 代数表达式 | 代数表达式示例 | 确定性有限自动机 DFA 转为 上下文无关语法 ) 【计算理论 计算能力对比 : 上下文无关语法 的计算能力 要大于等于 自动机的计算能力 ;
90300编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计 ) ★★
rm \Gamma - \Sigma ( 相对补集 ) 集合中 ; ⑦ 一些接受状态 , \rm F , 其中 \rm F \subseteq Q ; 指令与转换函数 : 图灵机是根据指令进行计算的 移动一格单位 ; 其中 \rm D 方向可以是 \rm L 向左移动 , 也可以是 \rm R 向右移动 ; 格局 Configuration , 格局是给图灵机照一个 快照 , 下图就是图灵机在计算过程中 , 某一个时刻的快照 ; 将图灵机计算过程 , 每个步骤都照一份快照 , 通过轨迹将这些快照联系到一起 , 就可以得到一个数据结构 , 上述格局可以记作 \rm 00q1B , 该写法表示 与 不需要设计出图灵机的具体的指令 , 只需要 使用语言描述图灵机的读写头在带子上的操作 即可 ; 设计图灵机 , 只需要 将图灵机描述出来 即可 ; 证明问题属于 \rm P , 只需要将问题使用图灵机判定的过程描述出来 , 计算出该问题的时间复杂度的数量级 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M_1 = "在长度为 \rm n 的字符串 \rm w 上进行如下计算
83000编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 自动机设计 ) ★★
如果当前输入的字符串中 , 含有奇数个 1 那么当前状态是 接受状态 ; ② 非接受状态 : 如果当前输入字符串中 , 有偶数个 1 , 那么当前的状态就是 非接受状态 ; 参考博客 : 【计算理论 】确定性有穷自动机 ( 自动机组成 | 自动机语言 | 自动机等价 ) 【计算理论】自动机设计 ( 设计自动机 | 确定性自动机设计示例 | 确定性与非确定性 | 自动机中的不确定性 ) 二、自动机设计
67400编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算
59600编辑于 2023-03-28 - 来自专栏姓王者的博客
计算理论-形式语言
计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。 计算机形式语言的历史 形式语言是由一组有限的符号和一组规则（通常称为文法）组成的严格数学系统，这些规则定义了如何将这些符号组合成有效的语句。 形式语言理论在计算机科学中扮演着重要的角色，尤其是在编译器设计、编程语言的设计、自然语言处理以及数据库查询语言等领域 文法 形式语言的定义通常包括以下几个部分： 字母表（Σ）：这是形成语言的一组基本符号 性质 幺元 ɛ∘x=x∘ɛ=x 这个是离散数学学的，不过神奇的是，这学期离散数学，计算理论，数据结构一起上，倒是把原来承前启后的学习路径变成交错纵横了 可结合性 (x∘y)∘z=x(y∘z) CSG) 上下文唔该文法(CFG) 正规文法|右线行文法，左线性文法 识别这些语言的自动机分别是 0型语言-图灵机 1型语言-线性界限自动机 2型语言-下推自动机 3型语言-有限自动机 参考 《计算理论
34410编辑于 2024-10-31 - 来自专栏量子化学
红外光谱的理论计算
例如CO2分子，共有4个振动模式，高斯计算后的结果如下（下文会说明如何计算）： ? 二、红外光谱的计算 计算红外光谱只需要对分子进行频率计算即可，高斯中一般直接使用opt freq的组合。 三、频率校正因子 由于计算方法本身的误差以及谐振近似的使用，使得理论计算的红外频率一般无法与实验结果（基频）对上。例如Hartree-Fock方法由于没有电子相关效应，通常会高估10%~12%。 Y Z 1 6 0.60 -0.00 -0.00 0.06 -0.00 0.00 -0.00 -0.10 -0.00 2 8 自己根据数据绘制谱图时需要注意的是理论计算得到的谱图是孤立的线，作图时需要使用展宽技术，这方面的原理和操作，我们以后介绍。
6.4K10发布于 2020-07-27 - 来自专栏Hammer随笔
计算机基础理论
目录 1、计算机发展史 第一台计算机 现代计算机 2、计算机的本质 3、计算机的五大组成部分 4、三大核心硬件 5、操作系统 PC端 # 移动端 6、文件的概念 7、编程与编程语言 编程与编程语言的关系 编程语言的发展史 编程语言的分类 1、计算机发展史 **计算机发展史，是介绍计算机发展的历史。 这台计算机每秒能完成5000次加法运算，400次乘法运算，比当时最快的计算工具快300倍，是继电器计算机的1000倍、手工计算的20万倍。 现代计算机 第五代计算机，亦称“智能计算机”。将信息采集、存储、处理、通信同人工智能结合在一起的智能计算机系统。 8bit = 1bytes 1024bytes = 1KB 1024KB = 1MB 1024MB = 1GB 1024GB = 1TB 1024TB = 1PB ··· ps:满足大数据的要求得有
44520编辑于 2022-05-09 - 来自专栏量子化学
荧光光谱的理论计算
三、计算方法与实例 对激发态不熟的同学可以参看《激发态计算入门》和《激发态计算中的溶剂效应》两篇文章。知道了荧光产生的原理，便可知道荧光的计算方法，一般来说有以下两种方法。 第一种方法步骤少，原理不是十分严格，但结果一般都可以使用；第二种方法比较严格，但计算比较复杂，结果比较准确。以下以环己烷溶液中的香豆素153分子为例，说明荧光的两种计算方法。分子结构如下： ? 计算结果为2.88 eV，实验值为2.26 eV（实验值在乙醇中测得）。 笔者尝试计算了此过程，结果也是2.88 eV，这个例子不是个很好的反例。 方法二： 基于态特定溶剂模型进行计算，这是高斯手册中给出的标准计算方法。 (2) 态特定模型下的吸收光谱计算，分两步完成： (2-1) 基态的单点能计算，同时保存基态的非平衡溶剂信息： %chk=c153.chk #p pbe1pbe/6-311G** scrf(solvent
6.9K30发布于 2020-07-27 - 来自专栏姓王者的博客
计算理论-有限自动机(FA)
有限自动机是一种数学模型，用于表示和分析有限状态的计算过程。它包括确定性有限自动机（DFA）和非确定性有限自动机（NFA），广泛应用于语言识别和编译技术等领域。 =δ(q0,0)={q0} 参考 《计算理论ppt》
56110编辑于 2024-10-31 - 来自专栏信数据得永生
计算理论入门 1.1 命题逻辑
将此计算组织成一个真值表是很方便的。 真值表是一个表，其中显示了所包含的命题变量值的每个可能组合的，一个或多个复合命题的值。
81520编辑于 2022-12-01 - 来自专栏涓流
计算机存储设计理论
概述 不同的数据库存储系统都会设计不同的索引结构来优化查询/写入效率， 在讨论这些结构之前， 我们先从头回顾一下计算机存储的一些设计 计算机存储分级设计 计算机的存储器设计采用了一种分层次的结构。 寄存器、高速缓存、主存和硬盘，从顶至底，这些存储器的速度逐级递减而容量逐级递增，并且伴随越来越低的价钱，如图 在现代计算机里面, 上面的存储实际上分为CPU(寄存器，高速缓存L1、L2、L3)、内存、硬盘
44520编辑于 2024-06-04 - 来自专栏Python机器学习算法说书人
计算机注重理论还是实践？！
我们直接来看一下今天的问题——计算机注重理论还是实践？ 提出问题 我之所以提出这个问题，是因为在我准备二战之前，有人问我计算机有没有必要考研。 学计算机有的人以为学一门计算机编程语言以及由一些框架、组件等组成的项目开发套件，遇到额外需求找找有没有封装好的 API 就可以做项目了，然而，这怕不是还对计算机停留在感性认识，因为你连底下的基础理论都没学好就敢做项目 在校期间大部分人会忽视计算机理论的学习，学习计算机理论知识是最有效的方式是准备计算机考研，而不是从实践中学习，因为在校期间进行的实践基本上不可能包含所有计算机理论知识，哪怕实践了很多，也不可能把所有计算机理论知识都命中 上述分析并不是在绝对的夸大计算机理论知识的作用以及贬低实践的作用，而是希望大家不要忽视计算机理论的学习！那么问题来了，既不能忽视项目实践，又不能忽视计算机理论，到底哪一个才是重点？ ，不是因为计算机错了，而是你在没有相关理论的指导的情况下把错误归咎于计算机！
1K20发布于 2021-01-08 - 来自专栏贾维斯Echo的博客
计算机理论基础
1.什么是计算机？为何要有计算机? 计算机就是人类的奴隶，取代人去干活，提高效率 2、什么是编程语言？什么是程序？什么是编程？为何要编程？ 按照服务器的尺寸分类，1U=4.45cm 8简述机架式服务器、刀片式服务器、塔式服务器、云主机、小型机 机架式： 外型类似抽屉，安装在标准机柜中，多为功能性服务器 刀片： 独立的卡式服务器单元，每个刀片就是一个系统 X86：是一种架构的统称 64：一次性能从内从中读取64位二进制指令 复杂指令集-64位架构（代码CPU每次读取64位二进制指令） 14 4核8线程代表物理几核？逻辑几核心？ 物理4核心，逻辑上8核心 15.什么是RAM?什么是ROM？ RAM：随机存取储存器，又称主存（内存） ROM：只读储存器。 16机械磁盘的IO延迟时间=xxx时间+xxx时间？ raid0 至少1块盘 容量：n块盘何在一起的总容量 性能：理论上是N块盘合在在一起的读写速度，实际上是要略低一些 冗余性：不允许坏任何一块盘 场合：追求读写性能
36230编辑于 2023-10-18 - 来自专栏韩曙亮的移动开发专栏
【计算理论】下推自动机 PDA 及 计算示例
文章目录 一、 下推自动机 二、下推自动机 计算过程 三、下推自动机 计算结果 四、下推自动机 计算示例 一、 下推自动机 ---- 1 . 的示意图 : ① 输入字符串 : 将输入的字符写在右侧的带子上 ; ② 开始状态 : 读取指针 ( 读头 ) 开始指向最左端字符 , 此时处于开始状态 ; ③ 启动自动机 , 自动机根据读取的指令进行计算 下推自动机 ( PDA ) 提升了自动机计算能力 : 在上述自动机的基础上 , 提升该自动机的计算能力 , 引入一个新的栈结构 ; 栈特点 : ① 后进先出 , ② 存储能力无限 ; 2 . 下推自动机计算有两个部分 , 一个是字符的读取 , 一个是栈内字符的存取 , 栈内只有最上面的字符会被替换 ; 3 . 计算能力 : 下推自动机 ( PDA ) 比 确定性有限自动机 ( DFA ) 多了栈上的操作 , 下推自动机 ( PDA ) 的计算能力比有限自动机 ( DFA ) 计算能力高 ; 3 .
1.2K20编辑于 2023-03-27 - 来自专栏计算机学习
xv6(8) 磁盘及分区理论
磁盘及分区理论 温彻斯特硬盘 今天我们所使用的机械硬盘实质上都是温彻斯特硬盘，最早是在 1973 年由 IBM 研制的一种新型硬盘 IBM 3340。 相关计算 硬盘容量 $容量 = 盘片数 \times 2 \times 磁道数 \times 扇区数 \times 512$ 访问时间 寻道时间 将磁头移动到相应的磁道上所需要的时间。 旋转时间 将目标扇区的第一位移动到磁头下面所需要的时间，计算时一般用平均旋转时间即旋转半圈需要的时间。 传送时间 也就是磁盘旋转读取数据的时间，一般也取决于旋转速度。 早期 CHS 这个三元组用 24 位来表示，前 10位 表示柱面，中间 8 位表示磁头，后面 6 位表示扇区，最大寻址空间为 $2^{10}\times2^8\times2^6\times512\div2 ^{30} = 2^3=8GB$。
44910编辑于 2023-12-06 - 来自专栏量子化学
不对称因子g的理论计算
大致原理可参考下图[1]： 本文简单介绍一下不对称因子的理论计算方法，并附一个笔者自己用的处理数据的Python脚本。 本文只介绍吸收不对称因子（gabs）的计算，而圆偏振发光不对称因子（glum）的计算与之类似，只不过两者使用的结构不同：前者使用基态的结构，而后者使用S1的结构。 从计算的角度来说，经过理论推导，g因子的计算表达式为[2] 其中，μ为跃迁电偶极矩，m为跃迁磁偶极矩，θ为两者之间的夹角。 Soc. 2021, 143, 17958一文中的1a体系为例，说明g因子的计算方法，结构取自文章的支撑材料，使用软件为Gaussian 16 C.01。 实际计算中，需要注意单位换算的问题，Gaussian计算给出的是原子单位，而计算g因子时需要使用CGS制，它们的换算关系如下： 1 a.u. = 2.5412 Debye = 2.5412×10−18
5.6K20编辑于 2023-09-03 - 来自专栏二猫の家
【机器学习】四、计算学习理论
1 基础知识 计算学习理论（computational learning theory）：关于通过“计算”来进行“学习”的理论，即关于机器学习的理论基础，其目的是分析学习任务的困难本质，为学习算法体统理论保证 Hoeffding不等式：若x 1 , x 2 , … , x m 为m 个独立随机变量，且满足0 ≤ x i ≤ 1，对任意ϵ > 0，有 McDiarmid不等式： 2 PAC学习 概率近似正确理论
45950编辑于 2023-11-02 - 来自专栏点点GIS
【理论】土方量计算方法梳理
土方量计算包括填、挖土方量的总和 土方量计算方法 在对土方量进行计算时，要考虑到地形特征、精度要求以及施工成本等方面的情况，选择合适的计算方法，达到最优的目的。 这种方法的优点是：计算的数据量小，计算速度快，省却了DTM法庞大的数据存储量。 DTM法（三角网法）计算土方量 DTM法计算土方量就是利用地面采集的离散高程点按照一定的构网规则来形成空间三角网结构模型，然后按照三棱柱的计算方法计算每个三棱柱的体积，最后累加获得所有三棱柱的体积， / 2 计算，但此种计算方法仅能用于同时为挖方或者填方。 此法不能用于道路土方两期计算。两期数据的平面位置重合的区域，是有效的计算区域。超出重叠区域的部分，没有参与计算。
84610编辑于 2024-05-01
腾讯云开发者
