login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A065092 Primes with property that when written in base two complementing any single bit yields a composite number. 6

%I #43 Jul 27 2022 02:16:02

%S 127,173,191,233,239,251,277,337,349,373,431,443,491,557,653,683,701,

%T 733,761,1019,1193,1201,1381,1453,1553,1597,1709,1753,1759,1777,2027,

%U 2063,2333,2371,2447,2633,2879,2999,3083,3181,3209,3313,3593,3643,3767

%N Primes with property that when written in base two complementing any single bit yields a composite number.

%C Also known as singularly dead end primes.

%C In contrast to the primes listed in A137985 (which contains, e.g., the additional term 223), the terms listed here are required to yield a composite also when prefixed with an ("additional") binary digit 1. - _M. F. Hasler_, Apr 05 2013

%H T. D. Noe, <a href="/A065092/b065092.txt">Table of n, a(n) for n=1..10000</a>

%H William Paulsen, <a href="http://web.archive.org/web/www.csm.astate.edu/~wpaulsen/primemaze/mazeisol.html">Are some rooms totally isolated?</a> [Copy on web.archive.org, latest version as of Nov 04 2008]

%H C. Rivera (Ed.), <a href="http://primepuzzles.net/problems/prob_025.htm">Problem 25: William Paulsen's Prime Numbers Maze</a>, on primepuzzles.net. [Before Oct. 1999]

%H Warren D. Smith et al., <a href="http://groups.yahoo.com/group/primenumbers/message/24989">Primes such that every bit matters?</a>, on "primenumbers" Yahoo group, Apr 04 2013.

%H Warren D. Smith and others, <a href="/A065092/a065092.txt">Primes such that every bit matters?</a>, digest of 14 messages in primenumbers Yahoo group, Apr 3 - Apr 9, 2013.

%H Terence Tao, <a href="http://arxiv.org/abs/0802.3361">A remark on primality testing and decimal expansions</a>, arXiv:0802.3361 [math.NT], 2008-2010; Journal of the Australian Mathematical Society 91:3 (2011), pp. 405-413.

%e 127 is in the sequence because 127d becomes 1111111b. "Changing a 1 to a 0 [from right to left] yields rooms 126, 125, 123, 119, 111, 95, or 62, all of which are composite. Furthermore, adding a digit 1 to the left of this number produces, 255 = 11111111b which is also composite. However, this room is not completely isolated from the maze because one can drop in from room 383d = 101111111b." Paulsen.

%t Do[d = Prepend[ IntegerDigits[ Prime[n], 2], 0]; l = Length[d]; k = 1; While[k < l && !PrimeQ[ FromDigits[ If[d[[k]] == 1, ReplacePart[d, 0, k], ReplacePart[d, 1, k]], 2]], k++ ]; If[k == l, Print[ Prime[n]]], {n, 2, 500} ]

%o (PARI)

%o f(p)=

%o {

%o pow2=2; v=binary(p); L=#v-1;

%o forstep(k=L,1,-1,

%o if(v[k]==0, x=p+pow2, x=p-pow2);

%o if(isprime(x), return(0));

%o pow2*=2

%o );

%o if(isprime(p+pow2), return(0)); return(1)

%o };

%o forprime(p=5,3767, if(f(p), print1(p, ", "))) \\ _Washington Bomfim_, Jan 16 2011

%o (PARI) /* needs ver. >= 2.6 */ is_A065092(n)={!for(k=1,n,isprime(bitxor(n,k))&return;k+=k-1)&isprime(n)} \\ Note the strange behavior of the for() loop w.r.t. the upper limit. In PARI versions up to 2.4, the increment must take place at the beginning of the loop, viz "k>2 & k+=k-2" BEFORE isprime(), as to cover k=2^ceil(log[2](n)). - _M. F. Hasler_, Apr 05 2013

%o (Python)

%o from sympy import isprime, primerange

%o def ok(p): # p assumed prime

%o return not any(isprime((1<<k)^p) for k in range(p.bit_length()+1))

%o def aupto(limit):

%o alst = []

%o for p in primerange(2, limit+1):

%o if ok(p): alst.append(p)

%o return alst

%o print(aupto(2917)) # _Michael S. Branicky_, Jul 26 2022

%K base,nonn

%O 1,1

%A _Robert G. Wilson v_, Nov 10 2001

%E Links fixed & added by _M. F. Hasler_, Apr 05 2013

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 19 19:02 EDT 2024. Contains 371798 sequences. (Running on oeis4.)