CSPの可解性検査のための効率的なサンプリングアルゴリズム

CSPの可解性を効率的に検査するための新しいハイパーグラフコンテナレンマを導入し、その応用により、CSP可解性検査の標準的なテスターのサンプル複雑度を大幅に改善した。