字符串缩减