ランダムk-XORSATにおける順次ローカルアルゴリズムの限界

ランダムk-XORSATインスタンスにおいて、クラスタリングしきい値を超えた領域では、特定の順次ローカルアルゴリズムが解を見つけられない可能性が高い。