产品提交
文章投稿
登录/注册
显示直达
多项式
多项式
算法
量子
是一个
复杂性
命题
系统
理论
计算学习理论
样本
证明复杂性
证明复杂性在逻辑学和理论计算机科学中,特别是证明理论和计算复杂性理论,证明复杂性是一个旨在理解和分析证明或反驳语句所需的计算资源的领域。证明复杂性...
命题证明系统
简介在命题微积分和证明复杂性中,命题证明系统(pps),也称为Cook-Reckhow命题证明系统,是一个用于证明经典命题同义词的系统。数学定义形式上,一个pps是...
混合图
什么是混合图在图论中,混合图G=(V,E,A)是由一组顶点V、一组(无定向)边E和一组定向边(或弧)A组成的图。定义和符号考虑相邻的顶点u,v∈V{displaystyleu...
密集子图
什么是密集子图在图论和计算机科学中,密集子图是一个具有高度内部连接性的子图。其形式如下:让G=(V,E)是一个无向图,让S=(VS,ES)是G的一个子图,那么S的密...
稀疏语言
什么是稀疏语言在计算复杂性理论中,稀疏语言是一种形式语言(一组字符串),其复杂性函数,计算语言中长度为n的字符串的数量,被n的多项式函数所约束。它们...
自相关(单词)
自相关(单词)在数学的一个分支--组合学中,一个单词的自相关是这个单词的周期集合。更确切地说,它是一连串的数值,表明一个词的结尾与一个词的开头有多大...
枚举算法
什么是枚举算法在计算机科学中,枚举算法是一种对计算问题的答案进行枚举的算法。从形式上看,这种算法适用于接受一个输入并产生一个解决方案列表的问题,类...
量子复杂性理论
量子复杂性理论量子复杂性理论是计算复杂性理论的一个子领域,涉及使用量子计算机定义的复杂性类别,这是一种基于量子力学的计算模型。它研究计算问题的硬度...
量子算法
量子算法在量子计算中,量子算法是一种在现实的量子计算模型上运行的算法,最常用的模型是计算的量子电路模型。经典(或非量子)算法是一个有限的指令序列,...
量子计算词汇表
量子计算词汇表这份量子计算词汇表是一份关于量子计算、其子学科和相关领域所用术语和概念的定义清单。Bacon-Shor_code是一种子系统纠错码。在子系统码中,信...
计算学习理论
计算学习理论在计算机科学中,计算学习理论(或只是学习理论)是人工智能的一个子领域,致力于研究机器学习算法的设计和分析。计算学习理论的概述机器学习的...
组合优化
组合优化简介类别主题软件网络科学家类别:网络理论类别:图论vte组合优化是数学优化的一个子领域,包括从一个有限的对象集合中找到一个最佳对象,其中可行的解...
1
2
添加小工具
点此为“分类归档侧边栏”添加小工具
证明复杂性
命题证明系统
混合图
密集子图
稀疏语言
自相关(单词)
枚举算法
量子复杂性理论
量子算法
量子计算词汇表
计算学习理论
组合优化