Masalah Singkat di


26

Studi tentang representasi ringkas dari grafik diprakarsai oleh Galperin dan Wigderson di kertas dari tahun 1983, di mana mereka membuktikan bahwa untuk banyak masalah sederhana seperti menemukan segitiga dalam grafik, versi ringkas yang sesuai pada -Lengkap. Papadimitriou dan Yanakkakis melanjutkan penelitian ini, dan membuktikan bahwa untuk masalah Π yaitu N P -complete / P -complete, versi Succinct yang sesuai, yaitu Succinct Π masing-masing, N E X P -complete dan E X P -complete . (Mereka juga menunjukkan bahwa jika ΠNPΠNPPΠNEXPEXPΠadalah -lengkap, maka Ringkas Π adalah P S P A C E -complete.NLΠPSPACE

Sekarang pertanyaan saya adalah, apakah ada masalah diketahui yang, versi singkat yang sesuai dalam P ? Saya akan tertarik mengetahui tentang hasil terkait lainnya (baik hasil positif dan ketidakmungkinan, jika ada) yang mungkin saya lewatkan di atas. (Saya tidak dapat menemukan sesuatu yang menarik oleh pencarian google, karena kata-kata pencarian seperti ringkas, representasi, masalah, grafik menyebabkan hampir semua hasil kompleksitas! :))ΠP


masalah apa yang kamu cari? tentu saja, beberapa properti grafik sepele tetap sepele dalam versi ringkas juga, misalnya properti dipenuhi oleh setiap grafik serta properti puas dengan tidak ada grafik. mungkin Anda mencari properti apa pun selain keduanya?
Sasho Nikolov

2
Pertama saya ingin menyebutkan bahwa hasil Papadimitriou dan Yannakakis membutuhkan kelengkapan untuk jenis pengurangan khusus. (Namun hasilnya dapat diterapkan pada sejumlah besar masalah.)
Bruno

2
Sekarang tentang pertanyaan Anda: Karena Anda memiliki ledakan eksponensial dalam kompleksitas versi ringkas masalah (secara umum), mungkin akan menyiratkan bahwa masalah awal Anda dapat dipecahkan dalam waktu logaritmik? Tetapi kemudian masalah yang dipecahkan dalam waktu logaritmik sebenarnya dapat diselesaikan dalam waktu yang konstan. Oleh karena itu, versi ringkas juga dapat diselesaikan dalam waktu yang konstan. Saya cukup yakin bahwa "argumen" saya di atas memiliki terlalu banyak celah untuk sepenuhnya benar, tetapi setidaknya itu berarti bahwa masalah Anda harus sangat istimewa pada awalnya.
Bruno

@SashoNikolov Secara alami, saya mencari properti grafik non-sepele. Saya menemukan awalnya cukup mengejutkan bahwa memeriksa apakah grafik memiliki segitiga akan menjadi -complete! Faktanya, jika Anda mempertimbangkan masalah mendeteksi apakah string input memiliki 1 sama persis dengan masalah Kepuasan Sirkuit di dunia Succint (Periksa survei tur biasa Ryan mengenai batas bawahnya untuk diskusi yang menarik). Contoh khusus inilah yang mendorong saya untuk berpikir jika ada masalah yang versi succintnya ada di P.NP1
Nikhil

@Bruno Saya berpikir tentang hal yang sama, tetapi saya belum bisa segera memberikan contoh nyata!
Nikhil

Jawaban:


16

Berikut adalah masalah menarik yang versi ringkasnya memiliki properti menarik. Tentukan Sirkuit-Ukuran- menjadi masalah: diberi fungsi Boolean sebagai string 2 n- bit, apakah fungsi ini memiliki sirkuit ukuran paling banyak 2 n / 2 ? Catatan Masalah ini di N P .2n/22n2n/2NP

Salah satu cara untuk mendefinisikan Ringkas-Sirkuit-Ukuran- adalah: untuk konstanta k , diberi n -input, n k -ukuran sirkuit C , kita ingin tahu apakah tabel kebenarannya adalah turunan dari Sirkuit-Ukuran - 2 n / 2 . Tapi ini masalah sepele: semua input yang merupakan rangkaian aktual adalah instance-ya. Jadi masalah ini adalah di P .2n/2knnkC2n/2P

Cara yang lebih umum untuk mendefinisikan Ringkas-Sirkuit-Ukuran- adalah: kita diberi sirkuit sewenang-wenang C dan ingin tahu apakah tabel kebenarannya mengkodekan instance Sirkuit-Ukuran- 2 n / 2 . Tetapi jika n adalah jumlah input ke C , m adalah ukuran C , dan m 2 n / 2 , kita dapat secara otomatis menerima: input itu sendiri adalah saksi untuk bahasa. Kalau tidak, kita memiliki m 2 n / 2 . Dalam hal itu, panjang input m2n/2C2n/2nCmCm2n/2m2n/2msudah besar, jadi kita bisa mencoba semua kemungkinan tugas dalam m O ( 1 ) waktu, mendapatkan tabel kebenaran fungsi, dan sekarang kita kembali ke masalah N P asli lagi. Jadi ini adalah masalah di N P yang versi singkat juga di N P .2nmO(1)NPNPNP

Masalah ini diyakini bukan -hard; lihat koran oleh Kabanets dan Cai (http://www.cs.sfu.ca/~kabanets/Research/circuit.html)NP


2
ini sangat bagus, dan merobek intuisi yang saya pikir saya punya ..
Sasho Nikolov

12

Mengingat bahwa bahkan memutuskan apakah grafik yang diwakili oleh representasi ringkas yang diberikan mengandung setidaknya satu sisi atau tidak setara dengan Sirkuit SAT dan karenanya NP-lengkap, tergoda untuk mengklaim bahwa properti menarik dari representasi ringkas harus NP-keras di bawah definisi yang sesuai dari "menarik." Klaim ini akan menjadi analogi teoritik-kompleksitas untuk teorema Rice . Sayangnya, menemukan analogi kompleksitas-teoretis yang paling umum dari teorema Rice adalah masalah terbuka , meskipun ada hasil yang memberikan beberapa bentuk analog-teoretis kompleksitas-seperti itu.


Terima kasih untuk penunjuknya! Itu adalah jawaban yang bagus oleh Russell atas pertanyaan yang Anda tautkan!
Nikhil

9

Saya tidak bermaksud ini menjadi jawaban tetapi akan membutuhkan terlalu banyak komentar. Semoga bermanfaat.

Seperti yang ditunjukkan Tsuyoshi, menggoda untuk menduga bahwa semua properti "non-sepele" itu keras (misalnya NP-hard). Namun, untuk menunjukkan ini, Anda perlu mendefinisikan non-sepele. Dalam teorema Rice, properti nontrivial adalah semua properti kecuali properti yang mencakup semua bahasa yang dapat dihitung dan properti yang tidak mencakup bahasa yang dapat dihitung. Itu kurang jelas apa definisi yang tepat dari non-sepele adalah untuk masalah ringkas. Jelas sifat-sifat yang mengandung semua string atau tidak ada string dalam P. Tapi ada yang lain di P juga. Sebagai contoh, properti yang pertandingan string yang agak tengah adalah 0. Atau Π berisi semua string dari 2 n bit sehingga setiap 2 n / xΠΠ2n2n/x-th bit adalah 1, di mana . Jadi, bagaimana kita mendefinisikan "sepele" untuk mencakup jenis properti ini?x=nO(1)

Satu ide adalah untuk melihat yang "simetris": jika string s ada di Π , maka permutasi bit s juga ada di Π . Properti seperti ini hanya bergantung pada jumlah 1 bit dalam sebuah string. Dalam jawaban untuk pertanyaan yang dikaitkan Tsuyoshi, Ryan Williams memberikan tautan ke makalah ini yang menunjukkan bahwa semua masalah seperti itu sulit.ΠsΠsΠ

Gagasan lain bagaimana mendefinisikan "properti non-sepele"? Kita dapat melihat sebagai keluarga fungsi boolean (fungsi indikator properti untuk setiap panjang string). Tampak bagi saya bahwa sifat non-trivial adalah properti yang keluarga terkait fungsi boolean memiliki kompleksitas non-sepele. Sebagai contoh, dapatkah kita menunjukkan bahwa properti yang fungsi keluarga boolean yang terkait memiliki kompleksitas pohon keputusan linear sulit?Π


1
Dalam Teorema Rice, kuncinya adalah bahwa satu-satunya properti yang diizinkan adalah properti dari bahasa L (M), bukan mesin M (namun deskripsi M adalah input untuk masalah). Analog untuk masalah grafik ringkas akan menjadi seperti: properti yang hanya bergantung pada tipe isomorfisme grafik.
Joshua Grochow

@ JoshuaGrochow terdengar seperti ide yang sangat bagus. Ini juga berhubungan dengan intuisi kompleksitas pohon keputusan saya (bahwa properti dengan kompleksitas pohon keputusan linear sulit) melalui dugaan penghindaran, setidaknya untuk properti monoton.
Sasho Nikolov
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.