07 2022 档案
摘要:基础 P 问题、NP 问题、NPC 问题 研究哪些问题能够被计算机计算的: P (Polynomial)问题:多项式时间 O(nk) 可解决的问题 NP(Non-Polynomial)问题:存在算法,至少要指数时间 O(2n) 可解决的问题,不是现实可行 NPC(NP-Complete)
阅读全文
摘要:无类型算术表达式 Untyped Arithmetic 一种由自然数和布尔值组成的小型语言,引入抽象语法、归纳定义和证明、求值等基本概念 语法 t 是元变量(非终结符):可以用其他特殊的项(term)来替换的变量,替换后就能得到一个变式,往往记为 t′ 而元变量 t 及其变式 t′ 均表
阅读全文
公告
搜索
积分与排名
- 积分 - 186066
- 排名 - 6790
随笔分类 (38)
随笔档案 (65)
- 2024年1月(1)
- 2023年7月(1)
- 2023年6月(2)
- 2023年3月(1)
- 2023年2月(1)
- 2022年10月(2)
- 2022年9月(1)
- 2022年8月(1)
- 2022年7月(2)
- 2022年6月(2)
- 2022年3月(1)
- 2021年12月(1)
- 2021年10月(1)
- 2021年9月(1)
- 2021年8月(5)
- 2021年6月(5)
- 2021年2月(1)
- 2021年1月(1)
- 2020年6月(1)
- 2020年4月(1)
- 2019年12月(4)
- 2019年10月(1)
- 2019年9月(1)
- 2019年8月(1)
- 2019年7月(2)
- 2019年5月(1)
- 2019年4月(1)
- 2019年3月(5)
- 2019年2月(2)
- 2019年1月(1)
- 2018年12月(2)
- 2018年11月(1)
- 2018年10月(2)
- 2018年9月(1)
- 2018年8月(2)
- 2018年7月(1)
- 2018年6月(2)
- 2018年5月(3)
- 更多
阅读排行榜
- 1. 空间数据结构(四叉树/八叉树/BVH树/BSP树/k-d树)(54790)
- 2. C++ Sqlite3的基本使用(40603)
- 3. JPS/JPS+ 寻路算法(29553)
- 4. 透彻理解C++11 移动语义:右值、右值引用、std::move、std::forward(25664)
- 5. 游戏AI之决策结构—行为树(16838)
- 6. 游戏架构设计:面向数据编程(DOP)(15883)
- 7. C++11 智能指针的深度理解(14655)
- 8. 游戏AI之路径规划(14534)
- 9. 中科大软件学院 2021计算机考研有感(已上岸)(14240)
- 10. 游戏AI之初步介绍(13088)