Nêu thuật toán đếm xem trong dãy n số nguyên có bao nhiêu số chia hết cho 3

Bài 4: Bài toán và thuật toán – Câu 7 trang 44 SGK Tin học 10. Cho N và dãy số a1….aN hãy cho biết có bao nhiêu số hạng trong dãy có giá trị bằng 0.

Cho N và dãy số a1….aN hãy cho biết có bao nhiêu số hạng trong dãy có giá trị bằng 0.

Xác định bài toán

– Input: Qãy A gồm N số nguyên a1, a2.. aN ;

– Output: Số số hạng trong dãy A có giá trị bằng 0.

Ý tưởng: Tìm kiếm tuần tự được thực hiện một cách tự nhiên. Ta dùng biến đếm k để đếm số số hạng trong dãy A có giá trị bằng 0. Bắt đầu từ i = 7 và mỗi lần tăng i lên 1, ta lần lượt so sánh ai = 0?, nếu ai = 0 thì tăng k lên 1, tiếp tục quá trình cho đến khi i > N thì đưa ra kết quả k và kết thúc.

– Thuật toán

Cách liệt kê

Bước 1.  Nhập N, các số hạng a1, a2.. aN

Bước 2.  i<- k, k<- 0,

Bước 3.  Nếu ai= 0 thì k <- k+1;

Bước 4.  i <- i+1

Bước 5:  Nếu i > N thì đưa ra giá trị k, rồi kết thúc;

Bước 6.  Quay lại bước 3. 

Sơ đồ khối

Viết chương trình in ra màn hình 10 số tự nhiên đầu tiên. Viết chương trình tính tổng các số từ 1 đến 100. Viết chương trình tính tổng các số từ 1 đến N. Viết chương trình tổng các số chẵn từ 1 đến N. Viết chương trình tính N giai thừa. Viết chương kiểm tra xem N có phải số nguyên tố hay không. Viết chương trình ra màn hình các số nguyên tố nhỏ hơn N. Viết chương trình vẽ ra hình chữ nhật có chiều ngang là W, chiều dọc là H, với W và H là 2 số nguyên nhập từ bàn phím. Viết chương trình nhập không giới hạn số, kết thúc khi nhập vào số 0. Viết chương trình tìm số hạng thứ N của dãy Fibonacci: 1 ; 1 ; 2 ; 3 ; 5 ; 8 ; 11 ; . . . {\displaystyle 1;1;2;3;5;8;11;...}

S = 1 + 1.2 + 1.2.3 + . . . + 1.2.3... N {\displaystyle S=1+1.2+1.2.3+...+1.2.3...N}

1 + 2 + 3 + . . . + m < N {\displaystyle 1+2+3+...+m<N}

1 ; 2 ; 3 ; 4 ; . . . ; N {\displaystyle 1;2;3;4;...;N}

S = 1 − 2 + 3 − 4 + . . . N {\displaystyle S=1-2+3-4+...N}

S = 2 + 2 + 2 + . . . 2 + 2 {\displaystyle S={\sqrt {2+{\sqrt {2+{\sqrt {2+...{\sqrt {2+{\sqrt {2}}}}}}}}}}}

Viết chương trình in ra màn hình bảng cửu chương N.

Viết chương trình in ra N hàng của tam giác Pascal.

Viết chương trình in ra tất cả các ký tự có mã ASCII từ M đến N.

Cho 4 chữ số 1, 2, 3 và 4. Có bao nhiêu số có 3 chữ số tạo thành từ 4 chữ số 1, 2, 3, 4 và đó là những số nào, viết chương trình thực hiện yêu cầu trên.

Gửi tiết kiệm ngân hàng số tiền X đồng với lãi suất N %/tháng. Để nhận được số tiền ít nhất là B đồng thì phải gửi tối thiểu bao nhiêu tháng. Viết chương trình giải quyết bài toán trên trong trường hợp không tính lãi kép.

Chắc hẳn, ai trong chúng ta cũng đã quá quen thuộc với bài toán đếm số ước nguyên dương của $n$. Giải thuật thông thường nhất mà mọi người thường sử dụng là giải thuật O(n),O(\sqrt{n}),O(n​), dựa trên một nhận định rằng nếu như số $n$ có một ước là i (1≤i≤n)i \ (1 \le i \le \sqrt{n})i (1≤i≤n​) thì nó cũng sẽ có một ước nữa là ni (n≤ni≤n)\frac{n}{i} \ \left(\sqrt{n} \le \frac{n}{i} \le n \right)in​ (n​≤in​≤n). Bằng phương pháp này, chúng ta có thể giải quyết mọi bài toán với giới hạn $n$ khoảng 101510^{15}1015 trở xuống (Các bạn xem lại trong chuyên đề Tìm các ước của một số nguyên).

Một phương pháp hay khác mà chúng ta cũng sử dụng là phân tích thừa số nguyên tố và đếm ước của $n$ dựa trên phân tích nguyên tố của nó. Cách làm này có thể khiến thao tác đếm ước của số $n$ giảm xuống độ phức tạp $O(\log (n))$ khi kết hợp với sàng lọc số nguyên tố, và thường được áp dụng trong các bài toán multi-testcase (các bạn xem lại trong chuyên đề Số nguyên tố). Tuy nhiên, nhược điểm của phương pháp này là bạn buộc phải tạo ra được một mảng có độ dài $n$ để đánh dấu các số nguyên tố, đồng nghĩa với việc nếu n≤109,n \le 10^9,n≤109, các bạn không thể sử dụng được nó.

Điều gì sẽ xảy ra khi chúng ta cần đếm ước của một số nguyên dương n≤1018?n \le 10^{18}?n≤1018? Phân tích thừa số nguyên tố? Không thể, vì ta không thể sàng lọc được số nguyên tố ở giới hạn này. Vậy phân tích theo phương pháp O(n)O(\sqrt{n})O(n​) truyền thống thì sao? Cũng không thể, vì O(n)≈O(109),O(\sqrt{n}) \approx O(10^9),O(n​)≈O(109), độ phức tạp này không đủ tốt. Khi đó, người ta sử dụng phương pháp đếm ước trong O(n13),O(n^{\frac{1}{3}}),O(n31​), một phương pháp rất hiệu quả nhưng lại được ít người biết đến, có lẽ vì chúng ta không thường xuyên gặp phải những bài toán như vậy. Trong chuyên đề này, chúng ta sẽ cùng nghiên cứu ý tưởng và cách cài đặt của phương pháp này bằng C++. Trước khi đọc bài viết, các bạn cần có kiến thức đầy đủ về sàng lọc số nguyên tố, đếm ước theo phương pháp thông thường cũng như kĩ năng code ở mức khá. Nếu chưa nắm được những kiến thức này, các bạn hãy quay lại nghiên cứu những chuyên đề cũ mà mình đã để link ở trên nhé!

II. Phương pháp đếm số ước của một số trong O(n13)O(n^{\frac{1}{3}})O(n31​)

Để sử dụng được giải thuật đếm ước trong O(n13),O(n^{\frac{1}{3}}),O(n31​), trước tiên ta cần tìm hiểu về phương pháp của Fermat dùng để kiểm tra tính nguyên tố của một số. Đây là một phương pháp kiểm tra nguyên tố có tính xác suất, nghĩa là nó có thể xảy ra trường hợp sai, tuy nhiên, trong giải thuật này sự sai khác đó có thể chấp nhận được.

Ý tưởng: Phương pháp kiểm tra tính nguyên tố của Fermat được xây dựng dựa trên định lý Fermat nhỏ: Nếu $n$ là một số nguyên tố, thì với mọi giá trị $a$ sao cho $1\le a<n$ ta đều có: an−1≡1 (mod n)a^{n - 1} \equiv 1 \ (\text{mod }n)an−1≡1 (mod n). Chi tiết chứng minh định lý các bạn có thể đọc thêm ở Wikipedia.

Dựa vào định lý trên, ta triển khai giải thuật như sau:

• Lấy ngẫu nhiên một số $a$ thuộc đoạn $[1,n-1]$.
• Kiểm tra đẳng thức an−1≡1 (mod n),a^{n - 1} \equiv 1 \ (\text{mod }n),an−1≡1 (mod n), nếu đẳng thức sai thì $n$ không phải là số nguyên tố, ngược lại $n$ có khả năng là một số nguyên tố.
• Lặp lại hai thao tác kiểm tra trên $k$ lần, giá trị $k$ càng lớn thì xác suất chính xác sẽ càng tăng.

Giải thuật kiểm tra tính nguyên tố của Fermat sẽ luôn luôn đúng nếu như $n$ đã là một số nguyên tố, ngược lại nó sẽ có thể sai. Tuy nhiên, như đã nói xác suất xảy ra sai khi $n$ là hợp số khá nhỏ, nên chúng ta hoàn toàn có thể sử dụng giải thuật Fermat trong một số trường hợp cụ thể. Bên cạnh đó, các bạn có thể tìm hiểu về một số giải thuật kiểm tra nguyên tố xác suất khác như Miller - Rabin hay Solovay - Strassen.

Cài đặt:

Giải thuật có độ phức tạp $O(k\times \log (n))$.

2. Phương pháp kiểm tra nguyên tố Miller - Rabin

Phương pháp nói trên của Fermat có ưu thế là cài đặt đơn giản, ngắn gọn, tuy nhiên xác suất sai sẽ dễ xảy ra trong trường hợp số $n$ đưa vào là một số giả nguyên tố (tức là hợp số nhưng vẫn thỏa mãn an≡1 (mod n)a^n \equiv 1 \ (\text{mod }n)an≡1 (mod n) với $a$ nào đó). Chính vì thế, khi cần tới độ chính xác cao, người ta thường sử dụng phương pháp kiểm tra tính nguyên tố Miller - Rabin, một phương pháp rất mạnh trong các phương pháp kiểm tra nguyên tố có tính xác suất.

Ý tưởng: Giải thuật Miller - Rabin được xây dựng dựa trên một số nhận định sau:

• Đối với một số chẵn $n$ bất kỳ, ta luôn luôn có thể viết nó dưới dạng n=2r×d,n = 2^r \times d,n=2r×d, với $d$ là một số lẻ và $r>0(1)$.
• Theo định lý nhỏ Fermat, nếu $n$ là một số nguyên tố, thì với mọi giá trị $a$ sao cho $1\le a<n$ ta đều có: an−1≡1 (mod n) (2)a^{n - 1} \equiv 1 \ (\text{mod }n) \ (2)an−1≡1 (mod n) (2).
• Theo bổ đề Euclid, giả sử $n$ là một số nguyên tố và $n=a\times b,$ thì chắc chắn $n$ phải chia hết cho một trong hai số $a$ hoặc $b$. Vậy nếu giả sử n=(x2−1)=(x−1).(x+1)n = (x^2 - 1) = (x - 1).(x + 1)n=(x2−1)=(x−1).(x+1) thì chắc chắn $x\equiv 1(\text{mod }n)$ hoặc $x\equiv -1(\text{mod }n)(3)$.
• Từ $(1)$ và $(2),$ ta xây dựng dãy số xk=a2k×d,∀k:0≤k≤rx_k = a^{2^k \times d}, \forall k: 0 \le k \le rxk​=a2k×d,∀k:0≤k≤r. Khi đó:

{xk=(xk−1)2;∀k:1≤k≤r.xr=an−1. (4)\begin{cases}x_k = (x_{k - 1})^2;&& \forall k: 1 \le k \le r.\\ x_r = a^{n - 1}. \end{cases} \ (4) {xk​=(xk−1​)2;xr​=an−1.​∀k:1≤k≤r. (4)

• Từ $(2)$ và $(4)$ ta có:

  xr≡1 (mod n)x_r \equiv 1 \ (\text{mod }n) xr​≡1 (mod n)

  hay

  (xr−1)2≡1 (mod n)(x_{r - 1})^2 \equiv 1 \ (\text{mod }n) (xr−1​)2≡1 (mod n)

  nên xr−1≡1 (mod n)x_{r - 1} \equiv 1 \ (\text{mod }n)xr−1​≡1 (mod n) hoặc xr−1≡−1 (mod n)x_{r - 1} \equiv -1 \ (\text{mod }n)xr−1​≡−1 (mod n). Nếu thực hiện một số hữu hạn bước như trên với các giá trị $r$ giảm dần về $0,$ thì ta có:

  • Hoặc tồn tại $k(0\le k<r)$ sao cho: xk≡−1 (mod n)x_k \equiv -1 \ (\text{mod }n)xk​≡−1 (mod n).
  • Hoặc $\forall k:0\le k<r$ thì xk≡1 (mod n)x_k \equiv 1 \ (\text{mod }n)xk​≡1 (mod n).

Dựa vào tất cả các nhận xét trên, ta có mệnh đề kiểm tra nguyên tố Miller - Rabin như sau: Nếu $n$ là một số nguyên tố lẻ và n−1=2r×d (r>0,d mod 2≠0)n - 1 = 2^r \times d \ (r > 0, d \text{ mod }2 \ne 0)n−1=2r×d (r>0,d mod 2=0) thì $\forall a:1\le a<n,$ ta có:

• Hoặc xk=a2k×d≡1 (mod n);∀k:0≤k≤rx_k = a^{2^k \times d} \equiv 1 \ (\text{mod }n); \forall k: 0 \le k \le rxk​=a2k×d≡1 (mod n);∀k:0≤k≤r.
• Hoặc $\exists k:0\le k\le r$ thỏa mãn: xk=a2k×d≡−1 (mod n)x_k = a^{2^k \times d} \equiv -1 \ (\text{mod }n)xk​=a2k×d≡−1 (mod n).

Như vậy giải thuật có thể triển khai thành các bước sau:

• Bước $1$: Phân tích n−1=2r×dn - 1 = 2^r \times dn−1=2r×d với $d$ là số tự nhiên lẻ và $r>0$.
• Bước $2$: Chọn ngẫu nhiên $a$ thuộc $[1,n-1]$ rồi đặt \text{mod_val} = a^d \text{ mod } n.
• Bước $3$: Liên tục bình phương \text{mod_val} và lấy số dư khi chia cho $n,$ nếu như gặp một số dư khác $1$ hoặc $n-1($ tương tự với $-1)$ thì trả về $\text{false}$.
• Bước $4$: Nếu như sau khi kiểm tra mọi xk mod nx_k \text{ mod } nxk​ mod n mà không tồn tại giá trị nào khác $1$ hoặc $n-1$ thì kết luận $\text{true}$.

Thực hiện giải thuật trên $k$ lần, với $k$ càng lớn ta sẽ có độ chính xác càng cao. Đối với giải thuật Miller - Rabin thì chỉ cần sử dụng $k=10$ là đã đủ an toàn.

Cài đặt:

Giải thuật có độ phức tạp $O(k\times \log (n))$.

3. Đếm số ước của một số trong O(n13)O(n^{\frac{1}{3}})O(n31​)

Ý tưởng: Nói dài dòng như vậy, nhưng bây giờ chúng ta mới đi vào ý chính của bài viết. Trước tiên, ta sẽ viết $n$ dưới dạng tích của hai số $x,y$ sao cho:

• Phân tích nguyên tố của $x$ chỉ gồm các số nguyên tố không vượt quá n13n^{\frac{1}{3}}n31​.
• Phân tích nguyên tố của $y$ chỉ gồm các số nguyên tố lớn hơn n13n^{\frac{1}{3}}n31​.

Dễ dàng nhận thấy, $x$ và $y$ là hai số nguyên tố cùng nhau, do chúng không có chung bất kỳ thừa số nguyên tố nào cả. Việc tìm ra $x$ có thể thực hiện rất dễ, bằng cách duyệt qua tất cả các số nguyên dương trong đoạn [2,n13][2, n^{\frac{1}{3}}][2,n31​] và thử chia $n$ cho những số đó tới khi không thể chia hết được nữa (giống với cách phân tích thừa số nguyên tố trong O(n)O(\sqrt{n})O(n​)). Ở bước này ta sẽ áp dụng thêm sàng lọc số nguyên tố để tìm nhanh ra các số nguyên tố không vượt quá n13n^{\frac{1}{3}}n31​.

Đến đây, bạn đọc có thể thắc mắc rằng, tại sao lại cần viết $n$ ở dạng $x\times y?$ Cần biết rằng, hàm $F(n)$ đếm số lượng ước nguyên dương của $n$ là một Hàm nhân tính, tức là $F(n)=F(x)\times F(y)$ nếu như $x$ và $y$ là hai số nguyên tố cùng nhau. Do đó, việc tính $F(n)$ sẽ được đưa về việc tính $F(x)$ và $F(y)$. Cụ thể ta tính $F(x)$ và $F(y)$ như sau:

• Đối với $F(x)$: Sử dụng sàng lọc số nguyên tố Eratosthenes để sinh ra tất cả các số nguyên tố không vượt quá n13n^{\frac{1}{3}}n31​. Sau đó, duyệt qua từng số nguyên tố và áp dụng Legendre's Formula để tính số mũ của từng thừa số nguyên tố đó trong $x,$ từ đó tính được $F(x)$.
• Đối với $F(y)$: Giả sử $y$ có thể được phân tích thành tích của ba số nguyên tố khác nhau, tức là y=p1×p2×p3y = p_1 \times p_2 \times p_3y=p1​×p2​×p3​. Vì $y$ chỉ bao gồm các thừa số nguyên tố lớn hơn n13,n^{\frac{1}{3}},n31​, nên p1×p2×p3>n,p_1 \times p_2 \times p_3 > n,p1​×p2​×p3​>n, điều này vô lí. Do đó điều giả sử không thể xảy ra và $y$ chỉ có thể chứa tối đa $2$ thừa số nguyên tố. Như vậy, ta nhận xét được rằng, sau khi chia $n$ cho $x,$ số $y$ chỉ có thể rơi vào một trong ba trường hợp:
  • TH1: $y$ là một số nguyên tố. Khi đó $F(y)=2$.
  • TH2: $y$ là bình phương của một số nguyên tố. Khi đó $F(y)=3$.
  • TH3: $y$ là tích của hai số nguyên tố khác nhau. Khi đó $F(y)=4$.

Việc kiểm tra $y$ thuộc vào trường hợp nào có thể được thực hiện bằng cách sử dụng giải thuật kiểm tra tính nguyên tố của Fermat hoặc Miller - Rabin như mình đã đề cập ở trên! Như vậy, chúng ta đã có thể cài đặt giải thuật đếm số ước của $n$ trong O(n13)O(n^{\frac{1}{3}})O(n31​)!

Cài đặt: Dưới đây là cài đặt C++ của giải thuật, đã được sử dụng để nộp thành công bài tập https://codeforces.com/gym/100753/attachments trên codeforces. Mình sẽ thực hiện bằng cả hai phương pháp kiểm tra số nguyên tố của Fermat và Miller - Rabin.

Code bằng giải thuật Fermat:

Code bằng giải thuật Miller - Rabin:

III. Tài liệu tham khảo