H-BRICK：面向有向网格图的层次边界可达性索引与压缩 Kleene 闭包

H-BRICK 是一种面向有向网格图的层次边界可达性索引，通过将图划分为 tile、计算局部布尔 Kleene 闭包并投影到边界端口，再沿共享接口递归组合至单一根节点，实现精确的 cell-to-cell 可达性查询。作者从代数上证明每个组合摘要等于区域自反传递闭包的边界投影，查询结果与原图可达性一致。批量评估显示，在 k=64 时相比标量查询循环吞吐提升 5.0x-22.9x。