条件付き疎パラメータ化2-CSPの下限: 簡潔な証明

ETHが成り立つ場合、3-正則バイパーティット制約グラフを持つ2-CSPインスタンスを、任意の計算可能関数f(k)と|Σ|o(k/log k)時間で解くアルゴリズムは存在しない。