|
|
A240116
|
|
Schoenheim lower bound L(n,5,2).
|
|
6
|
|
|
1, 3, 3, 4, 4, 6, 7, 8, 8, 12, 12, 13, 14, 18, 19, 20, 21, 27, 28, 29, 30, 37, 38, 40, 41, 48, 50, 52, 53, 62, 63, 65, 67, 76, 78, 80, 82, 93, 95, 97, 99, 111, 113, 116, 118, 130, 133, 136, 138, 152, 154, 157, 160, 174, 177, 180, 183, 199, 202, 205, 208, 225
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
5,2
|
|
LINKS
|
|
|
FORMULA
|
Empirical g.f.: x^5*(x^24 -x^21 -x^20 +2*x^17 +x^14 +x^12 -x^10 +2*x^9 +x^6 -x^4 +x^3 +2*x +1) / ( -x^25 +x^24 +x^21 -x^20 +x^5 -x^4 -x +1).
|
|
MATHEMATICA
|
schoenheim[n_, k_, t_] := Module[{lb = 1, n1 = n, k1 = k, t1 = t}, n1 += 1 - t1; k1 += 1 - t1; While[t1 > 0, lb = Ceiling[(lb*n1)/k1]; t1--; n1++; k1++]; lb];
|
|
PROG
|
(PARI) schoenheim(n, k, t) = {
my(lb = 1);
n += 1-t; k += 1-t;
while(t>0,
lb = ceil((lb*n)/k);
t--; n++; k++
);
lb
}
s=[]; for(n=5, 100, s=concat(s, schoenheim(n, 5, 2))); s
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn,easy
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|