OFFSET
1,3
COMMENTS
More terms given in links.
a(n) = 1 if and only if n + 1 is prime. Thus there are infinitely many nonzero entries.
For n in A016767, a(n) = 0 since n^k + k^n is factorable and will never be prime. Thus there are infinitely many zero entries.
If a(i) = j then a(j) <= i for all i and j not equal to 0.
a(n) and n must have opposite parity. If n is odd/even, a(n) must be even/odd, respectively.
Further, gcd(n, a(n)) = 1 for all n.
LINKS
H. Lifchitz and R. Lifchitz, PRP Top Records. Search for x^y+y^x
EXAMPLE
3^1 + 1^3 = 4 is not prime. 3^2 + 2^3 = 17 is prime. So a(3) = 2.
PROG
(PARI) a(n)=if(ispower(n)&&ispower(n)%3==0&&n%3==0, return(0)); k=1; while(!ispseudoprime(n^k+k^n), k++); return(k)
vector(12, n, a(n))
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Derek Orr, May 30 2014
STATUS
approved