Estaba revisando el trabajo seminal de Les Valiant y tuve un momento difícil con la Proposición 4.3 en la página 10 del documento.
No puedo ver por qué es el caso que si hay un generador con ciertos valores para con una base { ( a 1 , b 1 ) ... ( a r , b r ) } , entonces existe algún generador con el mismo v a l G valores para cualquier base { ( x a 1 , y b 1 ) ... ( x a r , y b r ) ( 1 s t k i n d ) o { ( x b 1 , y un 1 ) ... ( x b r , y un r ) } ( 2 n d k i n d ) para cualquier x , y ∈ F .
Valiant señala la razón en el párrafo anterior: a saber, el tipo de transformación se puede lograr al agregar a cada nodo de entrada o salida un borde de peso 1 . El 2 n d tipo de transformación, Valiant dice, se puede lograr añadiendo a de entrada o salida nodos cadenas de longitud 2 ponderados por x y y respectivamente.
Realmente no he podido entender estas declaraciones. Tal vez ya estén claros, pero aún así no puedo ver realmente por qué la construcción anterior ayuda a lograr valores de realizables con una base con la nueva base, que es uno de los tipos anteriores.
Por favor, ayuda a iluminarme. En una nota diferente, ¿hay algunas encuestas sin tensor para algoritmos holográficos disponibles en línea? La mayoría de ellos usan tensores que, lamentablemente, me asustan :-(
El mejor -Akash
fuente