文章

Tarjan的支配树算法

这篇文章介绍了Tarjan的快速支配算法1。这个算法很有洞察力地利用了”半支配“的性质。

语义分割论文概览

这篇文章是顺着一篇语义分割的综述1开始阅读相关论文。

Coq学习笔记(未完待续)

这篇文章来自《Coq in a Hurry》1的总结。