Several applications of simple algorithms were presented, through which we see clearly the advantages and limitations of Herbrand equivalence .

• 结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。