Bagaimana cara menunjukkan bahwa set mesin yang menerima bahasa di


8

Saya ingin bantuan Anda membuktikan bahasa itu

L={M|L(M.)NPP}
adalah iff decidable P=NP.

Jika P=NP, Saya mengerti bahwa itu adalah bahasa mesin Turing kosong. BegituL. adalah inti masalah - tapi bukan itu yang ditanyakan, jadi saya bingung.

Saya tahu itu untuk menunjukkan P=NP, Saya perlu menunjukkan masalah yang mana NPC dan P demikian juga.

Ada bantuan? Terima kasih!

Jawaban:


9

Ada dua hal yang perlu dipertimbangkan.

  1. Asumsikan bahwa P = NP. KemudianL.={M.L.(M.)}=. Bahasa kosong dapat dipilih; karena tidak ada kata yang menjadi miliknya, maka sepele untuk memutuskan apakah kata itu milik atau tidak.

  2. Asumsikan bahwa PNP. Sekarang hasil Anda mengikuti langsung dari teorema Rice .

Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.