¿Alguien sabe de referencias que explican con precisión la conexión entre el algoritmo de unificación y la eliminación gaussiana? Estoy particularmente interesado en la relación entre las sustituciones triangulares y las descomposiciones LU.
Wayne Snyder y Jean Gallier mencionan esta analogía de pasada en su artículo, Unificación de orden superior revisada: conjuntos completos de transformaciones .
77
Como no experto, nunca había oído hablar de la conexión. Alguna referencia que mencione esta conexión sería una buena adición a la pregunta.
—
Tsuyoshi Ito
Como dicen en el documento p2, es principalmente una analogía, "que en el caso de orden superior se descompone". Existe una conexión o analogía demostrable entre la resolución y la eliminación gaussiana. ¿suficientemente cerca?
—
vzn
Espero que ya lo sepas: el algoritmo de Euclides, la eliminación gaussiana, el algoritmo de Buchberger para las bases de Grobner y la finalización de Knuth-Bendix se supone que forman una secuencia estrictamente creciente en términos de generalidad y método que utilizan. Si se conocen los mapas precisos entre estos métodos, ¿tal vez podría derivar la conexión anterior?
—
Vijay D
@VijayD: ¡No sabía eso, en realidad! Sé lo que hace el algoritmo de Buchberger, pero no sé el algoritmo en sí mismo, ni nada en absoluto sobre su relación con la eliminación de Guassian o la finalización de KB.
—
Neel Krishnaswami