Một giải thuật ngẫu nhiên giải bài toán xác định số nguyên tố

8 37 0
Một giải thuật ngẫu nhiên giải bài toán xác định số nguyên tố

Đang tải... (xem toàn văn)

Thông tin tài liệu

Bài viết giới thiệu một giải thuật ngẫu nhiên để giải bài toán xác định tính nguyên tố của một số tự nhiên. Giải thuật được thiết kế dựa trên cơ sở định lý nhỏ Fermat với một tập đủ nhỏ mẫu thử ngẫu nhiên và một thủ tục tối ưu để tính lũy thừa của một số tự nhiên bằng cách áp dụng hai chiến lược thiết kế chia để trị và quy hoạch động.

TẠP CHÍ KHOA HỌC ĐẠI HỌC SÀI GÒN Số 10 (35) - Thaùng 12/2015 g A randomized algorithm solving the problem of deciding a prime TS Nguyễn Hòa Trường Đại học Sài Gịn Ph.D Nguyen Hoa Sai Gon University Tóm tắt n n g n n n r ng g n g n g n n ng ng r n n n n g n n ng ng ng n n n ng g ng n ng n r n ng n n n ng n Fermat n ng n n ng ng n ư ng r n ng n n n n n ng n g ng n n … : Abstract This paper introduces a randomized algorithm for solving the problem that decides whether a natural number is a prime or not The algorithm is designed on the b f Fer ’ e e re w a set of random tests that is quite small and a optimized procedure to compute the power of a natural number by applying two strategy of the divide and conquer and the dynamic programming We also implement a program for testing and comparing the performance of the randomized algorithm supposed and the classical algorithm when deciding whether a natural number is a prime or not The result of analyzing the complexity of the algorithm as well as making real experiments have proven the randomized algoritm is better than the classical algorithm on the same input data set Keywords: probability, randomized algorithm, natural number, prime… ng ng Giới thiệu N ng ổđể (classical algorithm) ng ng n nn ng n n n r ng ([1], [2] [4]) T n n n n r n g n n ng g n ng ng r ng n ng n 58 ĩn ạn n g ng n n g ng n , ng ỉ g òn ẽ, ng ng ồn n n n T e ặ r n ễn n , n g n n [4] r n ng ng n a để rị (divideand-conquer), b ế đổ để rị (transformand-conquer), q oạ độ ( n r gr ng), n g g n n ng n n g n ỉ ng r n ng g g n ng n ng g ng ạn n rn n ng n n r ng rọng ỉ g ng (a r n g r ) ỉn n Mặc dù gi i thu t x p xỉ m t công c t g g n ng toán ng g g n , n ưng ng ng ng ti n c i thi n ph c tạ g ( ng) n g i thu t c nh m nâng cao hi u qu t ng th c a ng d ng th c t Đ kh c ph c hạn ch c a gi i thu t c n nói chung gi i thu t x p xỉ nói riêng, gi i thu t ng u nhiên (randomized algorithm) c nghiên c u phát tri n ([2], [5], [6]), nh m gi ph c tạp v thời gian gi n, n t gi i pháp thay th Gi i thu t ng u nhiên gi i thu ng p d li u ng u nhiên ti n trình th c thi dịng l nh c a ([2] H qu gi i thu t ng u nhiên, l nh có th c chọn ng n n th c hi n, d n n tính k ô định (nondeterministic) c a gi i thu làm gi ph c tạp c n Tr ng n , ng g ng n n g n n nn n ng n n m ng O(mlog2 n), rư n , n[ ] n ng n n ng n n Input Input 59 ng ọn n g ặ O(n) ặ rưng g rn r ng n 2, n rn r ng n ng n r n g ng n n n ng ng n r ng n n rn g n n n ng Gi i thu t u G algorithm) n ng R n nă 19 ặ g n n n n ([ ], [6]) n r ng ọ g ng g ng 2.1 ng n g ỗ n n, r ng g ư g n hi (randomized ng n g n n ễn ng n n n r n n ng, ng n n, ỗ ọn ng n n n ng n n ng g g ng n Classical Algorithm Randomized Algorithm Random mput g n Output Output Đị h hĩa 1.1 G nhiên g r ng n ọn n ng n n r n n ng n n Ví dụ 1.1 r n ng A, B C n r n ng n n [ ] n r r nC r n uông A B hay không MatrixEqualityTest(A, B, C, k) for i1 to k Choose r← (r1, ,rn)T at random with ri  {0,1}, i = 1,…, n Compute C · r and A · (B · r) if C · r ≠ A · (B · r) then return false return true k n n ọn rư ng n R r ng g g n (kn2) nn ,g r g r ng k ( r e) n 1-(1/2) T n A.B  C D = A.B-C  ng n ng , g d11  ặ , Pr(A.B.r = C.r) = Pr((A.B-C).r = 0) = Pr(D.r = 0) N D.r = n n D.r ng Ng ĩ j=1, n d1jrj = Vì d11  nên ta có r Veg n ư n ng ĩ n ([2]) Đị h hĩa g ne r g ng n n g n n n n n ưng n ng n n r ng V 211 g ne r g n n (kn2) n n (1/2)k Đị h hĩa g Veg g ng n n n r ng, n ưng g n g r ng n n ỗ n n n Ví dụ ng n n Randomized-Quicksort(A, p, r) A[p], …, A[r] ăng n g Veg Randomized-Quicksort(A, p, r) if p>,

Ngày đăng: 25/10/2020, 08:58

Từ khóa liên quan

Tài liệu cùng người dùng

  • Đang cập nhật ...

Tài liệu liên quan