07 2022 档案

摘要:基础 P 问题、NP 问题、NPC 问题 研究哪些问题能够被计算机计算的: P (Polynomial)问题:多项式时间 O(nk) 可解决的问题 NP(Non-Polynomial)问题:存在算法,至少要指数时间 O(2n) 可解决的问题,不是现实可行 NPC(NP-Complete) 阅读全文
posted @ 2022-07-18 16:23 KillerAery 阅读(2850) 评论(2) 推荐(1) 编辑
摘要:无类型算术表达式 Untyped Arithmetic 一种由自然数和布尔值组成的小型语言,引入抽象语法、归纳定义和证明、求值等基本概念 语法 t 是元变量(非终结符):可以用其他特殊的项(term)来替换的变量,替换后就能得到一个变式,往往记为 t 而元变量 t 及其变式 t 均表 阅读全文
posted @ 2022-07-18 16:17 KillerAery 阅读(656) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示