最长公共子序列定义