程序以查找Python中包含给定子字符串的最小字符串大小