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 有向圖