低计算复杂性论文开题报告文献综述

低计算复杂性论文开题报告文献综述

导读:本文包含了低计算复杂性论文开题报告文献综述、选题提纲参考文献,主要关键词:复杂性,量子,算法,自动机,疑问句,汉语,组合。

低计算复杂性论文文献综述写法

王凯宁[1](2019)在《量子机器学习与人工智能的实现——基于可计算性与计算复杂性的哲学分析》一文中研究指出量子机器学习是量子计算与机器学习交叉形成的新研究方向,其主要目标是利用量子特性实现对传统机器学习算法的加速。目前已经出现了不少有实际应用价值的量子机器学习算法,这些算法能通过降低计算的复杂性程度,在一些特定领域实现弱人工智能。从可计算性的视角来看,量子机器学习能完成非决定性计算,在理论上可以实现对意识结果的模拟,从而为强人工智能提供支持。(本文来源于《科学技术哲学研究》期刊2019年06期)

赵敬盈[2](2019)在《几类半群的有限基问题和计算复杂性的研究》一文中研究指出令UT2(F)为域F上主对角线上元素为0,1的全体二阶上叁角矩阵在矩阵乘法下构成的半群;UTn(T)为热带半环T=R∪{-∞}上全体n阶上叁角矩阵在矩阵乘法下构成的半群;UT2(F)为域F上主对角线上元素为0,1,-1的全体二阶上叁角矩阵在矩阵乘法下构成的半群.本文给出判定对合半群是非有限基的一个充分条件,作为应用,证明了半群UT2(F)在伴随运算下的对合半群(UT2(F),*)是非有限基的;利用对合半群是非有限基的一个充分条件证明了热带半群UT2(T)在斜转置运算下的对合半群(UT2(T),D)是非有限基的,并证明了该对合半群(UT2(T),D)的等式检测问题和多项式非零问题都是多项式可解的;证明了半群UT2±(F2)与它的有限基的子半群UT2(F2)有相同的等式基,从而它们生成相同的簇.(本文来源于《兰州大学》期刊2019-05-01)

朱凯,毋国庆,吴理华,袁梦霆[3](2019)在《有关时间自动机重置的若干问题的计算复杂性》一文中研究指出自动机的重置序列也称为同步序列,具有以下特性:有限自动机通过运行重置序列w,可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw.这仅依赖于w,而与开始运行w时的状态q0无关.这一特性可用于部分可观察的复杂系统的自动恢复,而无需重启,甚至有时不能重启.基于此,重置问题自出现以来便得到关注和持续研究.最近几年,它被扩展到可以描述诸如分布式、嵌入式实时系统等复杂系统的无限状态模型上,比如时间自动机和寄存器自动机等.以时间自动机的重置问题的计算复杂性为研究对象,发现重置问题与可达性问题有着紧密的联系.主要贡献是:(1)利用时间自动机可达性问题的最新成果,完善完全的确定的时间自动机重置问题的计算复杂性结论;(2)对部分规约的确定的时间自动机,研究得出,即使在输入字母表大小减至2的情况下,其复杂性仍是PSPACE-完全的;特别地,在单时钟情况下是NLOGSPACE-完全的;(3)对完全的非确定的时间自动机,研究得出其Di-可重置问题(i=1,2,3)是不可判定的,其重置问题与非确定的寄存器自动机重置问题在指数时间可以相互归约,通过证明指数时间归约相对高复杂性类具有封闭性,利用非确定的寄存器自动机的结论得出单时钟的时间自动机的重置问题是Ackermann-完全的、限界的重置问题是NEXPTIME-完全的.这些复杂性结论,说明关于时间自动机的重置问题大都是难解的,一方面,为时间系统的可重置性的检测和求解奠定坚实的理论基础,另一方面,为以后寻找具有高效算法的特殊结构的时间系统(即具有高效算法的问题子类)给予理论指导.(本文来源于《软件学报》期刊2019年07期)

杨勇杰[4](2019)在《浅析算法分析和计算复杂性理论研究方法》一文中研究指出近年来,我国数学领域的高速发展,使越来越多的人们认识到数学的重要性,这也使数学在各个领域中发挥着越来越重要的作用。该文浅要分析了算法及其计算复杂性,并将线性方程组中的LU分解的递归算法作为实例,以此分析算法的计算复杂性。希望能够为专家与学者在算法分析工作中提供一种科学的研究方法,进一步推动算法在各个领域中的应用。(本文来源于《科技资讯》期刊2019年05期)

罗磊,刘新旺,祝恩[5](2018)在《围绕科学研究能力培养的研究生计算复杂性课程建设》一文中研究指出阐述了面向计算机科学与技术一级学科的研究生计算复杂性课程教学目标,根据该目标设计了先具体后抽象、面向科技论文结构的教学内容和方法,以及立足批判性阅读的论文分享教学环节,从而培养学生的综合研究能力。(本文来源于《计算机工程与科学》期刊2018年S1期)

余建军,吴春明[6](2018)在《虚拟网映射问题的计算复杂性分析》一文中研究指出虚拟网映射是实现网络虚拟化的关键环节,其任务是在满足虚拟网构建约束的前提下,把虚拟网的虚拟节点和虚拟链路分别映射到底层物理网的节点和路径上。文中根据虚拟节点映射是否已知、物理网是否支持路径分割、物理节点是否支持重复映射等特征,对虚拟网映射问题进行分类,并针对一般网络拓扑模型和某些特殊网络拓扑模型完成各类虚拟网映射可行问题和优化问题的计算复杂性分析。(本文来源于《计算机科学》期刊2018年11期)

李培培,丁晓东[7](2018)在《基于NP-完备理论的组合最优化及计算复杂性研究》一文中研究指出近年来,我国计算机科学得到了迅猛的发展,这也使人们提出许多理论试图深入揭示NP-完备理论所具备的密切关系,对基于NP-完备理论进行研究,将有助于推动计算机科学、运筹学、离散数学等相关学科的发展,进而帮助人们更好地利用NP-完备理论来处理实际问题。鉴于此,本文对基于NP-完备理论的组合最优化及计算复杂性进行深入的研究,以期能够为NP-完备理论的研究有一定贡献。(本文来源于《山西能源学院学报》期刊2018年04期)

高园[8](2018)在《新型排序问题的计算复杂性研究》一文中研究指出排序是指在一定的约束条件下分配有限的资源于时间空间去完成多项任务使得一个或者多个目标达到理想或最优.排序的好坏直接影响着生产商成本的高低和利润的大小.因此,排序论对提高效率、科学决策、资源的开发与配置等方面都起到重要的作用.在排序论中,人们把任务统称为“工件”,而把资源统称为“机器”.本学位论文主要研究了若干新型排序问题的计算复杂性.在第二章中,我们研究了 GDD或ADD假设下的单机排序.在GDD假设下,工期按照EDD顺序进行排列,并按照工件完工时间的递增顺序连续分配给工件使得第i个工期分配给第i个完工的工件.而在ADD假设下,工期在分配给工件时是相互独立的.我们证明了两个历史遗留问题1|GDD|∑(Ei+Ti)和1|ADD|∑(Ei+Ti)都是常数界不可近似的.我们的证明也意味着这两个问题都是一元NP-困难的.此外,我们还证明了历史遗留问题1|GDD|∑wiTi是一元NP-困难的.在第叁章中,我们研究了单机上工件有位置限制的Pareto排序.首先,我们修正了历史文献中的推理错误.然后,对问题1|σ[Jj]≤kj,prec|#(fmax,gmax),我们给出一个O(n4)-时间算法,其中“σ[Jj]≤ kj”表示工件Jj只能在前kj个位置上进行加工,“prec”表示工件的序约束限制.我们进一步证明了双代理排序问题l|σ[Jj]≤kj,pre|#(fmaxA,gmaxB)在O(nA3nB+nAnB3)时间内可解.在第四章中,我们研究了工件可自由下线的无界平行分批排序,其中可自由下线工件意味着每个工件的完工时间等于包含这个工件的批的开工时间与该工件的加工时间之和.首先,我们证明了问题p-batch(+∞)|drop-line,rj|Lmax是二元NP-困难的.此外,我们证明了,对每个γ∈{fmax,∑fj},问题p-batch(+∞)|drop-line,rj|γ在伪多项式时间内可解,并且当工件实例有常数个不同的加工时间或常数个不同的到达时间时,该问题在多项式时间内可解.在第五章中,我们研究了工件有一致的到达时间和加工时间的无界平行分批排序.我们考虑两种类型的工件:批工件和自由下线工件.对批工件而言,每个工件的完工时间等于包含这个工件的批的完工时间.对双指标问题p-batch(+∞)|β*,(rj,pj)-agreeable|#(Cmax,fmax),其中 β*∈ {batch,drop-line},我们给出一个O(n3log(rmax+∑pj))-时间算法和一个O(n4)-时间算法.对单指标问题p-batch(+∞)|β*,(rj,pj)-agreeable|∑ wjUj,其中β*∈ {batch,drop-line},我们证明了该问题是二元NP-困难的,并给出了一个伪多项式时间算法和一个全多项式时间近似方案.在第六章中,我们研究了单台平行批机器上最小化最大完工时间的双代理排序,其中工件是批工件,有各自的到达时间和线性退化的加工时间.目标函数是,在代理B的最大完工时间不超过给定上界的条件下,最小化代理A的最大完工时间.Tang等人[144]对该排序模型给出了系统的研究.特别地,他们对下面四个问题给出了多项式时间算法.在第一个问题中,批容量无界且两个代理兼容.在第二个问题中,批容量有界,两个代理不兼容,A-工件有一个固定数目的正常加工时间,并且B-工件有一个相同的到达时间.在第叁个问题和第四个问题中,批容量有界,两个代理兼容,并且工件的到达时间和正常加工时间是一致的或者反一致的.在这一章中,我们证明了他们对这四个问题给出的算法都是无效的.我们对第一个问题给出了一个新的多项式时间算法并且证明了其他叁个问题都是二元NP-困难的.我们进一步对批容量有界,两个代理不兼容,并且A-工件和B-工件各有一个相同的到达时间的这种情形,给出了一个伪多项式时间算法.最后,我们对批容量无界且两个代理不兼容的情形,给出了一个强多项式时间算法.(本文来源于《郑州大学》期刊2018-03-01)

马秋武,吴力菡[9](2018)在《试析优选论的计算复杂性问题》一文中研究指出文章首先介绍有关计算复杂性的相关概念,然后针对优选论是否具有计算难解的问题,概述各方面的论点,最后对优选论的算法等其他相关问题进行概括和总结。(本文来源于《同济大学学报(社会科学版)》期刊2018年01期)

袁博平[10](2017)在《计算复杂性与第一语言迁移——以汉语第二语言态度疑问句为例》一文中研究指出本文是一项关于英语母语者学习汉语态度疑问句(attitude-bearing wh-questions)的实证研究。在英语和汉语的疑问句中,尽管前者需要将疑问词前移至句首,后者则保持原位,两者在态度疑问句中却有着一些相似的特征。第二语言研究普遍假设,一语中与目标语相似或相同的结构可以促进二语的习得,而那些不同的结构则会阻碍二语的成功习得。然而,本文研究发现,英语母语者并未将母语疑问句中的疑问词移位迁移到汉语中来。同时,两种语言在态度疑问句中的相似点,对英语母语者习得汉语这类句式的促进作用也非常有限。这一发现支持了Yuan(2001)的观点,该观点认为二语学习中的一语迁移只是一种相对现象。同时,这一发现也可以在Scheidnes et al.(2009)、Scheidnes&Tuller(2010)以及Prévost et al.(2014)等研究所提出的分析的基础上得到解释,这一分析认为,计算复杂性(computation complexity)会抵消一语的影响。(本文来源于《世界汉语教学》期刊2017年01期)

低计算复杂性论文开题报告范文

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

令UT2(F)为域F上主对角线上元素为0,1的全体二阶上叁角矩阵在矩阵乘法下构成的半群;UTn(T)为热带半环T=R∪{-∞}上全体n阶上叁角矩阵在矩阵乘法下构成的半群;UT2(F)为域F上主对角线上元素为0,1,-1的全体二阶上叁角矩阵在矩阵乘法下构成的半群.本文给出判定对合半群是非有限基的一个充分条件,作为应用,证明了半群UT2(F)在伴随运算下的对合半群(UT2(F),*)是非有限基的;利用对合半群是非有限基的一个充分条件证明了热带半群UT2(T)在斜转置运算下的对合半群(UT2(T),D)是非有限基的,并证明了该对合半群(UT2(T),D)的等式检测问题和多项式非零问题都是多项式可解的;证明了半群UT2±(F2)与它的有限基的子半群UT2(F2)有相同的等式基,从而它们生成相同的簇.

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

低计算复杂性论文参考文献

[1].王凯宁.量子机器学习与人工智能的实现——基于可计算性与计算复杂性的哲学分析[J].科学技术哲学研究.2019

[2].赵敬盈.几类半群的有限基问题和计算复杂性的研究[D].兰州大学.2019

[3].朱凯,毋国庆,吴理华,袁梦霆.有关时间自动机重置的若干问题的计算复杂性[J].软件学报.2019

[4].杨勇杰.浅析算法分析和计算复杂性理论研究方法[J].科技资讯.2019

[5].罗磊,刘新旺,祝恩.围绕科学研究能力培养的研究生计算复杂性课程建设[J].计算机工程与科学.2018

[6].余建军,吴春明.虚拟网映射问题的计算复杂性分析[J].计算机科学.2018

[7].李培培,丁晓东.基于NP-完备理论的组合最优化及计算复杂性研究[J].山西能源学院学报.2018

[8].高园.新型排序问题的计算复杂性研究[D].郑州大学.2018

[9].马秋武,吴力菡.试析优选论的计算复杂性问题[J].同济大学学报(社会科学版).2018

[10].袁博平.计算复杂性与第一语言迁移——以汉语第二语言态度疑问句为例[J].世界汉语教学.2017

标签:;  ;  ;  ;  ;  ;  ;  

低计算复杂性论文开题报告文献综述
下载Doc文档

猜你喜欢