cp's OEIS Frontend

A257508 Next-to-leaf vertices in binary beanstalk; Numbers n for which A257265(n) = 1.

%I A257508 #16 May 06 2015 17:46:20
%S A257508 1,3,4,7,10,11,15,18,22,23,25,26,31,34,38,39,41,46,47,49,50,54,56,57,
%T A257508 63,66,70,71,73,78,79,81,82,86,88,94,95,97,98,102,104,105,110,113,116,
%U A257508 117,119,120,127,130,134,135,137,142,143,145,146,150,152,158,159,161,162,166,168,169,174,177,180,181
%N A257508 Next-to-leaf vertices in binary beanstalk; Numbers n for which A257265(n) = 1.
%C A257508 Numbers n for which A257265(n) = 1, in other words, numbers n for which a descendant leaf nearest to n in binary beanstalk is one edge away.
%C A257508 Numbers n such that either A079559(A213723(n)) or A079559(A213724(n)) (or both) are zero.
%C A257508 Equal to A257507 with duplicate terms removed.
%H A257508 Antti Karttunen, <a href="/A257508/b257508.txt">Table of n, a(n) for n = 1..12289</a>
%H A257508 Paul Tek, <a href="/A179016/a179016.png">Illustration of how natural numbers in range 0 .. 133 are organized as a binary tree in the binary beanstalk</a>
%e A257508 3 is present because it has an immediate leaf-child 5, as A011371(5) = 3.
%e A257508 4 is present because it has an immediate leaf-child 6, as A011371(6) = 4.
%e A257508 10 is present because it has two immediate leaf-children, 12 and 13, as A011371(12) = A011371(13) = 10.
%e A257508 See also Paul Tek's illustration.
%o A257508 (Scheme, with _Antti Karttunen_'s IntSeq-library, two alternatives)
%o A257508 (define A257508 (MATCHING-POS 1 0 (lambda (n) (= 1 (A257265 n)))))
%o A257508 (define A257508 (MATCHING-POS 1 0 (lambda (n) (or (zero? (A079559 (A213723 n))) (zero? (A079559 (A213724 n))))))) ;; Compare to the definition of A257512.
%o A257508 (Haskell)
%o A257508 a257508 n = a257508_list !! (n-1)
%o A257508 a257508_list = filter ((== 1) . a257265) [0..]
%o A257508 -- _Reinhard Zumkeller_, May 06 2015
%Y A257508 Positions of 1's in A257265.
%Y A257508 Subsequence of A005187.
%Y A257508 Cf. A011371, A079559, A213723, A213724, A257507, A257509, A257512 (a subsequence).
%K A257508 nonn
%O A257508 1,2
%A A257508 _Antti Karttunen_, May 03 2015