×

连续模为多项式逆的Jordan曲线。 (英语) Zbl 1188.68146号

摘要:研究了边界为连续模为多项式逆的多项式时间可计算Jordan曲线的二维域的计算复杂性。证明了这样一个域的隶属度问题可以在(P^{NP})中求解,即相对于(NP)中预言的多项式时间内,而对于不具有多项式逆连续模性质的域,则可以在更高的上界(P^{MP})内求解。另一方面,对于连续模为多项式逆的区域,隶属度问题的下界仍然成立。还表明,这样一个域的最短路径问题可以在接近其已知下界的\(PSPACE \)中求解,而对于不具有此属性的域,没有已知的固定上界。

MSC公司:

2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)
65年第68季度 算法和问题复杂性分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Berg,G。;朱利安,W。;Mines公司,B。;Richman,F.,《构造性约旦曲线定理》,《落基山数学杂志》。,5, 225-234 (1975) ·Zbl 0298.54020号
[2] M.Braverman,双曲Julia集是多时间可计算的,载于:《第六届分析中的可计算性和复杂性研讨会论文集》,载于《电子》。注释定理。计算。科学。,第120卷,阿姆斯特丹,2005年,第17-30页;M.Braverman,双曲Julia集是多时间可计算的,载于:《第六届分析中的可计算性和复杂性研讨会论文集》,载于《电子》。注释理论。计算。科学。,第120卷,阿姆斯特丹,2005年,第17-30页
[3] Braverman,M。;Yampolsky,M.,《非计算朱莉娅集》,J.Amer。数学。Soc.,19,3,551-578(2006)·1099.37042兹比尔
[4] 周,A.W。;Ko,K.-I.,二维区域的计算复杂性,SIAM。计算机杂志。,24, 923-947 (1995) ·Zbl 0836.68037号
[5] 周,A.W。;Ko,K.-I.,《关于在二维域中查找路径的复杂性I:最短路径》,数学。逻辑夸脱。,50, 6, 551-572 (2004) ·Zbl 1061.03039号
[6] 周,A.W。;Ko,K.-I.,《关于在二维域中寻找路径的复杂性II:分段直线路径》,(第六届分析中的可计算性和复杂性研讨会论文集。第六届研究分析中的计算性和复杂度研讨会论文集,电子注释理论计算科学,第120卷(2005)),45-57
[7] 杜,D.-Z。;Ko,K.-I.,《计算复杂性理论》(2000年),约翰·威利父子公司:约翰·威利母子公司纽约·Zbl 1001.68050号
[8] Henrici,P.,《应用和计算复杂分析》,第卷。1-3(1974),《约翰·威利父子公司:约翰·威利母子公司纽约》·Zbl 0313.30001号
[9] Ko,K.-I.,实函数复杂性理论(1991),Birkhäuser:Birkháuser Boston·Zbl 0791.03019号
[10] Ko,K.-I.,一条多项式时间可计算曲线,其内部具有非递归测度,Theoret。计算。科学。,145, 241-270 (1995) ·Zbl 0874.68287号
[11] K.-I.Ko,K.Weihrauch,《关于具有多项式时间可计算边界的二维区域的测量》,载于《第11届IEEE计算复杂性会议论文集》,1996年,第150-159页;K.-I.Ko,K.Weihrauch,《关于具有多项式时间可计算边界的二维区域的测量》,载于《第11届IEEE计算复杂性会议论文集》,1996年,第150-159页
[12] Ko,K.-I。;Yu,F.,关于在复域上计算对数和平方根函数的复杂性, (第11届国际计算与组合数学会议论文集。第11届世界计算与组合学会议论文集,COCOON其他。3595(2005),施普林格),349-358·兹比尔1128.68364
[13] Müller,N.T.,分析函数的构造方面,(分析中的可计算性和复杂性研讨会论文集,第190卷(1995),Informatik Berichte:Informatik Berichte FernUniversitäT Hagen),105-114
[14] Pour-El,M.B。;Richards,J.I.,(《分析和物理中的可计算性》,《分析和物理学中的可算性》,数学逻辑透视(1989),施普林格出版社:施普林格-柏林)·Zbl 0678.03027号
[15] Rettinger,R.,双曲有理函数Julia集的快速算法,(分析中的可计算性和复杂性第六次研讨会论文集。分析中的计算性和复杂度第六次会议论文集,电子注释理论计算科学,第120卷(2005)),145-157
[16] R.Rettinger,K.Weihrauch,《一些Julia集的计算复杂性》,载《第35届ACM计算理论研讨会论文集》,2003年,第177-185页;R.Rettinger,K.Weihrauch,一些Julia集的计算复杂性,收录于:第35届ACM计算理论研讨会论文集,2003年,第177-185页·兹比尔1192.68375
[17] Weihrauch,K.,可计算分析(2000),施普林格:施普林格柏林·Zbl 0956.68056号
[18] F.Yu,A.Chou,K.-I.Ko,《关于为二维域寻找外接矩形的复杂性》,载于《第二届国际分析可计算性和复杂性会议论文集》,第326卷,Informatik Berichte,FernUniversität in Hagen,2005年,第341-355页;F.Yu,A.Chou,K.-I.Ko,《关于寻找二维域外切矩形的复杂性》,载于:《第二届分析中的可计算性和复杂性国际会议论文集》,第326卷,Informatik Berichte,FernUniversität in Hagen,2005年,第341-355页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。