一些诸如河内塔等可被充分形式化的简单问题，但无法用来解决现实世界中的问题，这是因为搜索很容易在中丢失。换句话说，透过推断有向图的「走访」次数在计算上变得难以为继。（在实践中，即使像河内塔这样直截了当的状态空间搜索，在计算上也可能变得不可行，虽然透过像A *和IDA *这样基础的人工智慧技术，仍可以对状态空间进行明智的修剪）用户定义的对象、可在对象执行的操作，以及通用解难器可透过均值-端点分析生成启发式算法来解决问题。它着重于可用的操作，找出哪些输入是可接受的，以及生成了哪些输出。然后会创建子目标，以便