Nhảy chuyển đến

Meissel–Lehmer thuật toán

“Meissel–Lehmer thuật toán” là một loại có thể ở á tuyến tính thời gian phức tạp độ nội cầu raNội số nguyên tố cái số một loại thuật toán.

Ký hiệu quy định

Tỏ vẻ đốiHạ lấy chỉnh được đến kết quả.
Tỏ vẻ đệCái số nguyên tố,.
Tỏ vẻTrong phạm vi tố số cái số.
Tỏ vẻ Mobius hàm số.
Đối với tập hợp,Tỏ vẻ tập hợpLớn nhỏ.
Tỏ vẻNhỏ nhất chất ước số.
Tỏ vẻLớn nhất chất ước số.

Meissel–Lehmer thuật toán cầu π(x)

Định nghĩaVì sở hữu nhỏ hơnChính số nguyên trung thỏa mãn này sở hữu chất ước số đều lớn hơnSố cái số, tức:

Lại định nghĩaTỏ vẻ vì sở hữu nhỏ hơnChính số nguyên trung thỏa mãn nhưng trọng chất ước số vừa lúc cóCái thả sở hữu chất ước số đều lớn hơnSố cái số, tức:

Đặc thù, chúng ta định nghĩa:,Như thế liền có:

Cái này vô hạn cùng thức trên thực tế là có thể tỏ vẻ vì hữu hạn cùng thức, bởi vì ởKhi, có.

ThiếtVì thỏa mãnSố nguyên, lại nhớ.

Khi, cóCùng,Bởi vậy chúng ta có thể đẩy ra:

Như vậy, tính toánLiền có thể chuyển hóa vì tính toánCùng.

Tính toán P₂(x,a)

Từ đẳng thứcChúng ta có thể đến raTương đương thỏa mãnThảSố nguyên tố đốiCái số.

Đầu tiên chúng ta chú ý tới.Ngoài ra, đối với mỗi cái,Chúng ta đều có.Bởi vậy:

ĐươngKhi, chúng ta có.Bởi vậy, chúng ta có thể si khu gian,Sau đó đối với sở hữu số nguyên tốTính toán.Vì giảm bớt kể trên thuật toán không gian phức tạp độ, chúng ta có thể suy xét phân khối, khối trường vì.Nếu khối trường,Tắc chúng ta có thể ởThời gian phức tạp độ,Không gian phức tạp độ nội tính toán.

Tính toán ϕ(x,a)

Đối với,Suy xét sở hữu không vượt quaChính số nguyên, thỏa mãn nó sở hữu chất ước số đều lớn hơn.Này đó số có thể bị chia làm hai loại:

  1. Có thể bịChia hết;
  2. Không thể bịChia hết.

Thuộc về đệLoại số cóCái, thuộc về đệ nhị loại số cóCái.

Bởi vậy chúng ta đến ra kết luận:

Định lý:Hàm sốThỏa mãn dưới đây tính chất

Tính toánĐơn giản phương pháp có thể từ cái này định lý suy luận ra tới: Chúng ta lặp lại sử dụng đẳng thức,Biết cuối cùng được đến.Cái này quá trình có thể coi như từ căn tiết điểmBắt đầu sáng tạo có căn nhị xoa thụ, đồHọa ra này một quá trình. Thông qua loại này phương pháp, chúng ta được đến như sau công thức:

Thượng biểu đồ kỳ tính toánQuá trình nhị xoa thụ: Lá cây tiết điểm quyền giá trị chi cùng chính là.

Nhưng là, như vậy yêu cầu tính toán quá nhiều đồ vật. Bởi vì,Gần tính toán vìCái không vượt quaSố nguyên tố tích số số, nếu dựa theo phương pháp này tính toán, sẽ có ít nhấtCái hạng, không có cách nào chúng ta đối phức tạp độ nhu cầu.

Vì hạn chế cái này nhị xoa thụ “Sinh trưởng”, chúng ta muốn thay đổi nguyên lai ngưng hẳn điều kiện. Đây là nguyên lai ngưng hẳn điều kiện.

Ngưng hẳn điều kiện:Nếu,Tắc không cần lại đối tiết điểmThuyên chuyển đẳng thức.

Chúng ta đem nó đổi thành càng cường ngưng hẳn điều kiện:

Ngưng hẳn điều kiện:Nếu thỏa mãn phía dướiCái điều kiện trung một cái, không cần lại đối tiết điểmThuyên chuyển đẳng thức:

  1. Thả;
  2. .

Chúng ta căn cứNgưng hẳn điều kiệnĐem nguyên nhị xoa trên cây lá cây phân thành hai loại:

  1. Nếu lá cây tiết điểmThỏa mãn,Tắc xưng loại này lá cây tiết điểm vìBình thường lá cây;
  2. Nếu lá cây tiết điểmThỏa mãnThả,Tắc xưng loại này tiết điểm vìĐặc thù lá cây.

Bởi vậy chúng ta đến ra:

Định lý:Chúng ta có:

Trong đóTỏ vẻBình thường lá câyCống hiến:

Tỏ vẻĐặc thù lá câyCống hiến:

Tính toánHiển nhiên là có thể ởThời gian phức tạp độ nội giải quyết, hiện tại chúng ta muốn suy xét như thế nào tính toán.

Tính toán S

Chúng ta có:

Chúng ta đem cái này đẳng thức viết lại vì:

Trong đó:

Chú ý tới tính toánCùng thức trung đề cập đếnĐều là số nguyên tố, chứng minh như sau:

Nếu không phải như vậy, bởi vì có,Cho nên có,Này cùngMâu thuẫn, cho nên nguyên mệnh đề thành lập.

Càng nhiều, đươngKhi, có.Bởi vậy chúng ta có:

Tính toán S₁

Bởi vì:

Cho nên:

Cho nên tính toánCùng thức trung hạng đều là.Cho nên chúng ta trên thực tế muốn tính toán số nguyên tố đốiCái số, thỏa mãn:.

Bởi vậy:

Có cái này đẳng thức chúng ta liền có thể ởThời gian nội tính toán.

Tính toán S₂

Chúng ta có:

Chúng ta đemPhân thànhCùngHai bộ phận:

Trong đó:

Tính toán U

TừNhưng đến,Bởi vậy:

Bởi vậy:

Bởi vậy:

Bởi vì có,Cho nên chúng ta có thể dự xử lý ra sở hữu,Như vậy chúng ta liền có thể ởThời gian phức tạp độ nội tính toán ra.

Tính toán V

Đối với tính toánCùng thức trung mỗi hạng nhất, chúng ta đều có.Bởi vậy:

Cho nênCó thể bị tỏ vẻ vì:

Trong đó:

Dự xử lý raChúng ta liền có thể ởThời gian phức tạp độ nội tính toán ra.

Suy xét chúng ta như thế nào gia tốc tính toánQuá trình. Chúng ta có thể đemCống hiến tách ra thành bao nhiêu cáiVì định giá trị khu gian thượng, như vậy cũng chỉ yêu cầu tính toán ra mỗi một cái khu gian chiều dài cùng từ một cái khu gian đến tiếp theo cái khu gianThay đổi lượng.

Càng chuẩn xác mà nói, chúng ta đầu tiên đemPhân thành hai cái bộ phận, đemCái này phức tạp điều kiện đơn giản hoá:

Tiếp theo chúng ta đem cái này tư thế viết lại vì:

Trong đó:

Tính toán W₁ cùng W₂

Tính toán này hai cái giá trị yêu cầu tính toán thỏa mãnGiá trị. Có thể ở khu gianPhân khối si ra. Ở mỗi cái khối trung chúng ta đối với sở hữu thỏa mãn điều kiệnĐều mệt thêm.

Tính toán W₃

Đối với mỗi cái,Chúng ta đemPhân thành bao nhiêu cái khu gian, mỗi cái khu gian đều thỏa mãn chúng nóLà định giá trị, mỗi cái khu gian chúng ta đều có thểTính toán nó cống hiến. Khi chúng ta đạt được một cái tânKhi, chúng ta dùng() giá trị biểu tính toán.Trong vòng số nguyên tố biểu có thể cấp đi sứ đếnThành lập.Lấy này loại suy khiến choBiến hóa tiếp theo cáiGiá trị.

Tính toán W₄

So với,TrungCàng tiểu, cho nênThay đổi đến càng mau. Lúc này lại dựa theo tính toánPhương pháp tính toánLiền có vẻ không có bất luận cái gì ưu thế. Vì thế chúng ta trực tiếp bạo lực cái cử số đốiTới tính toán.

Tính toán W₅

Chúng ta giống tính toánNhư vậy tới tính toán.

Tính toán S₃

Chúng ta sử dụng sở hữu nhỏ hơnTố số một lần si ra khu gian.Khi chúng ta si pháp tiến hành đếnThời điểm, chúng ta tính ra sở hữuThỏa mãn không có bình phương ước số hơn nữaGiá trị. Cái này si pháp là phân khối tiến hành, chúng ta ở sàng chọn khoảng cách trung giữ gìn một cái nhị xoa thụ, lấy thật khi giữ gìn sở hữu tố số sàng chọn đến cấp định tố số sau trung gian kết quả. Như vậy chúng ta liền có thể chỉ dùngThời gian phức tạp độ cầu ra ở si pháp tiến hành đến mỗ một cái giá trị thời điểm không có bị si đến số số lượng.

Thuật toán thời không phức tạp độ

Thời không phức tạp độ bị như sauCái quá trình ảnh hưởng:

  1. Tính toán;
  2. Tính toán;
  3. Tính toán.

Tính toán P₂(x,y) phức tạp độ

Chúng ta đã biết cái này quá trình thời gian phức tạp độ vì,Không gian phức tạp độ vì.

Tính toán W₁,W₂,W₃,W₄,W₅ phức tạp độ

Tính toánSở tiến hành khối chiều dài vìSi thời gian ấn phức tạp độ vì,Không gian phức tạp độ vì.

Tính toánSở cần thời gian phức tạp độ vì:

Tính toánThời gian phức tạp độ vì:

Bởi vậy, tính toánThời gian phức tạp độ vì:

Tính toánThời gian phức tạp độ vì:

Tính toánThời gian phức tạp độ vì:

Tính toán S₃ phức tạp độ

Đối với dự xử lý: Bởi vì muốn nhanh chóng tuần traGiá trị, chúng ta không có biện pháp dùng bình thường si phápCầu ra, mà là muốn giữ gìn một số liệu kết cấu khiến cho mỗi lần tuần tra thời gian phức tạp độ là,Bởi vậy thời gian phức tạp độ vì.

Đối với cầu hòa: Đối với tính toánCùng thức trung mỗi hạng nhất, chúng ta tuần tra kể trên số liệu kết cấu, tổng cộngThứ tuần tra. Chúng ta còn cần tính toán cùng thức hạng số, tức nhị xoa thụ trung kỳ tử cái số. Sở hữu lá cây hình thức đều vì,Trong đó.Bởi vậy, lá cây số lượng làCấp bậc. Cho nên tính toánTổng thời gian phức tạp độ vì:

Tổng phức tạp độ

Cái này thuật toán không gian phức tạp độ vì,Thời gian phức tạp độ vì:

Chúng ta lấy,Liền có tối ưu thời gian phức tạp độ vì,Không gian phức tạp độ vì.

Một ít cải tiến

Chúng ta ở chỗ này cấp ra cải tiến phương pháp, lấy giảm bớt thuật toán hằng số, đề cao nó thực tế hiệu suất.

  • Ngưng hẳn điều kiệnTrung, chúng ta có thể dùng một cáiTới thay thế,Trong đóThỏa mãn.Chúng ta có thể chứng minh bộ dáng này tính toánThời gian phức tạp độ có thể ưu hoá đến:

    Này cũng vì thông qua thay đổiGiá trị tới kiểm tra tính toán cung cấp một cái thực tốt phương pháp.

  • Vì rõ ràng khởi kiến, chúng ta ở trình bày thuật toán thời điểm lựa chọn ởChỗ tách ra tới tính toán tổng hoà,Nhưng trên thực tế chúng ta chỉ cần cóLiền có thể tính toán. Chúng ta có thể lợi dụng điểm này, tiệm gần phức tạp tính bảo trì bất biến.

  • Dùng trước mấy cái tố sốDự xử lý tính toán có thể tiết kiệm càng nhiều thời giờ.

Tham khảo tư liệu cùng mở rộng đọc

Bổn văn phiên dịch tự:Computing:the Meissel, Lehmer, Lagarias, Miller, Odlyzko method