对于检验问题，则下列势函数的表达式正确的是（）