Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A086316
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A086316 Decimal expansion of estimate of the strongly triple-free set constant. +0
1
6, 1, 3, 4, 7, 5, 2, 6, 9, 2, 0, 2, 2, 3, 4, 4, 1, 6, 0, 1, 8, 0, 4, 1, 6, 6, 3, 8 (list; cons; graph; listen)
OFFSET

0,1

LINKS

S. R. Finch, Triple-Free Sets of Integers

J. Cassaigne and P. Zimmermann, Numerical Evaluation of the Strongly Triple-Free Constant (1996). [From S. R. Finch (Steven.Finch(AT)inria.fr), Feb 25 2009]

Eric Weisstein's World of Mathematics, Triple-Free Set

EXAMPLE

0.613475269...

0.6134752692022344160180416638... [From S. R. Finch (Steven.Finch(AT)inria.fr), Feb 25 2009]

MATHEMATICA

f[k_, n_]:=1+Floor[FullSimplify[Log[n/3^k]/Log[2]]]; g[n_]:=Floor[FullSimplify[Log[n]/Log[3]]]; peven[n_]:=Sum[Quotient[f[k, n]+Mod[k+1, 2], 2], {k, 0, g[n]}]; podd[n_]:=Sum[Quotient[f[k, n]+Mod[k, 2], 2], {k, 0, g[n]}]; p[n_]:=Max[peven[n], podd[n]]; v[1]=1; j=1; k=1; n=4001; For[k=2, k=n, k++, If[2*v[k-j]<3^j, v[k]=2*v[k-j], {v[k]=3^j, j++}]]; Sum[p[v[n]]*(1/v[n]-1/v[n+1]), {n, 1, 4000}]/3 [From S. R. Finch (Steven.Finch(AT)inria.fr), Feb 25 2009]

CROSSREFS

A050295, A050296 [From S. R. Finch (Steven.Finch(AT)inria.fr), Feb 25 2009]

Sequence in context: A074193 A074453 A069608 this_sequence A021167 A085677 A074584

Adjacent sequences: A086313 A086314 A086315 this_sequence A086317 A086318 A086319

KEYWORD

nonn,cons,more

AUTHOR

Eric Weisstein (eric(AT)weisstein.com), Jul 15, 2003

EXTENSIONS

More terms from S. R. Finch (Steven.Finch(AT)inria.fr), Feb 25 2009

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | The OEIS Foundation | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified February 9 11:24 EST 2010. Contains 172296 sequences.


AT&T Labs Research