Barvinok 算法 (1)¶

阅读本文前, 你需要有线性代数的基础知识.

这篇文章要介绍的 Barvinok 算法是计算一个多面体中整点 (格点, lattice point) 数量的算法. 在编译器中, 它可以用来计算循环中缓存未命中的次数, 参见 (尚未动工的) Falcon 模型教程.