Tuyển sinh 🎓 Mình nhận đào tạo lập trình giải thuật thi đấu: thi vào lớp 10 chuyên tin · thi học sinh giỏi tin học cấp tỉnh/thành · thi vào đội tuyển quốc gia · Olympic tin học sinh viên / ICPC · phỏng vấn thuật toán. Bấm vào đây để xem thông tin khóa học → Xem khóa học

Số Nguyên Tố Hoàn Hảo

Số Nguyên Tố Hoàn Hảo
Nguồn: Codeforces Group Độ khó: Trung bình Số nguyên tố Số đối xứng Hàng đợi

Đề bài

Tèo là một học sinh yêu thích số học, đặc biệt là với các số nguyên tố. Tèo phát hiện ra các số nguyên tố đặc biệt mà Tèo gọi là các “số nguyên tố hoàn hảo”. Theo định nghĩa của Tèo, $n$ là “số nguyên tố hoàn hảo” khi thỏa đồng thời các điều kiện sau:

  • $n$ là số nguyên tố;
  • $n$ là số đối xứng, nghĩa là khi đảo ngược các chữ số của $n$ ta được một số cũng chính là số $n$;
  • $n$ có các chữ số đều là số nguyên tố.

Ví dụ: số $353$ là “số nguyên tố hoàn hảo” có 3 chữ số vì $353$ là số nguyên tố, $353$ là số đối xứng và cả ba chữ số $3, 5, 3$ của nó đều là số nguyên tố.

Yêu cầu: Hãy giúp Tèo tìm tất cả các “số nguyên tố hoàn hảo” có $n$ chữ số.

Input: Ghi một số nguyên dương $n$ $(1 \le n \le 12)$.

Output: Một dòng duy nhất ghi số lượng các “số nguyên tố hoàn hảo” tìm được.

Ví dụ – input
1
Ví dụ – output
4

Giải thích: Các “số nguyên tố hoàn hảo” có một chữ số là: $2, 3, 5, 7$.

Lời mở đầu

Bài này mình được một bạn học viên hỏi nên sẵn tiện mình viết bài giải chi tiết để nhiều bạn được tham khảo luôn. Hy vọng mang đến được giá trị cho các bạn 😇.

Dành cho học viên · Ưu tiênNộp bài trên hệ thống CLUE OJ

Link này chỉ học viên đã tham gia tổ chức mới vào được. Học viên nên ưu tiên nộp ở đây vì sẽ được chấm nhanh hơn.

Nộp bài trên CLUE OJ
Dành cho tất cả mọi ngườiNộp bài trên Codeforces

Bạn nào muốn thử nộp bài để hệ thống chấm xem có đúng hay không thì dùng link này nhé. Chưa có tài khoản thì tạo tài khoản rồi đăng nhập nộp bài thử hen.

Nộp bài trên Codeforces

Lộ trình lời giải, bấm vào từng phần để nhảy tới:

Vét cạnXét hết tất cả các số có N chữ số

Cách cơ bản nhất đó là vét cạn xét hết tất cả mọi trường hợp có thể có, nghĩa là xét hết tất cả các số có $N$ chữ số, rồi với mỗi số trong đó ta đi kiểm tra xem nó có thoả là số nguyên tố hoàn hảo không? Nếu số nào thoả thì tăng biến đếm lên. Sau cùng ta có biến đếm chính là kết quả bài toán.

Dễ dàng thấy cách này sẽ không ổn: chưa xét đến độ phức tạp của việc kiểm tra từng số, chỉ riêng việc đi qua tất cả các số đó thôi đã rất lớn rồi. Với số có $N$ chữ số thì ta phải xét phạm vi từ $10^{N-1}$ đến $10^N - 1$.

  • Nếu $N \le 8$ thì còn có thể chạy được (cỡ $9 \cdot 10^7$ số là cùng).
  • Nhưng từ $N = 9$ trở đi thì miền giá trị rất lớn. Ví dụ $N = 9$ thì phải xét từ $10^8$ (100 triệu) đến $10^9 - 1$ (999 triệu 999 ngàn 999), tức là $10^9 - 10^8 = 900$ triệu số. Trong khi ngưỡng giới hạn 1 giây thì vòng lặp chỉ chạy tối đa cỡ $(3 \text{ đến } 5) \cdot 10^7$, cao lắm là $10^8$ thôi là quá mức rồi. 900 triệu là vượt ngưỡng gấp cả 9 lần!
  • Mới $N = 9$ đã vậy, với $N = 10, 11, 12$ thì còn khủng khiếp cỡ nào nữa.

Nên cách làm này cùng lắm nếu bạn nào không nhìn ra được cách làm tối ưu thì buộc làm cách này để vét được điểm nào hay điểm đó thôi. Source code cho cách làm vét cạn để các bạn tham khảo thấy rõ những gì mình phân tích:

#include <bits/stdc++.h>
using namespace std;

bool isPrime(long long x){
    for(long long i = 2; i * i <= x; ++i){
        if(x % i == 0){
            return false;
        }
    }
    return x >= 2;
}

bool isPalind(long long x){
    long long rever = 0;
    long long temp = x;
    while(temp){
        rever = rever * 10 + temp % 10;
        temp /= 10;
    }
    return rever == x;
}

bool isPerfectPrime(long long x){
    if(!isPalind(x) || !isPrime(x)){
        return false;
    }
    while(x){
        if(!isPrime(x % 10)){
            return false;
        }
        x /= 10;
    }
    return true;
}

int main(){
    int n;
    cin >> n;
    long long start = (long long)pow(10.0, n - 1);
    long long finish = (long long)pow(10.0, n) - 1;
    long long cnt = 0;
    for(long long i = start; i <= finish; ++i){
        if(isPerfectPrime(i)){
            cnt++;
        }
    }
    cout << cnt;
    return 0;
}
def is_prime(x):
    i = 2
    while i * i <= x:
        if x % i == 0:
            return False
        i += 1
    return x >= 2


def is_palind(x):
    return str(x) == str(x)[::-1]


def is_perfect_prime(x):
    if not is_palind(x) or not is_prime(x):
        return False
    return all(is_prime(int(c)) for c in str(x))


n = int(input())
start = 10 ** (n - 1)
finish = 10 ** n - 1
cnt = 0
for i in range(start, finish + 1):
    if is_perfect_prime(i):
        cnt += 1
print(cnt)
C++▶ Chạy tay từng dòng codeVét cạn: xét mọi số từ 10^(n−1) đến 10^n − 1, kiểm tra đối xứng, nguyên tố, từng chữ số.
Dữ liệu mẫu:
1#include <bits/stdc++.h>
2using namespace std;
3
4bool isPrime(long long x){
5 for(long long i = 2; i * i <= x; ++i){
6 if(x % i == 0){
7 return false;
8 }
9 }
10 return x >= 2;
11}
12
13bool isPalind(long long x){
14 long long rever = 0;
15 long long temp = x;
16 while(temp){
17 rever = rever * 10 + temp % 10;
18 temp /= 10;
19 }
20 return rever == x;
21}
22
23bool isPerfectPrime(long long x){
24 if(!isPalind(x) || !isPrime(x)){
25 return false;
26 }
27 while(x){
28 if(!isPrime(x % 10)){
29 return false;
30 }
31 x /= 10;
32 }
33 return true;
34}
35
36int main(){
37 int n;
38 cin >> n;
39 long long start = (long long)pow(10.0, n - 1);
40 long long finish = (long long)pow(10.0, n) - 1;
41 long long cnt = 0;
42 for(long long i = start; i <= finish; ++i){
43 if(isPerfectPrime(i)){
44 cnt++;
45 }
46 }
47 cout << cnt;
48 return 0;
49}

Trong code có 3 hàm nhỏ:

  • isPrime(x): thử chia $x$ cho các số $i$ từ 2 trong khi $i \cdot i \le x$; chia hết thì $x$ không nguyên tố. Cuối cùng phải có $x \ge 2$ (vì 0 và 1 không là số nguyên tố).
  • isPalind(x): dựng số đảo ngược rever bằng cách liên tục lấy chữ số cuối temp % 10 gắn vào sau rever, rồi so rever == x.
  • isPerfectPrime(x): phải đối xứng, phải nguyên tố, rồi tách từng chữ số x % 10 kiểm tra cũng phải nguyên tố.
Không gian$O(1)$
Thời gian$O((10^N - 10^{N-1}) \cdot X)$

Với $X$ là độ phức tạp của bước kiểm tra một số có phải số nguyên tố hoàn hảo không. Như đã phân tích thì cách này chắc chắn sẽ bị TLE với $N$ lớn. Tuy nhiên hãy vẫn nên cài đặt nó để sau này ta lấy nó làm công cụ kiểm tra tính chính xác cho cách làm tối ưu nhé.

Nhận xétChỉ có 4 chữ số được dùng: 2, 3, 5, 7

Giờ ta sẽ nói về cách làm tốt hơn. Trong các yếu tố để là số nguyên tố hoàn hảo thì có 2 yếu tố rất mạnh: chỉ bao gồm các chữ số là số nguyên tố và là số đối xứng. Chính 2 yếu tố này kết hợp lại sẽ giúp ta giảm thiểu được rất nhiều số phải xét không cần thiết, số lượng các số còn phải xét lúc này sẽ không bao nhiêu cả. Lúc này ta chỉ cần đi kiểm tra tính nguyên tố với những số đó thôi, rồi số nào thoả thì tăng biến đếm lên.

Tại sao lại ít? Vì trong các chữ số từ 0 đến 9 chỉ có đúng 4 chữ số 2, 3, 5, 7 là các chữ số nguyên tố. Từ 4 chữ số này ta dựng lên các số đối xứng có độ dài $N$:

  • $N = 1$: $2, 3, 5, 7$ → tổng cộng có 4 số.
  • $N = 2$: $22, 33, 55, 77$ → tổng cộng có 4 số.
  • $N = 3$: gồm tất cả các trường hợp của $N = 1$, mỗi trường hợp được kẹp giữa bởi 2 đầu là lần lượt các chữ số 2, 3, 5, 7: $222, 232,$ $252,$ $272,$ $323,$ $333,$ $353,$ $373,$ $525,$ $535,$ $555,$ $575,$ $727,$ $737,$ $757,$ $777$ → tổng cộng có 16 số.
  • $N = 4$: tương tự lấy các trường hợp của $N = 2$ kẹp giữa: $2222,$ $2332,$ $2552,$ $2772,$ $3223,$ $3333,$ $3553,$ $3773,$ $5225,$ $5335,$ $5555,$ $5775,$ $7227,$ $7337,$ $7557,$ $7777$ → 16 số.
  • $N = 5$: lấy các trường hợp của $N = 3$ kẹp giữa: $22222,$ $22322,$ $22522,$ $22722,$ $32223,$ $32323,$ $\dots$
Quy luật tổng quát
Với $N \ge 3$ (riêng $N = 1, 2$ ta chủ động để sẵn), các số cần xét gồm tất cả các trường hợp của $N - 2$, mỗi trường hợp lần lượt được kẹp giữa bởi 2 đầu là các chữ số 2, 3, 5, 7. Số lượng: $N = 1, 2$ có 4 số; với $N \ge 3$ thì có $4 \times$ (số lượng của trường hợp $N - 2$).
Lấy s = "353" (độ dài 3) từ đầu hàng đợi353Đẩy 4 số mới (độ dài 5) vào cuối hàng đợi:23532335335353573537

Như vậy nếu $N$ chẵn, giả sử $N = 10$, thì ta phải tính ra trường hợp $N = 2$, từ đó tính ra $N = 4$, $N = 6$, $N = 8$ rồi mới tới $N = 10$. Tương tự nếu $N$ lẻ, giả sử $N = 9$, thì đi từ $N = 1 \to 3 \to 5 \to 7 \to 9$. Bảng dưới so sánh số lượng phải xét của 2 cách:

NVét cạn xétHàng đợi xétĐáp án
1944
29040
3900164
49.000160
59·1046411
69·105640
79·10625618
89·1072560
99·108102477
109·10910240
119·10104096218
129·101140960

Trường hợp $N$ lớn nhất là 12 thì cả thảy chỉ có 4096 số cần xét, trong khi vét cạn phải xét $10^{12} - 10^{11} = 9 \cdot 10^{11}$, tức là 900 tỷ số. Các bạn đã thấy nó được rút ngắn lại kinh khủng chưa?

Mình bổ sung thêm một nhận xét thú vị: cột đáp án cho thấy với mọi $N$ chẵn thì đáp án đều bằng 0. Lý do là mọi số đối xứng có số chữ số chẵn đều chia hết cho 11 (tổng các chữ số ở vị trí lẻ bằng tổng các chữ số ở vị trí chẵn, ví dụ $2332 = 11 \times 212$). Số duy nhất như vậy là số nguyên tố chính là 11, mà 11 lại chứa chữ số 1 không nguyên tố. Vì vậy $N$ chẵn thì không có số nguyên tố hoàn hảo nào.

100%Sinh số bằng hàng đợi (khử đệ quy)

Vấn đề giờ chỉ là làm sao tạo ra đủ các số có độ dài $N$ chỉ gồm các chữ số 2, 3, 5, 7 và là số đối xứng. Nếu bạn nào vững kiến thức về đệ quy là có thể xử lý nhanh gọn, nhưng nếu bạn nào không biết hay không vững đệ quy thì ở đây mình sẽ chỉ cho các bạn cách xử lý không cần dùng đệ quy để dễ hình dung. Tuy nhiên nó đòi hỏi các bạn phải có kiến thức về cấu trúc dữ liệu hàng đợi (Queue) vì ta sẽ vận dụng nó để khử đệ quy. Bạn nào chưa biết có thể Google tìm hiểu thêm nhé, nó cũng rất đơn giản thôi không có gì phức tạp cả.

  1. Xét $N$ chẵn hay lẻ. Nếu lẻ thì khởi tạo hàng đợi chứa 4 chuỗi "2", "3", "5", "7" và $i = 1$. Nếu chẵn thì khởi tạo hàng đợi chứa "22", "33", "55", "77" và $i = 2$.
  2. Tại sao lại dùng kiểu chuỗi? Bởi chuỗi có thể nhanh chóng ghép được bằng phép toán + hỗ trợ sẵn. Ví dụ có string x = "22" thì để tạo ra "2222" chỉ đơn giản y = "2" + x + "2".
  3. Vòng lặp chạy cho đến khi $i$ bằng $N$, mỗi bước $i$ += 2. Cứ sinh ra các số của trường hợp $i = 1$, rồi từ đó sinh ra các số của trường hợp $i = 3$, rồi $i = 5$…
  4. Mỗi lần lặp: lấy lần lượt từng chuỗi $s$ ở đầu hàng đợi ra và đẩy 4 chuỗi mới vào cuối hàng đợi: "2" + s + "2", "3" + s + "3", "5" + s + "5", "7" + s + "7".
  5. Cần lưu ý: nếu chuỗi $s$ ở đầu hàng đợi có độ dài bằng $N$ thì dừng ngay, vì giờ đây toàn bộ hàng đợi đều đang chứa các số có độ dài $N$ rồi, quy trình tạo số đã hoàn thành.
  6. Cuối cùng lấy từng số trong hàng đợi ra kiểm tra số nguyên tố cho đến khi hàng đợi rỗng, đếm số lượng số nguyên tố, đó chính là số các số nguyên tố hoàn hảo.

Chạy tay thử với N = 3

$N$ lẻ nên khởi tạo $i = 1$ và hàng đợi (từ đầu đến cuối) là: 2 3 5 7. Xét $i = 1$ khác $N = 3$ nên vào vòng lặp:

  • Lấy 2 ra (độ dài 1 khác 3) → sinh 222 323 525 727. Hàng đợi: 3 5 7 222 323 525 727.
  • Lấy 3 ra → sinh 232 333 535 737. Hàng đợi: 5 7 222 323 525 727 232 333 535 737.
  • Lấy 5 ra → sinh 252 353 555 757. Hàng đợi: 7 222 … 737 252 353 555 757.
  • Lấy 7 ra → sinh 272 373 575 777. Hàng đợi giờ chứa đúng 16 số có 3 chữ số.
  • Đầu hàng đợi là 222 có độ dài 3 bằng $N$ → dừng quy trình sinh số.

Lúc này $i$ += 2 thành $i = 3$ bằng $N$ nên kết thúc. Chứ nếu giả sử $N = 5$ chẳng hạn thì ta phải tiếp tục thêm 1 tầng nữa nhé các bạn. Em nhập $N$ rồi bấm Tiếp để xem từng bước sinh số và kiểm tra nguyên tố:

Ví dụ nhanh:

Source code để các bạn tham khảo thấy rõ những gì mình phân tích ở trên:

#include <bits/stdc++.h>
using namespace std;

bool isPrime(long long x){
    for(long long i = 2; i * i <= x; ++i){
        if(x % i == 0){
            return false;
        }
    }
    return x >= 2;
}

int main(){
    int n;
    cin >> n;
    queue<string> q;
    int i;
    if(n % 2 != 0){
        q.push("2");
        q.push("3");
        q.push("5");
        q.push("7");
        i = 1;
    }
    else{
        q.push("22");
        q.push("33");
        q.push("55");
        q.push("77");
        i = 2;
    }
    while(i != n){
        while(!q.empty()){
            string s = q.front();
            if(s.length() == n){
                break;
            }
            q.pop();
            q.push("2" + s + "2");
            q.push("3" + s + "3");
            q.push("5" + s + "5");
            q.push("7" + s + "7");
        }
        i += 2;
    }
    int cnt = 0;
    while(!q.empty()){
        if(isPrime(stoll(q.front()))){
            cnt++;
        }
        q.pop();
    }
    cout << cnt;
    return 0;
}
from collections import deque


def is_prime(x):
    # Miller-Rabin tất định: với x < 3.4 * 10^12 chỉ cần thử 6 cơ số này
    if x < 2:
        return False
    for p in (2, 3, 5, 7, 11, 13):
        if x % p == 0:
            return x == p
    d, s = x - 1, 0
    while d % 2 == 0:
        d //= 2
        s += 1
    for a in (2, 3, 5, 7, 11, 13):
        y = pow(a, d, x)
        if y == 1 or y == x - 1:
            continue
        for _ in range(s - 1):
            y = y * y % x
            if y == x - 1:
                break
        else:
            return False
    return True


n = int(input())
if n % 2 != 0:
    q = deque(["2", "3", "5", "7"])
    i = 1
else:
    q = deque(["22", "33", "55", "77"])
    i = 2
while i != n:
    while q:
        s = q[0]
        if len(s) == n:
            break
        q.popleft()
        for c in "2357":
            q.append(c + s + c)
    i += 2
cnt = 0
while q:
    if is_prime(int(q.popleft())):
        cnt += 1
print(cnt)
C++▶ Chạy tay từng dòng codeSinh các số đối xứng chỉ gồm 2, 3, 5, 7 bằng hàng đợi, rồi kiểm tra nguyên tố từng số.
Dữ liệu mẫu:
1#include <bits/stdc++.h>
2using namespace std;
3
4bool isPrime(long long x){
5 for(long long i = 2; i * i <= x; ++i){
6 if(x % i == 0){
7 return false;
8 }
9 }
10 return x >= 2;
11}
12
13int main(){
14 int n;
15 cin >> n;
16 queue<string> q;
17 int i;
18 if(n % 2 != 0){
19 q.push("2");
20 q.push("3");
21 q.push("5");
22 q.push("7");
23 i = 1;
24 }
25 else{
26 q.push("22");
27 q.push("33");
28 q.push("55");
29 q.push("77");
30 i = 2;
31 }
32 while(i != n){
33 while(!q.empty()){
34 string s = q.front();
35 if(s.length() == n){
36 break;
37 }
38 q.pop();
39 q.push("2" + s + "2");
40 q.push("3" + s + "3");
41 q.push("5" + s + "5");
42 q.push("7" + s + "7");
43 }
44 i += 2;
45 }
46 int cnt = 0;
47 while(!q.empty()){
48 if(isPrime(stoll(q.front()))){
49 cnt++;
50 }
51 q.pop();
52 }
53 cout << cnt;
54 return 0;
55}

Ở code trên do các giá trị trong hàng đợi đang là kiểu chuỗi nên khi gọi vào hàm kiểm tra số nguyên tố thì ta phải đổi chuỗi thành số nhờ hàm stoll (string to long long).

Một chi tiết nhỏ khi chạy tay code: vòng while(!q.empty()) bên trong chỉ dừng khi gặp chuỗi có độ dài đúng bằng $N$, nên ngay ở lượt đầu tiên của vòng while(i != n) nó đã sinh liền một mạch qua tất cả các tầng $1 \to 3 \to 5 \to \dots \to N$. Các lượt sau của vòng ngoài chỉ gặp ngay break và tăng $i$ cho tới khi $i = N$. Ví dụ $N = 5$: lượt đầu của vòng ngoài lấy ra 4 chuỗi độ dài 1 rồi tiếp 16 chuỗi độ dài 3, dừng khi đầu hàng đợi là "22222"; lượt thứ hai ($i = 3$) gặp break ngay; sau đó $i = 5$ thì thoát. Kết quả vẫn hoàn toàn đúng.
Không gian$O(4^X)$
Thời gian$O(4^X \cdot \sqrt{10^N})$

Với $X = \frac{N}{2}$ nếu $N$ chẵn hoặc $X = \frac{N}{2} + 1$ nếu $N$ lẻ (chia nguyên), còn $Y$ là độ phức tạp của bước kiểm tra số nguyên tố với từng số trong tập $4^X$ số, tức là $O(\sqrt{10^N})$ cho mỗi số. Thời gian là $O(4^1 + 4^2 + \dots + 4^X)$ $+ O(4^X \cdot Y)$.

Bản Python mình viết thêm dùng thuật kiểm tra nguyên tố Miller–Rabin (với $x < 3{,}4 \cdot 10^{12}$ chỉ cần thử 6 cơ số 2, 3, 5, 7, 11, 13 là chính xác tuyệt đối), vì nếu thử chia đến $\sqrt{x}$ như bản C++ thì Python mất gần 5 giây với $N = 11$.

MẹoĐặt sẵn đáp án vào mảng – O(1)

Code ở trên nếu chạy thử ta sẽ có kết luận đáp án tương ứng của từng trường hợp $N$ như sau:

N123456
Đáp án4040110
N789101112
Đáp án1807702180

Vậy nên nếu bạn nào sợ code ở trên lỡ chạy mà có quá giới hạn 1 giây vì lý do gì đó (ví dụ máy tính chấm ngay thời điểm đó bị yếu đột xuất chẳng hạn 🤪) thì chúng ta có thể chơi mẹo: khi đã chạy chương trình trên máy tính biết được đáp án của 12 trường hợp $N$ rồi thì đưa trực tiếp nó vào bài làm luôn:

#include <bits/stdc++.h>
using namespace std;

int main(){
    int a[] = {-1, 4, 0, 4, 0, 11, 0, 18, 0, 77, 0, 218, 0};
    int n;
    cin >> n;
    cout << a[n];
    return 0;
}
a = [-1, 4, 0, 4, 0, 11, 0, 18, 0, 77, 0, 218, 0]
n = int(input())
print(a[n])
C++▶ Chạy tay từng dòng codeMẹo: đặt sẵn 12 đáp án vào mảng, in a[n] – O(1).
Dữ liệu mẫu:
1#include <bits/stdc++.h>
2using namespace std;
3
4int main(){
5 int a[] = {-1, 4, 0, 4, 0, 11, 0, 18, 0, 77, 0, 218, 0};
6 int n;
7 cin >> n;
8 cout << a[n];
9 return 0;
10}

Ta tạo mảng 13 phần tử (bỏ không dùng index 0), chỉ dùng các index từ 1 đến 12, để với giá trị $N$ ta gọi vào giá trị tại index $N$ chính là đáp số. Làm như thế này không ai bắt bẻ được chúng ta vì rõ ràng sẽ ra đáp án đúng như đề bài cần hihi, và chắc chắn cách này sẽ chạy nhanh nhất luôn rồi 😁

Không gian$O(1)$
Thời gian$O(1)$

Không gian $O(1)$ vì mảng chỉ có 13 phần tử, là hằng số cố định. Thời gian $O(1)$ vì chỉ 1 phép truy xuất vị trí index $N$.

Ghi chú kiểm tra của mình: cả 3 bản C++ và 3 bản Python đã được mình biên dịch, chạy lại. Đáp án của cả 12 giá trị $N$ được đối chiếu với một chương trình độc lập (sinh mọi số đối xứng $N$ chữ số rồi kiểm tra bằng Miller–Rabin), thêm 220 lần chạy với $N$ ngẫu nhiên so sánh cách hàng đợi và cách đặt sẵn, trong đó 126 lần $N \le 7$ so trực tiếp với code vét cạn. Thời gian trên máy mình: vét cạn C++ mất 0.18 giây với $N = 7$, 1.7 giây với $N = 8$ và 17.6 giây với $N = 9$; cách hàng đợi C++ mất 0.19 giây với $N = 11$ (trường hợp nặng nhất); bản Python Miller–Rabin chỉ 0.03 giây; cách đặt sẵn thì tức thì.
Rất vui khi anh em nào đã đọc đến những dòng cuối cùng này. Anh em đọc chắc cũng mỏi mắt luôn chứ 😅 vậy anh em nghĩ người viết ra hết đống ở trên còn thế nào nữa 🤪. Vậy nên đừng tiếc gì cho mình một lời bình luận hoặc chia sẻ bài viết để động viên mình nè. Chúc anh em học tốt và gặt hái nhiều thành công 😇

Số đối xứng (Tin học trẻ toàn quốc 2025 – Vòng chung kết toàn quốc – Bảng B)

Số đối xứng
Nguồn: Tin học trẻ toàn quốc 2025 – Chung kết – Bảng B Độ khó: Dễ Số đối xứng Xử lý xâu

Đề bài

🏆
Nguồn: Hội thi Tin học trẻ toàn quốc 2025 – Vòng chung kết toàn quốc – Bảng B. Đề dưới đây mình viết lại theo lời của mình cho dễ hiểu, giữ nguyên ý nghĩa, giới hạn và ví dụ của đề gốc.

Một số được gọi là số đối xứng nếu đọc các chữ số của nó từ trái sang phải hay từ phải sang trái đều giống nhau. Ví dụ $7$, $99$, $121$, $1331$ là các số đối xứng, còn $123$ hay $10$ thì không.

Cho số tự nhiên $N$. Hỏi phải cộng thêm vào $N$ ít nhất bao nhiêu đơn vị để được một số đối xứng? (Nếu bản thân $N$ đã đối xứng thì đáp án là $0$.)

Dữ liệu vào: một dòng chứa số tự nhiên $N$, $N$ có không quá $16$ chữ số.

Kết quả: in ra một số tự nhiên – số đơn vị ít nhất cần cộng thêm.

Subtask:

  • Subtask 1 ($80\%$ số điểm): $N$ có không quá $8$ chữ số.
  • Subtask 2 ($20\%$ số điểm): $N$ có không quá $16$ chữ số.

Giới hạn thời gian: 1 giây. Dữ liệu nhập từ bàn phím, in ra màn hình.

Ví dụ 1 – input
123
Ví dụ 1 – output
8
Ví dụ 2 – input
121
Ví dụ 2 – output
0

Giải thích: ví dụ 1: $123 + 8 = 131$ là số đối xứng nhỏ nhất không nhỏ hơn $123$. Ví dụ 2: $121$ đã là số đối xứng nên không cần cộng thêm gì.

Lời mở đầu

Bài mở màn của bảng B vòng chung kết. Cách "ngây thơ" – cứ cộng 1, cộng 1 rồi kiểm tra – đã ăn được 80% số điểm. Để lấy nốt 20% còn lại với $N$ tới 16 chữ số, ta cần một nhận xét nhỏ mà rất đẹp: số đối xứng được quyết định hoàn toàn bởi nửa đầu của nó. Mình sẽ đi lần lượt hai cách, cả hai đều chạy thật trên bộ test để các bạn thấy rõ mỗi cách được bao nhiêu điểm.

Dành cho học viên · Ưu tiênNộp bài trên hệ thống CLUE OJ

Link này chỉ học viên đã tham gia tổ chức mới vào được. Học viên nên ưu tiên nộp ở đây vì sẽ được chấm nhanh hơn.

Nộp bài trên CLUE OJ

Lộ trình lời giải, bấm vào từng phần để nhảy tới:

Bộ testBộ test có gì?

Bộ test trên CLUE gồm 25 test do mình tự sinh theo đúng tỉ lệ subtask của đề (test 1, 2 là hai ví dụ của đề):

NhómTestSố chữ số của $N$Số test đáp án 0Đáp án lớn nhất
Subtask 1 (80%)1–201, 2, 3, 4, 5, 7, 8510.999 (test 20)
Subtask 2 (20%)21–2516198.888.889 (test 23)
  • Có đủ các trường hợp "bẫy": $N = 0$, $N$ có 1 chữ số, $N$ đã đối xứng sẵn (đáp án 0), $N = 10^k$ (đáp án 1, ví dụ $1000 + 1 = 1001$), $N$ toàn chữ số 9, và trường hợp nửa đầu phải tăng thêm 1 có nhớ (như $1\,299\,999 \to 1\,300\,031$).
  • Ở subtask 1, đáp án lớn nhất chỉ cỡ $10^4$; nhưng ở subtask 2 ($N$ có 16 chữ số) đáp án có thể lên tới gần $10^8$ – đây là chỗ phân biệt cách "thử từng số" với cách "lật gương".

Kết quả chạy thật của từng cách trên từng subtask (C++):

SubtaskĐiều kiệnTestCách 1
thử từng số
Cách 2
lật gương
Subtask 1 (80%)$N$ có không quá 8 chữ số1–20quaqua
Subtask 2 (20%)$N$ có không quá 16 chữ số21–253/5 testqua

Lời giải cách 2 (C++) mình đã nộp thử trên hệ thống chấm chính thức của hội thi (tinhoctre.vn) và đạt AC 100/100 điểm.

Ý tưởngNửa đầu quyết định tất cả

Gọi $L$ là số chữ số của $N$ và $h = \lceil L/2 \rceil$. Một số đối xứng có $L$ chữ số chỉ cần biết $h$ chữ số đầu (gọi là nửa đầu) là dựng lại được cả số: nửa sau chính là nửa đầu viết ngược (nếu $L$ lẻ thì chữ số giữa không lặp lại). Ví dụ nửa đầu 12 với $L = 3$ cho $121$, với $L = 4$ cho $1221$. Ta gọi thao tác này là lật gương.

Hơn nữa, hai số đối xứng cùng $L$ chữ số thì số nào có nửa đầu lớn hơn sẽ lớn hơn (vì so sánh hai số cùng độ dài là so từ chữ số đầu tiên). Từ đó:

  1. Lấy nửa đầu của chính $N$ rồi lật gương được số đối xứng $p$. Mọi số đối xứng có nửa đầu nhỏ hơn thì đều nhỏ hơn $N$ (vì $h$ chữ số đầu đã nhỏ hơn). Vậy nếu $p \ge N$ thì $p$ chính là số đối xứng nhỏ nhất $\ge N$.
  2. Nếu $p < N$: tăng nửa đầu thêm $1$ rồi lật gương lại. Số mới có nửa đầu lớn hơn nửa đầu của $N$ nên chắc chắn $> N$, và nó là số đối xứng kế tiếp sau $p$.
Không bao giờ bị "tràn" sang thêm chữ số
Ở bước 2, nếu nửa đầu toàn chữ số $9$ thì $p = 99\ldots9$ là số lớn nhất có $L$ chữ số, nên chắc chắn $p \ge N$ và ta đã dừng ở bước 1. Vậy khi phải tăng nửa đầu thì nó không toàn $9$, cộng $1$ không làm tăng số chữ số.

Em nhập $N$ rồi bấm Tiếp để xem từng bước lật gương:

Ví dụ nhanh:

Cách 1Thử cộng từng đơn vị

Cách tự nhiên nhất: thử $d = 0, 1, 2, \ldots$ và dừng ở giá trị $d$ đầu tiên mà $N + d$ là số đối xứng. Để kiểm tra một số $x$ có đối xứng không, ta lật ngược các chữ số của $x$ (lấy dần chữ số cuối bằng % 10, bỏ chữ số cuối bằng / 10) được số $y$, rồi so sánh $y$ với $x$.

C++▶ Chạy tay từng dòng codeCách 1: thử d = 0, 1, 2, ... và kiểm tra N + d bằng cách lật ngược các chữ số.
Dữ liệu mẫu:
  1. Dòng y = y * 10 + t % 10 đẩy các chữ số cũ của $y$ sang trái một bậc rồi gắn chữ số cuối của $t$ vào – sau vòng lặp $y$ là $x$ viết ngược.
  2. Vòng while trong main chắc chắn dừng vì số $99\ldots9$ luôn là số đối xứng.
  3. Với $N = 0$: hàm trả về y == x là 0 == 0, đúng – đáp án 0.
Không gian$O(1)$
Thời gian$O(D \cdot L)$, $D$ là đáp án (tới $\approx 10^8$)

Kết quả chạy thật: bản C++ đúng 23/25 test – quá thời gian test 23, 25 (test đúng chạy lâu nhất 0,004 giây). Bản Python đúng 23/25 test – quá thời gian test 23, 25 (test đúng chạy lâu nhất 0,019 giây).

Với $N$ tối đa 8 chữ số, khoảng cách tới số đối xứng gần nhất chỉ cỡ $10^4$ nên chạy tức thì. Nhưng khi $N$ có 16 chữ số, khoảng cách có thể gần $10^8$ (ví dụ $N = 1234567898765432$ phải cộng tới $98\,888\,889$), nhân thêm 16 phép chia cho mỗi lần kiểm tra là quá 1 giây.

Cách 2Lật gương nửa đầu – O(L)

Cài đặt đúng như phần ý tưởng. Mình đọc $N$ vào một xâu để tiện cắt nửa đầu, hàm latGuong(nua, L) ghép nửa đầu với phần đảo ngược của nó (bỏ chữ số giữa nếu $L$ lẻ: chỉ lấy $\lfloor L/2 \rfloor$ chữ số đầu của nua để đảo).

C++▶ Chạy tay từng dòng codeCách 2: lật gương nửa đầu; nếu còn nhỏ hơn N thì tăng nửa đầu thêm 1 rồi lật lại.
Dữ liệu mẫu:
  1. s = to_string(n): phòng khi dữ liệu có số 0 ở đầu (như 007) thì độ dài $L$ vẫn tính đúng theo giá trị thật của $N$.
  2. Vòng for(int i = L / 2 - 1; i >= 0; i--) chép ngược $\lfloor L/2 \rfloor$ chữ số đầu: $L = 3$, nua = "12" → chỉ chép nua[0] → "121"; $L = 4$ → chép nua[1], nua[0] → "1221".
  3. $N < 10^{16}$ nên mọi số đều vừa kiểu long long.
Không gian$O(L)$
Thời gian$O(L)$, $L \le 16$

Kết quả chạy thật: bản C++ đúng 25/25 test, chậm nhất 0,004 giây. Bản Python đúng 25/25 test, chậm nhất 0,023 giây.

Tổng kếtKết quả

Ghi chú của mình: cách 1 (thử từng số) được 23/25 test – trọn subtask 1 ($80\%$), trượt các test 16 chữ số có đáp án lớn. Cách 2 (lật gương nửa đầu) đạt 25/25 test cả bản C++ lẫn Python, chạy tức thì; bản C++ này cũng đã đạt 100 điểm trên hệ thống chấm chính thức. Bài học: khi đối tượng cần tìm (số đối xứng) có cấu trúc đặc biệt, hãy "dựng" nó trực tiếp thay vì thử từng ứng viên.
Rất vui khi anh em nào đã đọc đến những dòng cuối cùng này. Anh em đọc chắc cũng mỏi mắt luôn chứ 😅 vậy anh em nghĩ người viết ra hết đống ở trên còn thế nào nữa 🤪. Vậy nên đừng tiếc gì cho mình một lời bình luận hoặc chia sẻ bài viết để động viên mình nè. Chúc anh em học tốt và gặt hái nhiều thành công 😇