检查是否可以在Python中的给定约束下从A形成字符串B