Words from Study

General Math terms

where 其中（写了一个式子，然后会说其中什么什么…）
let 假设

First paper - Knuth’s Mathematical Analysis of Algorithms

首先，通常paper分为Abstract, Introduction, Main body, Data, Summary 等几个部分，前两个部分最为重要。
这篇文章是Knuth的经典之作，算法的数学分析。算分小班研读的第一篇论文。2017.2.25

auxiliary a. 辅助的 （auxiliary memory space 辅助存储空间）

discrete mathematics 离散数学 discrete a. 离散的 <反> continuous a. 连续的

computational complexity 计算复杂度

bound = boundary 界限 upper bound 上界；lower bound 下界

automaton (automata pl.) 自动机

optimum a. 最优的
supersede [super=above; sed=sid=sit] v. 取代 replace
flavor n. 特色 the flavor of sth.

permutation 排列 combination 组合 [per=through; mut=to change]

customary a. 惯常的，惯例

harmonic number 调和级数 Hn

Paper 2-Delta Debugging

这篇论文有些无聊，但其中很多数学名词值得学习。
先介绍一些普通名词：
track down 追踪
narrow down 缩小（范围）
regression （统计）回归；（经济）倒退
configuration n. 结构；配置
granularity 粒度

以下是数学命题的英文表达：

Axiom 公理
Theorem 定理
Definition 定义
Proposition 命题
Property 性质
Corollary 推论
Lemma 引理
Note 说明
Proof by contradiction 反证法
Let 假设
hold vi. 成立，正确 sth holds.

以下是集合论的英文表达：set theory

empty set 空集
intersection 交集
union 并集
complement 补集
subset 子集
(pairwise) disjoint （两两）不相交的
partition=divide v. 分割

其他数学名词：
monotonic a. 单调的
unambiguity 无二义性
logarithmic 对数的

Paper - DP on Graphs with bounded treewidth

decision tree 决策树 （一种分类预测的树模型）
series 串联 parallel 并联
exponential 指数

polynomial 多项式

这篇论文极难，我放弃了。

以下是代数结构（抽象代数）相关名词：Algebraic Structure

group 群：semigroup 半群 monoid 独异点
ring 环
field 域：Galois Field (GF) 有限域，迦罗瓦域
N-tuple n元组
associative 结合的
commutative 交换的
binary operation 二元运算 binary relation 二元关系

Alpha-beta Pruning

recursive 递归的 iterative 迭代的
improve on A by doing 通过。。。比A更好
i.e., 表示that is=namely，即。注意和e.g.区别。以及such as 是不完全枚举，不用加etc. 想要完全枚举，用,i.e., 或,namely, 参考

Grabcut

image segmentation 图像分割
grey value 灰度值
converge convergence 收敛（性）
diverge divergence 发散（性）/ai/
induction 归纳法

Karp’s 21 NPC problems

digraph = directed graph 有向图