5
Bukti bahwa PPAD sulit?
Ada justifikasi filosofis yang sering dikutip untuk meyakini bahwa P! = NP bahkan tanpa bukti. Kelas kompleksitas lainnya memiliki bukti bahwa mereka berbeda, karena jika tidak, akan ada konsekuensi "mengejutkan" (seperti runtuhnya hierarki polinomial). Pertanyaan saya adalah, apa dasar untuk keyakinan bahwa kelas PPAD tidak bisa ditembus? Jika ada algoritma …