Czy ustalenie, czy istnieje liczba pierwsza w przedziale, o którym wiadomo, że jest w P czy NP-zupełna?

13

Widziałem z tego postu przy przepełnieniu stosu, że istnieją pewne stosunkowo szybkie algorytmy przesiewania przedziału liczb, aby sprawdzić, czy jest liczba pierwsza w tym przedziale. Czy to jednak oznacza, że ​​ogólny problem decyzyjny: (Czy istnieje liczba pierwsza w przedziale?) Znajduje się w P. (Było wiele odpowiedzi na ten post, których nie przeczytałem, więc przepraszam, jeśli to pytanie jest duplikat lub niepotrzebne).

Z jednej strony, jeśli przedział jest wystarczająco duży (na przykład ), wówczas stosuje się coś takiego jak Postulat Bertranda i w tym przedziale zdecydowanie jest liczba pierwsza. Wiem jednak również, że między dwoma liczbami pierwszymi występują arbitralnie duże luki (na przykład [ N ! , N ! + N ] . [N,2N][N!,N!+N]

Nawet jeśli problem decyzyjny dotyczy PI, nie widzimy, jak odpowiedni problem wyszukiwania jest również możliwy do rozwiązania, ponieważ, wówczas możemy nie być w stanie korzystać z tych samych właściwości dotyczących znanego rozkładu liczb pierwszych podczas wyszukiwania binarnego.

Ari
źródło

Odpowiedzi:

19

Twój problem jest następujący:

Dane wejściowe: liczby całkowite Pytanie: czy istnieje liczba pierwsza w [ , u ] ?,u
[,u]

O ile mi wiadomo, nie wiadomo, czy problem występuje w P, czy nie.

Oto co wiem:

  • Testy pierwotności (biorąc pod uwagę pojedynczą liczbę, sprawdź, czy jest liczbą pierwszą) są w P, więc jeśli zakres jest wystarczająco mały, możesz wyczerpująco przetestować każdą liczbę w zakresie, aby sprawdzić, czy jest liczbą pierwszą - ale to nie prowadzi do algorytm ogólny.

  • nO((logn)2),+1,+2,+3,uO((log)2)

    Niestety, znane wyniki dla pierwszych luk nie wydają się wystarczająco silne, aby bezwarunkowo udowodnić, że problem dotyczy P.

  • r[,u][,u]u1/lognO(logu)[,u]O((ul)log(ul))

  • Prawdopodobnie można zastosować metody przesiewania, aby poprawić czas pracy w praktyce (np. Aby uniknąć wykonywania testów pierwotności na liczbach, które można podzielić przez małą liczbę pierwszą). Nie wiem, czy można wykazać, że prowadzi to do jakiejkolwiek asymptotycznej poprawy.

  • Z powodu tych technik problem jest prawdopodobnie łatwy w praktyce.

  • Z uwagi na powyższe uwagi osobiście wątpię, aby problem był NP-zupełny.

DW
źródło
O(u)
O(poly(logu))
O(poly(logu))O(poly(u))
loguu
Nie ma potrzeby, wyjaśniłeś moje zamieszanie. Wielkie dzięki!
Quelklef