我们考虑寻找$p$-spin模型的近基态（近似最优解）的算法问题。我们表明，对于一类广泛定义为近似消息传递（AMP）的算法，适当定义的重叠间隙属性（OGP）的存在是一个障碍。我们推测，当$p\ge 4$时，模型确实表现出OGP（并在二进制解空间中证明了它）。根据我们的结果，假设这个猜想是正确的，这意味着AMP在这些模型中找不到近基态。我们将结果扩展到通过基于Thouless、Anderson和Palmer（TAP）的迭代来寻找纯态的问题，这是AMP型算法的另一个示例。我们证明了这样的迭代并不能近似地找到纯态，前提是当$p\ge 4$时，纯态空间表现出OGP，这是一个适当的假设。