Kekuatan ketidakseragaman yang tidak masuk akal


33

Dari sudut akal sehat pandang, mudah untuk percaya bahwa menambahkan non-determinisme ke secara signifikan memperluas kekuasaannya, yaitu, N P jauh lebih besar dari P . Bagaimanapun juga, non-determinisme memungkinkan paralelisme eksponensial, yang nampaknya sangat kuat. PNPP

Di sisi lain, jika kita hanya menambahkan non-keseragaman ke , memperoleh P / p o l y , maka intuisi kurang jelas (dengan asumsi kita mengecualikan bahasa non-rekursif yang dapat terjadi dalam P / p o l y ). Orang bisa berharap bahwa hanya memungkinkan algoritma waktu polinomial yang berbeda untuk panjang input yang berbeda (tetapi tidak meninggalkan ranah rekursif) adalah ekstensi yang kurang kuat daripada paralelisme eksponensial dalam non-determinisme.PP/polyP/poly

Menariknya, jika kita membandingkan kelas-kelas ini dengan kelas yang sangat besar , maka kita melihat situasi kontra-intuitif berikut. Kita tahu bahwa N E X P benar mengandung N P , yang tidak mengejutkan. (Setelah semua, N E X P memungkinkan ganda paralelisme eksponensial.) Di sisi lain, saat ini kami tidak bisa mengesampingkan N E X PP / p o l y .NEXPNEXP NPNEXPNEXPP/poly

Dengan demikian, dalam pengertian ini, ketidakseragaman, ketika ditambahkan ke waktu polinomial, mungkin membuatnya sangat kuat, berpotensi lebih kuat daripada non-determinisme. Bahkan mungkin lebih jauh untuk mensimulasikan paralelisme eksponensial ganda ! Meskipun kami percaya ini bukan masalahnya, tetapi fakta bahwa saat ini tidak dapat dikesampingkan, masih menunjukkan bahwa ahli teori kompleksitas sedang berjuang dengan "kekuatan perkasa" di sini.

Bagaimana Anda akan menjelaskan kepada orang awam yang cerdas apa yang ada di balik "kekuatan tidak masuk akal" yang tidak seragam ini?


16
Kesulitan memahami nonuniformity (dan membuktikan rangkaian umum lower-bounds) tidak selalu menyiratkan bahwa ununiformity kuat (dalam arti bahwa Anda dapat menggunakannya untuk memecahkan masalah yang menarik).
Kaveh

4
Saya tidak berpikir ada yang percaya atau bahkan N PP / p o l y . Fakta bahwa pertanyaan-pertanyaan ini tetap terbuka lebih merupakan pernyataan tentang ketidakmampuan kita yang memalukan untuk membuktikan batas bawah sirkuit. NEXPP/polyNPP/poly
Thomas

8
@Thomas: Saya tidak akan menganggap berbicara untuk orang lain, tetapi akan mengatakan bahwa saya tahu setidaknya satu peneliti yang sangat dihormati yang memang dugaan bahwa . EXPP/poly
Joshua Grochow

2
@ Thomas: Tidak persis, tapi saya pikir ini tentang betapa sedikitnya kita memahami ketidakseragaman. Sebagai contoh, untuk semua yang kita tahu, (dan seperti dugaan oleh Kolmogorov, lihat cstheory.stackexchange.com/a/22048/129 ) P memiliki -ukuran ckts. Sebagai contoh lain, tampaknya ada beberapa (jika ada) masalah alami yang diketahui dalam P / p o l y yang tidak jarang atau dalam BPP ( cstheory.stackexchange.com/questions/1662/… ). Namun, mengingat ckts, orang akan berpikir bahwa P / p o l y secara signifikan lebih kuat daripada pengacakan tabel + lookup. O(n)P/polyP/poly
Joshua Grochow

6
Untuk menggemakan @ Thomas jika kita tidak dapat membuktikan NEXP tidak dalam P / poly berarti ada "kekuatan tidak seragam yang tidak masuk akal" maka karena kita tidak dapat membuktikan P <> NP berarti harus ada "kekuatan komputasi efisien yang tidak masuk akal".
Lance Fortnow

Jawaban:


33

Jawaban sebaliknya adalah bahwa ini bukan hal pertama tentang teori kompleksitas yang saya coba jelaskan kepada orang awam! Untuk bahkan menghargai gagasan ketidakseragaman, dan bagaimana hal itu berbeda dari nondeterminisme, Anda perlu lebih jauh ke bawah pada rumput liar dengan definisi kelas kompleksitas daripada yang ingin didapatkan oleh banyak orang.

Karena itu, salah satu perspektif yang saya temukan bermanfaat, ketika menjelaskan P / poli kepada mahasiswa, adalah bahwa ketidakseragaman benar-benar berarti Anda dapat memiliki urutan tak terbatas dari algoritma yang lebih baik dan lebih baik, saat Anda pergi ke panjang input yang lebih besar dan lebih besar. Dalam praktiknya, misalnya, kita tahu bahwa algoritma penggandaan matriks naif bekerja paling baik untuk matriks hingga ukuran 100x100 atau lebih, dan kemudian di beberapa titik perkalian Strassen menjadi lebih baik, dan kemudian algoritma yang lebih baru hanya menjadi lebih baik untuk matriks besar yang secara astronomis tidak akan pernah muncul dalam praktik. Jadi, bagaimana jika Anda memiliki kemampuan magis untuk membidik algoritma terbaik untuk rentang n apa pun yang Anda gunakan?

Tentu, itu akan menjadi kemampuan yang aneh, dan semua hal dipertimbangkan, mungkin tidak berguna seperti kemampuan untuk menyelesaikan masalah NP-lengkap dalam waktu polinomial. Tapi sebenarnya, itu akan menjadi kemampuan yang tak tertandingi : itu bukan salah satu yang akan Anda dapatkan secara otomatis bahkan jika P = NP. Memang, Anda bahkan dapat membuat contoh masalah yang tidak dapat dihitung yang dibuat-buat (misalnya, diberikan 0 n sebagai input, apakah mesin Turing ke-5 berhenti?) Yang kemampuan ini akan memungkinkan Anda untuk memecahkannya. Jadi, itulah kekuatan ketidakmerataan.

Untuk memahami titik mempertimbangkan kekuatan aneh ini, Anda mungkin perlu mengatakan sesuatu tentang upaya untuk membuktikan batas bawah sirkuit, dan fakta bahwa, dari sudut pandang banyak teknik batas bawah kami, keseragaman yang tampak seperti aneh kondisi ekstra yang hampir tidak pernah kita butuhkan.


2
Saya sangat suka argumen "urutan tak terbatas algoritma yang lebih baik dan lebih baik". Saya benar-benar mencari argumen seperti itu, yang membantu menjelaskan gambaran besar kepada mahasiswa. Bagaimana argumen ini berlaku, jika diganti dengan B P P ? Untuk B P P , pertanyaan asli yang sama dapat diajukan kembali, karena saat ini kami tidak dapat memisahkan N E X P dari B P P juga. P/polyBPPBPPNEXPBPP
Andras Farago

7
BPP jauh lebih mudah untuk dimotivasi! Itu hanya mencoba memodelkan kekuatan pengacakan, yang (tidak seperti ketidakmerataan) adalah sesuatu yang digunakan sepanjang waktu dalam praktik. (Namun, kebetulan, saya lupa menyebutkan: cara berbeda untuk memotivasi nonuniformitas adalah melalui kriptografi. Anda dapat menunjukkan bahwa musuh memiliki kemewahan untuk mengoptimalkan semua sumber daya serangan mereka ke arah panjang kunci apa pun yang telah dipilih sebagai standar, sehingga Anda dapat Sebaiknya Anda memiliki cryptosystem yang menurut Anda aman terhadap penyerang tidak seragam pada panjang tetap itu, tidak hanya terhadap penyerang seragam.)
Scott Aaronson

1
Saya sepenuhnya setuju bahwa lebih mudah untuk memotivasi. Apa yang tidak jelas, bagaimanapun, adalah ini: apa yang memberikan B P P kekuatan seperti yang saat ini kita tidak dapat mengesampingkan bahwa hal itu bahkan mungkin mensimulasikan paralelisme ganda eksponensial N E X P ? Karena B P P hanya berbeda bentuk P melalui keacakan, dan itu diduga karena alasan yang baik bahwa keacakan di sini tidak berdaya (yaitu, P = B P P ), ini tampak situasi yang aneh bagi saya. Saya mencari "pemahaman filosofis" tentang situasi ini, di luar fakta yang jelas bahwa alat-alatnya masih kurang untuk dibuktikanBPPBPPNEXPBPPPP=BPP . NEXPBPP
Andras Farago

2
Tapi bagaimana jika itu benar-benar adalah hanya fakta bahwa alat-alat yang kurang? Kami memiliki teorema hierarki, yang memungkinkan kami membuktikan bahwa lebih banyak sumber daya yang sama memberi Anda lebih banyak kekuatan (misalnya, ), dan ketika kami tidak dapat mereduksi menjadi teorema hierarki, kami biasanya mandek. Ini adalah masalah umum yang menunjukkan di seluruh hirarki kompleksitas, bukan sesuatu yang spesifik untuk B P P . PEXPBPP
Scott Aaronson

28

Berikut ini adalah argumen "kehalusan" yang saya dengar baru-baru ini untuk membela klaim bahwa model komputasi yang tidak seragam harus lebih kuat daripada yang kita duga. Di satu sisi, kita tahu dari teorema hierarki waktu bahwa ada fungsi yang dapat dihitung dalam waktu yang tidak dapat dihitung dalam waktu O ( 2 n ) , misalnya. Di sisi lain, oleh teorema Lupanov, setiap fungsi boolean pada n input dapat dihitung dengan sirkuit ukuran ( 1 + o ( 1 ) ) 2 n / nO(22n)O(2n)n(1+o(1))2n/n. Jadi jika kita mengklaim bahwa ketidakmerataan tidak memberikan banyak kekuatan, yaitu bahwa harus berperilaku seperti D T I M E ( f ( n ) O ( 1 ) ) , maka klaim ini harus tiba-tiba berhenti memegang ketika f ( n ) menjadi 2 O ( n ) . Tapi perilaku ini --- dua langkah kompleksitas berjalan beriringan sampai semuanya tiba-tiba menjadi sangat kuat --- tampak sewenang-wenang dan agak tidak wajar.SIZE(f(n))DTIME(f(n)O(1))f(n)2O(n)

Di sisi lain, jika sirkuit cukup kuat sehingga , maka oleh Karp-Lipton hierarki polinomial runtuh ke tingkat kedua, yang juga akan aneh: mengapa quantifiers tiba-tiba berhenti memberikan komputasi lebih banyak daya ? Saya tidak yakin di mana ini meninggalkan kita.NPP/poly


1
Sangat menarik! Ini menggambarkan dengan baik bahwa pemahaman kita tentang model komputasi (sirkuit) yang tidak seragam masih sangat jauh dari lengkap.
Andras Farago

4
Tanpa mengomentari apakah keruntuhan seperti itu mungkin terjadi: apakah itu penghentian tiba-tiba dalam kekuatan komputasi pada tingkat kedua, ketika ini cukup tepat untuk memiliki kedua jenis kuantifikasi?
Niel de Beaudrap

@NieldeBeaudrap Poin yang sangat menarik. Tentu saja semua ini (termasuk spekulasi dalam jawaban saya) lebih merupakan teologi daripada matematika, tetapi menyenangkan untuk berspekulasi.
Sasho Nikolov

3
@Sasho: itu bukan teologi, atau bahkan pendapat: itu proto-matematika, bukan? Ini adalah penghitungan ide yang mungkin relevan, dan menimbangnya untuk intuisi. Tidak banyak yang harus dilakukan ketika tersesat di hutan, tetapi lebih produktif daripada, katakanlah, menceritakan kisah hantu. :-)
Niel de Beaudrap

10

Saya berasumsi bahwa berbicara dengan seseorang tentang dan N P berarti bahwa orang itu akrab dengan pertanyaan P vs N P dan dualitas penyelesaian-verifikasi.P/polyNPPNP

P/polyNP

NP

NPP/poly

Poin kritis untuk memberikan pemahaman yang baik, yang saya pikir juga umum ketika mengajar subjek untuk pertama kalinya, adalah memperjelas bahwa saran dan "petunjuk" (yaitu sertifikat) adalah hal yang berbeda, dan bagaimana mereka berbeda.


10

Bagi saya, ilustrasi paling gamblang tentang kekuatan ketidakseragaman adalah bahwa versi Padding Problem yang sesuai dan empuk sudah ada di P / 1. Sedikit nasihat kemudian cukup untuk memutuskan bahasa ini dengan TM sepele yang hanya mengembalikan sedikit saran.

Tentu saja, padding bahasa yang tidak dapat dipastikan dengan jumlah eksponensial berarti tidak secara "moral" dalam P / poly. Tapi ini memang menunjukkan bahwa kita perlu berhati-hati ketika membiarkan ketidakseragaman.


3

Saya memiliki kesan bahwa masalah sebenarnya di sini adalah beban pembuktian yang sangat tidak masuk akal, bukan kekuatan ketidakseragaman yang tidak masuk akal. Seperti yang sudah ditekankan oleh jawaban oleh chazisop dan András Salamon, bahasa yang tidak dapat ditentukan menjadi dapat dihitung bahkan dalam bahasa yang tidak seragam yang sangat terbatas, karena beban pembuktian telah sepenuhnya dihapuskan.

2nnnnn2nexp(O(n))=exp(nlog(2)+O(n))=exp(O(n))

nNEXP

Algoritme non-deterministik yang sama juga akan menunjukkan , jika kita membutuhkan adanya bukti paling banyak panjang polinomial di n bahwa rangkaian cocok. Perhatikan bahwa P / p yang dibatasi iniP/polyNPnP/polyPNPP/poly) masih berlaku, tetapi pernyataan ini kurang menarik daripada teorema Karp-Lipton yang asli.

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.