Apakah "minimal", yaitu apakah menyiratkan adalah -hard?

8

Misalkan adalah masalah keputusan yang dapat ditentukan. $\Pi$

Apakah menyiratkan adalah -Hard? $\Pi\not \in NP$ $\Pi$ $NP$

Sunting: jika kita asumsikan ada maka kita selesai. Bisakah kita menyangkal klaim tanpa asumsi yang tidak diketahui? $\Pi\in coNP\setminus NP$

— A A
sumber

Tidak. Anda mungkin harus merujuk pada definisi eksplisit kekerasan-NP. Petunjuk: pertimbangkan masalah dalam coNP.

— mdxn

@mdx - untuk semua yang kita tahu, masalah di coNP mungkin juga ada di NP.

— AA

1

@ AA Tentu saja. Petunjuk saya dimaksudkan agar Anda mempertimbangkan kasus di mana mereka dipisahkan, yang telah Anda lakukan. Hasil edit Anda memang meningkatkan pertanyaan dan membuatnya lebih menarik.

— mdxn

5

Jika Anda berasumsi bahwa maka setiap masalah yang diselesaikan coNP memberikan contoh tandingan. Saya kira orang dapat menyangkal dugaan Anda tanpa syarat. $\mathsf{NP}\neq\mathsf{coNP}$

— Yuval Filmus
sumber

Saya setuju, tapi saya bertanya-tanya apakah ini dapat ditampilkan salah tanpa asumsi yang tidak diketahui.

— AA

3

Jika maka $P=NP$

$\Pi \not\in NP$
$\implies$
$P=NP$ dan bukanlah bahasa kosong atau bahasa lengkap adalah -hard. $\Pi$
$\implies$
$\Pi$ $NP$

Biarkan menunjukkan hasil dari meletakkan 1 di akhir paling signifikan dan kemudian menguraikan hasilnya sebagai integer dalam biner. $\operatorname{int}(s)$ $s$

Jika maka untuk setiap subset dari yang tidak dalam , tidak ada dalam NP karena terlalu keras, dapat ditentukan jika dan hanya jika adalah, dan bukan NP-keras bahkan sehubungan dengan pengurangan Turing karena untuk setiap ikatan polinomial, hanya ada banyak kemungkinan polynomally untuk subset dari bahasa yang terdiri dari unsur-unsur yang sesuai dengan batas panjang, sehingga seseorang dapat mencoba cari pengurangan dengan masing-masing keputusan . $P\neq NP$ $S$ $\{0,1\}^*$ $\operatorname{NTIME}$ $\left(2^{O\left(2^n\right)}\right)$
$\{111 \ldots [2^{\operatorname{int}(n)} \text{ of them}] \ldots 111 : n\in S\}$ $S$ $S$

— David Richerby
sumber

2

Edit riwayat "Memperbaiki spasi buruk". Tidak, kamu tidak. Bisakah Anda jelaskan bahwa jarak "perbaikan" Anda hanya berfungsi di layar Anda sendiri? Untuk orang lain, yang menggunakan peramban yang berbeda, font default yang berbeda, atau bahkan browser yang sama, font yang sama tetapi ukuran jendela yang sedikit berbeda membuat tulisan Anda sangat sulit dibaca karena penuh dengan perintah spasi yang tampaknya acak dan jeda baris. BERHENTI MELAKUKANNYA. BERHENTI SAJA.

— David Richerby

2

Terutama, tolong berhenti menambahkan spasi negatif, yang menyebabkan karakter saling bertabrakan.

— David Richerby

2

Tolong berhenti melakukan ini. Mikro seperti itu terlihat bagus (paling banyak) di browser dan pengaturan Anda. Seperti dibahas sebelumnya, Anda mungkin ingin mempertimbangkan kembali apakah situs ini cocok untuk Anda jika Anda merasa tidak nyaman dengan orang lain yang mengedit posting Anda.

— Juho

2

Kelengkapan untuk suatu kelas berarti sifatnya universal untuk kelas tersebut, yaitu masalah lain di dalam kelas dapat diselesaikan dengan menggunakannya. Jika ada masalah yang sulit di kelas maka semua masalah universal untuk kelas juga akan sulit. Tetapi kebalikannya tidak berlaku: kesulitan tidak menyiratkan universalitas. Misalnya fakta bahwa masalah tidak dapat diselesaikan dalam waktu nondeterministik polinomial tidak menyiratkan bahwa itu adalah NP-lengkap (yaitu universal untuk NP).

Untuk NP: jika P = NP semua masalah kecuali yang sepele akan lengkap untuk NP (dalam pengurangan Karp). Jadi anggaplah P adalah subset NP yang tepat (atau gunakan gagasan reduksi yang lebih lemah seperti AC0).

Pertimbangkan bahasa unary yang berada di luar NP. (Ini adalah latihan yang mudah untuk menunjukkan ada bahasa unary kesulitan sewenang-wenang.) Bahasa tidak dapat lengkap untuk NP oleh teorema Mahoney.

— Kaveh
sumber