当前标签：证明与计算

证明与计算(7): 有限状态机(Finite State Machine)

ffl 2020-04-01 16:26 阅读:4322 评论:9 推荐:3 编辑

证明与计算(6): 身份认证与授权

ffl 2019-01-29 23:26 阅读:1381 评论:3 推荐:2 编辑

证明与计算(5): 从加密哈希函数到一致性哈希

ffl 2019-01-25 00:06 阅读:2098 评论:2 推荐:1 编辑

证明与计算(4): 完美散列函数(Perfect Hash function)

ffl 2019-01-19 16:53 阅读:893 评论:1 推荐:0 编辑

证明与计算(3): 二分决策图(Binary Decision Diagram, BDD)

ffl 2018-08-07 17:38 阅读:6537 评论:4 推荐:3 编辑

证明与计算(2): 离散对数问题(Discrete logarithm Problem, DLP)

ffl 2018-07-28 20:09 阅读:14489 评论:3 推荐:5 编辑

证明与计算(1): Decision Problem, Formal Language L, P and NP

ffl 2018-07-18 20:04 阅读:1691 评论:0 推荐:0 编辑