腾讯云开发者社区-腾讯云

开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

综合排序丨最热优先丨最新优先

【计算理论】计算理论总结 ( 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

2023-03-28

1.6K0

标签:

【计算理论】计算理论总结 ( 泵引理 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 是中间重复的部分 , 星计算部分

2023-03-28

1.1K0

标签:

正则表达式

【计算理论】计算理论总结 ( 上下文无关文法 ) ★★

文章目录一、上下文无关文法 ( CFG ) 二、上下文无关文法 ( CFG ) 示例三、确定性有限自动机 DFA 转为上下文无关语法 CFG 参考博客 : 【计算理论】上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 | 语法分析树 ) 【计算理论】上下文无关语法 ( 代数表达式 | 代数表达式示例 | 确定性有限自动机 DFA 转为上下文无关语法 ) 【计算理论计算能力对比 : 上下文无关语法的计算能力要大于等于自动机的计算能力 ;

2023-03-28

1.1K0

标签:

【计算理论】计算理论总结 ( 图灵机设计 ) ★★

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 上进行如下计算

2023-03-28

1.1K0

标签:

【计算理论】计算理论总结 ( 自动机设计 ) ★★

如果当前输入的字符串中 , 含有奇数个 1 那么当前状态是接受状态 ; ② 非接受状态 : 如果当前输入字符串中 , 有偶数个 1 , 那么当前的状态就是非接受状态 ; 参考博客 : 【计算理论】确定性有穷自动机 ( 自动机组成 | 自动机语言 | 自动机等价 ) 【计算理论】自动机设计 ( 设计自动机 | 确定性自动机设计示例 | 确定性与非确定性 | 自动机中的不确定性 ) 二、自动机设计

2023-03-28

8130

标签:

【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★

算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算

2023-03-28

8160

标签:

计算理论-形式语言

计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。计算机形式语言的历史形式语言是由一组有限的符号和一组规则（通常称为文法）组成的严格数学系统，这些规则定义了如何将这些符号组合成有效的语句。形式语言理论在计算机科学中扮演着重要的角色，尤其是在编译器设计、编程语言的设计、自然语言处理以及数据库查询语言等领域文法形式语言的定义通常包括以下几个部分：字母表（Σ）：这是形成语言的一组基本符号性质幺元 ɛ∘x=x∘ɛ=x 这个是离散数学学的，不过神奇的是，这学期离散数学，计算理论，数据结构一起上，倒是把原来承前启后的学习路径变成交错纵横了可结合性 (x∘y)∘z=x(y∘z) CSG) 上下文唔该文法(CFG) 正规文法|右线行文法，左线性文法识别这些语言的自动机分别是 0型语言-图灵机 1型语言-线性界限自动机 2型语言-下推自动机 3型语言-有限自动机参考《计算理论

2024-10-31

7080

标签:

计算机基础理论

目录 1、计算机发展史第一台计算机现代计算机 2、计算机的本质 3、计算机的五大组成部分 4、三大核心硬件 5、操作系统 PC端 # 移动端 6、文件的概念 7、编程与编程语言编程与编程语言的关系编程语言的发展史编程语言的分类 1、计算机发展史 **计算机发展史，是介绍计算机发展的历史。这台计算机每秒能完成5000次加法运算，400次乘法运算，比当时最快的计算工具快300倍，是继电器计算机的1000倍、手工计算的20万倍。现代计算机第五代计算机，亦称“智能计算机”。将信息采集、存储、处理、通信同人工智能结合在一起的智能计算机系统。 2、计算机的本质 #计算机就是电脑，即通电的大脑。

2022-05-09

7580

标签:

红外光谱的理论计算

例如CO2分子，共有4个振动模式，高斯计算后的结果如下（下文会说明如何计算）： ? 二、红外光谱的计算计算红外光谱只需要对分子进行频率计算即可，高斯中一般直接使用opt freq的组合。三、频率校正因子由于计算方法本身的误差以及谐振近似的使用，使得理论计算的红外频率一般无法与实验结果（基频）对上。例如Hartree-Fock方法由于没有电子相关效应，通常会高估10%~12%。在实际应用中，常常将HF计算值乘上一个校正因子0.8928。自己根据数据绘制谱图时需要注意的是理论计算得到的谱图是孤立的线，作图时需要使用展宽技术，这方面的原理和操作，我们以后介绍。

2020-07-27

6.9K0

标签:

荧光光谱的理论计算

三、计算方法与实例对激发态不熟的同学可以参看《激发态计算入门》和《激发态计算中的溶剂效应》两篇文章。知道了荧光产生的原理，便可知道荧光的计算方法，一般来说有以下两种方法。第一种方法步骤少，原理不是十分严格，但结果一般都可以使用；第二种方法比较严格，但计算比较复杂，结果比较准确。以下以环己烷溶液中的香豆素153分子为例，说明荧光的两种计算方法。分子结构如下： ? 计算结果为2.88 eV，实验值为2.26 eV（实验值在乙醇中测得）。笔者尝试计算了此过程，结果也是2.88 eV，这个例子不是个很好的反例。方法二：基于态特定溶剂模型进行计算，这是高斯手册中给出的标准计算方法。 (2) 态特定模型下的吸收光谱计算，分两步完成： (2-1) 基态的单点能计算，同时保存基态的非平衡溶剂信息： %chk=c153.chk #p pbe1pbe/6-311G** scrf(solvent

2020-07-27

7.4K4

标签: