[seqfan] Re: A130011 and the definition of "slowest increasing".

Heinz, Alois alois.heinz at hs-heilbronn.de
Mon Jul 13 15:23:22 CEST 2015

Am 13.07.2015 um 08:19 schrieb Lars Blomberg:

> Could someone please define what "slowest increasing" means?
> And what is the difference between "slowest increasing" and
> "lexicographically first"?

"lexicographically first" ist the greedy approach.  Use the
smallest a(n) that satisfies the condition given a(1), ..., a(n-1).
And do not change it later.  This is easy algorithmically.

"slowest increasing" here means that you accept a larger than greedy
a(n) if it is possible to get a smaller a(m) for a larger m>n.
This is more complicated algorithmically.

Please do not change the definition of A130011.

If you want to have a new sequence with the greedy approach,
please use a new A-number.

Best, Alois

More information about the SeqFan mailing list