×

从Post闭类中学习布尔函数的属性有效性。 (英语。俄文原件) Zbl 1497.68233号

离散数学。申请。 30,第5期,285-301(2020年); 从Diskretn翻译。材料31,编号2,34-56(2019年)。
摘要:我们考虑使用成员查询从Post闭类中精确地学习函数的属性有效性,并获得学习复杂度的界。

MSC公司:

68问题32 计算学习理论
06E30年 布尔函数

软件:

AETG公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Post E.,“确定真理表的所有封闭系统”,公牛。阿默尔。数学。《社会学杂志》,26(1920),437。
[2] Post E.,“数学逻辑的二值迭代系统”,普林斯顿大学出版社,普林斯顿,1941年·Zbl 0063.06326号
[3] Kibkalo M.A.,“关于布尔函数后类的自动机复杂性”,Intellektuaľnye sistemmy,15:(1-4)(2011),379-400(俄语)。
[4] Blokhina G.N.,Kudryavtsev V.B.,“布尔函数的后类谱”,Intellektuaľnye sistemmy,14:(1-4)(2010),279-298(俄语)。
[5] Chlenova T.S.,“关于布尔函数和k值逻辑函数闭类的层次性”,Intellektuaľnye sistemmy。Teoriya i prilozheniya,18:1(2014),259-262(俄语)。
[6] Kalachev G.V.,“关于布尔函数闭类的平坦电路基数的估计”,Intellektuaľnye sistemmy。Teoriya i prilozheniya,20:3(2016),52-57(俄语)。
[7] Komkov S.A.,“后格类运算的发电机组基数”,离散数学。申请。,29:3 (2019), 159-173. ·Zbl 1435.06011号
[8] Osokin V.V.,“关于伪布尔函数的并行参数有效解码”,Intellektuaľnye sistemmy。Teoriya i prilozheniya,14:1-4(2000),429-458(俄语)。
[9] Gasanov E.E.,Niyazova Z.A.,“解读少量单调连词的算术和”,马特。XIMezhdunar。Iszd-vo mekh的Diskretnaya matematika神学院-材料。f-ta MGU,莫斯科,2012,335-337(俄语)。
[10] Niyazova Z.A.,“解读单调连词的算术和”,Intellektuaľnye sistemmy。Teoriya i prilozheniya,19:4(2015),169-195(俄语)。
[11] Damaschke P.,“自适应与非自适应属性有效学习”,机器学习,41(2000),197-215·Zbl 0965.68029号
[12] Osokin V.V.,“关于学习不相关变量的单调布尔函数”,《离散数学》。申请。,20:3 (2010), 307-320. ·Zbl 1200.68131号
[13] Uehara R.、Tsuchida K.、Wegener I.,“析取、奇偶和阈值函数的最优属性有效学习”,Proc。第三个欧洲。计算机配置。学习。西奥。欧洲COLT’971997。
[14] Hofmeister T.,“代码在归因有效学习中的应用”,Proc。第四届欧洲。计算机配置。学习。西奥。1999年《欧洲公约》。
[15] Gasanov E.E.,“线性排名函数的解密”,马特。十一、迈日杜纳。种子学校“Diskretnaya matematika i ee prilozheniya”,Izd-vo mekh-mat.f-ta MGU,2012,332-334(俄语)。
[16] Khegay S.I.,“多项式排序函数的解密”,Intellektuaľnye sistemmy,19:1(2015),213-230(俄语)。
[17] Bshouty N.H.、Cleve R.、Gavalda R.、Kannan S.、Tamon Ch.,“足以进行精确学习的预言和查询”,J.Compute。系统。科学。,52:3 (1996), 421-433. ·Zbl 0858.68075号
[18] Angluin D.,“查询和概念学习”,机器学习,2:4(1988),319-342·Zbl 1470.68050号
[19] Damaschke P.,“关于并行属性有效学习”,J.Compute。科学。,67 (2003), 46-62. ·Zbl 1055.68060号
[20] Korobkov V.K.,“关于代数逻辑的单调函数”,Problemy kibernetiki,13,瑙卡,莫斯科,1965年(俄语)·Zbl 0281.94023号
[21] Hansel G.,“函数布尔lenes单调变量”,巴黎科学院,262(20)(1966),1088-1090·Zbl 0191.29202号
[22] Sloane N.J.A.,“覆盖数组和交叉代码”,J.Comb。设计。,1 (1993), 51-63. ·Zbl 0828.05023号
[23] Kuliamin V.V.,Petukhov A.A.,“构建覆盖阵列方法的调查”,项目。计算。柔软。,37 (2011), 121. ·Zbl 1242.68069号
[24] Cohen D.M.、Dalal S.R.、Fredman M.L.、Patton G.C.,“AETG系统:基于组合设计的测试方法”,IEEE Trans。软件工程,23:7(1997),437-444。
[25] Hartman A.,“使用组合覆盖套件进行软件和硬件测试”,图论,组合数学和算法,Oper。研究/计算。科学。接口序列。,马萨诸塞州波士顿斯普林格34号。
[26] Lim W.S.,Alpern S.,“Minimax线上会合”,SIAM J.Control and Optim。,34 (1996), 1650-1665. ·兹比尔0857.90063
[27] Gal S.,“在线集合搜索”,Oper。《研究》,47(1999),974-976·Zbl 1042.91517号
[28] Kleitman D.J.,Spencer J.,“k独立集的族”,离散数学,6(1973),255-262·Zbl 0269.05002号
[29] Lawrence J.,Kacker R.N.,Lei Y.,Kuhn R.,Forbes M.,“二进制覆盖数组的调查”,Electr。J.库姆。,18 (2011). ·Zbl 1298.05048号
[30] Gargano L.、Korner J.、Vaccaro U.,“Sperner容量”,《图与组合数学》,9(1993),31-46·Zbl 0771.05004号
[31] Sarkar K.,Colbourn C.J.,Bonis A.D.,Vaccaro U.,“部分覆盖阵列:算法和渐近”,理论计算。系统。,62:6 (2018), 1470-1489. ·Zbl 1391.68085号
[32] Das S.,Meszaros T.,“小型覆盖阵列的半随机构造”,2017年,arXiv:1703-05252。
[33] 我在V.A.,Sadovnichiy V.A.,Sendov Bl.Kh.,Matematicheskiy analiz。伊兹德·沃莫斯克,纳查·尼伊·库尔斯。un-ta,1985年(俄语),662页·Zbl 0644.26001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。