This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A214872 #20 Mar 24 2017 00:47:54 %S A214872 1,2,8,59,663,10609,225219,6057298,199290037,7805646133,356263294786, %T A214872 18626811747385 %N A214872 The number of subsets of positive integers of cardinality n, produced as the steps in a computation starting with 1 and using the operations of multiplication, addition, or subtraction. %C A214872 A straight-line program (SLP) is a sequence that starts at 1 and has each entry obtained from two preceding entries by addition, multiplication, or subtraction. The length of the SLP is defined as that of the sequence without the first 1. An SLP is said to be positive if all numbers in the sequence are positive, and reduced if there is no repetition in the sequence. Two SLPs are considered equivalent if their sequence consists of the same numbers (only difference is sequence order). This OEIS sequence gives the number of reduced positive SLPs with n steps. %C A214872 For most purposes only positive SLPs can be considered, as for every general SLP sequence, applying absolute value to all the steps will produce a positive SLP. %C A214872 This OEIS sequence can also be thought of as defining the size of the search space that needs to be traversed when trying to compute other SLP related OEIS sequences as given in the cross references below. %H A214872 Al Zimmermann, <a href="http://www.azspcs.net/Contest/Factorials">Al Zimmermann's Programming Contests: Factorials</a> %F A214872 a(n) >= a(n-1) * 2 * (n-1) and a(2)=2 Hence a(n) >= 2^(n-1)*(n-1)! . %F A214872 The recurrence above is true since if the maximum of an SLP sequence of length n-1 is added to all elements except itself, and multiplied with all elements except the first 1 (including itself), then 2n-2 different extensions of the original SLP sequence are produced, resulting in 2n-2 reduced SLP's of length n. %e A214872 a(1) = 1 and the SLP is (1,2). %e A214872 a(2) = 2 and the positive SLPs are (1,2,3) (1,2,4). %e A214872 a(3) = 8 and the positive SLPs are (1,2,3,4) (1,2,3,5) (1,2,3,6) (1,2,3,9) (1,2,4,5) (1,2,4,6) (1,2,4,8) (1,2,4,16). %e A214872 Notice that also (1,2,4,3) is a legal positive reduced length 3 SLP sequence but it is equivalent to (1,2,3,4) hence is not enumerated. %Y A214872 Cf. A217032, A216999, A217031, A173419, A141414. %K A214872 nonn,hard %O A214872 1,2 %A A214872 _Gil Dogon_, May 03 2013