Tăng tốc tính toán bằng cách chuyển hệ cơ số

Cách đây mấy hôm mình có đọc trên một nhóm học thuật toán của mấy bạn chuyên tin bàn về chuyện dùng phương pháp nhân nhóm số để tính toán hiệu quả hơn với các số lớn, đọc không hiểu mô tê gì vì mấy bạn ấy chỉ share code

Chạy về hỏi mấy ông semen (í nhầm, senpai) trong nhóm ruby-vietnam thì đc suggest nhiều cách khác nhau, nhưng nói chung là đổi về hệ cơ số khác lớn hơn hệ thập phân.

Trước khi bắt đầu, mình xin lưu ý, đây chỉ là một bài toán lớp 2, không hơn không kém, có thể hồi đi học bạn rất chăm học nên đọc vô đã nhớ ngay, riêng mình hồi đó học ko giỏi lắm nên quên hết, cho nên bây giờ càng viết càng thấy nó mới và lạ . Hãy độ lượng với kẻ quên toán lớp 2 này, và nhiệt tình thảo luận ở phần comment cuối bài nếu phát hiện ra mình nói nhăng nói cuội gì trong bài nhé .

Phương pháp tính

Giả sử ta muốn nhân hai số A = 2561 và B = 3123.

Mình tạm kết luận là không có ai quên cách nhân chia đã học từ hồi lớp 2, vậy thì chúng ta sẽ tiếp tục với kết quả là:

$$
\begin{align}
& 2561 \\
\times \ & \underline{3123} \\
& 7683 \\
5&122 \\
25&61 \\
768&3 \\
\overline{799}&\overline{8003}
\end{align}
$$

Với cách tính bằng tay như trên, việc ghi số và "nhớ" số khi nhân một cột, được thực hiện trên nguyên tắc, số ghi vào sẽ là kết quả của phép chia lấy dư n mod 10, số được "nhớ" sẽ là phần nguyên của phép chia n / 10.

Giới hạn cho từng giá trị ở đây không lớn hơn 10, cũng chính là số chữ số có trong hệ cơ số mà chúng ta đang sử dụng (hệ thập phân - decimal).

Bây giờ chúng ta thử chuyển sang dùng hệ cơ số khác, lớn hơn hệ thập phân, mà cụ thể ở đây mình sẽ dùng hệ cơ số 100 (b = 100).

Mỗi số A và B được biểu diễn trong hệ thập phân bằng 4 chữ số (4 words), lần lượt là (2, 5, 6, 1) và (3, 1, 2, 3), còn trong hệ 100 thì được biểu diễn bằng một cặp số (2 words), lần lượt là (25, 61) và (31, 23).

Cách thực hiện phép nhân trên hệ cơ số 100 không khác gì so với hệ thập phân, nhưng lưu ý phần giới hạn của mỗi cột khi thực hiện phép nhân không lớn hơn 100, nên giá trị được ghi vào mỗi cột phải là n mod 100, và phần số được "nhớ" sẽ là phần nguyên của phép chia n / 100.

$$
\begin{align}
& 25 \ 61 \\
\times \ & \underline{31 \ 23} \\
\phantom{0}5 \ & 89 \ 03 \\
\phantom{0}7 \ 93 \ & 91 \\
\overline{7\ 99\ }& \overline{80 \ 03}
\end{align}
$$

Có thể thấy, trên hệ thập phân, chúng ta cần tới 16 phép nhân trước khi tìm ra được kết quả, còn với hệ 100, chỉ cần 4 phép nhân .

Trên thực tế, nếu lựa chọn hệ cơ số càng lớn, thì tổng số phép nhân cần dùng càng ít. Tuy nhiên khi implement, bạn cũng cần phải cân nhắc đến yếu tố giới hạn của kiểu dữ liệu mà mình đang sử dụng nữa.

Chọn hệ cơ số

Vậy câu hỏi đặt ra là nên chọn hệ cơ số bao nhiêu để vừa tăng được tốc độ tính toán, vừa không vượt quá phạm vi cho phép của các kiểu dữ liệu?

Lưu ý là dù ta chuyển hệ cơ số của các số cần nhân, phép nhân giữa các chữ số (words) mà chúng ta thực hiện trong mỗi bước tính toán vẫn là phép nhân hai số trong hệ thập phân.

Một số $( a_{n} \cdots a_0 )$ có n chữ số sẽ được biểu diễn trong hệ thập phân dưới dạng:

$$
( a_n \cdots a_0 ) = a_n \times 10^n + \cdots + a_0 \times 10^0
$$

Nếu ta nhân hai số có n chữ số, thì ta có:

$$
\begin{align}
( a_n \cdots a_0 ) \times ( b_n \cdots b_0 ) & = ( a_n \times 10^n + \cdots + a_0 \times 10^0 ) \times ( b_n \times 10^n + \cdots + b_0 \times 10^0 ) \\
& = a_n \times b_n \times 10^{2n} + \cdots + a_0 \times b_0 \times 10^0
\end{align}
$$

Như vậy kết quả của phép nhân sẽ là một số có ít nhất 2n chữ số, hay nói cách khác, nếu hai words có kích thước n chữ số trong hệ cơ số $10^n$ nhân với nhau, thi khả năng nó sẽ tạo thành một word mới có kích thước gấp đôi kích thước của mỗi word ban đầu.

Và trên máy tính, việc thay đổi kích thước word này quyết định việc chúng ta phải chọn kiểu dữ liệu nào cho các word.

Vậy thì khi lựa chọn hệ cơ số thích hợp cho phép nhân, ta cân nhắc các yếu tố sau:

1. Hệ cơ số càng lớn thì số phép tính cần dùng sẽ càng ít, tính toán sẽ nhanh hơn
2. Việc chuyển đổi từ hệ cơ số này về hệ thập phân phải ít phức tạp nhất có thể
3. Kết quả của phép nhân hai số trên hệ cơ số này phải đảm bảo nằm trong phạm vi xử lý của máy tính.

Trong số các kiểu dữ liệu mà chúng ta có thể dùng trong việc tính toán số nguyên, thì có hai kiểu khả dụng trong trường hợp này là Int 32-bit và Int 64-bit . Và tất nhiên ta sẽ chọn 64-bit cho kết quả tính toán.

Kiểu số nguyên 64-bit có giá trị lớn nhất là 9,223,372,036,854,775,807, tức là nằm trong phạm vi $10^{18} \leq \texttt{MAX_I64} \leq 10^{19}$, như vậy con số 2n của chúng ta sẽ là 18, vậy hệ cơ số lớn nhất mà chúng ta có thể chọn ở đây là $b = 10^9$.

Thuật toán và Implementation

Thuật toán chuyển đổi một giá trị từ hệ thập phân sang một hệ cơ số $10^n$ có thể được mô tả như sau:

Implement bằng Rust:

fn base_conv(a: &str, n: usize) -> Vec<u64> { let mut result = vec![]; let mut s = a.to_owned(); let mut len = s.len(); while len > 0 { let mut pos = 0; if n <= len { pos = len - n; } let n = s[pos..].to_string().parse::<u64>().unwrap(); result.push(n); s = s[..pos].to_string(); len = s.len(); } return result;
}

Đối với thuật toán trên, các thành phần của một số sau khi chuyển đổi sẽ có thứ tự ngược so với số đầu vào, chúng ta không cần thay đổi gì vì trước sau gì chúng ta cũng sẽ thực hiện phép nhân theo thứ tự như vậy luôn.

1234 -> [34, 21]

Thuật toán nhân hai số sau khi chuyển đổi hệ cơ số được mô tả như sau:

Implementation:

fn multiply_base(a: Vec<u64>, b: Vec<u64>, n: u32) -> Vec<u64> { let mut result = vec![]; result.resize(a.len() + b.len(), 0u64); let mut bot = 0; let mut up = 0; let mut flag = 0u64; let base = 10u64.pow(n); for i in 0..b.len() { for j in 0..a.len() { let mut t = (a[j] * b[i]) as u64 + flag + result[up]; flag = 0; if t >= base { flag = t / base; t = t % base; } result[up] = t; if j >= a.len()-1 { result[up+1] = flag; flag = 0; } up += 1; } bot += 1; up = bot; } result
}

Và cuối cùng là chuyển đổi kết quả về dạng số được biểu diễn trong hệ thập phân. Không có gì đáng nói trong hàm này ngoại trừ trong một số trường hợp, mảng kết quả sẽ có dạng [2, 13] nhưng thực chất lại biểu diễn giá trị 1302, số 0 ở đầu đương nhiên bị bỏ đi, ta xử lý các trường hợp này bằng cách chèn thêm các số 0 này cho đủ.

fn convert_back(num: Vec<u64>, base: usize) -> String { let mut result = String::new(); let filtered: Vec<u64> = num.into_iter().filter(|x| *x > 0u64).collect(); for i in 0..filtered.len() { let n = filtered[i]; if n != 0 { if i >= filtered.len()-1 { result = format!("{}{}", n, result); } else { result = format!("{}{}", format!("{num:>0width$}", num=n, width=base), result); } } } result
}

Đến đây thì chúng ta đã hoàn thành rồi. Bạn có thể tham khảo chương trình đầy đủ viết bằng Rust tại đây hoặc chạy trực tiếp tại đây.

Chúng ta có thể thử thực hiện phép nhân hai số bự bự kiểu như:

$$
29123841234812351239412 \times 3496123842341123491234123
$$

Kết quả sẽ là:

$$
101820555721585007964354044327028370336516855676
$$

Ở trên chúng ta thực hiện phép nhân một số dài 23 chữ số với một số dài 25 chữ số, tất nhiên là đều vượt ra khỏi phạm vi tính toán trực tiếp của kiểu số nguyên lớn nhất mà các CPU thông thường có thể xử lý được (64-bit). Nếu chúng ta dùng phương pháp nhân từng chữ số giống với cách tính toán trên giấy, chúng ta sẽ cần 23 * 25 = 575 phép nhân trước khi ra được kết quả.

Bằng kĩ thuật chuyển đổi hệ cơ số, mà cụ thể là cơ số $10^9$, chúng ta đã tách hai số đầu vào thành 2 bộ số chỉ gồm 3 words cho mỗi bộ:

$$
(29123, 841234812, 351239412) \times (3496123, 842341123, 491234123)
$$

Và chỉ cần dùng 3 * 3 = 9 phép nhân để có được kết quả. Độ phức tạp của thuật toán giảm đi (xấp xỉ) 64 lần. Một sự tối ưu không hề nhẹ.

Tối ưu hóa các phép tính là một đề tài khá là thú vị, thậm chí đến bây giờ, việc tìm ra thuật toán nhanh nhất để nhân hai số vẫn còn là một câu hỏi chưa có lời giải đáp của ngành khoa học máy tính . Nếu quan tâm tới chủ đề này, Wikipedia có lẽ là điểm bắt đầu để các bạn có thể tìm hiểu thêm về các thuật toán nhân hiện có .

Riêng cá nhân mình giờ chỉ có một sự quan tâm duy nhất: đến bao giờ thi tài khoản Coinbase, Poloniex và ngân hàng của mình mới có cơ hội để xử lý với những con số lớn đến như thế?

Lời cuối, xin chân thành cảm ơn các anh @linxGnu, @unrealhoang cùng nhiều anh em khác trong nhóm ruby-vietnam/algorithms đã tích cực khai sáng, thảo luận và hỗ trợ mình hoàn thành bài viết này.

Notes