暂无评论
内容提要: 本书论述了形式语言的基本内容,包括有限自动机、下推机和图灵机的基础理论,讨论了如分治策略、动态规划、回溯法、贪心法以及概率算法的基本技术;同时,也给出了计算复杂性理论的基本知识。
主要是和算法 计算复杂 动态算法 PPT格式的其中有多个PPT文件~
testComplexity:渐进复杂性测试框架
可计算性与计算复杂性课件,中国科学院大学2014秋季的课件,夏道藏老师的课件。。
Computability and computational complexity guidance
内含吉林大学可计算性与计算复杂性课本(李占山)以及课上PPT与习题讲解
量子尺度不变正则化是维度正则化的一种变体,其中将重归一化尺度视为动态场。 但是,与其被视为与尺寸正则化,动量截止,Pauli-Villars等同等的新颖正则化方法,不应该将其理解为在某种类型的不可重归
在本文中,我们认为全息复杂性应该是一个与基础有关的量。 状态的计算复杂度定义为从参考状态获得该状态所需的最小门数。 由于这种最小性,它满足了三角形不等式,并且可以视为希尔伯特空间中距离的(离散形式)。
加扰是一个过程,由于全局纠缠会“隐藏”最初局域化的量子信息,因此可以有效地使量子系统的状态随机化。 密切相关的概念包括量子混沌和热化。 这些现象在量子引力,多体物理学,量子统计力学,量子信息等研究中起
针对二级倒立摆的稳定控制问题,提出了一种以泛逻辑学为逻辑基础的控制器,控制器以任意区间[a,b]上的零级泛组合运算模型为核心决策部件,决策过程中考虑到输入变量之间的关系、输入量的测量误差,并允许决策门
暂无评论