原子制約条件を持つ大規模ドメインサイズに対するサンプリングLovász Local Lemmaアルゴリズム

ドメインサイズが十分に大きい場合、制約充足問題の近似カウンティングとサンプリングを効率的に解くことができる。この条件は既知の下限に近づき、大規模ドメインサイズに対する最適なサンプリングLovász Local Lemmaを確立する。