Thống nhất và loại bỏ Gaussian


22

Có ai biết các tài liệu tham khảo đánh vần chính xác mối liên hệ giữa thuật toán hợp nhất và loại bỏ Gaussian không? Tôi đặc biệt quan tâm đến mối quan hệ giữa sự thay thế hình tam giác và sự phân rã LU.

Wayne Snyder và Jean Gallier đã đề cập đến sự tương tự này trong bài báo của họ, Bản thống nhất cấp cao được xem xét lại: Bộ hoàn chỉnh các biến đổi .


7
Là một người không chuyên gia, tôi chưa bao giờ nghe nói về kết nối. Một số tài liệu tham khảo đề cập đến kết nối này sẽ là một bổ sung tốt cho câu hỏi.
Tsuyoshi Ito

1
vì chúng nêu trong bài báo p2, chủ yếu là một sự tương tự, "trong trường hợp bậc cao hơn bị phá vỡ". có một kết nối rõ ràng hoặc tương tự giữa độ phân giải và loại bỏ gaussian. đủ gần?
vzn

4
Tôi hy vọng rằng bạn đã biết điều này: Thuật toán của Euclid, loại bỏ Gaussian, thuật toán của Buchberger cho các cơ sở Grobner và hoàn thành Knuth-Bendix được cho là tạo thành một chuỗi tăng nghiêm ngặt về tính tổng quát và phương pháp mà chúng sử dụng. Nếu các bản đồ chính xác giữa các phương thức này được biết đến, có lẽ bạn có thể rút ra được kết nối ở trên?
Vijay D

@VijayD: Thật ra tôi không biết điều đó! Tôi biết thuật toán của Hội trưởng làm gì, nhưng tôi không biết chính thuật toán đó, hoặc bất cứ điều gì về mối quan hệ của nó với việc loại bỏ Guassian hoặc hoàn thành KB.
Neel Krishnaswami

Câu trả lời:


9

Tôi không coi đây là một câu trả lời. Tôi đang lạm dụng hộp câu trả lời để in một bình luận.

Có một ý nghĩa nghiêm ngặt trong đó thuật toán GCD của Euclid, loại bỏ Gaussian, thuật toán của Buchberger và Knuth-Bendix tạo thành một chuỗi các khái quát hóa nghiêm ngặt và đều là các trường hợp được gọi là thuật toán hoàn thành . Cũng có một mối quan hệ chặt chẽ giữa các thuật toán và độ phân giải trong logic. Tôi không biết một tài liệu tham khảo tốt cho điều này nhưng tôi đã thấy thực tế được đề cập rất thường xuyên. Đây có thể giúp.

  1. Lịch sử và các tính năng cơ bản của quy trình hoàn thành / cặp quan trọng , Bruno Buchberger, 1987
  2. Các hệ thống khử Canonical trong Toán học tượng trưng , Franz Winkler. Liên kết mùa xuân

Hãy cho tôi biết nếu bạn tìm thấy tài liệu tham khảo tốt hơn.

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.