240 发简信
IP属地:北京
  • Resize,w 360,h 240
    三染色问题与零知识证明

    摘要:每一个NP问题都存在零知识证明系统,这是因为我们可以证明,一些NPC问题是含有零知识证明系统的,而我们可以将其他的NP问题规约到这些N...

  • Resize,w 360,h 240
    完美零知识证明与计算零知识证明

    PDF地址为:https://github.com/Fisher4ever/4piano.github[https://github.com/F...

  • 谕示图灵机(Oracle Machines)

    谕示图灵机的直观理解 一个谕示图灵机可以被认为是一个能够访问谕示的图灵机。所谓谕示,可以被认为是一类能够解决一些问题的实体,这些问题可以是判定性...

  • 可忽略方程(negligible function)

    Definition: We call a function μ: N⟶R negligible if for every positive p...

  • Resize,w 360,h 240
    概率多项式复杂度

    pdf地址:https://github.com/Fisher4ever/4piano.github/blob/main/1.3.pdf[htt...

  • Resize,w 360,h 240
    密码学中的概率论知识

    pdf地址:https://github.com/Fisher4ever/4piano.github[https://github.com/Fi...

  • Resize,w 360,h 240
    钢琴名作赏析

    一、巴洛克时期的键盘音乐 1、斯卡拉蒂 多梅尼克·斯卡拉蒂,1685年出生于意大利那不勒斯,自幼在父亲的指导下学习音乐,但是并没有子承父业称为歌...

  • Resize,w 360,h 240
    证明子集求和问题属于NPC问题

    什么是NPC(Nondeterministic polynomial complete)问题? NPC问题的定义: 如果一个语言B属于NPC问题...

  • 最小生成树算法Kruscal的证明

    什么是生成子树? 对于一个图G=(V, E),其生成子图G'=(V, E')是一个树,则称G'为G的生成子树。 什么是最小生成树? 而最...