The On-Line Encyclopedia of Integer Sequences
oeis.org
oeis.org
It's one of these things I seem to have been born blind towards.
(SRM 363, HandShake problem): http://apps.topcoder.com/forums/?module=Thread&threadID=5843...
The idea is you brute force or hand calculate the first few numbers and then use the OEIS's wild card search.
For example, one of the Google-Foobar puzzles involves how many ways you can order a line of different-height elements so that only a certain number are "visible" if you stood at one end of the line or the other.
First I tried to figure out how I would solve it for small numbers by hand, creating a spreadsheet of inputs. At one point, I got a grid of numbers where the "simpler" rows/columns had a sequence like 1, 1, 1, 2, 3, 1, 6, 11, 6, which, through random googling and OEIS turned out to be "Unsigned Stirling numbers of the first kind"
http://oeis.org/A008275 https://en.wikipedia.org/wiki/Stirling_numbers_of_the_first_...
Alas, I'm still no math-major... the comments in my solution contain: "I'm extremely proud of this boiled-down end-result... except that I'm not sure I can fully explain why it works."
a(n) is also the number of permutations simultaneously avoiding 213, 231 and 321 in the classical sense which can be realized as labels on an increasing strict binary tree with 2n-1 nodes. See A245904 for more information on increasing strict binary trees. - Manda Riehl
Number of n-digit numbers the binary expansion of which contains one run of 1's. - Vladimir Shevelev
> It took us over a year to resolve this problem. In the end, Russ Cox completely rewrote all the programs needed to maintain the database and answer queries - a huge task! NJAS's colleague David Applegate has also been of enormous help in getting the new system working.
Note that I'm only talking about the software for the "interactive" UI, not the database itself. The database itself goes back to punched cards and the original interactive UI was a pair of published books (first A Handbook of Integer Sequences, and then the Encyclopedia of Integer Sequences).
Decimal expansion of (7^(e - 1/e) - 9)*Pi^2, also known as Jenny's constant.