带有通配符和长度约束的模式匹配问题求解模型

作     者：汪浩 王海平 吴信东 WANG Hao;WANG Hai-ping;WU Xin-dong

作者机构：合肥工业大学计算机与信息学院合肥230009 

基　　金：国家自然科学基金项目(31100956 61173117)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2016年第43卷第4期

页      码：279-283,F0003页

摘      要：讨论了带有通配符和长度约束的模式匹配(PMWL)问题,其中模式由子模式序列集组成,两个相邻子模式的间隔在一定长度范围内。针对PMWL问题,已有工作包括设计启发式求解算法和对特殊情况进行完备性分析,然而还需要构建问题的基础求解模型。借鉴约束可满足问题框架,构建了由变量、值域和约束组成的三元组求解模型,对PMWL问题的基本概念和基本性质给出了形式化描述。最后,给出了算法求解PMWL问题的特定条件下的完备解。

主 题 词：长度约束 通配符 求解模型 模式匹配 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2016.4.057

馆 藏 号：203751730...