二元约束满足问题的稀疏化

图$G$的割$\varepsilon$-稀疏化子是指$G$的一个重加权子图，其规模为（拟）线性，且将所有割的大小保留至$\varepsilon$乘性因子内。自Benczúr与Karger [STOC'96]引入以来，割稀疏化子已被证明极具影响力并找到多种应用。超越割稀疏化子，Filtser与Krauthgamer [SIDMA'17]对哪些二元布尔约束满足问题可稀疏化给出了精确分类。本文将其结果推广至任意有限域上的二元约束满足问题。