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

[Heinz, Alois]

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