×

对教学模型的算术复杂性进行分类。 (英语) Zbl 1478.68109号

Ortner,Ronald(编辑)等人,《算法学习理论》。第27届国际会议,2016年ALT,意大利巴里,2016年10月19-21日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。9925, 145-160 (2016).
摘要:本文根据各种教学模式在算术层次中的地位对其复杂性进行了分类。特别地,我们确定了以下类的指标集的算术复杂度:(1)具有有限教学维的一致r.e.族类,以及(2)由一致r.e教学序列见证的具有有限正递归教学维的统一r.e.类。我们还导出了教学中其他几个决策问题的算术复杂性,例如决策问题,给出了所有一致r.e.族的有效编码({{mathcal{L}}_0,{mathcal{L}_1,{mathcal{L2}_2,ldots\}),任何(e),例如({mathca{L}{e={L^e_0,L^e_1,ldots,})、任何(i)和(d),(L^e_i)关于({mathcal{L}}_e)的教学维数是否由(d)上界。
关于整个系列,请参见[Zbl 1346.68016号].

理学硕士:

68问题32 计算学习理论
2015年3月1日 计算复杂性(包括隐式计算复杂性)
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Anguin,D.:从实证数据对形式语言进行归纳推理。信息控制45(2),117–135(1980)·兹比尔0459.68051 ·doi:10.1016/S0019-9958(80)90285-5
[2] Baliga,G.,Case,J.,Jain,S.:语言学习者的综合。Inf.计算。152, 16–43 (1999) ·Zbl 1045.68571号 ·doi:10.1006/inco.1998.2782
[3] 贝罗斯:算术层次中的学习理论。《符号逻辑杂志》79(3),908-927(2014)·Zbl 1355.03033号 ·doi:10.1017/jsl.2014.23
[4] Brandt,U.:可识别集合的索引集在算术层次结构中的位置。信息控制68、185–195(1986)·Zbl 0605.03017号 ·doi:10.1016/S0019-9958(86)80034-1
[5] Gold,E.M.:限制中的语言识别。信息控制10,447–474(1967年)·Zbl 0259.68032号 ·doi:10.1016/S0019-9958(67)91165-5
[6] Goldman,S.A.,Kearns,M.J.:关于教学的复杂性。J.计算。系统。科学。50(1), 20–31 (1995) ·Zbl 0939.68770号 ·doi:10.1006/jcss.1995.1003
[7] Hegedüs,T.:概括的教学维度和学习的查询复杂性。摘自:COLT会议记录,第108–117页(1995年)
[8] de Jongh,D.,Kanazawa,M.:r.e.集索引族的Angluin定理及其应用。摘自:COLT会议记录,第193-204页(1996年)·数字对象标识代码:10.1145/238061.238095
[9] Klette,R.:Indexmengen und Erkennung Rekursiver Funktitonen出版社。Z.数学。Logik Grundlag公司。数学。22, 231–238 (1976) ·Zbl 0356.02036号 ·doi:10.1002/毫克19760220131
[10] Mazadi,Z.、Gao,Z.和Zilles,S.:使用成员示例区分模式语言。收录人:Dediu,A.-H.,Janoušek,J.,Martín-Vide,C.,Truthe,B.(编辑)LATA 2016。LNCS,第9618卷,第528–540页。斯普林格,海德堡(2014)。doi:10.1007/978-3-319-04921-243·Zbl 1376.68075号 ·文件编号:10.1007/978-3-319-04921-2_43
[11] Pinker,S.:语言学习的形式模型。认知7,217–283(1979)·doi:10.1016/0010-0277(79)90001-5
[12] Rogers Jr.,H.:递归函数和有效可计算性理论。麻省理工学院出版社,剑桥(1987)
[13] Shinohara,A.,Miyano,S.:计算学习中的可教性。新一代。计算。8(4), 337–347 (1991) ·Zbl 0712.68084号 ·doi:10.1007/BF03037091
[14] Zilles,S.、Lange,S.,Holte,R.、Zinkevich,M.:合作教学模式。J.马赫。学习。第12号决议,349–384(2011年)·Zbl 1280.68224号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。