Berikut adalah contoh, di mana seseorang dapat menghasilkan solusi dalam waktu polinomial, tetapi mengevaluasi solusi yang diberikan adalah NP -hard.
Input: Bilangan bulat positif (dalam pengkodean unary), dengan .n,kk≤n
Tugas: Maksimalkan jumlah tepi dalam grafik -vertex di bawah batasan bahwa ukuran klik maksimumnya paling banyak .nk
Solusi: Dari teori grafik ekstrem diketahui bahwa grafik optimal adalah grafik Turan (lihat di sini ), yang dapat dengan mudah dikonstruksikan dalam waktu polinomial. Di sisi lain, memeriksa kualitas solusi kandidat yang diberikan (grafik yang diberikan) melibatkan memeriksa bahwa ukuran klik maksimumnya paling banyak , yaitu NP-keras .T(n,k)k
Catatan: Jika kita hanya ingin memeriksa apakah solusinya optimal , maka itu mudah, karena grafik Turan dikenal sebagai optimal unik, sehingga cukup untuk membandingkan kandidat kandidat dengan grafik Turan, yang memiliki struktur sederhana . Di sisi lain, jika kita ingin mengevaluasi kualitas solusi kandidat, seperti yang diminta dalam pertanyaan, yaitu, apakah layak dan seberapa jauh dari optimal, maka kita harus memeriksa apakah itu memenuhi klik maksimum paksaan.