×

回溯的力量和长度的限制。 (英语) Zbl 1294.03042号

小结:我们表明,在可计算弧上有一个点不属于任何可计算可纠正曲线。我们还表明,在可计算长度的可计算可纠正曲线上有一点不属于任何可计算弧。

MSC公司:

03层60 构造性和递归分析
03天32分 算法随机性和维数
54D05型 连通和局部连通空间(一般方面)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] George S.Boolos、John P.Burgess和Richard C.Jeffrey,《可计算性和逻辑》,第四版,剑桥大学出版社,剑桥,2002年·Zbl 1014.03001号
[2] Vasco Brattka,可绘制实数函数和可计算图形定理,SIAM J.Compute。38(2008),第1期,303–328·Zbl 1165.03052号 ·doi:10.1137/060658023
[3] S.Barry Cooper,可计算性理论,Chapman&Hall/CRC,佛罗里达州博卡拉顿,2004年·Zbl 1041.03001号
[4] P.J.Couch、B.D.Daniel和Timothy H.McNicholl,《计算空间填充曲线》,《理论计算》。系统。50(2012),第2期,370–386·Zbl 1280.03058号 ·doi:10.1007/s00224-010-9306-3
[5] B.D.Daniel和T.H.McNicholl,《有效局部连接性属性》,《计算系统理论》50(2012),第4期,621-640·Zbl 1309.03023号
[6] Rodney G.Downey和Denis R.Hirschfeldt,算法随机性和复杂性,可计算性理论和应用,斯普林格,纽约,2010年·Zbl 1221.68005号
[7] Kenneth Falconer,《分形几何》,第二版,John Wiley&Sons,Inc.,新泽西州霍博肯,2003年。数学基础和应用·Zbl 1060.28005号
[8] Michael R.Garey和David S.Johnson,《计算机和棘手问题》,W.H.Freeman and Co.,加利福尼亚州旧金山,1979年。NP-完备性理论指南;数学科学丛书·Zbl 0411.68039号
[9] X.Gu、J.Lutz和E.Mayordomo,可计算曲线上的点,第47届IEEE计算机科学基础研讨会论文集(加州伯克利),IEEE计算机社会出版社,2006年10月,第469-474页。
[10] 顾晓阳(Xiaoyang Gu)、杰克·H·卢茨(Jack H.Lutz)和埃尔维拉·马约多莫(Elvira Mayordomo),《必须返程的弯道》(Curves that must be retracted),Inform。和计算。209(2011),第6期,992–1006·Zbl 1221.68271号 ·doi:10.1016/j.ic.2011.01.004
[11] John G.Hocking和Gail S.Young,《拓扑》,第二版,多佛出版公司,纽约,1988年·Zbl 0718.55001号
[12] 彼得·琼斯(Peter W.Jones),可纠正集和旅行推销员问题,发明。数学。102(1990年),第1期,第1-15页·Zbl 0731.30018号 ·doi:10.1007/BF01233418
[13] Ker-I Ko,一条多项式时间可计算曲线,其内部具有非递归测度,Theoret。计算。科学。145(1995),第1-2期,241-270页·Zbl 0874.68287号 ·doi:10.1016/0304-3975(94)00154-B
[14] Jack H.Lutz,《单个字符串和序列的维度》,Inform。和计算。187(2003),第1期,49–79·Zbl 1090.68053号 ·doi:10.1016/S0890-5401(03)00187-1
[15] Jack H.Lutz,有效分形维数,MLQ数学。日志。问题51(2005),第1号,62–72·Zbl 1058.03044号 ·doi:10.1002/malq.200310127
[16] 约瑟夫·米勒(Joseph S.Miller),《连续函数的不可解度》(Degrees of unvavability of continuous functions),《符号逻辑杂志》(J.Symbolic Logic)69(2004),第2期,第555–584页·Zbl 1070.03026号 ·doi:10.2178/jsl/1082418543
[17] R.L.Moore和J.R.Kline,《在可能通过简单连续弧的最一般平面上的闭合点集》,数学年鉴。(2) 20(1919),第3期,218–223·doi:10.2307/1967872
[18] Kate Okikiolu,\?中可直曲线子集的刻画\(^{n}),J.伦敦数学。Soc.(2)46(1992),第2期,336–348·Zbl 0758.57020号 ·doi:10.1112/jlms/s2-46.2.336
[19] Hans Sagan,《空间填充曲线》,Universitext,Springer-Verlag,纽约,1994年·Zbl 0806.01019号
[20] 罗伯特·索尔(Robert I.Soare),《递归可数集合与度》(Recurrively enumerable set and degrees),《数理逻辑中的透视》(Perspectives in Mathematical Logic),施普林格-弗拉格出版社,柏林,1987年。可计算函数和可计算生成集的研究·Zbl 0667.03030号
[21] 克劳斯·维赫劳赫(Klaus Weihrauch),可计算分析,理论计算机科学文本。EATCS系列,施普林格-弗拉格出版社,柏林,2000年。引言·Zbl 0956.68056号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。