摘要:
定理: 如果n不是素数, 则n有满足1<d<=sqrt(n)的一个"素数"因子d.(若没有素因子,则n是素数) 证明:如果n不是素数,则n有满足1<d<=sqrt(n)的一个因子d,如果d是素数,则定理得证,算法终止。否则令n=d,由于不可能无限分解n的因子,因此上述算法最终会终止。 点击查看代码 阅读全文
摘要:
n=2时的证明?好像也不算证明,只能说是枚举,枚举一下就知道了: 如果(a, b)在(c, d)之前,前两个人的结果分别是a+b和max(a+b+d,a+c+d),如果(c, d)在(a, b)之前,前两个人的结果分别是c+d和max(c+d+b,c+a+b),把相同的部分消掉,可以发现在a+b+d 阅读全文