ttk - data structure

一、概念

1.Hausdorff空间：如果几何空间X中任意两点x,y,都存在领域U,V,满足U和V交集为空，即称X所在空间为Hausdorff空间

2.流形（ Manifold): 设M为一个Hausdorff拓扑空间，对其每一个点p，都有开领域U, 它与Rd的某个开子集同胚，则称M为d维拓扑流形，简称d维流形

3.Morse理论，又称临界点理论，关键点理论，主要研究n维空间的d维流形的形状与定义与M上的二阶可微函数之间关系的理论。莫尔斯理论解释了标量场形状的拓扑结构，确定了特征点连接关系和形状的拓扑不变性。

4.梯度 (partial f/ dx,  partial f /dy）

5.关键点Critical point, 简单说就是一届梯度为0的点，非critical point又称谓正则点；如果二阶Haisan Matrix行列式值不等于0，则称非退化点，此处负特征值个数称谓关键点的Morse指数；

6.关键点的莫尔斯指数： 关键点的负特征值个数，0-saddle 为极小点（pit or minimum），p-saddle为极大值点（peak of amximum), 否则就是为鞍点（saddle point), 所有关键点非退化，则陈函数f为莫尔斯函数，这些关键点满足

                   N_peak + N_pits - N_saddle = 欧拉数

                 ---- 同胚于平面，欧拉数为1

                 — 同胚于球面，欧拉数为2

7.Morse引理：若f是morse函数，则关键点p处可构建局部坐标系，f(x,y) = f(p) +/- x^2 +/- y^2

   ---- 由莫尔斯引理可知，每个非退化点都是孤立的，若某个关键点周围一定区域无关键点，则该区域构成复型单元。

8. 积分线Integral line: 过任意正则点，均有一条沿着f梯度方向的曲线，且曲线上各点的切线方向于函数f在该店的梯度方向相同，则称该曲线为积分线，积分线是函数f增长最快的方向！！！！！！！！！！！！！！！！

9.关键线(critial line，也叫 separatrix line，即也叫分界线): 起点和终点均为关键点的积分线 ，则叫关键线。

10.关键网络 (critical net):由关键线构成的网络叫关键网络。关键网络覆盖整个域M,形成对M的完全几何分割。

11.单纯形（Simplex): 简单的理解，0维的单纯形是点，1维的单纯形是线段，2维单纯形对应的是三角形，三维单纯形维四面体，单纯形是拓扑概念中对空间对象进行分割的基础单元。

12.单元（腔胞）（Cell)：在拓扑学中，定义n维单元是一个同胚于开放的n维球体。0-cells 点，1-cells 线，2-cells三角形

13.腔胞复形(cell complex): 由不同腔胞组成的腔胞集合，这些腔胞通过边界连接。

14.单纯复形（simplical complex):R(n)中单纯形的集合，通过边界彼此相连，假设为K, 通常满足：

    —— K中的每个单纯形的面都在K中;

    —— 单纯形两两内部不相交，即单纯形通过单纯形的面连接

15.上升单元（ascending cell):所有收敛于极大值的积分线构成的集合称为该极大点的上升单元( 上升到极大值点）

16.下降单元（descending cell): 所有始于某极小点的积分线集合，称为极小点的下降单元 (下降到极小值点）

17. 上升/下降Morse复形（Ascending Morse COmplex)：下降单元将M分割称上升Morse复形，上升单元将M分割称下降Morse复形。（另外一本书：所有上升单元内部的山脊线，构成了下降Morse复形的边界线；所有下降单元内部的山谷线，构成了上升Morse复形的边界。）
    即凸线（山脊线）包围成下降Morse复形，凹陷（谷底线）生成上升Morse复形，其实也好理解，
     —— 凸线包围了坑（所以下降Morse复形），
     —— 凹陷包围了一个顶，所以是上升的Morse复形
     从鞍点----》顶点   上升单元
     从凹点 ---》鞍点   下降单元     

18. Morse-Smale复形：当上升复形和下降复形正态相交，则称f为morse-smale函数

19.关键值点对（critical point pair):任何一条关键线连接的两个关键点（通常是极值点+鞍点）组成关键点对！

20.持续值(persistence value)：关键点对之间的距离，称为持续值！

21.关键线（separatrix persistence):  计算山脊线上所有点与对应极值点（极大）的差值作为该点重要性权值！并且该极大值点与鞍点在对偶复形拓扑模型中是一对点组合。   

22. CW complex（CW 复形）：Built on top of cells (0-cells, 1-cells, …., d-cells) via topologically gluing. –The Cstands for "closure-finite", and the W for “weak topology".  多个腔胞通过弱拓扑连接而成的复形。

3.separatrix (pl separatrices) -- 分界线

///

二、ttk代码解析

1. base/common.h

    (1)os.h

      定义了real数据类型（本质是float, double)

      class osCall；  // 定义目录文件，内存使用，得到当前目录，等调用函数

      class Memomry; // 得到内存使用相关信息

     class Timer; //时间计时器，用法和Terrain中timer差不多！reStar