Cancelación y determinante

9

El algoritmo de Berkowitz proporciona un circuito de tamaño polinómico con profundidad logarítmica para determinar una matriz cuadrada utilizando potencias matriciales. El algoritmo utiliza implícitamente la cancelación. ¿Es esencial la cancelación para lograr un circuito de tamaño polinómico con profundidad logarítmica o lineal para calcular el determinante (y cualquier mejor circuito posible para permanente)? ¿Existen límites inferiores totalmente exponenciales (no solo superpolinomiales o subexponenciales) para estos problemas utilizando circuitos sin cancelación?

T ....
fuente
2
en cierto sentido intuitivo, sin cancelaciones, el determinante es lo mismo que lo permanente
Sasho Nikolov

Respuestas:

11

Sí, se necesitan cancelaciones y existen límites inferiores para los modelos monótonos y no conmutativos donde las cancelaciones son imposibles. Vea la discusión en Circuitos aritméticos monótonos . Se puede encontrar una encuesta sobre la complejidad del circuito aritmético en http://www.cs.technion.ac.il/~shpilka/publications/SY10.pdf

Noam
fuente
1
F=sol1+sol2Fsol1sol2F=sol1×sol2sol1sol2. El límite inferior de Jerrum-Snir funciona siempre que el circuito satisfaga la propiedad de que los monomios formales de la raíz son iguales a los monomios distintos de cero del polinomio calculado.
Ramprasad