稀疏参数化 2-CSP 的条件下界：一种精简证明

假设指数时间假设（ETH），Marx（ToC'10）的一个结果意味着：对于任意可计算函数 $f$，不存在能在 $f(k)\cdot n^{o(k/\log k)}$ 时间内求解含 $k$ 个约束（定义域大小任意大，为 $n$）的 2-CSP 的算法。该下界被广泛用于表明某些参数化问题无法在 $f(k)\cdot n^{o(k/\log k)}$ 时间内求解（假设 ETH）。本文旨在给出此结果的一种精简证明。