- 综合排序
- 最热优先
- 最新优先
- 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 泵引理 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 是中间重复的部分 , 星计算部分
96300编辑于 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.5K00编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 上下文无关文法 ) ★★
文章目录 一、上下文无关文法 ( CFG ) 二、上下文无关文法 ( CFG ) 示例 三、确定性有限自动机 DFA 转为 上下文无关语法 CFG 参考博客 : 【计算理论】上下文无关语法 ( 语法组成 | 规则 | 语法 | 语法示例 | 约定的简写形式 | 语法分析树 ) 【计算理论】上下文无关语法 ( 代数表达式 | 代数表达式示例 | 确定性有限自动机 DFA 转为 上下文无关语法 ) 【计算理论 计算能力对比 : 上下文无关语法 的计算能力 要大于等于 自动机的计算能力 ;
1K00编辑于 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 上进行如下计算
96800编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 自动机设计 ) ★★
如果当前输入的字符串中 , 含有奇数个 1 那么当前状态是 接受状态 ; ② 非接受状态 : 如果当前输入字符串中 , 有偶数个 1 , 那么当前的状态就是 非接受状态 ; 参考博客 : 【计算理论 】确定性有穷自动机 ( 自动机组成 | 自动机语言 | 自动机等价 ) 【计算理论】自动机设计 ( 设计自动机 | 确定性自动机设计示例 | 确定性与非确定性 | 自动机中的不确定性 ) 二、自动机设计
74700编辑于 2023-03-28 - 来自专栏韩曙亮的移动开发专栏
【计算理论】计算理论总结 ( 图灵机设计示例 ) ★★
算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算 算法的描述是双引号 “” 中的内容 , 这是操作意义上的图灵机 , 只描述图灵机读头操作 , 没有必要将图灵机指令整体设计出来 ; \rm M = "在长度为 \rm n 的字符串 \rm w 上进行如下计算
72500编辑于 2023-03-28 - 来自专栏姓王者的博客
计算理论-形式语言
计算机的各种程序设计语言、数理逻辑中的谓词演算语言等都属于形式语言。 计算机形式语言的历史 形式语言是由一组有限的符号和一组规则（通常称为文法）组成的严格数学系统，这些规则定义了如何将这些符号组合成有效的语句。 形式语言理论在计算机科学中扮演着重要的角色，尤其是在编译器设计、编程语言的设计、自然语言处理以及数据库查询语言等领域 文法 形式语言的定义通常包括以下几个部分： 字母表（Σ）：这是形成语言的一组基本符号 性质 幺元 ɛ∘x=x∘ɛ=x 这个是离散数学学的，不过神奇的是，这学期离散数学，计算理论，数据结构一起上，倒是把原来承前启后的学习路径变成交错纵横了 可结合性 (x∘y)∘z=x(y∘z) CSG) 上下文唔该文法(CFG) 正规文法|右线行文法，左线性文法 识别这些语言的自动机分别是 0型语言-图灵机 1型语言-线性界限自动机 2型语言-下推自动机 3型语言-有限自动机 参考 《计算理论
56710编辑于 2024-10-31 - 来自专栏圣杰的专栏
DDD理论学习系列（9）-- 领域事件
1. 引言 A domain event is a full-fledged part of the domain model, a representation of something that happened in the domain. Ignore irrelevant domain activity while making explicit the events that the domain experts want to track or be notified of, or whic
2K90发布于 2018-01-11 - 来自专栏技术集锦
练习9—数据计算
解题步骤 （1）定义变量； （2）接收用户输入； （3）函数计算； （4）输出结果； Java import java.util.Scanner; public class E20210814 d-division]:"); getchar(); scanf("%c", &c); calculate(a, b, c); return 0; } 说明 因为有四种计算类型 ，所以我们使用switch-case语句解决，注意除法计算中除数不为 0 的条件判断，且case后需为常量，这里使用字符做判断条件，加上单引号‘’变为字符常量。
30720编辑于 2022-06-03 - 来自专栏Hammer随笔
计算机基础理论
目录 1、计算机发展史 第一台计算机 现代计算机 2、计算机的本质 3、计算机的五大组成部分 4、三大核心硬件 5、操作系统 PC端 # 移动端 6、文件的概念 7、编程与编程语言 编程与编程语言的关系 编程语言的发展史 编程语言的分类 1、计算机发展史 **计算机发展史，是介绍计算机发展的历史。 这台计算机每秒能完成5000次加法运算，400次乘法运算，比当时最快的计算工具快300倍，是继电器计算机的1000倍、手工计算的20万倍。 现代计算机 第五代计算机，亦称“智能计算机”。将信息采集、存储、处理、通信同人工智能结合在一起的智能计算机系统。 2、计算机的本质 #计算机就是电脑，即通电的大脑。
65220编辑于 2022-05-09 - 来自专栏量子化学
红外光谱的理论计算
例如CO2分子，共有4个振动模式，高斯计算后的结果如下（下文会说明如何计算）： ? 二、红外光谱的计算 计算红外光谱只需要对分子进行频率计算即可，高斯中一般直接使用opt freq的组合。 三、频率校正因子 由于计算方法本身的误差以及谐振近似的使用，使得理论计算的红外频率一般无法与实验结果（基频）对上。例如Hartree-Fock方法由于没有电子相关效应，通常会高估10%~12%。 在实际应用中，常常将HF计算值乘上一个校正因子0.8928。 自己根据数据绘制谱图时需要注意的是理论计算得到的谱图是孤立的线，作图时需要使用展宽技术，这方面的原理和操作，我们以后介绍。
6.7K10发布于 2020-07-27 - 来自专栏量子化学
荧光光谱的理论计算
三、计算方法与实例 对激发态不熟的同学可以参看《激发态计算入门》和《激发态计算中的溶剂效应》两篇文章。知道了荧光产生的原理，便可知道荧光的计算方法，一般来说有以下两种方法。 第一种方法步骤少，原理不是十分严格，但结果一般都可以使用；第二种方法比较严格，但计算比较复杂，结果比较准确。以下以环己烷溶液中的香豆素153分子为例，说明荧光的两种计算方法。分子结构如下： ? 计算结果为2.88 eV，实验值为2.26 eV（实验值在乙醇中测得）。 笔者尝试计算了此过程，结果也是2.88 eV，这个例子不是个很好的反例。 方法二： 基于态特定溶剂模型进行计算，这是高斯手册中给出的标准计算方法。 (2) 态特定模型下的吸收光谱计算，分两步完成： (2-1) 基态的单点能计算，同时保存基态的非平衡溶剂信息： %chk=c153.chk #p pbe1pbe/6-311G** scrf(solvent
7.2K30发布于 2020-07-27 - 来自专栏冷影玺
9，docker基础之---Compose理论＋部署word press
8000端口 查看卷名称： [root@docker wordpress]# docker volume ls DRIVER VOLUME NAME local 4ae86d65d3c9d303fbe30f4cdd57b70d874b2f2d8bbc9d1c7edb3e1fb5bf1cb2 local c257d582258d30274aae0e411c3d39d2ce9c70c8c771fe702da0d9c20dbfa9cd local wordpress_db_data
75720编辑于 2023-10-11 - 来自专栏姓王者的博客
计算理论-有限自动机(FA)
有限自动机是一种数学模型，用于表示和分析有限状态的计算过程。它包括确定性有限自动机（DFA）和非确定性有限自动机（NFA），广泛应用于语言识别和编译技术等领域。 =δ(q0,0)={q0} 参考 《计算理论ppt》
82610编辑于 2024-10-31 - 来自专栏涓流
计算机存储设计理论
概述 不同的数据库存储系统都会设计不同的索引结构来优化查询/写入效率， 在讨论这些结构之前， 我们先从头回顾一下计算机存储的一些设计 计算机存储分级设计 计算机的存储器设计采用了一种分层次的结构。 寄存器、高速缓存、主存和硬盘，从顶至底，这些存储器的速度逐级递减而容量逐级递增，并且伴随越来越低的价钱，如图 在现代计算机里面, 上面的存储实际上分为CPU(寄存器，高速缓存L1、L2、L3)、内存、硬盘
62520编辑于 2024-06-04 - 来自专栏信数据得永生
计算理论入门 1.1 命题逻辑
将此计算组织成一个真值表是很方便的。 真值表是一个表，其中显示了所包含的命题变量值的每个可能组合的，一个或多个复合命题的值。
1.1K20编辑于 2022-12-01 - 来自专栏贾维斯Echo的博客
计算机理论基础
1.什么是计算机？为何要有计算机? 计算机就是人类的奴隶，取代人去干活，提高效率 2、什么是编程语言？什么是程序？什么是编程？为何要编程？ 编程：让计算机用人的逻辑去思考，用编程语言翻译下来 编程语言：计算机能听懂的语言 程序：就是一堆代码文件 为何编程：让计算机取代人去工作 3.程序是计算机的灵魂，程序分为哪几类？ 内核态——>操作系统正在控制硬件 用户态-->应用程序正在运行 9、简述你使用过的服务器品牌、尺寸、型号、配置信息 戴尔：R720 2U 双路 16个SAS硬盘 32G 64 G 平均寻道时间+平均延迟时间=机械磁盘IO延迟时间：9ms 17什么是swap分区？它的作用是什么？ raid0 至少1块盘 容量：n块盘何在一起的总容量 性能：理论上是N块盘合在在一起的读写速度，实际上是要略低一些 冗余性：不允许坏任何一块盘 场合：追求读写性能
56530编辑于 2023-10-18 - 来自专栏Python机器学习算法说书人
计算机注重理论还是实践？！
我们直接来看一下今天的问题——计算机注重理论还是实践？ 提出问题 我之所以提出这个问题，是因为在我准备二战之前，有人问我计算机有没有必要考研。 学计算机有的人以为学一门计算机编程语言以及由一些框架、组件等组成的项目开发套件，遇到额外需求找找有没有封装好的 API 就可以做项目了，然而，这怕不是还对计算机停留在感性认识，因为你连底下的基础理论都没学好就敢做项目 在校期间大部分人会忽视计算机理论的学习，学习计算机理论知识是最有效的方式是准备计算机考研，而不是从实践中学习，因为在校期间进行的实践基本上不可能包含所有计算机理论知识，哪怕实践了很多，也不可能把所有计算机理论知识都命中 上述分析并不是在绝对的夸大计算机理论知识的作用以及贬低实践的作用，而是希望大家不要忽视计算机理论的学习！那么问题来了，既不能忽视项目实践，又不能忽视计算机理论，到底哪一个才是重点？ ，不是因为计算机错了，而是你在没有相关理论的指导的情况下把错误归咎于计算机！
1.1K20发布于 2021-01-08 - 来自专栏计算机视觉理论及其实现
计算机视觉最新理论2021年8月29日到2021年9月4日
我们的结果和分析表明，在普通计算机视觉数据集上开发的现有算法在应用于生物医学图像时并不健壮，这验证了需要更多的研究来解决生物医学图像取证的独特挑战。 5、CPFN: Cascaded Primitive Fitting Networks for High-Resolution Point Clouds在计算机视觉和逆向工程中，将人造物体表示为基本原语集合有着悠久的历史
1.2K30编辑于 2022-09-02 - 来自专栏往期博文
【目标检测】YOLOv9理论解读与代码分析
因此，要理解v9的相关理论，需要对v4和v7做一些回顾。 研究背景 YOLOv9的核心问题聚焦于多数方法都忽略了输入数据在前馈过程中可能具有不可忽略的信息损失量。 2.基于ELAN设计了广义ELAN（GELAN）：在计算块选择上更加自由。 的这篇论文[1]，文中已经提及辅助训练的概念，如下图所示，图a是普通模型的一个正常检测输出流程，图b是在图a的基础上，在网络浅层特征直接引出Auxiliary head，损失只是根据浅层网络的特征来进行计算 由于PGI的策略会导致网络过于庞大，计算成本过高，因此引入GELAN，用来缓解计算量。 按照论文所述，YOLOv9共分四个版本，从小到大依次为小型(yolov9-s)、中型(yolov9-m)、紧凑型(yolov9-c)、扩展型(yolov9-e)，截至目前，该仓库只开源了后两者型号。
3K01编辑于 2024-05-24
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号