cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A247665 a(1)=2; thereafter a(n) is the smallest number >= 2 not yet used which is compatible with the condition that a(n) is relatively prime to the next n terms.

Original entry on oeis.org

2, 3, 4, 5, 7, 9, 8, 11, 13, 17, 19, 23, 15, 29, 14, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 25, 27, 79, 83, 16, 49, 89, 97, 101, 103, 107, 109, 113, 121, 127, 131, 137, 139, 149, 151, 157, 163, 167, 169, 173, 179, 181, 191, 85, 193, 57, 197, 199, 211, 223
Offset: 1

Views

Author

N. J. A. Sloane, Oct 06 2014 and Oct 08 2014

Keywords

Comments

It appears that a(k) is even iff k = 2^i-1 (cf. A248379). It also appears that all powers of 2 occur in the sequence. (Amarnath Murthy)
The indices of even terms and their values are [1, 2], [3, 4], [7, 8], [15, 14], [31, 16], [63, 32], [127, 64], [255, 128], [511, 122], ...
Will the numbers 6, 10, 21, 22, ... ever occur? 12, 18, 20, ... are also missing, but if 6 never appears then neither will 12, etc.
A related question: are all terms deficient? - Peter Munn, Jul 20 2017
It appears that the missing numbers are 6, 10, 12, 18, 20, 21, 22, 24, 26, 28, 30, 33, 34, 35, 36, 38, 39, 40, 42, ..., but since there is no proof that any one of these is really missing, this sequence cannot yet be added to the OEIS. - N. J. A. Sloane, May 18 2022

Examples

			a(1) = 2 must be rel. prime to a(2), so a(2)=3.
a(2) = 3 must be rel. prime to a(3) and a(4), so we can take them to be 4 and 5.
a(3) = 4 must be rel. prime to a(5), a(6), so we must take them to be 7,9.
a(4) = 5 must be rel. prime to a(7), a(8), so we must take them to be 8,11.
At each step after the first, we must choose two new numbers, and we must make sure that not only are they rel. prime to a(n), they are also rel. prime to all a(i), i>n, that have been already chosen.
		

References

Crossrefs

Indices of primes and prime powers: A248387, A248918.
Lengths of runs of primes: A249033.
A090252 = similar to A247665 but start with a(1)=1. A249559 starts with a(1)=3.
A249064 is a different generalization.
A064413 is another similar sequence.

Programs

  • Haskell
    a247665 n = a247665_list !! (n-1)
    a247665_list = 2 : 3 : f [3] [4..] where
       f (x:xs) zs = ys ++ f (xs ++ ys) (zs \\ ys) where
         ys = [v, head [w | w <- vs, gcd v w == 1]]
         (v:vs) = filter (\u -> gcd u x == 1 && all ((== 1) . (gcd u)) xs) zs
    -- Reinhard Zumkeller, Oct 09 2014
    
  • PARI
    m=100; v=vector(m); u=vectorsmall(100*m); for(n=1, m, for(i=2, 10^9, if(!u[i], for(j=(n+1)\2, n-1, if(gcd(v[j], i)>1, next(2))); v[n]=i; u[i]=1; break))); v \\ Jens Kruse Andersen, Oct 08 2014
    
  • Python
    from itertools import count, islice
    from math import gcd
    from collections import deque
    def A247665_gen(): # generator of terms
        aset, aqueue, c, f = {2}, deque([2]), 3, True
        yield 2
        while True:
            for m in count(c):
                if m not in aset and all(gcd(m,a) == 1 for a in aqueue):
                    yield m
                    aset.add(m)
                    aqueue.append(m)
                    if f: aqueue.popleft()
                    f = not f
                    while c in aset:
                        c += 1
                    break
    A247665_list = list(islice(A247665_gen(),50)) # Chai Wah Wu, May 19 2022
  • Sage
    # s is the starting point (2 in A247665).
    def gen(s):
        sequence = [s]
        available = list(range(2,2*s))
        available.pop(available.index(s))
        yield s
        while True:
            available.extend(range(available[-1]+1,next_prime(available[-1])+1))
            for i,e in enumerate(available):
                if all(gcd(e, sequence[j])==1 for j in range(-len(sequence)//2,0)):
                    available.pop(i)
                    sequence.append(e)
                    yield(e)
                    break
    g = gen(2)
    [next(g) for i in range(40)]  # (gets first 40 terms of A247665)
    # Nadia Heninger, Oct 28 2014
    

Extensions

More terms from Jens Kruse Andersen, Oct 06 2014
Further terms from Russ Cox, Oct 08 2014
Added condition a(n) >= 2 to definition. - N. J. A. Sloane, May 16 2022

A248379 Even terms in A247665 in order of appearance.

Original entry on oeis.org

2, 4, 8, 14, 16, 32, 64, 128, 122, 244, 256, 512, 866, 1024, 1766, 2048, 4006, 4096, 8192, 8482, 12242, 16384, 32768, 52586, 65536, 105806, 131072
Offset: 1

Views

Author

N. J. A. Sloane, Oct 08 2014

Keywords

Comments

What are the terms that are not powers of 2?

Examples

			Table (extracted from Russ Cox's extended table in A247665) showing index where even numbers appear, the even number, and the number of different prime factors of that term:
3 4 1
7 8 1
15 14 2
31 16 1
63 32 1
127 64 1
255 128 1
511 122 2
1023 244 2
2047 256 1
4095 512 1
8191 866 2
16383 1024 1
32767 1766 2
65535 2048 1
131071 4006 2
262143 4096 1
524287 8192 1
1048575 8482 2
2097151 12242 2
4194303 16384 1
8388607 32768 1
16777215 52586 2
33554431 65536 1
67108863 105806 2
134217727 131072 1
...
		

References

Crossrefs

Extensions

More terms from Russ Cox, Oct 11 2014

A248387 a(n) = index of n-th prime in A247665.

Original entry on oeis.org

1, 2, 4, 5, 8, 9, 10, 11, 12, 14, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 29, 30, 33, 34, 35, 36, 37, 38, 39, 41, 42, 43, 44, 45, 46, 47, 48, 49, 51, 52, 53, 54, 56, 58, 59, 60, 61, 62, 64, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81
Offset: 1

Views

Author

Russ Cox and N. J. A. Sloane, Oct 16 2014

Keywords

Crossrefs

Subsequence of A248918.

Programs

  • Haskell
    import Data.List (elemIndex); import Data.Maybe (fromJust)
    a248387 = (+ 1) . fromJust . (`elemIndex` a247665_list) . a000040
    -- Reinhard Zumkeller, Oct 16 2014

A248390 Composite terms in A247665 in order of appearance.

Original entry on oeis.org

4, 9, 8, 15, 14, 25, 27, 16, 49, 121, 169, 85, 57, 32, 161, 319, 403, 125, 289, 81, 361, 64, 259, 529, 451, 841, 559, 961, 235, 901, 177, 1159, 128, 343, 1369, 1541, 781, 1681, 2117, 1027, 1849, 2573, 445, 2209, 1649, 2809, 243, 1121, 122, 707
Offset: 1

Views

Author

Russ Cox and N. J. A. Sloane, Oct 16 2014

Keywords

Crossrefs

Showing 1-4 of 4 results.