[seqfan] Re: A130011 and the definition of "slowest increasing".
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.
More information about the SeqFan