László Babai baru-baru ini membuktikan bahwa masalah Graph Isomorphism berada dalam masa quasipolynomial . Lihat juga ceramahnya di University of Chicago, catatan dari pembicaraan oleh Jeremy Kun GLL pos 1 , GLL pos 2 , GLL pos 3 .
Menurut teorema Ladner, jika , maka tidak kosong, yaitu berisi masalah yang tidak ada di atau -complete. Namun, bahasa yang dibangun oleh Ladner adalah buatan dan bukan masalah alami. Tidak ada masalah alami yang diketahui berada di bahkan secara kondisional di bawah . Tetapi beberapa masalah diyakini sebagai kandidat yang baik untuk , seperti bilangan bulat Anjak dan GI.
Kita mungkin berpikir bahwa dengan hasil Babai, mungkin ada algoritma waktu polinomial untuk GI. Banyak ahli percaya bahwa .
Ada beberapa masalah yang kita ketahui algoritma waktu kuasi-polinomial, tetapi tidak ada algoritma waktu polinomial yang diketahui. Masalah seperti itu muncul dalam algoritma aproksimasi; contoh yang terkenal adalah masalah Steiner tree yang diarahkan, di mana ada algoritma aproksimasi waktu kuasi polinomial yang mencapai rasio aproksimasi ( menjadi jumlah simpul). Namun, menunjukkan keberadaan algoritma waktu polinomial seperti itu merupakan masalah terbuka.
Pertanyaan saya:
Apakah kita tahu ada masalah alami yang ada di tetapi tidak di ?