Kelas Kompleksitas NEXP


11

Saya memiliki masalah yang ada di NEXP dan juga dapat diselesaikan dengan TM bergantian menggunakan waktu eksponensial dan hanya satu pergantian (mulai dalam keadaan eksistensial).NP

Adakah yang diketahui tentang NEXP ? Apakah setara dengan NEXP atau kelas lain? Apakah ada masalah lengkap selain yang umum (diberi mesin NEXP dan sebuah kata, apakah itu menerimanya?).NPNPNP


2
Lihatlah karya pada hierarki waktu eksponensial, misalnya ecommons.library.cornell.edu/bitstream/1813/6617/1/86-777.pdf
5501

3
Perhatikan bahwa memang memiliki nama lain dalam literatur (berdasarkan karakterisasi pergantian), yaitu . Σ 2 E X PNEXPNPΣ2EXP
Ryan Williams

Jawaban:


7

Sebuah alam masalah -Lengkap adalah memutuskan hukuman Presburger aritmatika dengan * * * -quantifier awalan (seperti yang ditunjukkan di sini ). Masalah lengkap lebih lanjut terkait dengan teori database telah dipelajari di sini .NEXPNP


5

adalah (mungkin) lebih besar dari NEXP, karena kita dapat mengajukan pertanyaan panjang eksponensial dari oracle. NP dalam kekuasaan itu praktis NEXP di sana, jadi mis. co-NEXP terkandung dalam N E X P N P .NEXPNPNEXPNP


Anda berpendapat baik dalam menanggapi jawaban Peter Shor yang kemungkinan ketat lebih kuat daripada N E X P . Tapi saya bingung. Tampaknya analog ini harus berarti bahwa N P P lebih besar dari N P , meskipun (saya pikir) mereka sama. Di mana saya salah di sini? NEXPEXPNEXPNPPNP
Huck Bennett

7
@Huck Polinomial ditutup di bawah polinomial. Eksponensial tidak. Jadi, saya bisa memberi makan EXP oracle argumen panjang yang eksponensial, dan itu bisa melakukan eksponensial dalam argumen itu, yang dua kali lipat eksponensial dalam masalah aslinya.
Mark Reitblatt

@domotorp Saya pikir ? Bagaimana dengan E X P E X P ? NEXPNPNEXPEXP=NEXPEXPEXP
T ....

Masalahnya adalah input dari oracle akan diisi, jadi misalnya . DTsayaM.E(2n)DTsayaM.E(2n)=DTsayaM.E(22n)
domotorp

@ Turbo Saya tidak melihat kesalahan sekarang tetapi sepertinya dengan logika ini kita bisa membuktikan bahwa untuk setiap kita punya D T I M E ( f ( n ) ) P / p o l y , yang merupakan agak mencurigakan ... Mungkin Anda harus menanyakan ini sebagai pertanyaan. f(n)DTsayaM.E(f(n))P/halHaily
domotorp

3

Memperluas komentar saya di atas sedikit: Jika Anda hanya memiliki satu query ke -oracle (seperti dalam kasus Anda), maka berikut dari karya Hemaspaandra, bahwa masalah Anda di P N E . Ini berarti bahwa masalah Anda adalah Turing dapat direduksi ke masalah N E -hard. Saya pikir itu tidak diketahui apakah ini benar untuk semua N E X P N P .NPPNENENEXPNP


1

Query terbesar sebuah mesin dapat membuat oracle adalah eksponensial dalam panjang input. Kekuatan oracle hanya polinomial dalam hal ini, yang juga harus eksponensial. Dengan kata lain, p o l y ( 2 n k ) = O ( 2 n k + 1 ) . Oleh karena itu, mesin N E X P lainnya harus dapat mensimulasikan mesin Anda serta oracle.NEXPNPhalHaily(2nk)=HAI(2nk+1)NEXP

Diedit untuk tanda kurung ...


3
NTM tidak berfungsi seperti itu. NTM terpecah, dan jika satu salinan menerima semuanya menerima. Ketika Anda berpisah, Anda tidak bisa melihat hasil salinan non-det Anda. Jadi, jika saya membuat satu permintaan ke mesin NP, dan segera mengembalikan jawaban yang berlawanan, bagaimana Anda mensimulasikan itu?
Mark Reitblatt

1
NPNPNP

Ah iya. Saat mensimulasikan permintaan oracle, jika hasil yang benar adalah tidak, maka semua cabang akan mengembalikan no. Di sisi lain, jika hasil yang benar adalah ya, maka setidaknya satu cabang akan mengembalikan ya. Secara khusus, beberapa mungkin mengembalikan no. Jadi, ketika seperti yang disarankan @Mark, Anda meniadakan hasil kueri, Anda cenderung mendapatkan hasil positif palsu.
Aubrey da Cunha
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.