Dengan asumsi P NP, masalah NP-complete adalah "sulit untuk dipecahkan, tetapi memiliki jawaban yang mudah untuk diperiksa." Apakah masuk akal untuk mempertimbangkan yang sebaliknya, yaitu, masalah yang mudah untuk menghitung jawaban yang benar, tetapi sulit untuk memverifikasi solusi yang diakui...