顾险峰老师2023年计算共形几何暑期课程学习笔记14
collision free
最新的生成元未被杀掉
当把一个杀手加入当前filtration中,需要找到任何一个collision free 的圈e与杀手的边下同调等价,然后将e中最年轻的生成元与杀手匹配。
pair algorithm
最后将所有的生成元和杀手配对,剩下没被杀掉的生成元给出了同调群的生成元的维数和cycle
举例:
先是加入三个点(生成元),然后开始加线
w5被sw杀掉,加入sw
总和为0说明新加入的边tw为生成元
最后:
所以stw是生成元
二维有一个生成元说明有一个二维封闭曲面,且不是三维实体的边界。
代数算法
如果最底下(右下开始)行上有相同1,就将列加起来消掉1,最后得到不能再简化
全零列是生成元,非零列给出了杀手和生成元的关系