会员
周边
新闻
博问
AI培训
云市场
所有博客
当前博客
我的博客
我的园子
账号设置
简洁模式
...
退出登录
注册
登录
Feilong's Blog
幻灰龙的博客 Keep it simple and stupid
博客园
首页
管理
2018年7月18日
证明与计算(1): Decision Problem, Formal Language L, P and NP
摘要: 0x01 从判定问题到形式语言 这篇讲知识证明的wiki([1]): https://en.wikipedia.org/wiki/Proof_of_knowledge 里面有一句话: Let x be a language element of language L in NP 这篇讲NPC的文章(
阅读全文
posted @ 2018-07-18 20:04 ffl
阅读(1535)
评论(0)
推荐(0)
编辑
公告