Sei eine quadratische Ganzzahlmatrix und sei eine positive Ganzzahl. Ich interessiere mich für die Komplexität des folgenden Entscheidungsproblems:n
Ist der obere rechte Eintrag von positiv?
Beachten Sie, dass der offensichtliche Ansatz des iterierten Quadrierens (oder einer anderen expliziten Berechnung) es erforderlich macht, dass wir potenziell Ganzzahlen mit doppelt exponentieller Größe behandeln, dh mit exponentiell vielen Bits. Es ist jedoch leicht zu erkennen, dass das Problem in der Klasse "PosSLP" von Allender et al. ( "Über die Komplexität der numerischen Analyse", SIAM J. Comput. 38 (5) ) und daher in der vierten Ebene der Zählhierarchie liegt .
1) Ist es möglich, dieses Matrixversorgungsproblem in eine Klasse mit geringerer Komplexität einzuteilen?
2) Wenn nicht, könnte es möglicherweise PosSLP-schwer sein?
3) Ich interessiere mich besonders für das Matrix-Powering-Problem bei niedrigdimensionalen Matrizen, dh bis einschließlich 6x6-Matrizen. Könnte die Komplexität für solche Matrizen geringer sein?