×
D.V.奇斯蒂科夫。

使用相关性查询识别只读功能。 （英语。俄文原件） Zbl 1276.68087号

数学杂志。科学。，纽约 192，第3期，359-374（2013）; Zap的翻译。诺什。塞明。POMI 402183-217（2012）。
摘要：如果布尔函数可以用公式表示，则该函数称为只读函数，其中没有变量出现多次。考虑了通过查询根据已知变量集（x_1，dots，x_n）识别未知读函数（f）的问题。允许算法执行标准成员查询和两种特殊类型的查询，以揭示变量与\（f）投影的相关性。开发了两种精确识别算法：一种进行\（O（n^2）\）yes no查询，另一种进行\（O（n\log^2n）\）具有对数长答案的查询。在最坏的情况下，从预言传输到识别算法的比特数的信息理论下限是\（\Omega（n\log n）\）。

MSC公司：

68问题32 计算学习理论
PDF格式BibTeX公司 XML格式引用
\textit{D.V.Chistikov}，J.数学。科学。，纽约192，No.3，359--374（2013；Zbl 1276.68087）；Zap的翻译。诺什。塞明。POMI 402183-217（2012）
全文： 内政部

参考文献：

[1] A.V.Aho、J.E.Hopcroft和J.D.Ullman，《数据结构和算法》，Addison-Wesley（1983）·兹比尔0487.68005
[2] D.Angluin，“查询和概念学习”，机器学习，2319-342（1987）·Zbl 0636.68112号
[3] D.Angluin、L.Hellerstein和M.Karpinski，“通过查询学习只读公式”，J.ACM，40，185-210（1993）·Zbl 0764.68139号 ·doi:10.1145/138027.138061
[4] D.V.Chistikov，“使用投影真实点数量的两个最低有效位学习只读函数”，摘自：第三次俄罗斯研讨会“逻辑系统的语法和语义”，VSGAO，Irkutsk（2010），第114-118页。
[5] D.V.Chistikov，“在任意基上检查一次读取函数的测试”，Lect。注释计算。科学。，7353, 52–63 (2012). ·Zbl 1360.06006号 ·doi:10.1007/978-3-642-30642-6
[6] V.A.Gurvich，“关于只读布尔函数”，Uspekhi Mat.Nauk，32，No.1，183–184（1977）·Zbl 0349.94046号
[7] M.Karchmer、N.Linial、I.Newman、M.Saks和A.Widgerson，“只读公式的组合表征”，《离散数学》。，114第1–3、275–282号（1995年）·Zbl 0781.06012号 ·文件编号：10.1016/0012-365X（93）90372-Z
[8] P.Savicky和A.R.Woods，“通过给定大小的公式计算的布尔函数数”，《随机结构算法》，第13期，第3-4期，349-382页（1998年）·Zbl 0959.68525号 ·doi:10.1002/（SICI）1098-2418（199810/12）13:3/4<349:：AID-RSA9>3.0.CO；2伏
[9] V.A.Stetsenko，“基于几乎坏的布尔基”，理论。计算。科学。，136，第2期，419–469页（1994年）·兹伯利0874.68268 ·doi:10.1016/0304-3975（94）00048-N
[10] B.A.Subbotovskaya，“用公式比较实现布尔函数的基础”，Dokl。阿卡德。Nauk SSSR，149，第4期，784–787（1963年）。
[11] L.G.Valiant，“可学习理论”，《美国医学会通讯》，第27期，第1134–1142页（1984年）·Zbl 0587.68077号 ·数字对象标识代码：10.1145/1968.1972
[12] A.A.Voronenko，“关于只读功能的检查测试”，Mat.Vopr。基伯恩。，11, 163–176 (2002). ·Zbl 1280.94129号
[13] A.A.Voronenko，“关于只读布尔函数的全局测试（解码）问题”，载于：第三届俄罗斯研讨会论文集“逻辑系统的语法和语义”，VSGAO，Irkutsk（2010），第17–22页。
[14] A.A.Voronenko和D.V.Chistikov，“使用子立方体奇偶查询学习只读函数”，计算。数学。型号。，22，第1期，第81–91页（2011年）·兹比尔1260.94098 ·doi:10.1007/s10598-011-9090-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。