
COMMENTS

Alternative definition: consider a labyrinth consisting of n rooms, one designated as the "start room", connected by a number of oneway corridors. Let R(k) be a set of all rooms that can be reached from the start room after passing through exactly k corridors. We need to construct a labyrinth with the maximal number of distinct R(k), i.e., a set { R(0), R(1), R(2), ... } (that is actually a finite set) must be of the largest possible size. This size is a(n).
For small n, a(n)=A059100(n1) which corresponds to a labyrinth 1 > 2 > 3 > ... > n > 1, n > 2 with the start room "1".
For large n, a(n) is different from A059100(n1). In particular, for n=29, there is a labyrinth of the following shape: there are five directed corridors from the start room to five other rooms that belong to disjoint directed cycles of length 2, 3, 5, 7, and 11 respectively (note that 29 = 1+2+3+5+7+11). It gives 1+2*3*5*7*11=2311 distinct R(k)'s, implying that a(29)>=2311>A059100(28).
Conjecture: a(n)=A059100(n1) holds only for all n<20 as well as n=22 and n=23. (Rustem Aidagulov)
