Sum-of-square-root-hard problems?

37

The jumlah kuadrat akar masalah bertanya, diberikan dua urutan dan b 1 , b 2 , ... , b n bilangan bulat positif, apakah jumlah Σ i a1,a2,,anb1,b2,,bn kurang dari, sama dengan, atau lebih besar dari jumlahiiai . Status kompleksitas masalah ini terbuka; lihatposting iniuntuk detail lebih lanjut. Masalah ini muncul secara alami dalam geometri komputasi, terutama dalam masalah yang melibatkan jalur terpendek Euclidean, dan merupakan batu sandungan yang signifikan dalam mentransfer algoritma untuk masalah-masalah tersebut dari RAM nyata ke RAM integer standar.ibi

Sebut masalah Π jumlah akar kuadrat-keras (disingkat Σ√-keras?) Jika ada pengurangan waktu polinomial dari jumlah masalah akar kuadrat ke Π. Tidak sulit untuk membuktikan bahwa masalah berikut adalah jumlah dari akar kuadrat:

Jalur terpendek dalam grafik geometris Euclidean 4d

Misalnya: Sebuah grafik yang simpul adalah titik-titik di Z 4 , dengan tepi tertimbang oleh distane Euclidean; dua simpul s dan tG=(V,E)Z4st

Output: Jalur terpendek dari ke t di G .stG

Tentu saja masalah ini dapat dipecahkan dalam waktu polinomial pada RAM nyata menggunakan algoritma Dijkstra, tetapi setiap perbandingan dalam algoritma tersebut membutuhkan pemecahan masalah jumlah akar. Pengurangan menggunakan fakta bahwa bilangan bulat apa pun dapat ditulis sebagai jumlah dari empat kuadrat sempurna; output dari reduksi sebenarnya adalah siklus pada simpul .2n+2

Masalah apa lagi yang paling sulit? Saya terutama tertarik pada masalah yang ada solusi waktu polinomial pada RAM nyata. Lihat pertanyaan saya sebelumnya untuk satu kemungkinan.

Seperti yang disarankan Robin, jawaban yang membosankan itu membosankan. Untuk setiap kompleksitas kelas X yang berisi jumlah akar kuadrat (misalnya, PSPACE atau EXPTIME), setiap masalah X-hard adalah jumlah akar kuadrat yang sulit.

Jeffε
sumber
1
Terima kasih kepada Suresh dan Peter karena menyarankan pertanyaan ini.
Jeff
8
Mungkin Anda juga bisa mengesampingkan jawaban sepele dengan bersikeras bahwa jawaban tersebut seharusnya bukan hanya masalah yang sulit bagi kelas yang diketahui mengandung masalah Sum-of-square-root. Sebagai contoh, setiap masalah PSPACE-hard akan Sum-of-square-root-hard, tapi itu mungkin tidak menarik.
Robin Kothari
Apakah maksud Anda dalam pernyataan masalah jalur terpendek, atau Z 4 ? Yang pertama sepertinya tidak bisa menggunakan RAM integer sama sekali, dan mungkin masalahnya masih sulit untuk membatasi ke poin integer ...R4Z4
Steven Stadnicki
@ Seven: Yup, kau benar. Diedit.
Jeffε

Jawaban:

21

Ini harus menjadi komentar, karena ini adalah jawaban yang paling membosankan, tetapi saya tidak memiliki reputasi yang cukup.

Jumlah akar kuadrat adalah dalam dari [ABKM98] , jadi setiap masalah yang sulit untuk kelas ini memiliki properti yang diperlukan. Ini dilakukan dengan mengurangi masalah jumlah akar kuadrat menjadi masalah yang disebut P o s S L PPPPPPPPPosSLP , didefinisikan sebagai memutuskan apakah masalah garis lurus mewakili bilangan bulat positif, sehingga masalahnya adalah jumlah akar kuadrat keras.

[ABKM98]: Tentang Kompleksitas analisis Numerik, oleh Allender, Burgisser, Kjeldgaard-Pedersen dan Miltersen.

Abel Molina
sumber
9
Ada juga peningkatan ini [ mpi-inf.mpg.de/~csaha/Sum_sqrroot.pdf] yang menempatkan masalah dalam dan juga membuktikan bahwa versi terbatas dari masalah memerlukan jumlah bit polinomial. CoRPPP
Elias
1
@ Elas: Bisakah Anda menjelaskan? Dari pandangan sepintas, Kayal dan Saha tampaknya sedang mendiskusikan "versi polinom" dari jumlah masalah akar kuadrat, yang terkait dengan tetapi berbeda dari jumlah masalah akar kuadrat yang biasa.
Tsuyoshi Ito
1
@ Bel: (1) Hai Abel, senang melihat posting Anda! (2) Untuk apa nilainya, [ABKM98] sebenarnya disajikan di CCC 2006 dan diterbitkan pada 2009 . (3) Jawaban yang membosankan tidak harus berupa komentar tetapi harus dijaga sendiri. Tetapi saya tidak berpikir bahwa ini adalah jawaban yang membosankan. :)
Tsuyoshi Ito
1
aiai=ibijXdijX>(B+1)(nd)O(1)B=max{bij}d=max{di} , maka kita membutuhkan jumlah bit polinom untuk memutuskan masalahnya.
Elias
3
@ Tsuyoshi: Saya benar-benar salah mengerti pertanyaan Anda. Saya minta maaf untuk ini. Apa yang Kayal dan Saha buktikan adalah bahwa DegSLP ada dalam CoRPPP . Saya harus lebih berhati-hati. Terima kasih untuk ini.
Elias