| 带有通配符和长度约束的模式匹配问题求解模型 |
| |
| 引用本文： | 汪浩,王海平,吴信东.带有通配符和长度约束的模式匹配问题求解模型[J].计算机科学,2016,43(4):279-283. |
| |
| 作者姓名： | 汪浩 王海平 吴信东 |
| |
| 作者单位： | 合肥工业大学计算机与信息学院 合肥230009,合肥工业大学计算机与信息学院 合肥230009,合肥工业大学计算机与信息学院 合肥230009 |
| |
| 基金项目： | 本文受国家自然科学基金项目(31100956,7)资助 |
| |
| 摘 要： | 讨论了带有通配符和长度约束的模式匹配(PMWL)问题,其中模式由子模式序列集组成,两个相邻子模式的间隔在一定长度范围内。针对PMWL问题,已有工作包括设计启发式求解算法和对特殊情况进行完备性分析,然而还需要构建问题的基础求解模型。借鉴约束可满足问题框架,构建了由变量、值域和约束组成的三元组求解模型,对PMWL问题的基本概念和基本性质给出了形式化描述。最后,给出了算法求解PMWL问题的特定条件下的完备解。
|
| 关 键 词： | 长度约束 通配符 求解模型 模式匹配 |
| 收稿时间： | 2015/10/12 0:00:00 |
| 修稿时间： | 2016/1/24 0:00:00 |
Models for Pattern Matching with Wildcards and Length Constraints |
| |
| WANG Hao,WANG Hai-ping and WU Xin-dong.Models for Pattern Matching with Wildcards and Length Constraints[J].Computer Science,2016,43(4):279-283. |
| |
| Authors: | WANG Hao WANG Hai-ping and WU Xin-dong |
| |
| Affiliation: | School of Computer Science and Information Engineering,Hefei University of Technology,Hefei 230009,China,School of Computer Science and Information Engineering,Hefei University of Technology,Hefei 230009,China and School of Computer Science and Information Engineering,Hefei University of Technology,Hefei 230009,China |
| |
| Abstract: | |
| |
| Keywords: | Length constraints Wildcards Matcing model Pattern matching |
|
|
点击此处可从《计算机科学》下载全文 |
|
