[seqfan] Prove formula?

Ron Hardin rhhardin at att.net
Tue Mar 20 22:36:09 CET 2012


A formula for the below is easily guessed from the first two columns, where OEIS 
gives the formula.

Is it obvious, or easy to prove?  If so "Empirical" can be omitted.


T(n,k)=Number of arrays of n nonnegative integers with value i>0 appearing only 
after i-1 has appeared at least k times

Table starts
..........1.......1......1.....1....1...1...1
..........2.......1......1.....1....1...1...1
..........5.......2......1.....1....1...1...1
.........15.......4......2.....1....1...1...1
.........52.......9......4.....2....1...1...1
........203......23......8.....4....2...1...1
........877......65.....17.....8....4...2...1
.......4140.....199.....40....16....8...4...2
......21147.....654....104....33...16...8...4
.....115975....2296....291....73...32..16...8
.....678570....8569....857...177...65..32..16
....4213597...33825...2634...467..138..64..32
...27644437..140581...8455..1309..315.129..64
..190899322..612933..28424..3813..782.267.128
.1382958545.2795182.100117.11409.2090.582.257

Some.solutions.for.n=4.k=4..
..0....0....0....0....0....0....0....0....0....0....0....0....0....0....0....0..
..0....0....0....0....0....0....0....0....0....0....0....0....0....0....0....0..
..0....0....0....0....0....0....0....0....0....0....0....0....0....0....0....0..
..0....0....0....0....0....0....0....0....0....0....0....0....0....0....0....0..
..1....1....1....1....1....0....1....1....1....1....1....1....1....1....1....1..
..1....1....0....0....0....0....1....1....0....1....1....0....0....1....1....1..
..1....1....0....0....1....1....1....1....0....1....1....1....1....1....1....0..
..0....1....1....0....0....1....0....0....1....1....0....1....0....1....1....1..
..1....2....1....1....0....0....1....1....1....0....1....1....1....1....0....1..
..2....2....0....0....1....1....1....2....0....0....1....1....0....2....1....1..
..2....1....0....0....0....0....2....1....1....1....2....1....1....2....0....2..
..0....0....0....1....1....1....1....0....1....2....2....1....2....2....0....1..
..0....2....0....1....1....2....1....2....1....0....0....1....0....2....0....1..

Empirical: T(n,k)=1 if n<=k else sum{i=0..n-k}(binomial(n-k,i)*T(i,k))

Column 1 is A000110
Column 2 is A007476


 rhhardin at mindspring.com
rhhardin at att.net (either)




More information about the SeqFan mailing list