学习 - 随笔分类 - 倦鸟已归时

NP问题与可计算性问题笔记

摘要：算法的时间复杂度指的是算法计算所需要的数量级，通常用O(·)表示。 O(1)表示一个算法是常数阶，例如访问HashMap的某一个元素（随机存取）只需要一次运算即可。 O(n)表示一个算法是线性阶，例如寻找数组Array中最大的元素，需要遍历数组（顺序表）的所有元素。 O(logn)是对数阶，比O(n 阅读全文

posted @ 2023-07-13 22:04 倦鸟已归时阅读(259) 评论(0) 推荐(0) 编辑

思维导图-图像处理与计算机视觉

摘要：思维导图整理，便于在线观看阅读全文

posted @ 2023-06-07 02:03 倦鸟已归时阅读(176) 评论(0) 推荐(0) 编辑

形式语义入门和Isabelle定理证明

摘要：Big-step Semantics, Small-step Semantics, Hoare Logic, Isabelle 阅读全文

posted @ 2022-12-28 10:39 倦鸟已归时阅读(824) 评论(0) 推荐(0) 编辑

逻辑学-三段论的形式和结论

摘要：logistics 阅读全文

posted @ 2022-11-21 20:29 倦鸟已归时阅读(3059) 评论(0) 推荐(0) 编辑

凯撒密码C++实现

摘要：古典密码，凯撒密码，C++ 阅读全文