Ko、Ker-I;华金明 关于双变量图案填充问题的注记。 （英语） Zbl 0635.68097号 J.计算。系统。科学。 第34页，第75-86页（1987年）. 模式语言由定义D.安格鲁因[计算机系统科学杂志，21，46-62（1980；Zbl 0454.68108号)]作为学习一维模式的抽象模型。模式被定义为变量和常量的字符串，其关联语言被定义为通过将模式中的变量替换为常量字符串而获得的所有常量字符串。模式查找问题是从模式语言中的一些字符串示例中识别神秘的模式。Anguin发现了一种多项式时间算法，用于寻找一个变量的模式。对于二元情形，该问题是多项式时间可解的还是NP-完全的尚不清楚。本文表明，如果试图将Anguin的一元算法推广到二元情况，那么会遇到在多标签图中寻找公共路径的问题，并且该问题被证明是NP-完全的。这一结果支持了这样一个猜想，即二元模式匹配问题确实是NP完全的。审核人：克分子一Ko 引用于6文件 MSC公司： 68吨10 模式识别、语音识别 68T05型 人工智能中的学习和自适应系统 65年第68季度 算法和问题复杂性分析 68T99型 人工智能 2015年3月1日 计算复杂性（包括隐式计算复杂性） 关键词：归纳推理;模式语言;NP-完成;模式识别问题 引文：Zbl 0454.68108号 PDF格式BibTeX公司 XML格式引用 \textit{K.-I Ko}和\textit{C.-M.Hua}，J.Compute。系统。科学。34、75-86（1987年；Zbl 0635.68097） 全文： 内政部 参考文献： [1] Angluin，D.，《寻找一组字符串的共同模式》，J.Compute。系统科学。，21, 46-62 (1980) ·Zbl 0454.68108号 [2] Garey，M.R。；Johnson，D.S.，《计算机与难治性》（1979），弗里曼：弗里曼旧金山·Zbl 0411.68039号 [3] Jantke，K.P.，通用模式语言的多项式时间推断，（计算机科学理论方面专题讨论会论文集，计算机科学理论部分专题讨论会，计算机科学讲稿，第166卷（1984年），Springer-Verlag:Springer-Verlag纽约/柏林），314-325·Zbl 0545.68078号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。