科普向学习记录 | 从P/NP到密码学安全

郭福春 - 从P/NP到密码学安全
relate
计算模型-图灵机,确定型图灵机、概率型图灵机
确定算法、概率算法
多项式时间、指数时间

《数字签名密史》科普里的N/NP

在这里插入图片描述
在这里插入图片描述

计算复杂性理论基本知识

问题(1)、实例(n)、解决(算法)、代价(计算代价)

问题与实例

在这里插入图片描述如果输出确实是输入的一个答案,则关系函数R=1,若R=0则表示Output非Input的答案。
相同Input可以有多个Output作为它的解。
在这里插入图片描述

解决

在这里插入图片描述

在这里插入图片描述

算法

在这里插入图片描述

代价

在这里插入图片描述在这里插入图片描述给定比特串x,从左第一位到右,求多少个连续的1?
计算速度完全取决于x的值,若第一位0,则直接输出0,若第一位是1,继续跳到下一位。
因为有不同的代价测量方法——计算复杂性提出三大类测量方法
在这里插入图片描述

Problem

在这里插入图片描述在这里插入图片描述在这里插入图片描述在这里插入图片描述

在这里插入图片描述在这里插入图片描述
太简单所以拿掉第二点

在这里插入图片描述
又太难了所以后退一步

在这里插入图片描述在这里插入图片描述

图灵机

在这里插入图片描述

问题更新

在这里插入图片描述X计算模型:某个计算模型

局限性

在这里插入图片描述

概率算法

解决问题的算法分为两类

在这里插入图片描述
Example:
在这里插入图片描述
在这里插入图片描述
T(n)=C(n)
在这里插入图片描述
概率算法解决问题时分为四大类(Case1,2,3,4)
(指数时间:多项式时间之外,不严谨)
在这里插入图片描述Case1-3:考虑的是多项式时间内能够解决,所以pass
Case4:多项式次的运行算法,多项式乘以多项式=多项式,多项式时间内解决,概率2/3

在这里插入图片描述

小节

在这里插入图片描述

更严格的P/NP

P的问题集合

在这里插入图片描述

NP的问题集合

在这里插入图片描述

非确定图灵机

在这里插入图片描述很多状态同时存在

一个夸张的例子

在这里插入图片描述问1:O(n),跟n有关的线性时间
问2:O(1),映射到某种状态,不管n多大都可以在固定时间内解决问题(想象)

从P/NP到密码学安全

O(n)

在这里插入图片描述在这里插入图片描述
在这里插入图片描述

密码学方面

在这里插入图片描述

复杂性理论方面

在这里插入图片描述
在这里插入图片描述
在这里插入图片描述

落在位置1和6的概率最低

在这里插入图片描述对称加密的定义

敌手攻破该对称加密解密方案三元组(Gen, Enc, Dec)的概率需要小于或等于1/2+negligible(可忽略的)函数关于元素集合长度参数n的概率
在这里插入图片描述where…process).简化:

在这里插入图片描述
概率的统计是根据算法随机数的输入,即使输出不均匀,这种定义下仍是安全的

Conclusion

只科普,不严谨
在这里插入图片描述

  • 3
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值