The problem of searching for strictly pseudoprime numbers is relevant in the field of number theory, and it also has a number of applications in cryptography: in particular, with the help of numbers in this class one can strengthen the efficiency of the Miller-Rabin simplicity test by transforming it from probabilistic into deterministic. At the present time, several algorithms for constructing sequences of such numbers are known, but they have a rather high complexity, which makes it impossible to obtain strictly pseudoprime numbers of large magnitude in an acceptable time. The theme of this paper is the construction of strictly pseudoprime numbers of the special form n = pq = (u + 1) (2u + 1), where p, q are prime numbers, u is a natural number. Numbers of this kind are present in the sequence Ψk, used to estimate the number of iterations in the Miller-Rabin simplicity test. We denote by Fk the smallest odd composite number of the above-mentioned type, which successfully passes the Miller-Rabin test with k first prime numbers. The paper proposes a new algorithm for constructing Fk numbers, gives data on its speed and efficiency on the memory used, and specifies the features of the software implementation.El problema de la búsqueda de números estrictamente pseudoprimos es relevante en el campo de la teoría de números, y también tiene varias aplicaciones en criptografía: en particular, con la ayuda de números en esta clase se puede fortalecer la eficiencia de la simplicidad de Miller-Rabin Prueba transformándolo de probabilístico en determinístico. En la actualidad, se conocen varios algoritmos para construir secuencias de tales números, pero tienen una complejidad bastante alta, lo que hace imposible obtener números estrictamente pseudoprimos de gran magnitud en un tiempo aceptable. El tema de este artículo es la construcción de números estrictamente pseudoprime de la forma especial n = pq = (u + 1) (2u + 1), donde p, q son números primos, u es un número natural. Los números de este tipo están presentes en la secuencia Ψk, utilizada para estimar el número de iteraciones en la prueba de simplicidad de Miller-Rabin. Denotamos por Fk el número compuesto impar más pequeño del tipo mencionado anteriormente, que pasa con éxito la prueba de Miller-Rabin con k primeros números primos. El documento propone un nuevo algoritmo para construir números Fk, proporciona datos sobre su velocidad y eficiencia en la memoria utilizada y especifica las características de la implementación del software.O problema de encontrar números pseudoprimos é estritamente relevante no campo da teoria dos números, e também tem muitas aplicações em criptografia: em particular, com a ajuda de números nesta classe pode fortalecer a eficiência da simplicidade de Miller Teste de Rabin transformando-o de probabilístico para determinístico. Atualmente, vários algoritmos são conhecidos por construir seqüências de tais números, mas eles têm uma complexidade bastante alta, o que torna impossível obter números estritamente pseudoprimo de grande magnitude em um tempo aceitável. O assunto deste artigo é a construção de números estritamente pseudoprimo forma especial com n = pq = (L + 1) (2u + 1) em que p, q são números primos, u é um número natural. Números desse tipo estão presentes na seqüência Ψk, usada para estimar o número de iterações no teste de simplicidade de Miller-Rabin. Denotamos por Fk o menor número composto ímpar do tipo mencionado acima, que passa com sucesso no teste de Miller-Rabin com k primeiros números primos. O documento propõe um novo algoritmo para a construção de números Fk, fornece dados sobre sua velocidade e eficiência na memória utilizada e especifica as características da implementação do software
