CS Wiki

Wiki 总目录

47分钟阅读

Wiki 总目录

概览

本页面汇总所有学科的 Wiki 页面索引。每次新增/删除 Wiki 页面后，必须同步更新对应学科的表格和 Total pages 计数。

Total pages: 422 | Updated: 2026-04-24

离散数学

概念页

名称标签相关链接创建日期
命题逻辑逻辑与证明 命题谓词逻辑 逻辑等价 推理规则 证明方法 可满足性 逻辑电路2026-04-20
谓词逻辑逻辑与证明 量词命题逻辑 嵌套量词 逻辑等价 证明方法2026-04-20
逻辑等价逻辑与证明 等价命题逻辑 谓词逻辑 嵌套量词 可满足性 逻辑电路2026-04-20
推理规则逻辑与证明 论证命题逻辑 谓词逻辑 证明方法2026-04-20
嵌套量词逻辑与证明 量词谓词逻辑 逻辑等价2026-04-20
证明方法逻辑与证明 证明推理规则 命题逻辑 谓词逻辑2026-04-20
可满足性逻辑与证明 SAT逻辑等价 命题逻辑2026-04-20
逻辑电路逻辑与证明 电路命题逻辑 逻辑等价2026-04-20
集合基本结构 集合集合运算 函数 基数 矩阵 序列与求和2026-04-20
集合运算基本结构 集合运算集合 逻辑等价 矩阵2026-04-20
函数基本结构 函数集合 序列与求和 基数 矩阵2026-04-20
序列与求和基本结构 序列函数 集合 基数2026-04-20
基数基本结构 基数集合 函数 序列与求和2026-04-20
矩阵基本结构 矩阵集合 函数 集合运算2026-04-20
算法算法 搜索 排序 递归函数 大O记号 算法复杂度2026-04-20
大O记号算法 渐近分析算法 算法复杂度 函数增长2026-04-20
算法复杂度算法 时间复杂度 NP完全算法 大O记号 函数2026-04-20
函数增长算法 多项式 指数增长大O记号 渐近分析 函数2026-04-20
渐近分析算法 渐近记号大O记号 函数增长 算法复杂度2026-04-20
整除数论 整除 带余除法同余 模运算 最大公约数2026-04-20
同余数论 同余 同余类模运算 整除 线性同余方程2026-04-20
模运算数论 模运算同余 整除 快速幂2026-04-20
进制表示数论 进制 二进制二进制 补码2026-04-20
二进制数论 二进制运算进制表示 补码2026-04-20
快速幂数论 算法 模幂模运算 费马小定理2026-04-20
补码数论 补码进制表示 二进制2026-04-20
素数数论 素数 筛法算术基本定理 最大公约数2026-04-20
算术基本定理数论 素因子分解素数 最大公约数2026-04-20
最大公约数数论 GCD LCM欧几里得算法 贝祖定理2026-04-20
欧几里得算法数论 算法 GCD最大公约数 贝祖定理2026-04-20
贝祖定理数论 线性组合最大公约数 欧几里得算法2026-04-20
线性同余方程数论 同余方程模逆元 中国剩余定理2026-04-20
模逆元数论 逆元线性同余方程 贝祖定理2026-04-20
中国剩余定理数论 CRT线性同余方程 模逆元2026-04-20
费马小定理数论 素数 模幂模逆元 素数2026-04-20
原根数论 原根 离散对数费马小定理 模运算2026-04-20
哈希函数数论 哈希模运算 同余2026-04-20
伪随机数数论 随机数模运算 同余2026-04-20
校验码数论 ISBN UPC模运算 同余2026-04-20
密码学密码学 加密古典密码 RSA密码系统2026-04-20
古典密码密码学 凯撒 仿射密码学 模运算2026-04-20
RSA密码系统密码学 RSA 公钥公钥密码学 模逆元2026-04-20
公钥密码学密码学 Diffie-HellmanRSA密码系统 密码学2026-04-20
数学归纳法归纳与递归 证明方法 数学基础强归纳法 良序性 递归定义 递归算法 程序正确性 证明方法2026-04-21
强归纳法归纳与递归 证明方法 强归纳数学归纳法 良序性 结构归纳 算术基本定理2026-04-21
良序性归纳与递归 序理论 数学基础数学归纳法 强归纳法2026-04-21
递归定义归纳与递归 递归 定义方法数学归纳法 结构归纳 递归算法 序列与求和2026-04-21
结构归纳归纳与递归 证明方法 递归结构递归定义 强归纳法 数学归纳法2026-04-21
递归算法归纳与递归 算法 递归 分治递归定义 数学归纳法 算法复杂度 算法2026-04-21
程序正确性归纳与递归 程序验证 形式方法数学归纳法 递归算法 Hoare三元组 循环不变量2026-04-21
Hoare三元组归纳与递归 程序验证 断言程序正确性 循环不变量2026-04-21
循环不变量归纳与递归 程序验证 循环程序正确性 Hoare三元组 数学归纳法2026-04-21
乘法法则计数 基本法则加法法则 容斥原理 排列 组合 树图2026-04-21
加法法则计数 基本法则乘法法则 容斥原理 排列 组合 树图2026-04-21
容斥原理计数 集合论乘法法则 加法法则 集合运算 集合2026-04-21
排列计数 排列组合组合 乘法法则 二项式系数 可重排列 多重集排列 加法法则 排列组合恒等式2026-04-21
组合计数 排列组合排列 乘法法则 二项式系数 可重排列 二项式定理 加法法则 排列组合恒等式2026-04-21
树图计数 树结构乘法法则 加法法则2026-04-21
鸽巢原理计数 组合数学拉姆齐理论 整除 函数2026-04-21
拉姆齐理论组合数学 图论鸽巢原理2026-04-21
二项式系数计数 排列组合排列 组合 二项式定理 帕斯卡三角形 排列组合恒等式 斯特林数2026-04-21
排列组合恒等式计数 恒等式二项式系数 排列 组合 二项式定理 证明方法2026-04-21
二项式定理计数 代数二项式系数 帕斯卡三角形 组合 排列组合恒等式2026-04-21
帕斯卡三角形计数 数学史二项式系数 二项式定理 数学归纳法2026-04-21
可重排列计数 排列组合排列 组合 多重集排列 分配问题2026-04-21
多重集排列计数 排列组合排列 可重排列2026-04-21
分配问题计数 组合数学可重排列 斯特林数2026-04-21
斯特林数计数 组合数学分配问题 二项式系数2026-04-21
字典序计数 算法 序理论排列生成算法 组合生成算法2026-04-21
排列生成算法算法 计数字典序 组合生成算法 算法复杂度2026-04-21
组合生成算法算法 计数字典序 排列生成算法 算法复杂度2026-04-21
概率概率论 基本概念样本空间 事件 容斥原理 条件概率 概率分布 独立性 蒙特卡洛方法 组合 排列2026-04-21
样本空间概率论 基本概念概率 事件2026-04-21
事件概率论 集合论概率 样本空间 容斥原理2026-04-21
条件概率概率论概率 独立性 贝叶斯定理 全概率公式2026-04-21
独立性概率论条件概率 概率 伯努利试验2026-04-21
伯努利试验概率论 分布独立性 二项分布 几何分布2026-04-21
二项分布概率论 分布伯努利试验 概率分布 期望值 方差2026-04-21
蒙特卡洛方法概率论 算法概率 随机变量2026-04-21
概率分布概率论 分布概率 随机变量 二项分布2026-04-21
随机变量概率论概率分布 期望值 方差 蒙特卡洛方法2026-04-21
贝叶斯定理概率论 统计推断条件概率 全概率公式2026-04-21
全概率公式概率论条件概率 贝叶斯定理2026-04-21
期望值概率论 统计量随机变量 方差 二项分布 几何分布 马尔可夫不等式2026-04-21
方差概率论 统计量期望值 随机变量 切比雪夫不等式 二项分布2026-04-21
切比雪夫不等式概率论 不等式方差 马尔可夫不等式2026-04-21
马尔可夫不等式概率论 不等式期望值 切比雪夫不等式2026-04-21
几何分布概率论 分布伯努利试验 期望值2026-04-21
递推关系高级计数 递推 序列特征方程 线性递推关系 数学归纳法 递归定义 分治算法 生成函数2026-04-21
特征方程高级计数 代数递推关系 线性递推关系 数学归纳法2026-04-21
线性递推关系高级计数 递推递推关系 特征方程 数学归纳法 分治算法2026-04-21
分治算法算法 分治主定理 递推关系 算法复杂度 算法 递归算法 大O记号2026-04-21
主定理算法 复杂度分治算法 算法复杂度 大O记号 递推关系2026-04-21
生成函数高级计数 幂级数递推关系 广义二项式定理 二项式系数 二项式定理 排列组合恒等式 序列与求和2026-04-21
广义二项式定理高级计数 代数生成函数 二项式定理 二项式系数2026-04-21
错排问题高级计数 组合容斥原理 排列 组合 概率 斯特林数2026-04-21
欧拉函数数论 组合容斥原理 素数 整除 最大公约数 费马小定理2026-04-21
onto函数高级计数 函数容斥原理 函数 斯特林数 排列 组合2026-04-21
二元关系关系 集合笛卡尔积 函数 集合 集合运算 零一矩阵 有向图 传递闭包 等价关系 偏序关系2026-04-21
笛卡尔积关系 集合二元关系 函数 集合 基数 n元关系2026-04-21
n元关系关系 数据库二元关系 笛卡尔积 关联规则 集合2026-04-21
关联规则数据挖掘 关系n元关系 概率 组合2026-04-21
零一矩阵关系 矩阵二元关系 有向图 传递闭包 矩阵2026-04-21
有向图关系 图论二元关系 零一矩阵 传递闭包 Hasse图2026-04-21
传递闭包关系 算法二元关系 零一矩阵 有向图 算法复杂度2026-04-21
等价关系关系 代数二元关系 划分 同余 偏序关系 集合 Bell数2026-04-21
划分集合 关系等价关系 集合 集合运算 Bell数2026-04-21
Bell数组合 递推等价关系 划分 递推关系 排列组合恒等式2026-04-21
偏序关系关系 代数二元关系 等价关系 Hasse图 格 拓扑排序 整除 集合 良序性2026-04-21
Hasse图关系 可视化偏序关系 有向图 格2026-04-21
格关系 代数偏序关系 Hasse图 布尔代数2026-04-21
布尔代数布尔代数 逻辑电路 代数结构命题逻辑 逻辑等价 逻辑电路 集合运算 零一矩阵 格 偏序关系2026-04-21
拓扑排序关系 算法偏序关系 算法 算法复杂度2026-04-21
图的着色图论 着色平面图 二部图 完全图 算法复杂度2026-04-21
平面图图论 平面性图的着色 完全图 二部图 算法复杂度2026-04-21
二部图图论 组合图的着色 完全图 拉姆齐理论2026-04-21
完全图图论 特殊图二部图 平面图 图的着色 拉姆齐理论2026-04-21
加权图图论 算法哈密顿路径 贪心算法 算法复杂度2026-04-21
哈密顿路径图论 路径加权图 贪心算法 算法复杂度2026-04-21
贪心算法算法 优化加权图 哈密顿路径 算法复杂度 算法2026-04-21
连通图图论 连通性有向图 完全图 树图 加权图2026-04-21
二叉搜索树树 搜索 算法树图 递归算法 递归定义 算法复杂度2026-04-21
算法复杂度算法 复杂度 渐近分析大O记号 渐近分析 函数增长 递归算法 分治算法 主定理2026-04-21

定理页

名称标签相关链接创建日期
Cook-Levin定理NP完全性 计算复杂性可满足性 布尔代数 逻辑电路 命题逻辑2026-04-24
最大流最小割定理图论 网络流最大流 二分匹配 图论2026-04-24
Berge定理图论 匹配二分匹配 二部图 最大流2026-04-24
Hall婚姻定理图论 匹配二部图 二分匹配2026-04-24
安全边定理图论 贪心贪心算法 图论 加权图2026-04-24
Dijkstra正确性定理图论 最短路径贪心算法 加权图2026-04-24
排序下界定理排序 复杂度归并排序 快速排序 分治法2026-04-24
强弱对偶定理线性规划 优化动态规划 贪心算法2026-04-24
Christofides定理近似算法 TSP贪心算法 哈密顿路径2026-04-24
集合覆盖贪心近似定理近似算法 贪心贪心算法2026-04-24
欧拉定理数论 模运算模运算 费马小定理2026-04-24
RSA正确性定理密码学 数论公钥密码学 模运算2026-04-24
Konig-Egervary定理图论 匹配二部图 二分匹配2026-04-24
Bellman-Ford正确性定理图论 最短路径贪心算法2026-04-24
Floyd-Warshall正确性定理图论 动态规划动态规划2026-04-24
拓扑排序正确性定理图论 DAG贪心算法2026-04-24
括号定理图论 DFS图论2026-04-24
Huffman最优前缀码定理贪心 编码贪心算法2026-04-24
按秩合并与路径压缩定理数据结构 摊还贪心算法2026-04-24
Akra-Bazzi定理分治 复杂度主定理 分治法2026-04-24

对比页

名称标签相关链接创建日期
暂无———

常问问题

问题标签相关链接创建日期
暂无———

逻辑学

概念页

名称标签相关链接创建日期
命题逻辑学 基本概念 命题论证 有效性 演绎论证2026-04-19
论证逻辑学 基本概念 论证命题 演绎论证 有效性2026-04-19
有效性逻辑学 基本概念 有效性 演绎演绎论证 可靠性2026-04-19
演绎论证逻辑学 基本概念 演绎归纳论证 有效性 可靠性2026-04-19
归纳论证逻辑学 基本概念 归纳演绎论证 论证 有效性2026-04-19
可靠性逻辑学 基本概念 可靠性 演绎有效性 演绎论证2026-04-19
重塑逻辑学 论证分析 重塑论证 论证的图示 隐含前提2026-04-19
论证的图示逻辑学 论证分析 图示法论证 重塑 独立前提 分结论2026-04-19
独立前提逻辑学 论证分析 前提论证 论证的图示 分结论2026-04-19
分结论逻辑学 论证分析 分结论论证 论证的图示 独立前提2026-04-19
隐含前提逻辑学 论证分析 隐含前提论证 重塑 演绎论证2026-04-19
语言的功能逻辑学 语言 语言功能命题 论证 情感语言与中性语言2026-04-19
情感语言与中性语言逻辑学 语言 情感语言语言的功能 论争的类型2026-04-19
论争的类型逻辑学 论争 歧义论证 情感语言与中性语言 定义的类型2026-04-19
定义的类型逻辑学 定义 语言与定义外延与内涵 属加种差定义 论争的类型2026-04-19
外延与内涵逻辑学 定义 外延 内涵定义的类型 属加种差定义 命题2026-04-19
属加种差定义逻辑学 定义 属加种差外延与内涵 定义的类型2026-04-19
谬误逻辑学 谬误 批判性思维论证 有效性 非形式谬误的四大类2026-04-19
非形式谬误的四大类逻辑学 谬误 分类谬误 论证 情感语言与中性语言2026-04-19
诉诸人身逻辑学 谬误 相干谬误论证 稻草人 非形式谬误的四大类2026-04-19
稻草人逻辑学 谬误 相干谬误论证 诉诸人身 非形式谬误的四大类2026-04-19
诉诸无知逻辑学 谬误 不当归纳论证 归纳论证 非形式谬误的四大类2026-04-19
丐题逻辑学 谬误 预设谬误论证 演绎论证 有效性2026-04-19
滑坡谬误逻辑学 谬误 不当归纳论证 非形式谬误的四大类2026-04-19
直言命题逻辑学 直言命题 类命题 A_E_I_O 四种命题 周延性2026-04-19
A_E_I_O 四种命题逻辑学 直言命题 命题分类直言命题 周延性 传统对当方阵2026-04-19
周延性逻辑学 直言命题 周延性直言命题 A_E_I_O 四种命题 有效性2026-04-19
传统对当方阵逻辑学 直言命题 对当关系A_E_I_O 四种命题 直接推论 布尔解释2026-04-19
直接推论逻辑学 直言命题 推论方法A_E_I_O 四种命题 传统对当方阵 布尔解释2026-04-19
布尔解释逻辑学 直言命题 布尔解释A_E_I_O 四种命题 传统对当方阵 存在谬误2026-04-19
存在谬误逻辑学 谬误 存在谬误谬误 布尔解释 非形式谬误的四大类2026-04-19
文恩图逻辑学 直言命题 图解方法A_E_I_O 四种命题 布尔解释 直言命题 直言三段论2026-04-19
直言三段论逻辑学 直言三段论 演绎直言命题 A_E_I_O 四种命题 周延性 三段论的式与格2026-04-19
三段论的式与格逻辑学 直言三段论 形式直言三段论 直言命题 三段论规则2026-04-19
三段论规则逻辑学 直言三段论 规则直言三段论 三段论谬误 周延性 有效性2026-04-19
三段论谬误逻辑学 直言三段论 谬误谬误 三段论规则 周延性 存在谬误2026-04-19
直言三段论的15个有效形式逻辑学 直言三段论 有效形式直言三段论 三段论的式与格 三段论规则 直接推论2026-04-19
省略式三段论逻辑学 日常语言中的论证 省略式直言三段论 三段论规则 三段论谬误 有效性2026-04-19
连锁三段论逻辑学 日常语言中的论证 连锁直言三段论 三段论的式与格 三段论规则 有效性2026-04-19
析取三段论逻辑学 日常语言中的论证 析取假言三段论 直言三段论 有效性2026-04-19
假言三段论逻辑学 日常语言中的论证 假言析取三段论 直言三段论 有效性 三段论谬误2026-04-19
二难推论逻辑学 日常语言中的论证 二难谬误 有效性 直言三段论 三段论规则2026-04-19
真值函项性逻辑学 命题逻辑Ⅰ 真值函项实质蕴涵 真值表 重言式与矛盾式 假言三段论2026-04-19
实质蕴涵逻辑学 命题逻辑Ⅰ 蕴涵真值函项性 真值表 假言三段论 逻辑等价2026-04-19
真值表逻辑学 命题逻辑Ⅰ 真值表真值函项性 实质蕴涵 重言式与矛盾式 有效性2026-04-19
重言式与矛盾式逻辑学 命题逻辑Ⅰ 陈述形式真值函项性 真值表 逻辑等价 有效性2026-04-19
逻辑等价逻辑学 命题逻辑Ⅰ 等价真值函项性 真值表 重言式与矛盾式 实质蕴涵2026-04-19
自然演绎逻辑学 命题逻辑Ⅱ 自然演绎 形式证明推论规则 有效性 真值表 条件证明 间接证明2026-04-19
推论规则逻辑学 命题逻辑Ⅱ 推论规则 基本论证规则 替换规则自然演绎 有效性 逻辑等价 假言三段论 析取三段论2026-04-19
条件证明逻辑学 命题逻辑Ⅱ 条件证明 CP规则自然演绎 推论规则 间接证明 有效性 实质蕴涵2026-04-19
间接证明逻辑学 命题逻辑Ⅱ 间接证明 归谬法 RAA自然演绎 推论规则 条件证明 有效性 重言式与矛盾式2026-04-19
不相容性逻辑学 命题逻辑Ⅱ 不相容性 爆炸原理有效性 重言式与矛盾式 间接证明 可靠性2026-04-19
量词逻辑学 谓词逻辑 量词 全称量词 存在量词自然演绎 推论规则 有效性 逻辑等价 直言命题 A_E_I_O 四种命题 存在含义2026-04-20
存在含义逻辑学 直言命题 存在含义 谓词逻辑直言命题 A_E_I_O 四种命题 布尔解释 传统对当方阵 量词 存在谬误2026-04-20
类比推理逻辑学 类比推理 归纳逻辑归纳论证 演绎论证 因果联系 逻辑形式 有效性 归纳逻辑2026-04-20
因果联系逻辑学 因果联系 归纳逻辑类比推理 归纳逻辑 逻辑形式 归纳论证2026-04-20
逻辑形式逻辑学 逻辑形式 有效性有效性 自然演绎 推论规则 类比推理 演绎论证 因果联系2026-04-20
归纳逻辑逻辑学 归纳逻辑 归纳推理归纳论证 演绎论证 类比推理 因果联系 休谟问题2026-04-20
休谟问题逻辑学 归纳逻辑 哲学 休谟问题归纳逻辑 归纳论证 因果联系2026-04-20
密尔五法逻辑学 密尔五法 因果推理 归纳逻辑因果联系 归纳逻辑 休谟问题 类比推理 归纳论证 演绎论证 必要条件与充分条件 自然齐一性2026-04-20
必要条件与充分条件逻辑学 因果推理 条件关系因果联系 逻辑形式 演绎论证 归纳逻辑 密尔五法2026-04-20
自然齐一性逻辑学 归纳逻辑 哲学 因果律因果联系 休谟问题 归纳逻辑 归纳论证 密尔五法2026-04-20
科学说明逻辑学 科学说明 科学方法因果联系 归纳逻辑 演绎论证 归纳论证 假说-演绎法 可证伪性 密尔五法 科学革命2026-04-20
假说-演绎法逻辑学 科学方法 假说-演绎法科学说明 因果联系 归纳逻辑 演绎论证 归纳论证 密尔五法 可证伪性 科学革命2026-04-20
可证伪性逻辑学 科学哲学 可证伪性科学说明 假说-演绎法 归纳逻辑 休谟问题 演绎论证2026-04-20
科学革命逻辑学 科学哲学 科学革命科学说明 假说-演绎法 归纳逻辑 可证伪性2026-04-20
概率逻辑学 概率 归纳逻辑归纳逻辑 演绎论证 归纳论证 因果联系 休谟问题 密尔五法 科学说明 假说-演绎法 期望值 条件概率 赌徒谬误2026-04-20
期望值逻辑学 概率 决策理论概率 条件概率 归纳逻辑 演绎论证 假说-演绎法 科学说明2026-04-20
条件概率逻辑学 概率 概率演算概率 期望值 归纳逻辑 演绎论证 假说-演绎法 密尔五法 赌徒谬误2026-04-20
赌徒谬误逻辑学 谬误 概率概率 条件概率 归纳逻辑 休谟问题2026-04-20

定理页

名称标签相关链接创建日期
暂无———

对比页

名称标签相关链接创建日期
命题-vs-语句逻辑学 命题 语句命题 论证2026-04-19
论证-vs-说明逻辑学 论证 说明论证 演绎论证2026-04-19
演绎论证-vs-归纳论证逻辑学 演绎 归纳演绎论证 有效性2026-04-19
有效性-vs-可靠性逻辑学 有效性 可靠性有效性 可靠性 演绎论证2026-04-19
独立前提-vs-联合前提逻辑学 论证分析 前提独立前提 论证的图示 论证2026-04-19
重塑-vs-图示逻辑学 论证分析 重塑 图示法重塑 论证的图示 论证2026-04-19
分结论-vs-最终结论逻辑学 论证分析 分结论分结论 论证的图示 论证2026-04-19
实质论争-vs-言辞之争逻辑学 论争 歧义论争的类型 论证2026-04-19
规定定义-vs-词典定义逻辑学 定义 语言与定义定义的类型2026-04-19
外延-vs-内涵逻辑学 定义 外延 内涵外延与内涵 定义的类型2026-04-19
形式谬误-vs-非形式谬误逻辑学 谬误 分类谬误 有效性2026-04-19
相干谬误-vs-不当归纳谬误逻辑学 谬误 分类非形式谬误的四大类2026-04-19
合成-vs-分解逻辑学 谬误 含混谬误非形式谬误的四大类2026-04-19
稻草人-vs-红鲱鱼逻辑学 谬误 相干谬误稻草人 诉诸人身2026-04-19
布尔解释-vs-亚里士多德解释逻辑学 直言命题 解释框架布尔解释 传统对当方阵2026-04-19
文恩图法-vs-规则法逻辑学 直言三段论 检验方法文恩图 三段论规则 直言三段论2026-04-19
析取三段论-vs-假言三段论逻辑学 日常语言中的论证 推理形式析取三段论 假言三段论 二难推论2026-04-19
命题逻辑-vs-词项逻辑逻辑学 命题逻辑Ⅰ 逻辑体系直言三段论 假言三段论 有效性 真值表2026-04-19
实质蕴涵-vs-严格蕴涵逻辑学 命题逻辑Ⅰ 蕴涵实质蕴涵 真值函项性 重言式与矛盾式2026-04-19
形式证明-vs-真值表逻辑学 命题逻辑Ⅱ 形式证明 真值表自然演绎 真值表 有效性 推论规则2026-04-19
条件证明-vs-间接证明逻辑学 命题逻辑Ⅱ 条件证明 间接证明条件证明 间接证明 自然演绎 推论规则2026-04-19
命题逻辑-vs-谓词逻辑逻辑学 谓词逻辑 逻辑体系量词 自然演绎 有效性 推论规则2026-04-20

常问问题

问题标签相关链接创建日期
暂无———

Wiki管理

算法导论

概念页（149个）

01-算法基础（8个）

名称标签相关链接创建日期
算法算法基础1.1 算法2026-04-22
算法效率算法基础1.2 算法作为一种技术2026-04-22
渐近分析算法基础1.2 算法作为一种技术2026-04-22
算法与硬件算法基础1.2 算法作为一种技术2026-04-22
机器学习与算法算法基础1.2 算法作为一种技术2026-04-22
数据科学算法基础1.2 算法作为一种技术2026-04-22
NP完全问题算法基础1.1 算法2026-04-22
数据结构算法基础1.1 算法2026-04-22

02-排序与搜索（12个）

名称标签相关链接创建日期
排序问题排序 入门2.1 插入排序2026-04-22
插入排序排序 入门2.1 插入排序2026-04-22
归并排序排序 入门2.3 分治法2026-04-22
循环不变式证明 入门2.1 插入排序2026-04-22
堆排序排序 堆6.4 堆排序算法2026-04-22
快速排序排序 分治7.1 快速排序的描述2026-04-22
比较排序排序 下界8.1 排序的下界2026-04-22
计数排序排序 非比较8.2 计数排序2026-04-22
基数排序排序 非比较8.3 基数排序2026-04-22
桶排序排序 非比较8.4 桶排序2026-04-22
稳定排序排序8.2 计数排序2026-04-22
Introsort排序 工程优化7.4 快速排序的分析2026-04-22

03-算法分析（10个）

名称标签相关链接创建日期
RAM模型入门2.2 算法分析2026-04-22
运行时间入门2.2 算法分析2026-04-22
时间复杂度入门2.2 算法分析2026-04-22
增长量级入门2.2 算法分析2026-04-22
最坏情况分析入门2.2 算法分析2026-04-22
最好情况分析入门2.2 算法分析2026-04-22
平均情况分析入门2.2 算法分析2026-04-22
随机化算法入门5.3 随机化算法2026-04-22
伪代码入门2.1 插入排序2026-04-22
数学归纳法分治策略4.3 代入法2026-04-22

04-渐近记号（8个）

名称标签相关链接创建日期
渐近记号运行时间刻画3.1 O记号、Ω记号与Θ记号2026-04-22
大O记号运行时间刻画3.1 O记号、Ω记号与Θ记号2026-04-22
大Omega记号运行时间刻画3.1 O记号、Ω记号与Θ记号2026-04-22
大Theta记号运行时间刻画3.1 O记号、Ω记号与Θ记号2026-04-22
阶乘运行时间刻画3.3 标准记号与常见函数2026-04-22
Fibonacci数运行时间刻画3.3 标准记号与常见函数2026-04-22
调和级数运行时间刻画3.3 标准记号与常见函数2026-04-22
对数函数运行时间刻画3.3 标准记号与常见函数2026-04-22

05-算法设计（10个）

名称标签相关链接创建日期
分治法算法设计 入门2.3 分治法 7.1 快速排序的描述2026-04-22
递归关系式分治策略4.1 矩阵乘法 7.2 快速排序的性能2026-04-22
递归树分治策略4.4 递归树法2026-04-22
几何级数分治策略4.4 递归树法2026-04-22
代入法分治策略4.3 代入法2026-04-22
主定理分治策略4.5 主定理2026-04-22
Strassen算法分治策略4.2 Strassen算法2026-04-22
矩阵乘法分治策略4.1 矩阵乘法2026-04-22
动态规划算法设计1.1 算法2026-04-22
在线算法算法设计1.1 算法2026-04-22

06-概率与统计（6个）

名称标签相关链接创建日期
指示器随机变量概率分析5.2 指示器随机变量 7.4 快速排序的分析2026-04-22
期望的线性性概率分析5.2 指示器随机变量2026-04-22
概率分析概率分析5.1 雇佣问题 5.3 随机化算法2026-04-22
均匀随机排列随机化5.3 随机化算法2026-04-22
生日悖论概率分析5.4 概率分析与指示器随机变量的进一步应用2026-04-22
伯努利试验概率分析5.4 概率分析与指示器随机变量的进一步应用2026-04-22

07-数据结构实例（4个）

名称标签相关链接创建日期
二叉堆数据结构 堆6.1 堆 6.2 维护堆性质2026-04-22
优先队列数据结构 堆6.5 优先队列2026-04-22
MAX-HEAPIFY数据结构 堆6.2 维护堆性质2026-04-22
BUILD-MAX-HEAP数据结构 堆6.3 建堆2026-04-22

08-选择与搜索（4个）

名称标签相关链接创建日期
序统计量选择 序统计9.1 最小值和最大值 9.2 期望线性时间选择2026-04-22
中位数选择 序统计9.1 最小值和最大值 9.3 最坏情况线性时间选择2026-04-22
Quickselect选择 随机化9.2 期望线性时间选择2026-04-22
BFPRT算法选择 最坏线性9.3 最坏情况线性时间选择2026-04-22

09-基本数据结构（4个）

名称标签相关链接创建日期
栈数据结构 线性队列 链表2026-04-22
队列数据结构 线性栈 链表2026-04-22
链表数据结构 线性栈 队列2026-04-22
有根树数据结构 树二叉搜索树2026-04-22

10-散列表（5个）

名称标签相关链接创建日期
散列表散列 查找散列函数 链地址法 开放寻址法2026-04-22
散列函数散列散列表2026-04-22
直接寻址表散列 查找散列表2026-04-22
链地址法散列 冲突处理散列表 开放寻址法2026-04-22
开放寻址法散列 冲突处理散列表 链地址法2026-04-22

11-二叉搜索树（5个）

名称标签相关链接创建日期
二叉搜索树搜索 树TREE-SEARCH TREE-INSERT 中序遍历2026-04-22
TREE-SEARCH搜索二叉搜索树2026-04-22
TREE-INSERT插入二叉搜索树2026-04-22
TRANSPLANT删除二叉搜索树2026-04-22
中序遍历遍历二叉搜索树2026-04-22

12-红黑树（6个）

名称标签相关链接创建日期
红黑树平衡树旋转 黑高度 RB-INSERT-FIXUP2026-04-22
旋转平衡树 操作红黑树2026-04-22
黑高度红黑树红黑树2026-04-22
额外黑色红黑树 删除红黑树 RB-DELETE-FIXUP2026-04-22
RB-INSERT-FIXUP红黑树 插入红黑树2026-04-22
RB-DELETE-FIXUP红黑树 删除红黑树 额外黑色2026-04-22

14-动态规划（7个）

名称标签相关链接创建日期
动态规划算法设计最优子结构 重叠子问题2026-04-22
最优子结构动态规划动态规划2026-04-22
重叠子问题动态规划动态规划2026-04-22
钢条切割动态规划 入门动态规划2026-04-22
矩阵链乘法动态规划动态规划2026-04-22
最长公共子序列动态规划动态规划2026-04-22
最优二叉搜索树动态规划动态规划2026-04-22

15-贪心算法（7个）

名称标签相关链接创建日期
贪心算法算法设计贪心选择性质 替换论证2026-04-22
贪心选择性质贪心贪心算法2026-04-22
活动选择问题贪心 入门贪心算法2026-04-22
哈夫曼编码贪心 编码贪心算法 前缀码2026-04-22
前缀码编码哈夫曼编码2026-04-22
离线缓存贪心 在线贪心算法2026-04-22
替换论证证明 贪心贪心算法2026-04-22

16-摊还分析（5个）

名称标签相关链接创建日期
摊还分析分析聚合分析 记账方法 势能方法2026-04-22
聚合分析摊还摊还分析2026-04-22
记账方法摊还摊还分析 势能方法2026-04-22
势能方法摊还摊还分析 记账方法2026-04-22
动态表摊还 数据结构摊还分析2026-04-22

17-数据结构扩张（6个）

名称标签相关链接创建日期
数据结构扩张数据结构数据结构扩张四步法2026-04-22
顺序统计树数据结构 扩张数据结构扩张 红黑树2026-04-22
区间树数据结构 扩张数据结构扩张 区间重叠2026-04-22
区间重叠区间区间树2026-04-22
数据结构扩张四步法数据结构 方法论数据结构扩张2026-04-22
红黑树扩张定理红黑树 扩张数据结构扩张 红黑树2026-04-22

18-B树（7个）

名称标签相关链接创建日期
B树B树 磁盘最小度 B树高度定理2026-04-22
最小度B树B树2026-04-22
B树高度定理B树 复杂度B树 最小度2026-04-22
B树的插入操作B树 操作B树2026-04-22
B树的删除操作B树 操作B树2026-04-22
B树节点的磁盘表示B树 磁盘B树2026-04-22
B+树B树 变体B树2026-04-22

19-不相交集合（6个）

名称标签相关链接创建日期
不相交集合数据结构并查集按秩合并 路径压缩2026-04-22
不相交集合森林并查集不相交集合数据结构2026-04-22
按秩合并并查集 优化不相交集合数据结构 路径压缩2026-04-22
路径压缩并查集 优化不相交集合数据结构 按秩合并2026-04-22
加权合并启发式并查集按秩合并2026-04-22
反阿克曼函数数学 复杂度不相交集合数据结构2026-04-22

20-图算法（29个）

名称标签相关链接创建日期
图的表示图 表示广度优先搜索 深度优先搜索2026-04-23
广度优先搜索图 遍历图的表示 队列 拓扑排序2026-04-23
深度优先搜索图 遍历图的表示 栈 拓扑排序 强连通分量2026-04-23
拓扑排序图 DAG深度优先搜索2026-04-23
强连通分量图 SCC深度优先搜索2026-04-23
松弛操作最短路径Bellman-Ford算法 Dijkstra算法 最短路径树2026-04-23
最短路径树最短路径 树松弛操作 Dijkstra算法 Bellman-Ford算法2026-04-23
负权环最短路径 负权Bellman-Ford算法 Johnson算法2026-04-23
最小生成树图 MST安全边定理 Kruskal算法 Prim算法2026-04-23
Kruskal算法MST最小生成树2026-04-23
Prim算法MST最小生成树2026-04-23
安全边定理MST 定理最小生成树2026-04-23
Bellman-Ford算法最短路径松弛操作 负权环2026-04-23
Dijkstra算法最短路径松弛操作 优先队列2026-04-23
所有结点对最短路径最短路径Floyd-Warshall算法 Johnson算法2026-04-23
Floyd-Warshall算法最短路径 DP所有结点对最短路径 传递闭包2026-04-23
传递闭包图Floyd-Warshall算法2026-04-23
Johnson算法最短路径所有结点对最短路径 Bellman-Ford算法2026-04-23
流网络网络流最大流 残差网络2026-04-23
最大流网络流流网络 残差网络 最小割2026-04-23
残差网络网络流流网络 最大流2026-04-23
最小割网络流最大流2026-04-23
Hall婚配定理匹配 定理二分匹配2026-04-23
二分匹配匹配增广路径 Berge定理 最大流2026-04-23
增广路径网络流 匹配二分匹配 残差网络2026-04-23
Berge定理匹配 定理二分匹配 增广路径2026-04-23
Hopcroft-Karp算法匹配二分匹配 增广路径2026-04-23
König-Egerváry定理匹配 定理二分匹配2026-04-23
对称差集合增广路径2026-04-23

定理页

名称标签相关链接创建日期
暂无———

对比页

名称标签相关链接创建日期
BFS-vs-DFS图 遍历广度优先搜索 深度优先搜索2026-04-23
Kruskal算法-vs-Prim算法MSTKruskal算法 Prim算法2026-04-23
Dijkstra算法-vs-Bellman-Ford算法最短路径Dijkstra算法 Bellman-Ford算法2026-04-23
Dijkstra算法-vs-Prim算法贪心Dijkstra算法 Prim算法2026-04-23
Floyd-Warshall算法-vs-Johnson算法最短路径Floyd-Warshall算法 Johnson算法2026-04-23
最大流-vs-最小割网络流最大流 最小割2026-04-23
二分匹配-vs-稳定匹配匹配二分匹配2026-04-23

常问问题

问题标签相关链接创建日期
暂无———

此文件夹下有4条笔记。

关系图谱