cp's OEIS Frontend

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.

Showing 1-2 of 2 results.

A318897 Number of tilings of the even-order sphinx with the two dominoes that form the second-order sphinx.

Original entry on oeis.org

1, 8, 5433, 28925040
Offset: 1

Views

Author

Craig Knecht, Sep 05 2018

Keywords

Comments

There are 46 sphinx dominoes. The order 2 sphinx is composed of two different dominoes. These two dominoes are used to tile the even-order sphinx.
The orientation of the order 8 sphinx in the link below is essential for the bit-vector bottom-up search to efficiently find solutions. All order 8 solutions are found in a few minutes.

Crossrefs

A318778 Number of different positions that an elementary sphinx can occupy in a sphinx of order n.

Original entry on oeis.org

1, 28, 128, 300, 544, 860, 1248, 1708, 2240, 2844
Offset: 1

Views

Author

Craig Knecht, Sep 10 2018

Keywords

Crossrefs

Formula

Conjectures from Colin Barker, Nov 13 2018: (Start)
G.f.: x*(1 + 25*x + 47*x^2 - x^3) / (1 - x)^3.
a(n) = 44 - 80*n + 36*n^2 for n>1.
a(n) = 3*a(n-1) - 3*a(n-2) + a(n-3) for n>4.
(End)
Showing 1-2 of 2 results.