%I #39 Jan 03 2024 14:56:43
%S 1,3,7,9,11,15,19,23,25,27,31,33,35,39,41,43,47,51,55,57,59,63,67,71,
%T 73,75,79,83,87,89,91,95,97,99,103,105,107,111,115,119,121,123,127,
%U 129,131,135,137,139,143,147,151,153,155,159,161,163,167,169,171,175,179
%N P-positions for game of UpMark.
%C The following description, due to D. R. Hofstadter, Email, Oct 23 2014, is presumably equivalent to Fraenkel's. Begin with 1, and then each new member is 2k-1, where k is the smallest unused non-member of the sequence. Thus k starts out as 2, so 2k-1 = 3, so 3 is the sequence's second member. The next value of k is 4, giving 2k-1 = 7, so 7 is the sequence's third member. Then k = 5, so 9 is the next member. Then k = 6, so 11 is the next member. Then k = 8, so 15 is the next member. Etc. - _N. J. A. Sloane_, Oct 26 2014
%C It appears that this is the sequence of positions of 1 in the 1-limiting word of the morphism 0 -> 10, 1 -> 00; see A284948. - _Clark Kimberling_, Apr 18 2017
%C It appears that this sequence gives the positions of 0 in the limiting 0-word of the morphism 0->11, 1-> 01. See A285383. - _Clark Kimberling_, Apr 26 2017
%C It appears that this sequence gives integers that are congruent to 2^k+1 (mod 2^(k+1)), where k is any odd integer >=1. - _Jules Beauchamp_, Dec 04 2023
%H Reinhard Zumkeller, <a href="/A171947/b171947.txt">Table of n, a(n) for n = 1..10000</a>
%H Aviezri S. Fraenkel, <a href="http://dx.doi.org/10.1016/j.disc.2011.03.032">The vile, dopey, evil and odious game players</a>, Discrete Math. 312 (2012), no. 1, 42-46.
%F Presumably equal to 2*A003159 + 1. - _Reinhard Zumkeller_, Oct 26 2014
%p # Maple code for M+1 terms of sequence, from _N. J. A. Sloane_, Oct 26 2014
%p m:=1; a:=[m]; M:=100;
%p for n from 1 to M do
%p m:=m+1; if m in a then m:=m+1; fi;
%p c:=2*m-1;
%p a:=[op(a),c];
%p od:
%p [seq(a[n],n=1..nops(a))];
%t f[n_] := Block[{a = {1}, b = {}, k}, Do[k = 2; While[MemberQ[a, k] || MemberQ[b, k], k++]; AppendTo[a, 2 k - 1]; AppendTo[b, k], {i, 2, n}]; a]; f@ 120 (* _Michael De Vlieger_, Jul 20 2015 *)
%o (Haskell)
%o import Data.List (delete)
%o a171947 n = a171947_list !! (n-1)
%o a171947_list = 1 : f [2..] where
%o f (w:ws) = y : f (delete y ws) where y = 2 * w - 1
%o -- _Reinhard Zumkeller_, Oct 26 2014
%Y Complement of A171946. Essentially identical to A072939.
%Y A249034 gives missing odd numbers.
%Y Cf. A003159.
%K nonn,easy
%O 1,2
%A _N. J. A. Sloane_, Oct 29 2010
|