240 发简信
IP属地:北京
  • 120
    三染色问题与零知识证明

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

  • 120
    完美零知识证明与计算零知识证明

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

  • 谕示图灵机(Oracle Machines)

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

  • 可忽略方程(negligible function)

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

  • 120
    概率多项式复杂度

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

  • 120
    密码学中的概率论知识

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

  • 120
    钢琴名作赏析

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

  • 120
    证明子集求和问题属于NPC问题

    什么是NPC(Nondeterministic polynomial complete)问题? NPC问题的定义: 如果一个语言B属于NPC问题,那么其满足以下两个条件: ...

  • 有条件的话下午有太阳的时候跑

    虽然不舍,还是要放弃晨跑了

    从十月底坚持跑步到现在大半个月了,最近一直纠结要不要坚持继续晨跑。 虽然每天只跑一公里,但跑过之后,再学英语,感觉一天都能量满满的。 纠结要不要跑,只因天气变凉,带了护膝,跑...

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

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

  • 一定要运动才行

    减肥(9)

    早起体重60.65kg. 在上大学一来体重头一次出现了60。 惊喜的另一面是小恶魔。 早起吃了一个烤红薯。 十点多的时候就把自己心心念念的熟食猪肝拆袋食用了。 我坐在床上一边...

  • 120
    LLL格约减算法与举例

    LLL格约减算法由Arjen Lenstra[https://en.wikipedia.org/wiki/Arjen_Lenstra],Hendrik Lenstra[h...

  • 无题

    “寂静的墙与寂静的我之间,野花膨胀着花蕾,不尽的路途在不尽的墙间延展,有很多事要慢慢对它谈,随手记下谓之写作“。

  • 密钥生成函数中的安全参数

    这篇文章是对密钥生产函数中的安全参数的一些我个人的思考。 在密码学应用中,使用密码算法的第一步,通常是使用密钥生成函数来生成之后会被使用的密钥。例如,在RSA算法中,...

  • 读后感-《美丽新世界》

    作为二十世纪最著名的反乌托邦文学经典之一的《美丽新世界》写于希特勒在德国上台之前,那时俄国的独裁者尚未得势。作者所设想的世界里,惩罚并不经常发生,而且大体上很温和。由政府实施...

  • 失去

    我在等你的简讯。我能等到吗?时针从十点转到十四点零三分。因为乌鸦像写字台。 我能等到吗?你会和谁分享初雪的甜蜜。因为乌鸦像写字台。我的心里浮现出你和她的身影。 你在和你的百分...