LeetCode题解(1531)：行程长度编码压缩字符串删去指定数量字符后的最短长度(Python)