我和我的一位同事刚刚打了一位我们教授的笔记。注释指出,有些任务可以在多项式时间内解决(属于PF类),但不能在多项式时间内验证(不在NPF类别中)。
要详细说明这些类:我们得到一些输入X并产生一些输出Y,使得(X,Y)在关系R中表示我们的任务。如果可以在多项式时间内获得X的Y,则该任务属于PF类。如果可以验证多项式长度证明书Z证明在多项式时间内元组(X,Y)与关系R有关,则该任务属于NPF类。
我们不是在谈论决策问题,答案只是“是”或“否”(如果某个字符串属于某种语言,则更为正式)。对于决策问题,似乎PF是NPF的适当子集。但是,对于其他任务,可能会有所不同。
您是否知道可以在多项式时间内解决但无法在多项式时间内验证的任务?