Luận án Nghiên cứu phương pháp sàng trường số ứng dụng trong phân tích mã
Trang 1
Trang 2
Trang 3
Trang 4
Trang 5
Trang 6
Trang 7
Trang 8
Trang 9
Trang 10
Tải về để xem bản đầy đủ
Bạn đang xem 10 trang mẫu của tài liệu "Luận án Nghiên cứu phương pháp sàng trường số ứng dụng trong phân tích mã", để tải tài liệu gốc về máy hãy click vào nút Download ở trên.
Tóm tắt nội dung tài liệu: Luận án Nghiên cứu phương pháp sàng trường số ứng dụng trong phân tích mã
p là số pB p 1 nghiệm của f x 0 mod p . Nếu f càng nhỏ thì đa thức fx càng tốt cho phương pháp NFS. Phương pháp của Kleinjung Kleinjung đề xuất một cải tiến cho phương pháp của Murphy đối với đa thức không monic g: chọn một số nguyên dương ad có nhiều ước d nguyên tố nhỏ và thỏa mãn ad x N mod p với p nguyên tố. 1.2.4.2. Phương pháp chọn đa thức sàng phi tuyến Phương pháp của Montgomery Montgomery đã giải quyết bài toán chọn đa thức sàng với trường hợp d = 2, tìm được các cặp đa thức sàng có hệ số cỡ O(N1/4). Phương pháp của Prest và Zimmermann Prest và Zimmermann chọn các đa thức lệch bậc d tùy ý, nếu 2 2 chọn độ lệch s O() N d( d d 2) thì các đa thức có hệ số trung bình cỡ dd2 22 2 ON()d( d d 2) . Koo và cộng sự đã tổng quát hóa các phương pháp xây dựng cấp số nhân mod N độ dài d+1 để chọn đa thức bậc bất kỳ có các 2 hệ số cỡ ON()(dd 1)/ . 1.2.5. Sàng tìm quan hệ Chọn các cặp số nguyên (a, b) có các tính chất sau: gcd(a, b)=1. Chuẩn hữu tỷ a bm = a+bm là trơn trên RFB. Chuẩn đại số ab = (-b)deg(f)f(-a/b) là trơn trên AFB. 6 1.3. Kết luận chương 1 Để làm nền tảng cơ sở cho các nội dung nghiên cứu tiếp theo, chương này của luận án đã trình bày tổng quan về các kết quả nghiên cứu đã được công bố có liên quan đến nội dung cần giải quyết của luận án. Cụ thể: Giới thiệu về hệ mật khóa công khai RSA và độ an toàn của nó dựa vào việc giải bài toán phân tích số nguyên lớn; để thấy được sự cần thiết phải có những nghiên cứu về phương pháp phân tích số nguyên lớn nhanh nhất hiện nay, đó là phương pháp sàng trường số. Tìm hiểu cơ sở lý thuyết của phương pháp sàng trường số, từ đó làm nền tảng để phát triển về lý thuyết, đánh giá và cài đặt thực hành phương pháp này. Trên cơ sở tìm hiểu về bài toán chọn đa thức sàng của Montgomery và các phương pháp chọn đa thức sàng áp dụng cho phương pháp sàng trường số. Để từ đó làm tiền đề nghiên cứu phát triển thuật toán chọn cặp đa thức sàng bậc hai; xây dựng phương pháp và thuật toán chọn cặp đa thức sàng phi tuyến bậc ba; và đưa ra các thuật toán chọn cặp đa thức sàng bậc tổng quát cho phương pháp sàng trường số được trình bày trong Chương 2. Trình bày chi tiết phương pháp sàng tìm quan hệ cho phương pháp sàng trường số. Từ đó có những cải tiến cài đặt thực hành cho phương pháp sàng trường số để phân tích thành công hợp số RSA; và đánh giá hiệu quả về mặt lý thuyết và thực hành của các thuật toán sàng áp dụng cho phương pháp sàng trường số được giải quyết trong Chương 3. 7 CHƯƠNG 2 CHỌN CẶP ĐA THỨC SÀNG CHO PHƯƠNG PHÁP SÀNG TRƯỜNG SỐ 2.1. Chọn cặp đa thức sàng bậc hai 2.1.1. Thuật toán sinh các cặp đa thức sàng bậc hai Sử dụng thuật toán của Montgomery (Thuật toán 5) để sinh các cặp đa thức sàng bậc hai với các hệ số cỡ O(N1/4). 2.1.2. Chọn cặp đa thức sàng bậc hai và tâm sàng Giả sử cặp đa thức sàng bậc hai f1(x) và f2(x) có 2 nghiệm tương ứng là x11, x12, x21, x22. Ta ký hiệu giá trị ρ(f1, f2) = min{|x1i-x2j |} là khoảng cách nhỏ nhất giữa các cặp nghiệm của 2 đa thức. Ta ký hiệu: xx12ij x | 02 min{|xx12ij |} là tâm sàng của cặp đa thức sàng bậc hai f1(x) và f2(x). Thực nghiệm 2.1. So sánh số quan hệ trung bình khi tâm miền sàng trục x tại điểm 0 và tại điểm x0 của các cặp đa thức sàng loại 1 (cặp đa thức sàng đồng thời có 2 nghiệm) và loại 2 (cặp đa thức sàng còn lại). Đối với các cặp đa thức loại 1 còn so sánh số quan hệ trung bình của các cặp đa thức sàng có giá trị ρ(f1, f2) nhỏ (đa thức loại 1a) và lớn (đa thức loại 1b). Bảng 2.1: Kết quả thực nghiệm 1. Đa thức Đa thức Đa thức loại 2 loại 1a loại 1b Số quan hệ trung bình với tâm 153 255 234 miền sàng trụcx tại điểm 0 Số quan hệ trung bình với tâm - 836 657 miền sàng trụcx tại điểmx 0 Khẳng định 2.1. Cặp đa thức sàng bậc hai đồng thời có hai nghiệm f1, f2 được gọi là tốt hơn cho NFS nếu có giá trị ρ(f1, f2) nhỏ hơn. Khi đó, việc 8 chọn tâm điểm sàng trục x tại x0 là trung điểm của 2 nghiệm có ρ(f1, f2) nhỏ nhất sẽ tốt hơn là tâm sàng tại điểm 0. Theo quan điểm của Murphy thì cặp đa thức sàng f1, f2 được gọi là tốt hơn cho NFS nếu có giá trị (f1, f2) = (f1) + (f2) nhỏ hơn. Thực nghiệm 2.2. So sánh số quan hệ khi tâm miền sàng trục x tại điểm 0 và tại điểm x0 của các cặp đa thức có ρmax, ρmin, max, min. Bảng 2.2: Kết quả thực nghiệm 2. ρmax ρmin max min Số quan hệ TB với tâm 0 408 84 823 miền sàng trụcx tại điểm 0 Số quan hệ TB với tâm 230 910 245 1263 miền sàng trụcx tại điểmx 0 Nhận xét 2.2. Cặp đa thức sàng có ρmin không tốt bằng cặp đa thức sàng có min mặc dù cặp đa thức này có giá trị ρ lớn hơn. Thuật toán 6: Thuật toán chọn cặp đa thức sàng bậc hai theo min và tâm sàng. Input: hợp số N. Output: cặp đa thức sàng bậc hai fi(x) và tâm sàng. Bước 1: Sinh tập các cặp đa thức sàng bậc hai theo phương pháp Montgomery. Bước 2: Chọn ra tập T các cặp đa thức sàng bậc hai đồng thời có 2 nghiệm. Bước 3: Tìm min và tâm sàng x0 của cặp đa thức sàng trong tập T. Với mỗi cặp đa thức sàng ta ký hiệu: minx x f'' ( x ) f ( x (f1, f2) = 1i 2 j 1 1 i 2 2 j Theo định nghĩa về đạo hàm thì sự biến thiên tại điểm sàng xs của 2 đa thức sàng ta nhận được: 9 (f1, f2) min f12 ( xss ) f ( x Thực nghiệm 2.3. So sánh số quan hệ trung bình của các cặp đa thức sàng bậc hai có 2 nghiệm tại tâm sàng x0 theo . Bảng 2.3: Kết quả thực nghiệm 3. Giá trị Giá trị Giá trị Giá trị lớn nhất nửa cao nửa thấp nhỏ nhất max H L min 67 426 889 1183 Khẳng định 2.2. Cặp đa thức sàng bậc hai đồng thời có hai nghiệm f1, f2 được gọi là tốt hơn cho NFS nếu có giá trị (f1, f2) nhỏ hơn. Thuật toán 7: Thuật toán chọn cặp đa thức sàng bậc hai theo min và tâm sàng. Input: hợp số N. Output: cặp đa thức sàng bậc hai fi(x). Bước 1: Sinh tập các cặp đa thức sàng bậc hai theo phương pháp Montgomery. Bước 2: Chọn ra tập T các cặp đa thức sàng bậc hai đồng thời có 2 nghiệm. Bước 3: Tìm min và tâm điểm sàng tối ưu x0 tương ứng trong tập T. 2.1.3. Một số nhận xét Kết quả của các thực nghiệm trên đã đưa ra được 2 thuật toán lựa chọn cặp đa thức sàng bậc hai và tâm sàng của chúng cho NFS. Trong đó, khi phân tích số nguyên lớn thì Thuật toán 7 sẽ nhanh hơn đáng kể so với Thuật toán 6 mà vẫn đảm bảo chọn ra được cặp đa thức sàng tốt gần tương đương. Kết quả này thực sự quan trọng khi thực hiện việc chọn cặp đa thức sàng để phân tích các số nguyên lớn. 10 2.2. Chọn cặp đa thức sàng bậc ba 2.2.1. Xây dựng cơ sở lý thuyết chọn cặp đa thức sàng bậc ba 2.2.1.1 Một số khái niệm Khái niệm về không gian Euclid trên ℝm. Định nghĩa về tích có hướng của 3 véc tơ trong ℝ4. Định nghĩa 2.1. (tích có hướng của 3 véc tơ) Cho 3 véc tơ = a0,,, a 1 a 2 a 3 , = b0,,, b 1 b 2 b 3 và = c0,,, c 1 c 2 c 3 . Ta gọi tích có hướng của chúng là véc tơ, ký hiệu là , được xác định bởi công thức sau aaa123 aaaaaa 023013 aaa 012 = bb123 b,b 023013 b b,b bb,b 012 bb . ccc123 cccccc 023013 ccc 012 Từ định nghĩa trên ta xây dựng các tính chất cơ bản sau. 2.2.1.2 Các tính chất cơ bản Tính chất 2.1. Nếu = thì , và . Tính chất 2.2. Tích có hướng của 3 véc tơ là tuyến tính với mỗi véc tơ của tích, chẳng hạn với kh, thì (k +h ’) = k( ) + h( ’ ). Tính chất 2.3. 1) Đổi thứ tự hai véc tơ cạnh nhau thì tích có hướng của 3 véc tơ đổi dấu, chẳng hạn = ( ). 2) Nếu tích có hướng của 3 véc tơ trong đó có hai véc tơ giống nhau thì nhận được véc tơ không. Từ các tính chất trên ta thu được bổ đề quan trọng dưới đây. 11 u1 ''' u 2 u 3 Bổ đề 2.1. Giả sử v1 ''' v 2 v 3 , với ui,, v i w i , i = 1, 2, w1 ''' w 2 w 3 3 ta có: det( A) ' ' ' u1 u 2 u 3 trong đó A = v1 v 2 v 3 . w1 w 2 w 3 Định lý 2.1 dưới đây đưa ra một điều kiện cần và đủ để tích có hướng của 3 véc tơ = trên không gian ℤ4. Định lý 2.1. Cho 4 véc tơ khác véc tơ không , , và ℤ4, ta có: = khi và chỉ khi span( ,,) = {}. Định lý 2.2 dưới đây đưa ra công thức cho phép xác định chuẩn của véc tơ tích có hướng của 3 véc tơ trên không gian ℤ4. Định lý 2.2. Ký hiệu A, B, C là các góc giữa và , giữa và , giữa và thì = 12 cos Acos BcosC cos222 A cos B cos C . Tuy nhiên, việc xác định chuẩn theo công thức trong Định lý 2.2 là rất phức tạp. Hệ quả 2.1 dưới đây cho phép ta xác định cận dưới của chuẩn tích có hướng của 3 véc tơ trên ℤ4 áp dụng cho một số trường hợp góc A, B, C đặc biệt. 2 Hệ quả 2.1. Nếu các góc A, B, C , và số các góc tù là chẵn thì 33 1 . 2 2.2.2. Thuật toán chọn cặp đa thức sàng bậc ba Thuật toán 8: Thuật toán chọn cặp đa thức sàng bậc ba. Input: hợp số N. 12 2/9 Output: cặp đa thức sàng bậc ba fi(x) có các hệ số cỡ ON(). Bước 1: Tìm 4 có tọa độ là cấp số nhân theo modulo N. Bước 2: Tìm cơ sở ban đầu { ’, ’,’} của lưới L = {}. Bước 3: Rút gọn cơ sở ban đầu để được cơ sở “nhỏ nhất” { , , }. Bước 4: Tìm các đa thức có hệ số nhỏ tương ứng với véc tơ tổ hợp tuyến tính của , , . 2.2.2.1. Tìm có tọa độ là cấp số nhân theo modulo N. Chọn số nguyên tố p = O(N1/3) sao cho p = 3r +1 và N r 1 bN3 (mod p), a = và b = O(N1/3). Ta tìm được = (a,b2,bp,p2), thỏa p mãn |||| = O(N2/3). 2.2.2.2. Tìm cơ sở ban đầu cho L = {}. Theo định lý 2.1 ta tìm cơ sở của L là tìm 3 véc tơ , , thỏa mãn = như sau: = (-b2, a, 0, 0). p b2 s bp = (t, -s, 1, 0), với s ≡ (mod a) và t = . b a b22 u p = (v, -u, 0, 1), với u ≡ s2 (mod a) và v = . a 2.2.2.3. Thuật toán rút gọn cơ sở lưới. Thuật toán 9: Thuật toán rút gọn cơ sở lưới. Input: { ’, ’, ’} là 3 véc tơ độc lập tuyến tính trong ℤ4. Output: { , , } thoả mãn các điều kiện sau: = ''' || ||×||||×|||| < 2 . 1.[Initiliatian] { , , } = { ’, ’, ’}; Continue = 1; 2.[Loop] 13 While (Continue = 1) { Continue = 0; InOrder{ , , }; //sắp xếp giảm dần , q ; , if (q>0) { q; Continue = 1;} else { , q ; , if (q>0) { q; Continue = 1;} , q ; , if (q>0) { q; Continue = 1; } } Return { , , }. Nhận xét 2.3. Vòng lặp 2 sẽ dừng chỉ khi tất cả các giá trị q tính được trong đó đều bằng 0 và cũng giống như thuật toán của Montgomegy ta có 2 tất cả các góc giữa các cặp véc tơ đầu ra đều nằm trong đoạn , . 33 Hệ quả 2.1 của định lý 2.2 cho phép đánh giá trong trường hợp số góc tù chẵn là: 2 = O(N2/3). Khi các véc tơ tại đầu ra có chuẩn xấp xỉ nhau ta có chuẩn của các véc tơ này cỡ O(N2/9), tức là: ON()2/9 . 2.2.2.4. Chọn cặp đa thức sàng Giả sử cơ sở rút gọn của {} là = (a0, a1, a2, a3), = (b0, b1, b2, b3) và =(c0, c1, c2, c3). Ký hiệu 14 23 A(x) a0 ax 1 ax 2 ax 3 . 23 B(x) b0 bx 1 bx 2 bx 3 . 23 C(x) c0 cx 1 cx 2 cx 3 . Lấy một ngưỡng K nào đó ta tìm tất cả các đa thức bất khả quy f trên ℤ trong tập {uA(x) + vB(x) + wC(x): -K u, v, w K} Cuối cùng so sánh để chọn ra cặp đa thức sàng có các hệ số nhỏ. Do các đa thức A(x), B(x), và C(x) có các hệ số cỡ O(N2/9), nên các hệ số của đa thức f(x) cũng có độ lớn cỡ O(N2/9). 2.2.3. Một số nhận xét Dựa vào cơ sở lý thuyết mới xây dựng cho phép ta chọn được cặp đa thức sàng bậc ba các hệ số cỡ O(N2/9) cho phương pháp sàng trường số. Trong khi đó, phương pháp của Prest và Zimmermann tạo ra cặp đa thức sàng bậc 3 với các hệ số trung bình cỡ O(N5/24), do xét đến điều kiện về độ lệch của các đa thức sàng. Thuật toán 8 có thể sinh ra được rất nhiều cặp đa thức sàng phi tuyến bậc 3 cho NFS, tùy thuộc vào cách chọn K. Nhưng không phải tất cả các cặp đa thức sàng đó đều tốt cho phương pháp NFS nên có thể cần phải xét thêm hàm của Murphy. 2.3. Chọn cặp đa thức sàng bậc tổng quát 2.3.1. Chọn cặp đa thức sàng dựa vào cấp số nhân 2.3.1.1 Một số khái niệm cơ bản Rút gọn lưới và chuẩn của véc tơ. Kết quả đã biết về tích chập. 15 2.3.1.2 Chọn cặp đa thức dựa vào cấp số nhân Mệnh đề 2.1. Cho trước số nguyên N và cấp số nhân c01, c ,..., cd có d+1 i số hạng công bội m và thỏa mãn ci c0 m(mod N ) , thì có thể sinh ra d đa thức bậc tối đa d có nghiệm chung m modulo N có hệ số cỡ c1/d với cc max|i |. 2.3.2. Xây dựng thuật toán chọn cặp đa thức sàng bậc tổng quát 2.3.2.1 Chọn cấp số nhân Hệ quả 2.2. Cho trước số nguyên N và cấp số nhân 1,m ,..., md N modulo N có công bội mN 1/d , thỏa mãn rằng md N O() N ( d 1) / d , thì có thể sinh ra cặp đa thức bậc d có nghiệm chung m modulo N với 2 các hệ số cỡ ON()(dd 1) / và tích chập cỡ ON()2(dd 1) / . Xây dựng ma trận có dạng như sau: 1 0 0 0 0 1 0 0 0 0 0 0 L 0 0 1 0 0 0 0 1 c1 c 2 cdd 1 c Ta chứng minh được rằng sau khi thực hiện thuật toán LLL đối 2 với ma trận L sẽ tìm ra tối thiểu 2 véc tơ ngắn có hệ số cỡ ON()(dd 1) / . 2.3.2.2 Thuật toán chọn cặp đa thức sàng bậc tổng quát Từ Hệ quả 2.2, cho ta thuật toán sinh đa thức sàng phi tuyến bậc d như sau. Thuật toán 10: Thuật toán sinh cặp đa thức sàng phi tuyến bậc d. Input: Số nguyên cần phân tích N, bậc d. Output: Cặp đa thức sàng f1 và f2 bậc d có nghiệm chung m modulo N. 16 1/d (1). Tính mN . (2). Tạo cấp số nhân 1,m ,..., md N . (3). Sử dụng thuật toán LLL đối với ma trận L để tìm các véc tơ ngắn (bb1 ,...,d ) . d (4). Biểu diễn b (aa ,..., )t và tính a a mj mod N , với i i,0 i , d i,0 j 1 i , j i = 1, 2. d (5). Trả về cặp đa thức f a x j và nghiệm chung m mod N. i j 0 i, j Về mặt thực hành, việc thực hiện bước kiểm tra các hệ số đầu và hệ số cuối có ước nguyên tố nhỏ trước khi áp dụng ()Fi và phép xoay đa thức của Murphy sẽ loại bỏ được rất nhiều đa sàng có tính chất tồi. Thuật toán 11: Thuật toán chọn cặp đa thức phi tuyến bậc d tốt. Input: Số nguyên cần phân tích N, bậc của cặp đa thức phi tuyến d, ngưỡng của phép xoay đa thức J. Output: Cặp đa thức sàng (f1, f2) có tính chất tốt. (1). Sử dụng Thuật toán 10 sinh cặp đa thức phi tuyến (f1, f2) bậc d có nghiệm chung m modulo N. (2). Kiểm tra các hệ số đầu và cuối là bội của 60. (3). Tính ()fi và ghi vào tệp “Alphas.txt”. (4). Thực hiện phép xoay đa thức với j1, j 2 , j 3 (0, J ] : (4).1 f()()()() x jfxjfxjxm . j1, j 2 , j 3 1 1 2 2 3 (4).2 Tính ()f , ghi vào tệp “Alphas.txt”. j1,, j 2 j 3 (5). Return “Cặp đa thức fi có nghiệm chung m modulo N có giá trị nhỏ nhất trong tệp Alphas.txt”. 2.3.3. Một số nhận xét Áp dụng Hệ quả 2.2 thì: 17 Có thể sinh ra cặp đa thức sàng bậc 2 có nghiệm chung m modulo N với các hệ số cỡ ON()1/ 4 và tích chập cỡ ON(). Kết quả này trùng với phương pháp của Montgomery. Có thể sinh ra cặp đa thức sàng bậc 3 có nghiệm chung m modulo N với các hệ số cỡ ON()2 / 9 và tích chập cỡ ON()4 / 3 . Kết quả này trùng với phương pháp luận án đã xây dựng. Có thể sinh ra cặp đa thức bậc d = 4 có nghiệm chung m modulo N với các hệ số cỡ ON()3/16 và tích chập cỡ ON()3/ 2 . Kết quả này tốt hơn phương pháp của Prest và Zimmermann sinh ra các đa thức có hệ số cỡ ON()5/14 và tích chập cỡ ON()10 / 7 . 2.4. Kết luận chương 2 Các kết quả của chương này bao gồm: (1). Đưa ra các Thuật toán 6 và Thuật toán 7 để chọn cặp đa thức sàng bậc hai và tâm sàng của chúng cho phương pháp sàng trường số. Thuật toán 7 thực hiện nhanh hơn Thuật toán 6; việc sàng tìm quan hệ tại tâm sàng sẽ giúp cho phương pháp NFS thực hiện nhanh hơn. (2). Xây dựng phương pháp và cơ sở lý thuyết (bao gồm: Định lý 2.1, Định lý 2.2, và Hệ quả 2.1) cho thuật toán chọn cặp đa thức sàng phi tuyến bậc ba cho phương pháp sàng trường số. Kết quả thu được Thuật toán 8, dùng để tìm các cặp đa thức sàng phi tuyến bậc 3 có các hệ số cỡ O(N2/9); góp phần giải trường hợp riêng của bài toán chọn đa thức sàng Montgomery. (3). Tổng quát hóa thuật toán chọn cặp đa thức sàng dựa vào cấp số nhân đặc biệt, từ đó xây dựng được Thuật toán 10 và Thuật toán 11 để chọn cặp đa thức sàng phi tuyến bậc tổng quát. Các kết quả nêu trên đã được tác giả công bố trên các bài báo số [1], [4], và [6] (Danh mục các công trình khoa học đã công bố). 18 CHƯƠNG 3 CẢI TIẾN VÀ ĐÁNH GIÁ HIỆU QUẢ THUẬT TOÁN SÀNG CHO PHƯƠNG PHÁP SÀNG TRƯỜNG SỐ 3.1. Thuật toán NFS tổng quát Thuật toán 12: Thuật toán NFS tổng quát. Input: Hợp số N. Output: Ước không tầm thường p của N. Bước 1: Chọn đa thức sàng. Bước 2: Xây dựng các cơ sở phân tích. Bước 3: Sàng tìm quan hệ. Bước 4: Giải hệ phương trình đại số tuyến tính. Bước 5: Khai căn bậc hai và tìm ước. 3.2. Cải tiến cài đặt thuật toán sàng tuyến tính 3.2.1. Thuật toán sàng tuyến tính Thuật toán sàng tuyến tính (Thuật toán 13) gồm 2 bước chính: Các phần tử (a, b) có chuẩn hữu tỷ chia hết cho (p, m mod p) trong RFB thì a có dạng a = -bm+kp với k . Các phần tử (a, b) có chuẩn đại số chia hết cho (p, r) trong AFB thì a có dạng a = -br+kp với k . 3.2.2. Song song hóa thuật toán sàng tuyến tính Giả sử thực hiện thuật toán trên M tiến trình, tiến trình t thực hiện sàng với các giá trị b trong khoảng WS*(t-1) đến WS*t. Sau khi tất cả các tiến trình kết thúc việc sàng trong khoảng WS đã xác định thì lặp lại công việc sàng của các tiến trình như trên với giá trị b mới bắt đầu từ WS*M. Công việc này được thực hiện lặp lại đối với các tiến trình đến 19 khi nhận đủ các quan hệ cần tìm. Khi đó bước sàng tìm quan hệ sẽ kết thúc. Thuật toán 14: Thuật toán sàng tuyến tính phiên bản song song cho tiến trình thứ t. Input: - Các cơ sở phân tích RFB, AFB; - Đa thức f(x), nghiệm m của f(x) mod N; - Khoảng sàng C; - WS, t, b0: trong đó b0 là giá trị đầu tiên của b cho tiến trình thứ t với số lượng giá trị cần sàng WS. Output: - Tập quan hệ rels = {(a0, b0), (a1, b1),, (al, bl)}. 1. b= b0+WS*(t-1) 2. rels=[] 3. while ((b b0+WS*t) and (#rels < #RFB + #AFB + #QCB + 1)) (a) b=b+1 (b) a[i]=i+bm với i [-C;C] (c) với mỗi (p, r) RFB Chia a[j] cho p tối đa số mũ có thể với j=-bm+kp với k thỏa mãn –C j C. (d) e[i]=(-b)deg(f)f(-i/b) với i [-C;C] (e) với mỗi (p, r) AFB Chia e[j] cho p tối đa số mũ có thể với j=-br+kp với k thỏa mãn –C j C. (f) for i [-C;C] if a[i]=e[i]=1 và gcd(i, b)=1 thêm (i, b) vào rels 4. return rels. 20 3.2.3. Kết quả phân tích số 135 chữ số Hệ thống tính toán hiệu tại Học viện Kỹ thuật mật mã là hệ thống tính toán với bộ nhớ phân tán. Tích hợp thuật toán 14 ở trên vào chương trình msieve phiên bản 1.21 để phân tích số nguyên hợp số N có 135 chữ số thập phân. Kết quả là: Thời gian lựa chọn đa thức là 29 giờ. Tổng số tiến trình t = 112, và khoảng sàng WS = 2000000. Tổng thời gian sàng là 6,66 ngày. Thời gian chạy tổng cộng của tất cả các tiến trình: 64489521 giây = 746 ngày. 3.3. Đánh giá hiệu quả của thuật toán sàng lưới 3.3.1. Thuật toán sàng lưới 3.3.1.1. Hoạt động của sàng lưới Phần tử mảng A[c, d] biểu diễn số nguyên: a bm c u12 d u , với u1 a 1 b 1 m và u2 a 2 b 2 m . Do đó các phần tử để được sàng với p khi: c u12 d u 0 mod p . 3.3.1.2. Cài đặt thuật toán sàng lưới cho NFS Với mỗi q, s Q thực hiện: Xác định lưới của (a, b) tương ứng với a bs mod q . Xây dựng các trục tọa độ (c, d) cỡ C cho lưới này. Với mỗi p, r P chuyển a br mod p về mặt phẳng (c, d). Với mỗi miền sàng của mặt phẳng (c, d) kiểm tra tính trơn của cặp (c, d). 3.3.2. Kết quả quan trọng về lý thuyết lưới Bổ đề 3.1. m là một lưới khi và chỉ khi là một tập rời rạc, nhóm con cộng tính của m . Luận án phát biểu mệnh đề tổng quát với lưới n chiều như sau. 21 n Mệnh đề 3.1. Giả sử ( 12 , ,..., n ) \ 0 và q . ,q là tập hợp xác địn
File đính kèm:
- luan_an_nghien_cuu_phuong_phap_sang_truong_so_ung_dung_trong.pdf