М.Полянскому: об одной задаче факторизации

Помнится, что Вы интересовались задачей о том, когда натуральное представимо в виде произведения РОВНО двух простых.
Появилась одна НФ-идея.
Есть такой (эвристический, "верятностный") тест на простоту " Рабина-Миллера (или Миллера-Рабина).
Похоже, что его можно модифицировать под указанную выше задачу.
Я сейчас не готов сказать, насколько это известно.
Но попробовать можно.
Только Вам придется для начала прочесть в инете про тест Рабина-Миллера.
Тогда и поговорить можно содержательно,  без обычных "не читал, но понимаю так..."

Да, Михалыч, я перечитал, возобновил в памяти. Смущает то, что там рыто-перерыто. И алгоритмы тяжеловесные. Чего только стоит ранг и выбор числа отсчёта по логарифму. Но, впрочем, пока не знаю, что у Вас. Если модификация всех этих наворотов к более продуктивному алгоритму или поиск двухсоставного через эти навороты - то всегда и очень интересно. Обещаю, что буду обдумывать до... Излагайте, пожалуйста.

Собственно, мысль достаточно банальна.
Тест Р-М отбраковки составных базируется на том,что при простом модуле сравнение x^2 = 1 имеет ровно два решения.
Если модуль - произведение ДВУХ простых нечетных, то такое сравнение имеет четыре решения.
Степень "подозрительности" на простоту в канонической версии теста Р-М увеличивается в четыре раза с каждым новым значением основания степени в тесте.
Осталось дать соответствующие "вероятностные" оценки для двухсоставных чисел.
Замечу, что это не подход к задаче разложения на множители, а подход к отфильтровке "более, чем двухсоставных".
Хотя возможны модификации для поиска трехсоставных и т.д.

А если "

оценки для двухсоставных чисел

дать из совершенно других соображений?
Повозившись с тестом Р-М - понял пока только (может позже осенит больше), что уж больно он программно тяжеловесен.