Saya pikir itu akan menjadi ide yang baik untuk membuat daftar teorema yang menyatakan bahwa P tidak sama dengan NP jika dan hanya jika ini dan itu keluar, beberapa kelas kompleksitas terkandung dalam kelas kompleksitas lain dan seterusnya dan seterusnya.
cc.complexity-theory
big-list
p-vs-np
Tayfun Pay
sumber
sumber
Jawaban:
Ini satu:
Teorema Mahaney: Tidak ada set NP-lengkap yang jarang jika dan hanya jika (dalam pengurangan Karp).P≠NP
Yang lain adalah:
sumber
Referensi:
Alan L. Selman. Sebuah survei fungsi satu arah dalam teori kompleksitas. Teori sistem matematika, 25 (3): 203–221, 1992.
sumber
Berikut ini adalah hasil dari teori kompleksitas deskriptif:
Referensi: Immerman, Bahasa yang menangkap kelas kompleksitas
sumber
Teorema Ladner dapat dinyatakan sebagai:
N P - PP≠NP jika dan hanya jika ada set tidak lengkap di .NP−P
Set tidak lengkap adalah set yang tidak lengkap untuk dalam banyak waktu pengurangan polinomial.NP
Referensi
Teori Kompleksitas dan Kriptologi: Pengantar Cryptocomplexity Oleh Jörg Rothe, halaman 106
sumber