Sea una matriz entera cuadrada, y sea n un entero positivo. Estoy interesado en la complejidad del siguiente problema de decisión:
¿Es positiva la entrada superior derecha de ?
Tenga en cuenta que el enfoque obvio de la cuadratura iterada (o cualquier otro cálculo explícito) requiere que manejemos potencialmente enteros de magnitud doblemente exponencial, es decir, que tengan exponencialmente muchos bits. Sin embargo, el problema se ve fácilmente en la clase "PosSLP" de Allender et al. ( "Sobre la complejidad del análisis numérico", SIAM J. Comput. 38 (5) ) y, por lo tanto, en el cuarto nivel de la jerarquía de conteo .
1) ¿Es posible colocar este problema de alimentación de matriz en una clase de menor complejidad?
2) Si no, ¿podría ser posiblemente PosSLP-hard?
3) Estoy especialmente interesado en el problema de alimentación de matrices para matrices de baja dimensión, es decir, hasta matrices de 6x6 inclusive. ¿Podría la complejidad ser menor para tales matrices?