¶ Thuật toán Manacher
Người viết: Phạm Hoàng Hiệp - University of Georgia
Review bởi:
- Nguyễn Minh Hiển - Trường Đại học Công nghệ, ĐHQGHN
- Nguyễn Minh Nhật - Trường THPT chuyên Khoa học Tự nhiên, ĐHQGHN
- Ngô Nhật Quang - The University of Texas at Dallas
¶ Giới thiệu
¶ Bài toán
Cho xâu có độ dài . Hãy tìm tất cả các xâu con đối xứng (palindrome) trong xâu .
Thuật toán Manacher sẽ xử lý bài toán trên với độ phức tạp thời gian .
¶ Một số khái niệm và ký hiệu trong bài
- Xâu đối xứng (palindrome) là xâu mà khi đọc ngược lại thì vẫn là chính nó, ví dụ như , ,
- Điểm chính giữa của xâu đối xứng là vị trí mà khi lật ngược xâu đối xứng đó thì vị trí của điểm đó trong xâu đó không thay đổi.
- Trong xâu đối xứng có độ dài lẻ, điểm chính giữa là một chữ cái trong xâu. Ví dụ xâu có điểm chính giữa là chữ
- Trong xâu đối xứng có độ dài chẵn, điểm chính giữa là khoảng trống (vị trí giữa của hai chữ cái liên tiếp). Ví dụ xâu có điểm chính giữa là khoảng trống giữa hai chữ
- Nếu điểm chính giữa của xâu nào đó là , ta có thể nói xâu đối xứng qua
- là chữ cái thứ của xâu . là xâu con từ vị trí thứ đến của , bao gồm cả và
¶ Thuật toán ngây thơ
¶ Sai lầm thường gặp
Lưu ý, vì có thể có xâu con đối xứng trong một xâu nên có thể dễ dàng lầm tưởng rằng không thể tạo ra thuật toán có độ phức tạp tốt hơn cho bài toán này. Tuy nhiên, với một xâu đối xứng, chúng ta có các xâu con ở phía trong cũng là đối xứng.
Cụ thể, giả sử xâu con là một xâu đối xứng. Nếu thì ta có cũng là một xâu đối xứng. Ví dụ, xâu đối xứng thì có thể dễ dàng thấy được rằng các xâu , hay đều đối xứng.
Như vậy, với mỗi điểm chính giữa của một xâu con đối xứng , chúng ta có thể lưu lại độ dài dài nhất sao cho là một xâu đối xứng.
Điểm chính giữa là điểm mà khi đảo ngược trật tự của xâu thì vị trí của điểm này trong xâu không thay đổi. Điểm chính giữa này có thể là một chữ cái hoặc một khoảng trống, tương ứng với xâu đối xứng có độ dài lẻ hoặc chẵn.
¶ Thuật toán ngây thơ
Như vậy, từ quan sát trên, chúng ta có thể ngay lập tức đưa ra thuật toán có độ phức tạp . Xét tất cả các vị trí trong xâu (một chữ cái hoặc một khoảng trống), và chạy về hai phía đến khi nào xâu không còn đối xứng nữa.
Cũng như rất nhiều thuật toán liên quan đến xâu khác như Z hay KMP, khi xử lý ở từng vị trí trên xâu, kết quả ở những vị trí trước cho ta rất nhiều dữ liệu để xử lý ở vị trí tiếp theo. Trong bài toán này, chúng ta có thể tận dụng dữ kiện xâu đối xứng như hình vẽ dưới đây.
Giả sử chúng ta có một xâu đối xứng qua kéo từ đến như hình vẽ trên. Để tính (đã biết hết các giá trị trước đó), chúng ta có thể dựa vào .
Do và đối xứng qua nên có thể tận dụng kết quả đã tính với vị trí để tính toán một cách tiết kiệm hơn. Trên đây là ý tưởng chính của thuật toán Manacher. Tiếp theo chúng ta sẽ đi vào chi tiết về thuật toán cũng như cách cài đặt.
¶ Code mẫu
#include<bits/stdc++.h>
using namespace std;
const int MaxN = 5e3 + 5;
int D_odd[MaxN];
int D_even[MaxN];
string S;
int N;
void Calc_D_odd() {
for(int i = 1 ; i <= N ; i++) {
D_odd[i] = 0;
while(i - D_odd[i] - 1 > 0 && i + D_odd[i] + 1 <= N && S[i - D_odd[i] - 1] == S[i + D_odd[i] + 1]) {
D_odd[i]++;
}
}
}
void Calc_D_even() {
int L = 1;
int R = 0;
for(int i = 1 ; i < N ; i++) {
int j = i + 1;
D_even[i] = 0;
while(i - D_even[i] > 0 && j + D_even[i] <= N && S[i - D_even[i]] == S[j + D_even[i]]) {
D_even[i]++;
}
}
}
signed main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
cin >> S;
N = S.length();
S = ' ' + S; // for 1-base
Calc_D_odd();
Calc_D_even();
for(int i = 1 ; i < N ; i++) {
cout << D_odd[i] * 2 + 1 << ' ' << D_even[i] * 2 << ' ';
}
cout << D_odd[N] * 2 + 1;
}
¶ Thuật toán Manacher
¶ Tìm các xâu đối xứng có độ dài lẻ
Do xâu đối xứng độ dài lẻ có điểm chính giữa là một chữ cái, việc xử lý và tính toán sẽ dễ dàng hơn so với trường hợp xâu đối xứng có độ dài chẵn (điểm chính giữa là khoảng trống giữa hai chữ cái). Vì vậy, chúng ta sẽ giải quyết trường hợp này trước.
Chúng ta sẽ tính giá trị với tất cả các vị trí chứa các ký tự trong xâu (tìm các xâu đối xứng có độ dài lẻ) theo thứ tự lần lượt từ đầu đến cuối xâu với các bước như sau. Chúng ta sẽ đánh số các ký tự của xâu bắt đầu từ .
- Đặt và (chưa có xâu con đối xứng nào)
- Duy trì giá trị và thỏa mãn xâu con từ đến là xâu đối xứng với lớn nhất đã được tìm thấy. Chúng ta luôn có ( nằm ở phía bên phải của xâu đối xứng)
- Tại điểm ,
- nếu , thì chạy trâu để tìm như trong thuật toán có độ phức tạp
- nếu , ta lấy giá trị (điểm đối xứng với qua ). Tại đây, trong phần lớn trường hợp, chúng ta có thể gán luôn . Tuy vậy, vẫn có trường hợp đặc biệt sau đây cần lưu ý (Xem hình vẽ dưới)
- Nếu xâu đối xứng dài nhất ở vị trí không kéo dài đến , thì xâu đối xứng dài nhất tương ứng qua ở vị trí cũng không kéo dài đến .
- Từ đó ta có thể khẳng định, nếu tiếp tục mở rộng ra thì phạm vi của hai xâu này vẫn nằm trong xâu đối xứng to kéo từ đến .
- Do vậy, khi tiếp tục mở rộng về hai phía thì xâu con được mở rộng ở vị trí vẫn sẽ giống với và không còn đối xứng nữa.
- Tuy nhiên, nếu xâu đối xứng dài nhất ở kéo dài quá , chúng ta chỉ có thể tạm thời xét do không thể đảm bảo các chữ ở phía ngoài giống nhau.
- Tại thời điểm này, chúng ta chạy trâu tiếp từ vị trí để tìm được .
- Cập nhật lại và nếu cần thiết.
¶ Tìm các xâu đối xứng có độ dài chẵn
Hoàn toàn tương tự với việc tìm xâu có độ dài lẻ, chúng ta xét các khoảng ở giữa hai ký tự (có thể coi khoảng này là một ký tự). Tuy nhiên, chi tiết cài đặt cần cẩn thận để có được kết quả chính xác.
Để tránh phải xử lý cẩn thận trong trường hợp xâu đối xứng độ dài chẵn, bạn đọc có thể cân nhắc sử dụng cách làm như sau.
Thêm các ký tự đặc biệt giữa hai ký tự liên tiếp trong xâu, khi đó các xâu đối xứng độ dài chẵn sẽ là các xâu đối xứng độ dài lẻ với điểm chính giữa là một ký tự đặc biệt. Các xâu đối xứng độ dài lẻ vẫn là các xâu đối xứng độ dài lẻ với điểm chính giữa là các chữ cái ban đầu trong xâu.
Ký tự đặc biệt được thêm cần phải giống nhau (để đảm bảo tính đối xứng) và khác với tất cả các ký tự được dùng trong xâu. Ví dụ, có thể chuyển thành
¶ Độ phức tạp
Ở mỗi lần tính , nếu thì chúng ta chỉ mất . Tuy nhiên, nếu thì chúng ta sẽ đặt lại giá trị của thành . Do không giảm và nên tổng độ phức tạp không vượt quá .
¶ Cài đặt
Dưới đây là code mẫu của thuật toán Manacher cho bài toán được nêu trong phần Giới thiệu. Các bạn có thể tự cài đặt và nộp ở link sau: Library checker - Enumerate Palindromes
¶ Code mẫu
#include<bits/stdc++.h>
using namespace std;
const int MaxN = 5e5 + 5;
int D_odd[MaxN];
int D_even[MaxN];
string S;
int N;
void Calc_D_odd() {
int L = 1;
int R = 0;
for(int i = 1 ; i <= N ; i++) {
if(i > R) D_odd[i] = 0;
else D_odd[i] = min(R - i, D_odd[L + (R - i)]);
while(i - D_odd[i] - 1 > 0 && i + D_odd[i] + 1 <= N && S[i - D_odd[i] - 1] == S[i + D_odd[i] + 1]) {
D_odd[i]++;
}
if(i + D_odd[i] > R) {
R = i + D_odd[i];
L = i - D_odd[i];
}
}
}
void Calc_D_even() {
int L = 1;
int R = 0;
for(int i = 1 ; i < N ; i++) {
int j = i + 1;
if(j > R) D_even[i] = 0;
else D_even[i] = min(R - j + 1, D_even[L + (R - j)]);
while(i - D_even[i] > 0 && j + D_even[i] <= N && S[i - D_even[i]] == S[j + D_even[i]]) {
D_even[i]++;
}
if(i + D_even[i] > R) {
R = i + D_even[i];
L = j - D_even[i];
}
}
}
signed main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
cin >> S;
N = S.length();
S = ' ' + S; // for 1-base
Calc_D_odd();
Calc_D_even();
for(int i = 1 ; i < N ; i++) {
cout << D_odd[i] * 2 + 1 << ' ' << D_even[i] * 2 << ' ';
}
cout << D_odd[N] * 2 + 1;
}
¶ Ví dụ
¶ Tóm tắt đề bài
Cho hai số nguyên dương và một ma trận kích thước gồm các chữ cái thường trong bảng chữ cái tiếng Anh.
Một ma trận con là ma trận gồm các phần tử của ma trận ban đầu sao cho và .
Một ma trận con được định nghĩa là đẹp nếu có cách để thay đổi thứ tự các chữ cái trên các hàng (không thay đổi thứ tự trên các cột) sao cho tất cả các hàng và cột của ma trận đều con đó đều là xâu đối xứng.
Xác định số ma trận con đẹp trong ma trận đã cho.
¶ Gợi ý
- Từ điều kiện đề bài, thử tìm cách sắp xếp một ma trận con và xác định điều kiện để tạo ra xâu đối xứng trên hàng và cột.
- Do các chữ cái trên một hàng chỉ thay đổi thứ tự, khi nào thì hai hàng được coi là "bằng nhau"?
¶ Lời giải
- Trước hết, chúng ta có nhận xét rằng để ma trận con thỏa mãn điều kiện thì các hàng phải sắp xếp lại được thành xâu đối xứng (có hoặc chữ cái có số lần xuất hiện lẻ).
- Để cả ma trận con đối xứng thì hai hàng đối xứng qua điểm đối xứng phải có số lần xuất hiện bằng nhau với tất cả các chữ cái.
- Như vậy, khi đã có cách so sánh hai hàng "bằng nhau", chúng ta sẽ có thể đếm số ma trận con thỏa mãn bằng cách cố định hai cột bất kỳ và đếm số xâu đối xứng.
- Khi đó, chúng ta có thể sử dụng thuật toán Manacher trên các hàng.
- Lưu ý, cần đảm bảo các điều kiện về hàng có thể đối xứng.
- Như vậy độ phức tạp là , trong đó là số cặp cột, cho thuật toán Manacher và để so sánh giữa 2 hàng (26 là kích thước bảng chữ cái).
¶ Code mẫu
#include<bits/stdc++.h>
using namespace std;
const int MaxN = 255;
int Cnt[MaxN][26];
int Cnt_Odd[MaxN];
int D_odd[MaxN];
int D_even[MaxN];
char c[MaxN][MaxN];
bool Ok[MaxN];
int N,M;
int Ans = 0;
bool Equal(int Row1, int Row2) {
if(!Ok[Row1]) return false;
if(!Ok[Row2]) return false;
for(int j = 0 ; j < 26 ; j++) {
if(Cnt[Row1][j] != Cnt[Row2][j]) return false;
}
return true;
}
void Calc_D_odd() {
int L = 1;
int R = 0;
for(int i = 1 ; i <= N ; i++) {
if(i > R) D_odd[i] = 0;
else D_odd[i] = min(R - i, D_odd[L + (R - i)]);
if (Ok[i]) while(i - D_odd[i] - 1 > 0 && i + D_odd[i] + 1 <= N && Equal(i - D_odd[i] - 1, i + D_odd[i] + 1)) {
D_odd[i]++;
}
Ans += (D_odd[i] + Ok[i]);
if(i + D_odd[i] > R) {
R = i + D_odd[i];
L = i - D_odd[i];
}
}
}
void Calc_D_even() {
// D_even[i] is the value for the space between i and i + 1
int L = 1;
int R = 0;
for(int i = 1 ; i < N ; i++) {
int j = i + 1;
if(j > R) D_even[i] = 0;
else D_even[i] = min(R - j + 1, D_even[L + (R - j)]);
while(i - D_even[i] > 0 && j + D_even[i] <= N && Equal(i - D_even[i], j + D_even[i])) {
D_even[i]++;
}
Ans += D_even[i];
if(i + D_even[i] > R) {
R = i + D_even[i];
L = j - D_even[i];
}
}
}
signed main() {
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
cin >> N >> M;
for(int i = 1 ; i <= N ; i++) {
cin >> c[i] + 1;
}
for(int c1 = 1 ; c1 <= M ; c1++) {
for(int c2 = c1 ; c2 <= M ; c2++) {
bool ok = true;
for(int i = 1 ; i <= N ; i++) {
int t = c[i][c2] - 'a';
Cnt[i][t]++;
if(Cnt[i][t] & 1) Cnt_Odd[i]++;
else Cnt_Odd[i]--;
if(Cnt_Odd[i] > ((c2 - c1 + 1) & 1)) Ok[i] = false;
else Ok[i] = true;
}
Calc_D_odd();
Calc_D_even();
}
for(int i = 1 ; i <= N ; i++) {
for(int j = 0 ; j < 26 ; j++) {
Cnt[i][j] = 0;
}
Cnt_Odd[i] = 0;
}
}
cout << Ans;
}
¶ Nhận xét về thuật toán
- Thuật toán Manacher là thuật toán có ý tưởng khá đơn giản: tận dụng các dữ liệu có sẵn để giảm độ phức tạp khi tính toán trên xâu.
- Chúng ta đã từng gặp ý tưởng tương tự khi tính toán Z-function hay prefix function.
- Thuật toán Manacher có thể được sử dụng trong hơi ít các bài toán. Tuy nhiên, thuật toán có ý tưởng tự nhiên và dễ cài đặt nên có thể có ích khi thi đấu.
