算法设计与分析讲义.ppt

* * * * * * 由定理4知道，若（a＋sqrt（x））是模p的非2次剩余，其（p-1)/2次方与-1同余，否则与+1同余。故前一种情况一般有c＝p-1，d＝0，此时无法求x的平方根； 后一种情况有c＝0，d≠0，此时可求平方根 * * * * （a＋sqrt（x））是模p的二次剩余（50％概率）时，c＝0，d不为0 * * * * * * * * * * X是a+b和n的公因子 * * * * * * * * * * * * * * 若a＝1127，b＝2012，则： （a*a）mod2537＝1629 （b*b）mod2537＝1629 * * * * * * * * * * * * ∵正确解出现次数≥m时，返回的解一定正确 ∴当正确解出现次数＜m时，返回的解才有可能错误 * * * * * * * * 若返回y0必定正确； 返回非y0时，若x?X，则正确；否则错误 * * * * Case2:若x?X , 则Yi和Yj均正确，但二者不等，与MC是一致的矛盾！ * * * * * * * * * 若f(x)是圆方程，R=1 * * 应该假定f(x)=0 * 注意是darts而不是HitorMiss，在后者中也要计算平方根，但是可以将其修改为darts而无需计算平方根。 25人中至少有两个人生日相同的概率是0.57 此例说明，尽管n大，但是可以用一个较小的k（有回放抽样第一次重复前的计数）来估计 排序后再一次扫描即可统计出n 通过返回值k来估计n * n 〉16的概率较小，所以用16做上界是可以的 * K为4的条件是：16个单词均不以0001打头and至少有1个单词以1打头and至少有1个以01打头and至少有1个以001打头。n越大，k为4的概率越小 K为4的条件是：4个单词均不以0001打头and至少有1个单词以1打头and至少有1个以01打头and至少有1个以001打头。 4个互不相同的单词均不以001打头的概率是（7/8)^4,故至少有1个以001打头的概率是1- （7/8)^4 确定性算法的平均时间和概率算法的期望时间之关系 概率算法的平均时间一般指平均的期望时间 * 假定Cp等常数是渐近非负的 概率算法的平均时间可以不考虑最坏情况 * * * * * * * * * * 一次成功是指k＝8结束QueensLV * * * * * * * * * * * * * * * * * * * * * * * * * * * §5.1 主元素问题 当需要控制算法出错概率小于ε0时，相应算法调用maj的次数为： majMC (T, ε) { k← for i ←1 to k do if maj (T) then return true; //成功 return false; //可能失败 } 该算法的时间为O(nlg(1/ε))。注意，这里只是用此问题来说明MC算法，实际上对于判定主元素问题存在O(n)的确定性算法。 * * §5.2 素数测定(数的素性测定) 判定一个给定的整数是否为素数，到目前为止尚未找到有效的确定性算法或Las Vegas算法。 简单的概率算法。 prime(n) { d ←uniform(2.. ); return } 若返回false，则算法幸运地找到了n的一个非平凡因子，n为合数。 若返回true，则未必是素数。实际上，若n是合数，prime 亦以高概率返回true。 * * §5.2 素数测定(数的素性测定) 例如： prime在2~51内随机选一整数d ?成功：d=43，算法返回false(概率为2%) ，结果正确 ?失败：d≠43，算法返回true(概率为98%)，结果错误 当n增大时，情况更差。 Fermat小定理 若n是素数，则?a∈[1，n-1]，有 变换命题（逆否定理） 设n和a是整数，若?a ∈ [1，n-1]使 ，则n不是素数。 * * §5.2 素数测定(数的素性测定) 素性测定算法（偏假的）： Fermat(n) { a ←uniform(1..n-1); if then return true; //未必正确，n未必为素数 else return false；//正确，n一定是合数 } Fermat定理的逆命题成立吗？ 即是否只要 for all a∈[1，