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-4 of 4 results.

A004003 Number of domino tilings (or dimer coverings) of a 2n X 2n square.

Original entry on oeis.org

1, 2, 36, 6728, 12988816, 258584046368, 53060477521960000, 112202208776036178000000, 2444888770250892795802079170816, 548943583215388338077567813208427340288, 1269984011256235834242602753102293934298576249856
Offset: 0

Views

Author

N. J. A. Sloane, Greg Huber

Keywords

Comments

A099390 is the main entry for domino tilings (or dimer tilings) of a rectangle.
The numbers of domino tilings in A006253, A004003, A006125 give the number of perfect matchings in the relevant graphs. There are results of Jockusch and Ciucu that if a planar graph has a rotational symmetry then the number of perfect matchings is a square or twice a square - this applies to these 3 sequences. - Dan Fux (dan.fux(AT)OpenGaia.com or danfux(AT)OpenGaia.com), Apr 12 2001
Christine Bessenrodt points out that Pachter (1997) shows that a(n) is divisible by 2^n (cf. A065072).
a(n) is the number of different ways to cover a 2n X 2n lattice with 2n^2 dominoes. John and Sachs show that a(n) = 2^n*B(n)^2, where B(n) == n+1 (mod 32) when n is even and B(n) == (-1)^((n-1)/2)*n (mod 32) when n is odd. - Yong Kong (ykong(AT)curagen.com), May 07 2000

Examples

			The 36 solutions for the 4 X 4 board, from Neven Juric, May 14 2008:
A01 = {(1,2), (3,4), (5,6), (7,8), (9,10), (11,12), (13,14), (15,16)}
A02 = {(1,2), (3,4), (5,6), (7,11), (9,10), (8,12), (13,14), (15,16)}
A03 = {(1,2), (3,4), (5,9), (6,7), (10,11), (8,12), (13,14), (15,16)}
A04 = {(1,2), (3,4), (5,9), (6,10), (7,8), (11,12), (13,14), (15,16)}
A05 = {(1,2), (3,4), (5,9), (6,10), (7,11), (8,12), (13,14), (15,16)}
A06 = {(1,2), (3,4), (5,6), (7,8), (9,10), (13,14), (11,15), (12,16)}
A07 = {(1,2), (3,4), (5,9), (6,10), (7,8), (11,15), (13,14), (12,16)}
A08 = {(1,2), (3,4), (5,6), (7,8), (9,13), (10,14), (11,12), (15,16)}
A09 = {(1,2), (3,4), (5,6), (7,11), (8,12), (9,13), (10,14), (15,16)}
A10 = {(1,2), (3,4), (5,6), (7,8), (9,13), (10,11), (14,15), (12,16)}
A11 = {(1,2), (3,4), (5,6), (7,8), (9,13), (10,14), (11,15), (12,16)}
A12 = {(1,2), (5,6), (3,7), (4,8), (9,10), (11,12), (13,14), (15,16)}
A13 = {(1,2), (3,7), (4,8), (5,9), (6,10), (11,12), (13,14), (15,16)}
A14 = {(1,2), (5,6), (3,7), (4,8), (9,10), (13,14), (11,15), (12,16)}
A15 = {(1,2), (3,7), (4,8), (6,10), (5,9), (11,15), (12,16), (13,14)}
A16 = {(1,2), (3,7), (4,8), (5,6), (9,13), (10,14), (11,12), (15,16)}
A17 = {(1,2), (3,7), (4,8), (5,6), (9,13), (10,11), (14,15), (12,16)}
A18 = {(1,2), (5,6), (3,7), (4,8), (9,13), (10,14), (11,15), (12,16)}
A19 = {(1,5), (2,6), (3,4), (7,8), (9,10), (11,12), (13,14), (15,16)}
A20 = {(1,5), (2,6), (3,4), (7,11), (8,12), (9,10), (13,14), (15,16)}
A21 = {(1,5), (3,4), (2,6), (9,10), (7,8), (11,15), (13,14), (12,16)}
A22 = {(1,5), (2,6), (3,4), (7,8), (9,13), (10,14), (11,12), (15,16)}
A23 = {(1,5), (2,6), (3,4), (7,11), (8,12), (9,13), (10,14), (15,16)}
A24 = {(1,5), (2,6), (3,4), (7,8), (9,13), (10,11), (14,15), (12,16)}
A25 = {(1,5), (2,6), (3,4), (7,8), (9,13), (10,14), (11,15), (12,16)}
A26 = {(1,5), (2,3), (6,7), (4,8), (9,10), (11,12), (13,14), (15,16)}
A27 = {(1,5), (2,6), (3,7), (4,8), (9,10), (11,12), (13,14), (15,16)}
A28 = {(1,5), (2,3), (6,7), (4,8), (9,10), (11,15), (13,14), (12,16)}
A29 = {(1,5), (2,6), (3,7), (4,8), (9,10), (13,14), (11,15), (12,16)}
A30 = {(1,5), (2,3), (6,7), (4,8), (9,13), (10,14), (11,12), (15,16)}
A31 = {(1,5), (2,6), (3,7), (4,8), (9,13), (10,14), (11,12), (15,16)}
A32 = {(1,5), (2,6), (3,7), (4,8), (9,13), (10,14), (11,15), (12,16)}
A33 = {(1,5), (2,6), (3,7), (4,8), (9,13), (10,11), (14,15), (12,16)}
A34 = {(1,5), (2,3), (4,8), (6,10), (7,11), (9,13), (14,15), (12,16)}
A35 = {(1,5), (2,3), (6,7), (4,8), (9,13), (10,14), (11,15), (12,16)}
A36 = {(1,5), (2,3), (6,7), (4,8), (9,13), (10,11), (14,15), (12,16)}

References

  • Miklos Bona, editor, Handbook of Enumerative Combinatorics, CRC Press, 2015, page 569.
  • S. R. Finch, Mathematical Constants, Cambridge, 2003, pp. 406-412.
  • N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
  • Darko Veljan, Kombinatorika s teorijom grafova (Croatian) (Combinatorics with Graph Theory) mentions the value 12988816 = 2^4*901^2 for the 8 X 8 case on page 4.

Links

Crossrefs

Cf. A028420, A006253, A006125, A065072, A124997, A239273, A256043.
Main diagonal of array A099390 or A187596.

Programs

  • Maple
    f := n->2^(2*n^2)*product(product(cos(i*Pi/(2*n+1))^2+cos(j*Pi/(2*n+1))^2,j=1..n),i=1..n); for k from 0 to 12 do round(evalf(f(k),300)) od;
  • Mathematica
    a[n_] := Round[ N[ Product[ 2*Cos[(2i*Pi)/(2n+1)] + 2*Cos[(2j*Pi)/(2n+1)] + 4,  {i, 1, n}, {j, 1, n}], 300] ]; Table[a[n], {n, 0, 12}] (* Jean-François Alcover, Jan 04 2012, after Maple *)
Table[Sqrt[Resultant[ChebyshevU[2*n, x/2], ChebyshevU[2*n, I*x/2], x]], {n, 0, 12}] (* Vaclav Kotesovec, Dec 30 2020 *)
  • PARI
    {a(n) = sqrtint(polresultant(polchebyshev(2*n, 2, x/2), polchebyshev(2*n, 2, I*x/2)))} \\ Seiichi Manyama, Apr 13 2020
  • Python
    from math import isqrt
from sympy.abc import x
from sympy import I, resultant, chebyshevu
def A004003(n): return isqrt(resultant(chebyshevu(n<<1,x/2),chebyshevu(n<<1,I*x/2))) if n else 1 # Chai Wah Wu, Nov 07 2023

Formula

a(n) = A099390(2n,2n).
a(n) = Product_{j=1..n} Product_{k=1..n} (4*cos(j*Pi/(2*n+1))^2 + 4*cos(k*Pi/(2*n+1))^2). - N. J. A. Sloane, Mar 16 2015
a(n) = 2^n * A065072(n)^2. - Alois P. Heinz, Nov 22 2018
a(n)^2 = Resultant(U(2*n,x/2), U(2*n,i*x/2)), where U(n,x) is a Chebyshev polynomial of the second kind and i = sqrt(-1). - Seiichi Manyama, Apr 13 2020
a(n) ~ 2 * (sqrt(2)-1)^(2*n+1) * exp(G*(2*n+1)^2/Pi), where G is Catalan's constant A006752. - Vaclav Kotesovec, Dec 30 2020

Extensions

Corrected and extended by David Radcliffe

A239264 Number A(n,k) of domicule tilings of a k X n grid; square array A(n,k), n>=0, k>=0, read by antidiagonals.

Original entry on oeis.org

1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 3, 0, 1, 1, 1, 5, 5, 1, 1, 1, 0, 11, 0, 11, 0, 1, 1, 1, 21, 43, 43, 21, 1, 1, 1, 0, 43, 0, 280, 0, 43, 0, 1, 1, 1, 85, 451, 1563, 1563, 451, 85, 1, 1, 1, 0, 171, 0, 9415, 0, 9415, 0, 171, 0, 1, 1, 1, 341, 4945, 55553, 162409, 162409, 55553, 4945, 341, 1, 1
Offset: 0

Views

Author

Alois P. Heinz, Mar 13 2014

Keywords

Comments

A domicule is either a domino or it is formed by the union of two neighboring unit squares connected via their corners. In a tiling the connections of two domicules are allowed to cross each other.

Examples

			A(3,2) = 5:
  +-----+ +-----+ +-----+ +-----+ +-----+
  |o o-o| |o o o| |o o o| |o o o| |o-o o|
  ||    | ||  X | || | || | X  || |    ||
  |o o-o| |o o o| |o o o| |o o o| |o-o o|
  +-----+ +-----+ +-----+ +-----+ +-----+
A(4,3) = 43:
  +-------+ +-------+ +-------+ +-------+ +-------+
  |o o o o| |o o o-o| |o o-o o| |o o-o o| |o o-o o|
  ||  X  || | X     | | \   / | ||     || | \    ||
  |o o o o| |o o o o| |o o o o| |o o o o| |o o o o|
  |       | |     X | ||     || |   \ \ | ||    \ |
  |o-o o-o| |o-o o o| |o o-o o| |o-o o o| |o o-o o|
  +-------+ +-------+ +-------+ +-------+ +-------+ ...
Square array A(n,k) begins:
  1, 1,  1,   1,    1,      1,       1, ...
  1, 0,  1,   0,    1,      0,       1, ...
  1, 1,  3,   5,   11,     21,      43, ...
  1, 0,  5,   0,   43,      0,     451, ...
  1, 1, 11,  43,  280,   1563,    9415, ...
  1, 0, 21,   0, 1563,      0,  162409, ...
  1, 1, 43, 451, 9415, 162409, 3037561, ...

Links

Crossrefs

Columns (or rows) k=0-10 give: A000012, A059841, A001045(n+1), A239265, A239266, A239267, A239268, A239269, A239270, A239271, A239272.
Bisection of main diagonal gives: A239273.
Cf. A099390, A187616, A187617, A187596, A220644.

Programs

  • Maple
    b:= proc(n, l) option remember; local d, f, k;
      d:= nops(l)/2; f:=false;
      if n=0 then 1
    elif l[1..d]=[f$d] then b(n-1, [l[d+1..2*d][], true$d])
    else for k to d while not l[k] do od;
         `if`(k1 and l[k+d+1],
                              b(n, subsop(k=f, k+d+1=f, l)), 0)+
         `if`(k>1 and n>1 and l[k+d-1],
                              b(n, subsop(k=f, k+d-1=f, l)), 0)+
         `if`(n>1 and l[k+d], b(n, subsop(k=f, k+d=f, l)), 0)+
         `if`(k `if`(irem(n*k, 2)>0, 0,
    `if`(k>n, A(k, n), b(n, [true$(k*2)]))):
seq(seq(A(n, d-n), n=0..d), d=0..14);
  • Mathematica
    b[n_, l_List] := b[n, l] = Module[{d = Length[l]/2, f = False, k}, Which [n == 0, 1, l[[1 ;; d]] == Array[f&, d], b[n-1, Join[l[[d+1 ;; 2*d]], Array[True&, d]]], True, For[k=1, !l[[k]], k++]; If[k1 && l[[k+d+1]], b[n, ReplacePart[l, {k -> f, k+d+1 -> f}]], 0] + If[k>1 && n>1 && l[[k+d-1]], b[n, ReplacePart[l, {k -> f, k+d-1 -> f}]], 0] + If[n>1 && l[[k+d]], b[n, ReplacePart[l, {k -> f, k+d -> f}]], 0] + If[k f, k+1 -> f}]], 0]]]; A[n_, k_] := If[Mod[n*k, 2]>0, 0, If[k>n, A[k, n], b[n, Array[True&, k*2]]]]; Table[Table[A[n, d-n], {n, 0, d}], {d, 0, 14}] // Flatten (* Jean-François Alcover, Feb 02 2015, after Alois P. Heinz *)

A220638 Number of ways to reciprocally link elements of an n X n array either to themselves or to exactly one king-move neighbor.

Original entry on oeis.org

1, 1, 10, 369, 92801, 128171936, 1040315976961, 48590896359378961, 13140746227808545282304, 20540255065209806005525289313, 185661218973084382181156348510614065, 9703072851259276652446200332793680010752000, 2932144456272256572796083896528773941130429279461761
Offset: 0

Views

Author

R. H. Hardin, Dec 17 2012

Keywords

Comments

Main diagonal of A220644.
Row sums of A243424. - Alois P. Heinz, Jun 04 2014
Number of matchings (i.e., Hosoya index) in the n X n kings graph. - Andrew Howroyd, Apr 07 2016

Examples

			Some solutions for n=3 0=self 1=nw 2=n 3=ne 4=w 6=e 7=sw 8=s 9=se (reciprocal directions total 10)
..8..6..4....0..9..7....6..4..0....0..6..4....9..0..8....6..4..0....8..0..0
..2..7..0....9..3..1....8..6..4....6..4..7....0..1..2....0..0..8....2..6..4
..3..6..4....0..1..0....2..0..0....0..3..0....0..0..0....0..0..2....6..4..0

Links

Crossrefs

Cf. A239273 (perfect matchings), A063443 (independent vertex sets), A234622 (cycles).

Programs

  • Maple
    b:= proc(n, l) option remember; local d, f, k;
      d:= nops(l)/2; f:=false;
      if n=0 then 1
    elif l[1..d]=[f$d] then b(n-1, [l[d+1..2*d][], true$d])
    else for k to d while not l[k] do od; b(n, subsop(k=f, l))+
         `if`(k1 and l[k+d+1],
                            b(n, subsop(k=f, k+d+1=f, l)), 0)+
         `if`(k>1 and n>1 and l[k+d-1],
                            b(n, subsop(k=f, k+d-1=f, l)), 0)+
         `if`(n>1 and l[k+d], b(n, subsop(k=f, k+d=f, l)), 0)+
         `if`(k b(n, [true$(n*2)]):
seq(a(n), n=0..10);  # Alois P. Heinz, Jun 03 2014
  • Mathematica
    b[n_, l_] := b[n, l] = Module[{d, f, k}, d = Length[l]/2; f = False; Which[ n == 0, 1, l[[1 ;; d]] == Array[f&, d], b[n - 1, Join [l[[d+1 ;; 2d]], Array[True&, d]]], True, For[k = 1, !l[[k]], k++]; b[n, ReplacePart[l, k -> f]] + If[k < d && n > 1 && l[[k + d + 1]], b[n, ReplacePart[l, k | k + d + 1 -> f]], 0] + If[k > 1 && n > 1 && l[[k + d - 1]], b[n, ReplacePart[l, k | k + d - 1 -> f]], 0] + If[n > 1 && l[[k + d]], b[n, ReplacePart[l, k | k + d -> f]], 0] + If[k < d && l[[k + 1]], b[n, ReplacePart[l, k | k + 1 -> f]], 0]]]; a[n_] := b[n, Array[True&, 2n]]; Table[Print["a(", n, ") = ", a[n]]; a[n], {n, 0, 12}] (* Jean-François Alcover, Feb 01 2017, after Alois P. Heinz *)

Extensions

a(10)-a(12) from Alois P. Heinz, Jun 03 2014

A243510 Number of ways the maximal number of domicules can be placed on an n X n square.

Original entry on oeis.org

1, 1, 3, 58, 280, 170985, 3037561, 35203565096, 3263262629905, 580992839261272720, 326207195516663381931, 811740344447523575023878026, 3011882198082438957330143630563, 98662906581850761030365769529236858241, 2565014347691062208319404612723752103028288
Offset: 0

Views

Author

Alois P. Heinz, Jun 05 2014

Keywords

Comments

Number of maximum matchings in the n X n king graph. - Eric W. Weisstein, Jun 20 2017

Examples

			a(2) = 3:
  +---+  +---+  +---+
  |o-o|  |o o|  |o o|
  |   |  || ||  | X |
  |o-o|  |o o|  |o o|
  +---+  +---+  +---+.
a(3) = 58:
  +-----+  +-----+  +-----+
  |o-o o|  |o o o|  |o o-o|
  |    ||  | X  ||  | \   |
  |o   o|  |o o o|  |o o o|
  ||    |  |     |  ||  / |
  |o o-o|  |o-o  |  |o o  |
  +-----+  +-----+  +-----+  ... .

Links

Crossrefs

Cf. A243511.
Even bisection gives A239273.

Formula

a(n) = A243424(n,floor(n^2/2)).
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.