Когда мы можем безопасно использовать рандомизированный алгоритм с учетом вероятности?

Недавно, читая SICP, в одной сноске говорится:

Числа, которые обманывают тест Ферма, называются числами Кармайкла, и о них мало что известно, кроме того, что они чрезвычайно редки. Существует 255 чисел Кармайкла ниже 100 000 000. Наименьшими из них являются 561, 1105, 1729, 2465, 2821 и 6601. При проверке простоты очень больших чисел, выбранных наугад, вероятность наткнуться на значение, которое обманет тест Ферма, меньше, чем вероятность того, что космическое излучение вызовет компьютер допустил ошибку при выполнении «правильного» алгоритма. Если считать алгоритм неадекватным по первой причине, но не по второй, это иллюстрирует разницу между математикой и инженерией.

Сноска упоминается в:

К сожалению, это утверждение не совсем верно. Существуют числа, которые обманывают тест Ферма: числа n, которые не являются простыми, но обладают тем свойством, что an конгруэнтно модулю n для всех целых чисел a < n. Такие цифры встречаются крайне редко, поэтому тест Ферма на практике вполне надежен. [47]

Речь идет об алгоритме испытания Ферма:

; calculate: a^n mod n
(define (expmod base exp m)
  (cond ((= exp 0) 1)
        ((even? exp)
         (remainder (square (expmod base (/ exp 2) m))
                    m))
        (else
         (remainder (* base (expmod base (- exp 1) m))
                    m))))   
(define (fermat-test n)
  (define (try-it a)
    (= (expmod a n n) a))
  (try-it (+ 1 (random (- n 1)))))
; check `times` count although it will fail for Carmichael numbers.
(define (fast-prime? n times)
  (cond ((= times 0) true)
        ((fermat-test n) (fast-prime? n (- times 1)))
        (else false)))

В Википедии приведено вышесказанное в качестве ссылки, когда говорится

В некоторых случаях вероятностные алгоритмы являются единственным практическим средством решения проблемы.

Может ли кто-нибудь, прочитавший эту книгу, сказать мне, что означает последнее предложение первой ссылки?

Возможно, эту проблему не уместно спрашивать здесь. Но поскольку SICP занимается программированием, я спросил здесь.