Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A158415
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A158415 Number of different (by numeric value, not by structure) expressions, consisting of N symbols, each of them is one of: nullary 1, unary srqt(), binary +. +0
1
1, 1, 2, 3, 5, 8, 13, 20, 33, 54, 91, 154, 264, 455, 791, 1379, 2424, 4277, 7588, 13513, 24162, 43336, 77978, 140683, 254487, 461409, 838433, 1526536 (list; graph; listen)
OFFSET

1,3

LINKS

Reed Kelly and others, Discussion of this sequence

EXAMPLE

a(3)=2 because there are 2 different expressions: sqrt(sqrt(1)), 1+1.

PROGRAM

(PARI code from Robert Gerbicz (robert.gerbicz(AT)gmail.com), Mar 22 2009)

allocatemem(2*10^8); \

a=L=vector(28); eps=10^(-20); a[1]=[1]; L[1]=1; print1(1", "); \

for(i=2, 28, b=vector(L[i-1]+sum(j=1, (i-1)\2, L[j]*L[i-j-1])); \

up=0; for(j=1, L[i-1], up++; b[up]=sqrt(a[i-1][j])); \

for(j=1, (i-1)\2, for(k=1, L[j], for(l=1, L[i-1-j], \

up++; b[up]=a[j][k]+a[i-1-j][l]))); \

c=vector(up, j, b[j]); c=vecsort(c); s=0; \

for(j=1, up, if((j==1)||(c[j]>c[j-1]+eps), s++)); \

a[i]=vector(s); s=0; \

for(j=1, up, if((j==1)||(c[j]>c[j-1]+eps), s++; a[i][s]=c[j])); \

L[i]=s; print1(L[i]", "))

CROSSREFS

Sequence in context: A013985 A092834 A080106 this_sequence A005347 A100582 A093093

Adjacent sequences: A158412 A158413 A158414 this_sequence A158416 A158417 A158418

KEYWORD

hard,more,nonn

AUTHOR

Vladimir Reshetnikov (v.reshetnikov(AT)gmail.com), Mar 18 2009

EXTENSIONS

a(19)-a(28) from Robert Gerbicz (robert.gerbicz(AT)gmail.com), Mar 22 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 | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified November 25 20:09 EST 2009. Contains 167514 sequences.


AT&T Labs Research