prog_faster.pl 6.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195
  1. #!/usr/bin/perl
  2. # Daniel "Trizen" Șuteu
  3. # Date: 05 March 2023
  4. # https://github.com/trizen
  5. # Generate all the Carmichael numbers with n prime factors in a given range [A,B] that are also strong Fermat pseudoprimes to a given base. (not in sorted order)
  6. # See also:
  7. # https://en.wikipedia.org/wiki/Almost_prime
  8. # https://trizenx.blogspot.com/2020/08/pseudoprimes-construction-methods-and.html
  9. =for comment
  10. # PARI/GP program:
  11. carmichael_strong_psp(A, B, k, base) = A=max(A, vecprod(primes(k+1))\2); (f(m, l, p, k, k_exp, congr, u=0, v=0) = my(list=List()); if(k==1, forprime(q=u, v, my(t=m*q); if((t-1)%l == 0 && (t-1)%(q-1) == 0, my(tv=valuation(q-1, 2)); if(tv > k_exp && Mod(base, q)^(((q-1)>>tv)<<k_exp) == congr, listput(list, t)))), forprime(q = p, sqrtnint(B\m, k), if(base%q != 0, my(tv=valuation(q-1, 2)); if(tv > k_exp && Mod(base, q)^(((q-1)>>tv)<<k_exp) == congr, my(L=lcm(l, q-1)); if(gcd(L, m) == 1, my(t = m*q, u=ceil(A/t), v=B\t); if(u <= v, my(r=nextprime(q+1)); if(k==2 && r>u, u=r); list=concat(list, f(t, L, r, k-1, k_exp, congr, u, v)))))))); list); my(res=f(1, 1, 3, k, 0, 1)); for(v=0, logint(B, 2), res=concat(res, f(1, 1, 3, k, v, -1))); vecsort(Vec(res));
  12. =cut
  13. # Let a(n) be the smallest Carmichael number with n prime factors that is also a strong pseudoprime to base 2.
  14. # First few terms:
  15. # 15841, 5310721, 440707345, 10761055201, 5478598723585, 713808066913201, 1022751992545146865, 5993318051893040401
  16. # New terms found (24 September 2022):
  17. # a(11) = 120459489697022624089201
  18. # a(12) = 27146803388402594456683201
  19. # New terms: (1st October 2022):
  20. # a(13) = 14889929431153115006659489681
  21. # Lower-bounds:
  22. # a(13) > 10^28.
  23. # a(13) > 10704854480066618540513296383.
  24. # Finding a(13) took 1 hour and 34 minutes.
  25. use 5.036;
  26. use Math::GMPz;
  27. use ntheory qw(:all);
  28. sub strong_carmichael_in_range ($A, $B, $k, $base, $callback) {
  29. $A = vecmax($A, Math::GMPz->new(pn_primorial($k)));
  30. $A = Math::GMPz->new("$A");
  31. $B = Math::GMPz->new("$B");
  32. $A > $B and return;
  33. my $u = Math::GMPz::Rmpz_init();
  34. my $v = Math::GMPz::Rmpz_init();
  35. # max_p = floor((1 + sqrt(8*B + 1))/4)
  36. my $max_p = Math::GMPz::Rmpz_init();
  37. Math::GMPz::Rmpz_mul_2exp($max_p, $B, 3);
  38. Math::GMPz::Rmpz_add_ui($max_p, $max_p, 1);
  39. Math::GMPz::Rmpz_sqrt($max_p, $max_p);
  40. Math::GMPz::Rmpz_add_ui($max_p, $max_p, 1);
  41. Math::GMPz::Rmpz_div_2exp($max_p, $max_p, 2);
  42. $max_p = Math::GMPz::Rmpz_get_ui($max_p) if Math::GMPz::Rmpz_fits_ulong_p($max_p);
  43. my $generator = sub ($m, $L, $lo, $k, $k_exp, $congr) {
  44. Math::GMPz::Rmpz_tdiv_q($u, $B, $m);
  45. Math::GMPz::Rmpz_root($u, $u, $k);
  46. Math::GMPz::Rmpz_fits_ulong_p($u) || die "Too large value!";
  47. my $hi = Math::GMPz::Rmpz_get_ui($u);
  48. if ($k == 1 and $max_p < $hi) {
  49. $hi = $max_p;
  50. }
  51. if ($lo > $hi) {
  52. return;
  53. }
  54. if ($k == 1) {
  55. Math::GMPz::Rmpz_cdiv_q($u, $A, $m);
  56. if (Math::GMPz::Rmpz_fits_ulong_p($u)) {
  57. $lo = vecmax($lo, Math::GMPz::Rmpz_get_ui($u));
  58. }
  59. elsif (Math::GMPz::Rmpz_cmp_ui($u, $lo) > 0) {
  60. if (Math::GMPz::Rmpz_cmp_ui($u, $hi) > 0) {
  61. return;
  62. }
  63. $lo = Math::GMPz::Rmpz_get_ui($u);
  64. }
  65. if ($lo > $hi) {
  66. return;
  67. }
  68. Math::GMPz::Rmpz_invert($v, $m, $L);
  69. if (Math::GMPz::Rmpz_cmp_ui($v, $hi) > 0) {
  70. return;
  71. }
  72. if (Math::GMPz::Rmpz_fits_ulong_p($L)) {
  73. $L = Math::GMPz::Rmpz_get_ui($L);
  74. }
  75. my $t = Math::GMPz::Rmpz_get_ui($v);
  76. $t > $hi && return;
  77. $t += $L while ($t < $lo);
  78. for (my $p = $t ; $p <= $hi ; $p += $L) {
  79. if (is_prime($p)) {
  80. my $valuation = valuation($p - 1, 2);
  81. if ($valuation > $k_exp and powmod($base, ($p - 1) >> ($valuation - $k_exp), $p) == ($congr % $p)) {
  82. Math::GMPz::Rmpz_mul_ui($v, $m, $p);
  83. Math::GMPz::Rmpz_sub_ui($u, $v, 1);
  84. if (Math::GMPz::Rmpz_divisible_ui_p($u, $p - 1)) {
  85. my $term = Math::GMPz::Rmpz_init_set($v);
  86. say "# Found upper-bound: $term";
  87. $B = $term if ($term < $B);
  88. $callback->($term);
  89. }
  90. }
  91. }
  92. }
  93. return;
  94. }
  95. my $z = Math::GMPz::Rmpz_init();
  96. my $lcm = Math::GMPz::Rmpz_init();
  97. foreach my $p (@{primes($lo, $hi)}) {
  98. $base % $p == 0 and next;
  99. Math::GMPz::Rmpz_gcd_ui($Math::GMPz::NULL, $m, $p - 1) == 1 or next;
  100. my $valuation = valuation($p - 1, 2);
  101. $valuation > $k_exp or next;
  102. powmod($base, ($p - 1) >> ($valuation - $k_exp), $p) == ($congr % $p) or next;
  103. Math::GMPz::Rmpz_mul_ui($z, $m, $p);
  104. Math::GMPz::Rmpz_lcm_ui($lcm, $L, $p - 1);
  105. __SUB__->($z, $lcm, $p + 1, $k - 1, $k_exp, $congr);
  106. }
  107. };
  108. # Cases where 2^(d * 2^v) == -1 (mod p), for some v >= 0.
  109. foreach my $v (reverse(0 .. logint($B, 2))) {
  110. $generator->(Math::GMPz->new(1), Math::GMPz->new(1), 2, $k, $v, -1);
  111. }
  112. # Case where 2^d == 1 (mod p), where d is the odd part of p-1.
  113. $generator->(Math::GMPz->new(1), Math::GMPz->new(1), 2, $k, 0, 1);
  114. }
  115. my $k = 11;
  116. my $from = Math::GMPz->new(2);
  117. my $upto = Math::GMPz->new(pn_primorial($k));
  118. while (1) {
  119. say "# Sieving range: [$from, $upto]";
  120. my @found;
  121. strong_carmichael_in_range($from, $upto, $k, 2, sub ($n) { push @found, $n });
  122. if (@found) {
  123. @found = sort {$a <=> $b} @found;
  124. say "Terms: @found";
  125. say "a($k) = $found[0]";
  126. last;
  127. }
  128. $from = $upto+1;
  129. $upto = 3*$from;
  130. }
  131. __END__
  132. a(3) = 15841
  133. a(4) = 5310721
  134. a(5) = 440707345
  135. a(6) = 10761055201
  136. a(7) = 5478598723585
  137. a(8) = 713808066913201
  138. a(9) = 1022751992545146865
  139. a(10) = 5993318051893040401
  140. a(11) = 120459489697022624089201
  141. a(12) = 27146803388402594456683201
  142. a(13) = 14889929431153115006659489681