用于在python中删除最多k个字符后检查回文是否可以形成的程序