是不是可以先把所有可能的子程序列出来，再依次用每一个子程序判断每一个样例是否正确