Ý tưởng phổ biến trong phép nhân Karatsuba, Gauss và Strassen


19

Các danh tính được sử dụng trong các thuật toán nhân

có vẻ liên quan rất chặt chẽ. Có một khung trừu tượng / khái quát hóa chung?


3
Tra cứu bất đẳng thức tổng tiệm cận của Schönhage.
Yuval Filmus

Những danh tính mà bạn đang nói về? Chúng ta có nên đọc cả ba bài báo để trả lời không? Vui lòng thêm thông tin liên quan đến câu hỏi của bạn.
Raphael

1
@Raphael: Các danh tính là nền tảng cho các thuật toán, biểu thị 4 phép nhân số với 3 phép nhân và 8 phép nhân ma trận với 7.
sdcvvc

Câu trả lời:


5

Khung cổ điển là một trong những thuật toán song tuyến và phân rã thứ hạng tenor; về cơ bản, bạn xây dựng 3 chiều tensor liên quan đến bản đồ Bilinear f(A,B)=AB , trong căn cứ vào hệ số, sau đó tìm kiếm một phân hủy của nó dưới dạng tổng của cấp bậc-one tensors (ví dụ, những người có dạng Ti,j,k=uivjwk ). Bạn sẽ thấy điều này được giải thích chi tiết hơn, ví dụ, trong bài viết này của Bläser , hoặc trong cuốn sách của Bürgisser, Clausen, Shokrollahi, Lý thuyết phức tạp đại số.

Theo như tôi hiểu, việc cải cách về mặt giải thích nhóm mà Suresh đề cập trong câu trả lời của ông là một cách sau, và tôi thấy nó không phù hợp với cách tiếp cận đầu tiên của chủ đề (nhưng, tất nhiên, đó có thể là sai lệch về phía tôi ).


1
Đây là câu trả lời chính xác. Một khía cạnh còn thiếu là sự căng thẳng / phân chia và chinh phục đằng sau cả thuật toán nhân ma trận của Karatsuba và thuật toán nhân ma trận nhanh (vuông).
Yuval Filmus

8

Một câu trả lời một phần cho câu hỏi của bạn là phương pháp lý thuyết nhóm được phát triển đầu tiên bởi Cohn và Umans và được phát triển thêm bởi Cohn, Kleinberg, Szegedy và Umans. Nó có thể "sắp xếp" bắt Strassen và Coppersmith-Winograd để nhân ma trận.


Điều này thực sự bỏ lỡ điểm. Cách tiếp cận lý thuyết nhóm thực sự chỉ là một cách để đưa ra những bản sắc như vậy ngay từ đầu.
Yuval Filmus
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.