×
托马斯·艾特;茨城，东芝;Kazuhisa Makino

决策列表和相关布尔函数。 （英语） Zbl 0988.68146号

西奥。计算。科学。 270，第1-2号，第493-524页（2002年）.
摘要：我们考虑由决策列表表示的布尔函数，并研究它们与其他类布尔函数的关系。结果表明，1-决策表的初等类与独立定义的类（如伪装的Horn函数、只读函数、概念的嵌套差异、阈值函数和2-单调函数）有着有趣的关系。特别是，1-决策列表与上述类的片段一致。我们进一步研究了此类的识别问题，以及部分定义布尔函数（pdBfs）上下文中的扩展问题。我们证明了在线性时间内，在1-决策列表类中找到给定pdBf的扩展是可能的。这改进了以前的结果。此外，我们还提出了一种枚举具有多项式延迟的所有此类扩展的算法。

引用于6文件

MSC公司：

68T05型 人工智能中的学习和自适应系统

关键词：

决策列表;布尔函数;教学顺序;可拓问题;多项式延迟枚举
PDF格式BibTeX公司 XML格式引用
\textit{T.Eiter}等人，Theor。计算。科学。270，编号1--2，493--524（2002；Zbl 0988.68146）
全文： 内政部

整数序列在线百科全书：

n个变量的布尔函数数，这些变量被称为“unate cascades”或“1-决策列表函数”或“read-on-threshold functions”。

参考文献：

[1] 艾森斯坦，H。；Hegedűs，T。；Hellerstein，L。；Pitt，L.，《查询学习的复杂性理论硬度结果》，J.Complexity，7，1，19-53（1998）·Zbl 0903.68157号
[2] H.Aizenstein，L.Hellerstein，L.Pitt，Read-thrice DNF很难学习成员资格和等价查询，Proc。FOCS-921992，第523-532页。；H.Aizenstein，L.Hellerstein，L.Pitt，Read-thrice DNF很难学习成员资格和等价查询，Proc。FOCS-921992，第523-532页·Zbl 0977.68565号
[3] M.Anthony，阈值函数、决策列表和神经网络，技术报告NC-TR-96-028，NeuroCOLT技术报告系列，1996年1月。；M.Anthony，阈值函数、决策列表和神经网络，技术报告NC-TR-96-028，NeuroCOLT技术报告系列，1996年1月。
[4] 安东尼，M。；比格斯，N.，《计算学习理论》（1992），剑桥大学出版社：剑桥大学出版社·Zbl 0755.68115号
[5] 安东尼，M。；Brightwell，G。；Shawe-Taylor，J.，《通过标签示例指定布尔函数》，《离散应用》。数学。，61, 1-25 (1995) ·Zbl 0826.06008号
[6] Boros，E。；茨城，T。；Makino，K.，部分定义布尔函数的无错误且最适合的扩展，Inform。和计算。，140, 254-283 (1998) ·Zbl 0892.68091号
[7] Crama，Y。；锤子，P。；Ibaraki，T.，因果关系和部分定义的布尔函数，Ann.Oper。研究，16，299-326（1988）·Zbl 0709.03533号
[8] A.Dhagat，L.Hellerstein，《不相关属性的PAC学习》，Proc。FOCS’94，新墨西哥州圣达菲，1994年，IEEE出版社，纽约，第64-74页。；A.Dhagat，L.Hellerstein，《不相关属性的PAC学习》，Proc。FOCS’94，新墨西哥州圣菲，1994年，IEEE出版社，纽约，第64-74页。
[9] C.Domingo，T.Tsukiji，O.Watanabe，Partial Occam剃须刀及其应用，Proc。算法学习理论研讨会（ALT’97），1997年，第85-99页。；C.Domingo，T.Tsukiji，O.Watanabe，Partial Occam剃须刀及其应用，Proc。算法学习理论研讨会（ALT’97），1997年，第85-99页·兹伯利0887.68081
[10] 道林，W。；Gallier，J.H.，用于测试命题Horn理论可满足性的线性时间算法，《逻辑编程》，3，267-284（1984）·Zbl 0593.68062号
[11] Eiter，T.，精确横截超图及其在布尔函数中的应用，符号计算杂志。，17, 215-225 (1994) ·Zbl 0809.94032号
[12] T.Eiter，T.Ibaraki，K.Makino，《多面喇叭功能》，技术报告CD-TR 96/95，专家系统基督教多普勒实验室，奥地利维也纳大学，1996年6月。；T.Eiter，T.Ibaraki，K.Makino，多面喇叭功能，技术报告CD-TR 96/95，专家系统基督教多普勒实验室，奥地利维也纳大学，1996年6月·Zbl 0884.06013号
[13] T.Eiter、T.Ibaraki、K.Makino，《决策表和相关布尔函数》，《9804技术报告》，德国基辅大学信息研究所，1998年4月。；T.Eiter、T.Ibaraki、K.Makino，《决策列表和相关布尔函数》，《9804技术报告》，德国基辅大学信息研究所，1998年4月·Zbl 0988.68146号
[14] 艾特，T。；茨城，T。；Makino，K.，《双喇叭功能》，Inform。和计算。，144, 155-190 (1998) ·Zbl 0912.06011号
[15] 偶数，S。；艾泰，A。；Shamir，A.，《关于时间表和多商品流问题的复杂性》，SIAM J.Compute。，5, 691-703 (1976) ·Zbl 0358.90021号
[16] 高盛公司。；Kearns，M.，《论教学的复杂性》，J.Compute。系统科学。，50, 20-31 (1995) ·Zbl 0939.68770号
[17] 高盛公司。；Mathias，H.D.，《教聪明的学习者》，J.Compute。系统科学。，52, 255-267 (1996) ·Zbl 1152.68451号
[18] Gurvich，V.A.，逻辑代数中函数无重复性的标准，苏联数学。道克。，43221-726（1991），（Dokl.Akad.Nauk SSSR 318（1991）的英文翻译）·Zbl 0772.06012号
[19] Hancock，T。；姜涛（Jiang，T.）。；李，M。；Tromp，J.，学习决策列表和树的下限，Inform。和计算。，126114-122（1996），（扩展抽象STACS’95）·Zbl 0856.68121号
[20] Hegedűs，T。；Meggido，N.，关于布尔函数的几何可分性，离散应用。数学。，61, 1-25 (1995)
[21] Helmbold，D。；斯隆，R。；Warmuth，M.，《学习交叉闭合概念类的嵌套差异》，马赫。学习，5165-190（1990）
[22] 亨特三世，H。；Stearns，R.，《非常简单的布尔公式及其应用的复杂性》，SIAM J.Compute。，19, 1, 44-70 (1990) ·Zbl 0696.68060号
[23] J.Jackson，A.Tomkins，《教学计算模型》，Proc。第五国际。计算学习理论研讨会，1992年，第319-326页。；J.Jackson，A.Tomkins，《教学计算模型》，Proc。第五国际。计算学习理论研讨会，1992年，第319-326页。
[24] 约翰逊，D.S。；Yannakakis，M。；Papadimitriou，C.H.，关于生成所有最大独立集，Inform。过程。莱特。，27, 119-123 (1988) ·Zbl 0654.68086号
[25] 卡奇默，M。；Linial，N。；I.纽曼。；萨克斯，M。；Wigderson，A.，一次性读取公式的组合表征，离散数学。，114, 275-282 (1993) ·Zbl 0781.06012号
[26] 库兹涅佐夫，A.V.，《关于逻辑代数中函数的无重复接触方案和无重复叠加》，特鲁迪·马特·Inst.Steklov。，51186-225（1958），（俄语）·Zbl 0092.25304号
[27] 劳勒，E。；Lenstra，J。；Rinnooy Kan，A.，生成所有最大独立集NP-hardeness和多项式时间算法，SIAM J.Compute。，9, 558-565 (1980) ·Zbl 0445.68054号
[28] 利布金，L。；Muchnik，I.，分离亚晶格和亚相似性，科学研究。数学。匈牙利。，27, 471-477 (1992) ·Zbl 0741.06004号
[29] Littestone，N.，当不相关的属性丰富时学习一种新的线性阈值算法，Mach。学习，285-318（1988）
[30] Makino，K。；Hatanaka，K。；Ibaraki，T.，部分定义布尔函数的Horn扩张，SIAM J.Compute。，28, 2168-2186 (1999) ·Zbl 0939.68049号
[31] Mundici，D.，无重复变量单调布尔公式计算的函数，Theoret。计算。科学。，66, 113-114 (1989) ·Zbl 0674.94025号
[32] Muroga，S.，阈值逻辑及其应用（1971），Wiley-Interscience:Wiley-Interscience纽约·Zbl 0243.94014号
[33] Quinlan，J.，决策树归纳，马赫。学习，181-106（1986）
[34] Rivest，R.L.，《学习决策表》，马赫。学习，229-246（1996）
[35] S.Salzberg，A.Delcher，D.Health，S.Kasif，与乐于助人的老师一起学习，Proc。IJCAI’91，1991年，第705-711页。；S.Salzberg、A.Delcher、D.Health、S.Kasif，《与乐于助人的老师一起学习》，Proc。IJCAI’91，1991年，第705-711页·Zbl 0748.68065号
[36] Shinohara，A。；Miyano，S.，《计算学习中的可教性》，《新一代计算》。，8, 337-347 (1991) ·Zbl 0712.68084号
[37] Trakhtenbrot，B.A.，《关于无重复接触方案的理论》，Trudy Mat.Inst.Steklov。，51、226-269（1958），（俄语）·Zbl 0092.25305号
[38] Valiant，L.，枚举和可靠性问题的复杂性，SIAM J.Compute。，8, 410-421 (1979) ·Zbl 0419.68082号
[39] Valiant，L.，《可学习理论》，ACM委员会，27，11，1134-1142（1984）·Zbl 0587.68077号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。