基于python实现的数学分支过程问题的暴力枚举模型