第二章计算理论与计算模型资料.pptx

第二章 计算理论与计算模型;2;3;4;5;6;7;8; 计算思维的三大任务：问题求解、系统设计、人类行为的理解。;10;11;12;13;3、可计算性理论的主要内容 图灵机：用于精确描述算法的特征。可以用图灵机来计算其值的函数是可计算函数，找不到图灵机来计算其值的函数是不可计算函数。;丘奇-图灵论题：丘奇说，λ可定义函数类与直观可计算函数类相同。图灵说，图灵机可计算函数类与直观可计算函数类相同。因此可以说，图灵机可计算函数类与λ可定义函数类相同。;16;17;18;19;20;21;22;23;24;25;26;27;3、P类问题和NP类问题 人们普遍关心的是：一个问题是否存在多项式时间计算复杂性的求解算法。 若存在，则这个问题可以借助计算机来实现求解。 若不存在，使用计算机无法在有限的时间内完成。;P类问题：在多项式时间内可以解决的问题类。 P类问题公认为是用确定型图灵机在多项式时间内能解决的问题 也就是说解决问题的时间复杂性函数为O(P(n))，其中：n为问题的规模，P为n的某个多项式函数 P类问题包含了大量已知自然问题，如计算最大公约数、计算π值、排序问题、二维匹配问题等。;多项式时间函数和指数时间函数的比较;NP类问题：多项式时间可验证的问题类。 利用一种非确定性算法在多项式时间内加以解决。 非确定性算法包括2个阶段：猜测阶段、检验阶段。 NP类问题数量巨大，如完全子图问题、图的着色问题、汉密尔顿回路问题、旅行商问题。;2000年5月，美国克雷数学研究所的科学顾问委员会选定了七个千禧年数学难题，并决定建立700万美元的大奖基金。 这七个难题分别是：P类问题对NP类问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳维叶-斯托克斯方程的存在性与光滑性、贝赫和斯维讷通-戴尔猜想。;著名的P=NP?问题 如果P＝NP，那么NP类问题都将能计算。学术界该做的事就是千方百计去找到各种NP类问题的多项式时间算法。 但是，互联网的安全问题就会成为严重的挑战，因为破译互联网的RSA加密系统属于NP类问题，既然它也存在多项式时间算法，就必须立即放弃这种加密系统？;如果P≠NP，那么大量的NP类问题都将不具有确定性多项式算法。学术界就不该把精力浪费在NP系列的分类上，应赶紧去寻找各种NP类问题的最优近似算法。 这时，对于互联网和其他需要保密的系统安全问题，就可以彻底解决了。;2.2.5 公钥密码学 NP类问题与密码学关系非常密切。 密码学研究的主要内容之一是对不同的密码技术的计算复杂性进行比较，以便确定其安全性。 1978年，麻省理工大学3名密码学专家提出了一种基于大素数因子分解困难性的公钥密码体系，即RSA密码算法。 ;RSA加解密算法的解题步骤： 选择两个大素数 p 和 q 计算 n＝p×q 以及 φ(n)＝(p－1)×(q－1) 随机选择正整数e（加密密钥），满足1＜e＜φ(n)且gcd(φ(n)，e)＝1 解密密钥：d ＝ e-1 mod φ(n) 加密运算：C ＝ Me mod n 解密运算：M ＝ Cd mod n 以{e, n}为公开钥，{d, n}为私密钥;37;38;39;40;41;42;43;44;45;46;47;48;49;50;51;52;53;54;55;56;57