因为文中存在公式只能用图片方式上传了！
return TRUE; //用费马小定理的逆命题判断。能经受住考验至此的数大概率为素数。
以下为Python语言源代码：
# 实现(a*b)%c,用类似快速幂的方式实现
# 將模运算下的乘法用加法实现的思想是时间换空间。
# 这可以作为典型的时间换空间的例子
#因为Python支持大整数运算，所以在此也可以不用快速乘法而直接使用乘法*。
#如果返回值为TRUE表示n为素数返回值为FALSE表示n为合数。
return False #用二次定理的逆否命题此时n确定为合数。
return True # 用费马小定理的逆命题判断能经受住考验至此的数，大概率为素数
# 如果返回值为TRUE表示n为素数，返回值为FALSE表示n为合数
# 测试任务：在本人笔记本电脑上測试，N=10的18次方至N+10之间的质数为：
# python的常规算法耗时更长。
题意：给出一个无环图（
也就是樹但是也有可能是森林），代表一个国家的城市1是首都。每条边是一条公路现在要在这些公路中选出一些修改成铁路。要求每个城市至多在一条铁路上修改完后，每个城市到首都可能是铁路公路交叉着走现在定义一个城市的“不便利度”为到达首都要走的公路的佽数。定义国家的不便利度为所有城市不便利度的最大值问国家的不便利度最小为多少？有多少种修改方案使得可以得到此最小不便利喥
思路：f[n][10][3]，f[i][j][k]表示以i为根的子树其所有孩子到其的不便利度最大为j，向其孩子修建k条铁路的方案数设i的孩子集合为S，那么有：
