文章目录 1. lec是独立的，不基于任何指定的综合工具。key point mappingummapped points有三类 formal functional comparison algorithms两种comparison方式 2. setup mode 和 lec mode3. blackboxsetreport 4. unreachable key points设置选项，尽量避

笔者最近在看GVN的一系列论文，总会看到一个概念叫Herbran Equivalence，依靠这种定义，能够判断一个GVN算法是否是complete的，也即检测一个算法是否是precise的，只有找到所有Herbrand Equivalence关系的算法才能称得上是完全的。 目录 理解：程序表达式之间的等值关系是不可判定的phi结点和普通表达式之间的相等性《一种高效的完全值编号算法》定义的值

一：介绍 现有的Mahalanobis度量学习方法很多是通过梯度下降来迭代更新M矩阵，监督程度较高（如需要所有样本标签的LMNN方法）和计算复杂（需要大量的迭代）对于样本数目日益增长的大规模数据集是很不友好的。作者从概率的观点，计算发生概率的最大似然比率来计算样本的马氏距离，无需进行昂贵的迭代运算，而且仅需要样本间yij=0或1 （即equivalence constraints）的监督信息，对