The jumlah kuadrat akar masalah bertanya, diberikan dua urutan dan b 1 , b 2 , ... , b n bilangan bulat positif, apakah jumlah Σ i √ kurang dari, sama dengan, atau lebih besar dari jumlah∑i√ . 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.
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 t
Output: Jalur terpendek dari ke t di G .
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 .
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.
Jawaban:
Ini dibahas sedikit dalam survei berikut (mulai slide 21): http://homepages.inf.ed.ac.uk/kousha/games08_tutorial.pdf
yang menyebutkan Euclidean TSP, perkiraan keseimbangan Nash yang sebenarnya, dan berbicara tentang kelas-kelas PosSLP dan FIXP.
sumber
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 PPPPPPPP PosSLP , 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.
sumber