ある述語 "b" がハードコア述語であることを示す帰着は、符号のリスト復号アルゴリズムになっていることも多い。