检查是否可以使用 Python 中的给定约束从另一个字符串形成一个字符串