澹台千儿

# 基本概念 命题逻辑是基于命题实现推理的代数系统。 # 命题 可判断真伪的陈述句称为命题 (proposition). 需要注意的是，作为基本概念，命题不存在一个完整、规范的定义。 # 命题变元和命题常元 研究命题的普遍性质时，将命题抽象为未知变量，称为命题变元，通常采用字母 p,q,rp, q, rp,q,r 等表示。 对于确定的真命题，用 111 表示；对于确定的假命题，用 000 表示，两者统称命题常元。 这样，命题常元和命题变元就是定义在 Z2\mathbb{Z}_2Z2​ 上的已知量和未知量。 # 命题的运算 # 真值函数 函数 f:Z2n→Z2f:\mathbb{Z}_2^n...

# 概述 # 稳定性 稳定性是指相等的元素经过排序之后相对顺序是否发生了改变。拥有稳定性这一特性的算法会让原本有相等键值的纪录维持相对次序，即如果一个排序算法是稳定的，当有两个相等键值的纪录 RRR 和 SSS，且在原本的列表中 RRR 出现在 SSS 之前，在排序过的列表中 RRR 也将会是在 SSS 之前。 基数排序、计数排序、插入排序、冒泡排序、归并排序是稳定排序。 选择排序、堆排序、快速排序、希尔排序不是稳定排序。 # 快速排序 该部分内容来自算法导论。 快速排序是基于归并的原地排序算法，期望时间复杂度 O(nlog⁡n)O(n \log n)O(nlogn), 最坏时间复杂度...