27、字符串问题的模型检查与半自动结构研究

字符串问题的模型检查与半自动结构研究

1. 字符串问题的算法对比

在字符串处理领域，后缀树算法和优化的算法 1 在处理最长公共子串问题上表现出不同的特性。为了直观地对比这两种算法的性能，我们进行了一系列实验，实验环境为一台配备 16 个 1.87GHz Intel Xeon 核心和 256GB 内存的机器。

以下是不同物种数据大小下，后缀树算法和优化算法 1 的运行时间对比表格：
| 物种 | 大小 | 后缀树算法 | 优化算法 1 |
| — | — | — | — |
| E. coli, M. tuberculosis | 9.8 mb | 70 min 33 sec | 54 min 26 sec |
| A. tumefaciens (I), V. cholerae (I) | 7.1 mb | 42 min 46 sec | 38 min 17 sec |
| S. enterica, B. subtilis (I) | 9.2 mb | 64 min 2 sec | 52 min 13 sec |
| A. fugildus, N. gonorrhoeae, A. tumefaciens (II) | 7.1 mb | 35 min 10 sec | 33 min 50 sec |
| C. trachomatis, A. aeolicus, H. influenzae, V. cholerae (II) | 5.7 mb | 21 min 33 sec | 24 min 34 sec |
| E. coli, V. cholerae (I) | 8.2 mb | 60 min 53 sec | 46 mi