Adakah yang tahu tentang referensi yang secara tepat menjelaskan hubungan antara algoritma unifikasi dan eliminasi Gaussian? Saya sangat tertarik pada hubungan antara substitusi segitiga dan dekomposisi LU.
Wayne Snyder dan Jean Gallier menyebutkan analogi ini dalam makalah mereka, Higher-Order Unification Revisited: Complete Sets of Transformations .
7
Sebagai seorang non-pakar, saya belum pernah mendengar tentang koneksi tersebut. Beberapa referensi yang menyebutkan hubungan ini akan menjadi tambahan yang bagus untuk pertanyaan itu.
—
Tsuyoshi Ito
seperti yang mereka nyatakan dalam makalah p2, sebagian besar analogi, "yang dalam kasus tingkat tinggi rusak". ada koneksi yang dapat dibuktikan atau analogi antara resolusi & eliminasi gaussian. cukup dekat?
—
vzn
Saya berharap Anda sudah tahu ini: Algoritma Euclid, eliminasi Gaussian, algoritma Buchberger untuk basis Grobner dan penyelesaian Knuth-Bendix seharusnya membentuk urutan peningkatan ketat dalam hal generalisasi dan metode yang mereka gunakan. Jika peta yang tepat antara metode ini diketahui, mungkin Anda bisa memperoleh koneksi di atas?
—
Vijay D
@ VijayD: Sebenarnya saya tidak tahu itu! Saya tahu apa yang dilakukan algoritma Buchberger, tetapi saya tidak tahu algoritma itu sendiri, atau apa pun tentang hubungannya dengan penghapusan Guassian atau penyelesaian KB.
—
Neel Krishnaswami