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.

User: Dan Fodor

Dan Fodor's wiki page.

Dan Fodor has authored 2 sequences.

A182459 a(n) is the number of initial persons such that the n-th person survives in the duck-duck-goose game.

Original entry on oeis.org

1, 2, 13, 20, 46, 157, 236, 532, 1198, 4045, 6068, 13654, 46084, 103690, 1181101, 1771652, 3986218, 102162424, 229865455, 344798183, 517197275, 775795913, 1163693870, 3927466813, 5891200220, 13255200496, 29824201117, 44736301676, 100656678772, 226477527238
Offset: 1

Author

Dan Fodor, Apr 30 2012

Keywords

Comments

In more detail: k students are sitting in a circle. A professor starts tagging them in the pattern - duck, duck, goose, ... . If a student is tagged goose he or she leaves the circle immediately. The last remaining student is the winner. These are the numbers k of initial students such that the n-th student will be the winner.

Formula

a(n) = A081615(n)-1.

Extensions

Name corrected by Hugo Pfoertner, Oct 23 2023

A206702 The number of subsets X of Zn such that for all u, v in X, u+v is not in X.

Original entry on oeis.org

1, 2, 3, 5, 7, 14, 16, 30, 38, 70, 81, 150, 164, 317, 365, 651, 693, 1376, 1357, 2728, 2647, 5458, 5094, 10645, 10098, 20657, 18208, 39071, 33615, 79672, 61311, 146648, 115069, 281652, 211979, 528417, 362458, 1014026, 644778, 1979453, 1146748, 3633995, 2008902
Offset: 1

Author

Dan Fodor, Feb 11 2012

Keywords

Comments

Since the empty set and all the singletons except {0} have the required property, a(n) >= n. And clearly a(n) <= 2^n, since there are only 2^n possible subsets. - Michael B. Porter, Feb 11 2012

Examples

			a(5) = 7 because the following 7 subsets of {0,1,2,3,4} have the required property:
  1:  { }
  2:  { 1 }
  3:  { 1, 4 }
  4:  { 2 }
  5:  { 2, 3 }
  6:  { 3 }
  7:  { 4 }
		

Programs

  • Haskell
    import Control.Monad
    --this creates the powerset of a set
    ps n = filterM (\x->[True,False]) n
    --given a set z, this creates the set X of (a+b) for all a, b, in Z
    addset z = do x<-z
                  y<-z
                  [x+y]
    --this check if two sets are disjoint
    disjoint a [] = True
    disjoint a (c:d) = (disjoint a d) && ((filter (\x->x==c) a) ==[])
    --this checks if a set z is disjoint from its "adsset" in a certain Zn, n being the second argument.
    good z n = disjoint z (map (\x->rem x n) (addset z))
    --this generates all off Zn's subsets with the required property.
    sets n = filter (\x ->good x n) (ps [0..(n-1)])
    --this generates the first n terms of the sequence
    sequence n = map (\x->length(sets x) ) [1..n]
    
  • Maple
    b:= proc(i, n, s) local si; si:= s union {i};
          `if`(i=0, 1, b(i-1, n, s) +`if`({seq(seq(irem(k+j, n)
               , j=si), k=si)} intersect si={}, b(i-1, n, si), 0))
        end:
    a:= n-> b(n-1, n, {}):
    seq(a(n), n=1..25);  # Alois P. Heinz, Apr 24 2012
  • Mathematica
    b[i_, n_, s_] := Module[{si = s ~Union~ {i}}, If[i == 0, 1, b[i-1, n, s] + If[ Flatten[ Table[ Table[ Mod[k+j, n], {j, si}], {k, si}]] ~ Intersection~ si == {}, b[i-1, n, si], 0]]]; a[n_] := a[n] = b[n-1, n, {}]; Table[ Print["a(", n, ") = ", a[n]]; a[n], {n, 1, 40}] (* Jean-François Alcover, Jun 07 2013, translated and adapted from Alois P. Heinz's Maple program *)
  • PARI
    a(n)=if(n<4, return(n)); my(u,v=vector(n-2,i,[i]),s=n,t); while(#v, u=List(); for(i=1,#v, t=v[i]; for(m=t[#t]+1,n, if(setsearch(t,2*m%n)==0 && #setintersect(Set(vector(#t,k,t[k]+m)%n),t)==0 && #setintersect(vector(#t,k,m-t[#t-k+1]),t)==0, listput(u, concat(t, m))))); v=Vec(u); s+=#v); s \\ Charles R Greathouse IV, Jul 31 2016

Extensions

More terms from Joerg Arndt, Feb 11 2012
a(31)-a(43) from Alois P. Heinz, Apr 24 2012