El problema de la suma de las raíces cuadradas pregunta, dadas dos secuencias y b 1 , b 2 , ... , b n de enteros positivos, si la suma ∑ i √ menor que, igual o mayor que la suma∑i√ . El estado de complejidad de este problema es abierto; Veaesta publicaciónpara más detalles. Este problema surge naturalmente en la geometría computacional, especialmente en problemas que involucran caminos más cortos euclidianos, y es un obstáculo significativo en la transferencia de algoritmos para esos problemas desde la RAM real a la RAM entera estándar.
Llame a un problema Π suma-de-raíces-cuadradas-duro (abreviado Σ√-duro?) Si hay una reducción del tiempo polinómico de la suma del problema de raíces cuadradas a Π. No es difícil demostrar que el siguiente problema es la suma de las raíces cuadradas:
Trayectos más cortos en gráficos geométricos euclidianos 4d
Instance: A graph whose vertices are points in , with edges weighted by Euclidean distane; two vertices and
Output: The shortest path from to in .
Of course this problem can be solved in polynomial-time on the real RAM using Dijkstra's algorithm, but each comparison in that algorithm requires solving a sum-of-square-roots problem. The reduction uses the fact that any integer can be written as the sum of four perfect squares; the output of the reduction is actually a cycle on vertices.
¿Qué otros problemas son la suma de las raíces cuadradas difíciles? Estoy particularmente interesado en los problemas para los que hay una solución de tiempo polinómico en la RAM real. Vea mi pregunta anterior para una posibilidad.
Como Robin sugiere, las respuestas aburridas son aburridas. Para cualquier clase de complejidad X que contenga la suma de las raíces cuadradas (por ejemplo, PSPACE o EXPTIME), cada problema de X-hard es aburridamente la suma de las raíces cuadradas.