Bir meslektaşım ve ben profesörlerimizden birinin notlarını aldık. Notlar, polinom zamanında çözülmesi mümkün olan (PF sınıfında olan) ancak polinom zamanında doğrulanamayan (NPF sınıfında DEĞİLDİR) olmayan işler olduğunu belirtir.
Bu sınıflar hakkında detaylı bilgi vermek için: X girdilerinden bazılarını alıyoruz ve (X, Y) görevimizi temsil eden R ilişkisinde olacak şekilde Y çıkışı üretiyoruz. Polinom zamanında X için Y almak mümkün ise, görev PF sınıfına aittir. Bir tuple (X, Y) polinom zamanında R ile ilişkili olduğunu kanıtlayan polinom uzunluğu sertifikasının Z'nin doğrulanması mümkün ise, görev NPF sınıfına aittir.
Cevabın sadece EVET veya HAYIR olduğu karar sorunlarından bahsetmiyoruz (eğer daha çok dize bazı dillere aitse). Karar problemleri için PF'nin NPF'nin uygun bir alt kümesi olduğu görülüyor. Ancak, diğer görevler için farklı olabilir.
Polinom zamanında çözülebilen ancak polinom zamanında doğrulanamayan bir görev biliyor musunuz?