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 ] .
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.