随笔分类 -  学习

NP问题与可计算性问题笔记
摘要：算法的时间复杂度指的是算法计算所需要的数量级，通常用O(·)表示。 O(1)表示一个算法是常数阶，例如访问HashMap的某一个元素（随机存取）只需要一次运算即可。 O(n)表示一个算法是线性阶，例如寻找数组Array中最大的元素，需要遍历数组（顺序表）的所有元素。 O(logn)是对数阶，比O(n 阅读全文
posted @ 2023-07-13 22:04 倦鸟已归时 阅读(373) 评论(0) 推荐(0)
思维导图-图像处理与计算机视觉
摘要：思维导图整理，便于在线观看 阅读全文
posted @ 2023-06-07 02:03 倦鸟已归时 阅读(237) 评论(0) 推荐(0)
形式语义入门和Isabelle定理证明
摘要：Big-step Semantics, Small-step Semantics, Hoare Logic, Isabelle 阅读全文
posted @ 2022-12-28 10:39 倦鸟已归时 阅读(1041) 评论(0) 推荐(0)
逻辑学-三段论的形式和结论
摘要：logistics 阅读全文
posted @ 2022-11-21 20:29 倦鸟已归时 阅读(3308) 评论(0) 推荐(0)
凯撒密码C++实现
摘要：古典密码，凯撒密码，C++ 阅读全文
posted @ 2021-09-28 02:27 倦鸟已归时 阅读(2093) 评论(0) 推荐(0)