Persimpangan bahasa dalam NP

Bisakah perpotongan dua bahasa dalam NP yang tidak lengkap menjadi NP lengkap?

Bisakah perpotongan dua bahasa dalam coNP yang bukan coNP selesai menjadi coNP lengkap?

Dapatkah perpotongan dua bahasa satu dalam coNP tetapi tidak lengkap dan lainnya dalam NP tetapi tidak lengkap NP menjadi NP lengkap atau coNP lengkap?

complexity-classes np

— T ....
sumber

Sangat menarik. :)

— Michael Wehar

Jika P = NP, maka jawabannya adalah TIDAK. Dalam hal ini, satu-satunya bahasa yang tidak lengkap NP (coNP-complete) adalah set kosong dan

Σ^{*}

$\Sigma^*$

— Gamow

Jika P tidak sama dengan NP, maka oleh ladners, masalah NP intermidiate memang ada ... contoh apa pun yang Anda sarankan tentang yang alami. Satu.

— ARi

Hanya komentar yang diperluas untuk lebih menjelaskan komentar ARi (saya sedang menulis sementara saya melihatnya).

Cukuplah menggunakan pendekatan "celah besar" yang serupa dengan yang digunakan dalam teorema Lardner; sebagai contoh:

$A_1 = \{ x \mid x \in SAT \land f(|x|) \text { is even}\} \cup \{x \mid f(|x|) \text{ is odd} \}$

$A_2 = \{ x \mid x \in SAT \land f(|x|) \text { is odd}\} \cup \{x \mid f(|x|) \text{ is even} \}$

Di mana adalah fungsi yang meningkat cukup lambat dihitung dalam waktu polinomial. Lihat misalnya konstruksinya dalam bukti teorema Ladner di Lampiran A.1 dari Bahasa Seragam yang Keras . $f$

Dengan konstruksi bukan NPC, tetapi $A_1, A_2$ $A_1 \cap A_2 = SAT$

— Marzio De Biasi
sumber

mengapa

dan

bukan NPC?

A_{1}

$A_1$

A_{2}

$A_2$

— Mateus de Oliveira Oliveira

@MateusdeOliveiraOliveira: dengan diagonalisasi tertunda

bukan NPC (

adalah masalah intermediate NP buatan); lihat bukti tertaut untuk detailnya. Tentu saja, kita harus mengasumsikan bahwa

; kasus

telah dikesampingkan oleh Gamow dalam komentar di atas.

{x ∣ x \in S A T \land f (| x |) is even}

$\{ x \mid x \in SAT \land f(|x|) \text{ is even}\}$

A_{1}

$A_1$

P \neq N P

$P \neq NP$

P = N P

$P = NP$

— Marzio De Biasi

Tidak bisakah hanya tentang fungsi polytime?

— ARi

@ ARi: tidak, itu harus cukup lambat untuk membuat celah besar untuk mencegah kelengkapan NP (untuk memungkinkan diagonalisasi tertunda). Saya akan mencoba menulis bukti formal di hari-hari berikutnya.

— Marzio De Biasi

f

$f$