×

集群计算和边缘识别的威力。 (英语) Zbl 1121.68099号

摘要:虽然复杂性理论已经广泛研究了基于路径的限制对不确定性能力的影响,但本文的动机是一个更近期的目标:为了深入了解限制的程度,将机器限制为只有一个连续(相对于一些简单的顺序)是不确定性的接受路径的间隔。特别地,我们研究了集群类CL#P的健壮性——定义变化下的不变性。该类包含由平衡图灵机计算的每个#P函数,其接受路径总是相对于具有有效邻接检查的长度相关总顺序形成集群。CL#P的定义在很大程度上受到定义文件对(全球)订单的关注的影响。相反,我们定义了一个集群类CLU#P,以捕获我们认为更自然的集群计算模型。我们证明了自然性是无代价的:CL#P=CLU#P。然后我们利用CLU#P更自然、更灵活的特性来证明CL#P的新的鲁棒性结果,并扩展了关于CL#P闭包性质的已知内容。识别有序计算路径集合边缘或接受计算路径簇边缘的复杂性是本研究的核心。特别是,我们的证明利用了边的独特发现能力——在某些情况下,非确定性函数能够在一条计算路径上(某些情况下最多只能在一条)发现关于有序或簇的边的关键信息。

MSC公司:

68吨10 模式识别、语音识别
2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)

关键词:

集群类别CL#P
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] J.Balcázar,J.Dáaz,J.Gabarró,结构复杂性II,EATCS理论计算机科学专著,Springer,1990。;J.Balcázar,J.Dáaz,J.Gabarró,结构复杂性II,EATCS理论计算机科学专著,Springer,1990年·Zbl 0746.68032号
[2] J.Balcázar,J.Dáaz,J.Gabarró,结构复杂性I,EATCS理论计算机科学文本,第二版,Springer,1995。;J.Balcázar,J.Dáaz,J.Gabarró,结构复杂性I,EATCS理论计算机科学文本,第二版,Springer,1995年。
[3] 书籍,R。;Long,T。;Selman,A.,复杂性类的定量相对化,SIAM计算杂志,13,3,461-487(1984)·Zbl 0599.03041号
[4] Book,R.公司。;Long,T。;Selman,A.,复杂性类的定性相对化,《计算机与系统科学杂志》,30,3395-413(1985)·Zbl 0569.03016号
[5] 蔡,J。;冈德曼,T。;Hartmanis,J。;赫马昌德拉。;Sewelson,V。;Wagner,K。;Wechsung,G.,《布尔层次结构I:结构属性》,SIAM计算机杂志,17,6,1232-1252(1988)·Zbl 0676.68011号
[6] 格拉尔,C。;Hemaspandra,L.,《完美澄清的时刻I:平行普查技术》,SIGACT新闻,31,3,37-42(2000)
[7] Grollmann,J。;Selman,A.,公开密钥密码系统的复杂性度量,SIAM计算杂志,17,2,309-335(1988)·Zbl 0644.94016号
[8] Gupta,S.,关于多项式有界函数整数除法下某些函数类的闭包,《信息处理快报》,44,4,205-210(1992)·Zbl 0774.68044号
[9] Gupta,S.,闭包性质和见证减少,《计算机与系统科学杂志》,50,3,412-432(1995)·Zbl 0838.68035号
[10] 赫马斯潘德拉。;霍曼,C。;Kosub,S。;Wagner,K.,计算区间大小的复杂性,SIAM计算杂志,36,5,1264-1300(2006)·Zbl 1123.68041号
[11] L.Hemaspandra、C.Homan、S.Kosub、K.Wagner。计算间隔大小的复杂性。技术报告TR-856,罗切斯特大学计算机科学系,纽约州罗切斯特,2005年2月。2005年3月修订。可从以下位置获得:<http://www.cs.rochester.edu/trs/theory-trs.html>[12]; L.Hemaspandra、C.Homan、S.Kosub、K.Wagner。计算间隔大小的复杂性。技术报告TR-856,罗切斯特大学计算机科学系,纽约州罗切斯特,2005年2月。2005年3月修订。可从以下位置获得:<http://www.cs.rochester.edu/trs/theory-trs.html网站>[12] ·Zbl 1123.68041号
[12] L.Hemaspandra,S.Kosub,K.Wagner,《计算区间大小的复杂性》,摘自:第28届国际自动化、语言和编程学术讨论会论文集,计算机科学讲义,第2076卷,Springer,2001年,第1040-1051页。;L.Hemaspandra,S.Kosub,K.Wagner,《计算区间大小的复杂性》,载于《第28届国际自动化、语言和编程学术讨论会论文集》,《计算机科学讲义》,第2076卷,斯普林格出版社,2001年,第1040-1051页·Zbl 0986.68043号
[13] Kosub,S.,关于明确函数类的注释,《信息处理快报》,72,5-6,197-203(1999)·Zbl 1005.68523号
[14] A.Meyer,M.Paterson,表面上棘手的问题困难的频率是多少?技术报告MIT/LCS/TM-126,麻省理工学院计算机科学实验室,马萨诸塞州剑桥,1979年。;A.Meyer,M.Paterson,明显难以解决的问题出现的频率是多少?技术报告MIT/LCS/TM-126,麻省理工学院计算机科学实验室,马萨诸塞州剑桥,1979年。
[15] 奥吉瓦拉,M。;Hemachandra,L.,可行闭包性质的复杂性理论,《计算机与系统科学杂志》,46,3,295-325(1993)·Zbl 0798.68060号
[16] 小原,M。;蒂拉夫,T。;托达,S。;Watanabe,O.,《在PF∘背景下#P的闭包性质》,《计算机与系统科学杂志》,53,2,171-179(1996)·Zbl 0859.68030号
[17] Schnorr,C.,《自约问题的优化算法》,(第三届国际自动化、语言和编程学术讨论会论文集(1976),爱丁堡大学出版社),322-337
[18] A.Selman,NP自适应与非自适应减少的注释,技术报告90-20,纽约州立大学布法罗分校计算机科学系,纽约州布法罗,1990年9月。;A.Selman,NP自适应与非自适应减少注释,技术报告90-20,纽约州立大学布法罗分校计算机科学系,纽约州布法罗,1990年9月。
[19] Selman,A.,《函数的复杂性分类法》,《计算机与系统科学杂志》,48,2357-381(1994)·Zbl 0806.68049号
[20] Wagner,K.,有界查询类,SIAM计算杂志,19,5833-846(1990)·Zbl 0711.68047号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。