A002416 -id:A002416 - cp's OEIS frontend

A067966 Number of binary arrangements without adjacent 1's on n X n array connected n-s.

1, 2, 9, 125, 4096, 371293, 85766121, 52523350144, 83733937890625, 350356403707485209, 3833759992447475122176, 109879109551310452512114617, 8243206936713178643875538610721, 1619152874321527556575810000000000000

Offset: 0

R. H. Hardin, Feb 02 2002

Central coefficients of triangle A210341.

			Neighbors for n=4:
o o o o
| | | |
| | | |
o o o o
| | | |
| | | |
o o o o
| | | |
| | | |
o o o o

Vincenzo Librandi, Table of n, a(n) for n = 0..60
Vaclav Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 69, 380.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, e-w ne-sw nw-se A067963, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.

Cf. A100399, A210343, A210341.

[Fibonacci(n+2)^n: n in [0..13]]; // Bruno Berselli, Mar 28 2012

Mathematica
```
Table[Fibonacci[n+2]^n, {n, 0, 100}]
```
Maxima
```
makelist(fib(n+2)^n, n, 0, 14);
```

a(n)=fibonacci(n+2)^n \\ Charles R Greathouse IV, Mar 28 2012

a(n) = F(n+2)^n, where F(n) = A000045(n) is the n-th Fibonacci number.

a(n) ~ phi^2/sqrt(5) phi^n^2. [Charles R Greathouse IV, Mar 28 2012]

Edited by Dean Hickerson, Feb 15 2002

A067961 Number of binary arrangements without adjacent 1's on n X n torus connected n-s.

Original entry on oeis.org

1, 9, 64, 2401, 161051, 34012224, 17249876309, 23811286661761, 84590643846578176, 792594609605189126649, 19381341794579313317802199, 1242425797286480951825250390016, 208396491430277954192889648311785961, 91534759488004239323168528670973468727049

Offset: 1

R. H. Hardin, Feb 02 2002

			Neighbors for n=4:
| | | |
o o o o
| | | |
| | | |
o o o o
| | | |
| | | |
o o o o
| | | |
| | | |
o o o o
| | | |

Vincenzo Librandi, Table of n, a(n) for n = 1..69
Vaclav Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 409.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, e-w ne-sw nw-se A067963, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, e-w n-s A027683, e-w ne-sw n-s A066866.
Cf. A156216. - Paul D. Hanna, Sep 13 2010
Cf. A215941.

[Lucas(n)^n: n in [1..15]]; // Vincenzo Librandi, Mar 15 2014

a:= n-> (<<0|1>, <1|1>>^n. <<2, 1>>)[1$2]^n:
seq(a(n), n=1..15);  # Alois P. Heinz, Aug 01 2021

Table[LucasL[n]^n,{n,15}] (* Harvey P. Dale, Mar 13 2014 *)

a(n) = L(n)^n, where L(n) = A000032(n) is the n-th Lucas number.
Logarithmic derivative of A156216. - Paul D. Hanna, Sep 13 2010
Sum_{n>=1} 1/a(n) = A215941. - Amiram Eldar, Nov 17 2020

Edited by Dean Hickerson, Feb 15 2002

A067965 Number of binary arrangements without adjacent 1's on n X n array connected ne-sw and nw-se.

Original entry on oeis.org

2, 9, 119, 2704, 177073, 21836929, 6985036032, 4576976735769, 7263963336910751, 24830487842030082304, 198126078679714777857441, 3494153303407491549112098721, 141264727800378056245286463971328, 12779122891585386852029424628087941481, 2628141044813862018744988536642011269669959

Offset: 1

R. H. Hardin, Feb 02 2002

			Neighbors for n=4 (dots represent spaces):
. o..o..o..o
...\/ \/ \/
.../\ /\ /\
. o..o..o..o
...\/ \/ \/
.../\ /\ /\
. o..o..o..o
...\/ \/ \/
.../\ /\ /\
. o..o..o..o

Liang Kai, Table of n, a(n) for n = 1..27 (first 19 terms from Vaclav Kotesovec)
Vaclav Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 69, 417.

Main diagonal of A181212.
Cf. circle A000204, line A000045, arrays: e-w ne-sw nw-se A067963, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.
Cf. A201861, A212271.

Term a(14) from Vaclav Kotesovec, Dec 06 2011
Term a(15) from Vaclav Kotesovec, Jan 03 2012
Term a(16) from Vaclav Kotesovec, May 01 2012
Term a(17)-a(18) from Vaclav Kotesovec, Aug 13 2016

A067960 Number of binary arrangements without adjacent 1's on n X n torus connected ne-sw nw-se.

Original entry on oeis.org

1, 9, 34, 961, 25531, 2722500, 464483559, 224546142769, 215560806324388, 509113406167679889, 2590618817013278596997, 30737628149641669227004804, 809724336154415150287031740151, 48754690373355654118816600200711441

Offset: 1

R. H. Hardin, Feb 02 2002

If n is odd then A067960(n) = A027683(n).
a(18) = 2184710661251680812138610069332410066909052859790416601664. (a(17) = ?) - Vaclav Kotesovec, Sep 16 2014
a(20) = 61548416926224234005237372092957872593295040887178016957765412173582481. - Vaclav Kotesovec, May 18 2021

			Neighbors for n=4 (dots represent spaces):
.  \ /\ /\ /\ /
.   o..o..o..o
.  / \/ \/ \/ \
.  \ /\ /\ /\ /
.   o..o..o..o
.  / \/ \/ \/ \
.  \ /\ /\ /\ /
.   o..o..o..o
.  / \/ \/ \/ \
.  \ /\ /\ /\ /
.   o..o..o..o
.  / \/ \/ \/ \

Vaclav Kotesovec, Table of n, a(n) for n = 1..16
Vaclav Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 440.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, e-w ne-sw nw-se A067963, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.

Cf. A212271.

Terms a(12)-a(16) from Vaclav Kotesovec, May 18 2012

A067962 a(n) = F(n+2)*(Product_{i=1..n+1} F(i))^2 where F(i)=A000045(i) is the i-th Fibonacci number.

Original entry on oeis.org

1, 2, 12, 180, 7200, 748800, 204422400, 145957593600, 272940700032000, 1336044726656640000, 17122749216831498240000, 574502481723130428948480000, 50464872497041500009263431680000, 11605406728144633757130311383449600000

Offset: 0

R. H. Hardin, Feb 02 2002

Number of binary arrangements without adjacent 1's on n X n array connected nw-se.

Kitaev and Mansour give a general formula for the number of binary m X n matrices avoiding certain configurations.

			Neighbors for n=4 (dots represent spaces, circles represent grid points):
O..O..O..O
.\..\..\..
..\..\..\.
O..O..O..O
.\..\..\..
..\..\..\.
O..O..O..O
.\..\..\..
..\..\..\.
O..O..O..O

Reinhard Zumkeller, Table of n, a(n) for n = 0..68
Sergey Kitaev and Toufik Mansour, The problem of the pawns, arXiv:math/0305253 [math.CO], 2003; Annals of Combinatorics 8 (2004) 81-91.
Vaclav Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 69, 421.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, e-w ne-sw nw-se A067963, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.

Cf. A001654, A003266.

a067962 n = a067962_list !! n
a067962_list = 1 : zipWith (*) a067962_list (drop 2 a001654_list)
-- Reinhard Zumkeller, Sep 24 2015

a:= proc(n) option remember; `if`(n=0, 1, (F->
      F(n+1)*F(n+2)*a(n-1))(combinat[fibonacci]))
    end:
seq(a(n), n=0..14);  # Alois P. Heinz, May 20 2019

Rest[Table[With[{c=Fibonacci[Range[n]]},(Times@@Most[c])^2 Last[c]],{n,15}]] (* Harvey P. Dale, Dec 17 2013 *)

a(n)=fibonacci(n+2)*prod(i=0,n,fibonacci(i+1))^2

a(n) = (F(3) * F(4) * ... * F(n+1))^2 * F(n+2), where F(n) = A000045(n) is the n-th Fibonacci number.
a(n) is asymptotic to C^2*((1+sqrt(5))/2)^((n+2)^2)/(5^(n+3/2)) where C=1.226742010720353244... is the Fibonacci Factorial Constant, see A062073. - Vaclav Kotesovec, Oct 28 2011
a(n) = a(n-1) * A001654(n+1), n > 0. - Reinhard Zumkeller, Sep 24 2015

Edited by Dean Hickerson, Feb 15 2002

Revised by N. J. A. Sloane following comments from Benoit Cloitre, Nov 12 2003

A121337 Number of idempotent relations on n labeled elements.

Original entry on oeis.org

1, 2, 11, 123, 2360, 73023, 3465357

Offset: 0

Florian Kammüller (flokam(AT)cs.tu-berlin.de), Aug 28 2006

A relation r is idempotent if r ; r = r, where ; denotes sequential composition.
From Geoffrey Critzer, Oct 18 2023 : (Start)
a(n) is also the number of maximal subgroups in the semigroup of binary relations on [n].  See Butler and Markowski link.
A binary relation is idempotent iff it is both dense (A355730) and transitive (A006905).
A binary relation is idempotent iff it is both limit dominating (A366194) and limit dominated (A366722).  See Gregory, Kirkland, and Pullman link.
A binary relation R on [n] is idempotent iff the following biconditional statement holds for all x,y in [n]:  There is a cyclic traverse from x to y in G(R) iff (x,y) is in R.  Here, G(R) is the directed graph with self loops allowed (A002416) corresponding to R.  See Rosenblatt link.
Let Q be a quasi-order (A000798) on [n].  Let D(X) be the relation {(x,x):x is in X}.  Let S be a subset of [n] such that: (i) For all x in S, the class in the equivalence relation Q intersect Q^(-1) containing (x,x) is a singleton and (ii) for all x,y in S, the component containing x is not covered by the component containing y in the condensation of G(Q) .  Here, the condensation of G(Q) is the acyclic digraph (A003024) obtained from G(Q) by replacing every strongly connected component (SCC) by a single vertex and all directed edges from one SCC to another with a single directed edge.  Then a relation is idempotent iff it is of the form Q-D(S).  See Schein link.  (End)

			a(2) = 11 because given a set {a,b} of two elements, of the 2^(2*2) = 16 relations on the set, only 5 are not idempotent. - _Michael Somos_, Jul 28 2013
These 5 relations that are not idempotent are: {(a,b)}, {(b,a)}, {(a,b),(b,a)}, {(a,b),(b,a),(b,b)}, {(a,a),(a,b),(b,a)}. - _Geoffrey Critzer_, Aug 07 2016

F. Kammüller, Interactive Theorem Proving in Software Engineering, Habilitationsschrift, Technische Universitaet Berlin (2006).
Ki Hang Kim, Boolean Matrix Theory and Applications, Marcel Decker, 1982.

G. Brinkmann and B. D. McKay, Counting unlabeled topologies and transitive relations, J. Integer Sequences, Volume 8, 2005.
K. K.-H. Butler and G. Markowsky, The Number of Maximal Subgroups of the Semigroup of Binary Relations, Kyungpook Math. J. Vol 12, June 1972.
D. A. Gregory, S. Kirkland, and N. J. Pullman, Power convergent Boolean matrices, Linear Algebra and its Applications, Volume 179, 15 January 1993, Pages 105-117.
F. Kammüller, Counting idempotent relations.
F. Kammüller and J. W. Sanders, Idempotent relations in Isabelle/HOL, International Colloquium on Theoretical Aspects of Computing, ICTAC'04. Volume 3407 of Lecture Notes in Computer Science, Springer-Verlag (2005).
G. Pfeiffer, Counting transitive relations, J. Integer Sequences, Volume 7, 2004, #3.
D. Rosenblatt, On the graphs of finite Boolean relation matrices, Journal of Research of the National Bureau of Standards, 67B No. 4, 1963.
B. M. Schein, A construction for idempotent binary relations, Proc. Japan Acad., Vol. 46, No. 3 (1970), pp. 246-247.

Cf. A000798 (labeled quasi-orders (or topologies)), A001930 (unlabeled quasi-orders), A001035 (labeled partial orders), A000112 (unlabeled partial orders), A002416, A003024, A366722, A366194, A355730, A006905.

Row sums of A360984.

Prepend[Table[Length[Select[Tuples[Tuples[{0, 1}, n], n], (MatrixPower[#, 2] /. x_ /; x > 0 -> 1) == # &]], {n, 1, 4}], 1] (* Geoffrey Critzer, Aug 07 2016 *)

Offset corrected by James Mitchell, Jul 28 2013

a(1) corrected by Philippe Beaudoin, Aug 11 2015

A326204 Number of Hamiltonian labeled n-vertex digraphs (with loops).

Original entry on oeis.org

0, 2, 4, 120, 19104

Offset: 0

Gus Wiseman, Jun 14 2019

A digraph is Hamiltonian if it contains a directed cycle passing through every vertex exactly once.

			The a(2) = 4 digraph edge-sets:
  {12,21}
  {11,12,21}
  {12,21,22}
  {11,12,21,22}

Wikipedia, Hamiltonian path

The unlabeled case is A326226.
The case without loops is A326219.
The undirected case (without loops) is A326208.
Non-Hamiltonian digraphs are A326220.
Digraphs containing a Hamiltonian path are A326214.
Cf. A000595, A002416, A003024, A003216, A057864.

Table[Length[Select[Subsets[Tuples[Range[n],2]],FindHamiltonianCycle[Graph[Range[n],DirectedEdge@@@#]]!={}&]],{n,0,4}] (* Mathematica 8.0+. Warning: Using HamiltonianGraphQ instead of FindHamiltonianCycle returns a(4) = 19200 which is incorrect *)

A067958 Number of binary arrangements without adjacent 1's on n X n torus connected e-w ne-sw n-s nw-se.

Original entry on oeis.org

1, 5, 10, 133, 1411, 42938, 1796859, 157763829, 22909432780, 6291183426165, 3032485231813445, 2674030233698391466, 4216437656471537450175, 12038380931111061789962901, 61810608197507432888286102310, 572863067272579464080483552434421

Offset: 1

R. H. Hardin, Feb 02 2002

For n > 1, a(n) is also the number of ways to populate an n X n toroidal chessboard with non-attacking kings (including the case of zero kings). - Vaclav Kotesovec, Oct 10 2011

			Neighbors for n=4:
  :\|/\|/\|/\|/
  :-o--o--o--o-
  :/|\/|\/|\/|\
  :\|/\|/\|/\|/
  :-o--o--o--o-
  :/|\/|\/|\/|\
  :\|/\|/\|/\|/
  :-o--o--o--o-
  :/|\/|\/|\/|\
  :\|/\|/\|/\|/
  :-o--o--o--o-
  :/|\/|\/|\/|\

V. Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 214.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, e-w ne-sw nw-se A067963, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.

Cf. A212269.

a(14) from Vaclav Kotesovec, Aug 22 2016

a(15)-a(16) from Vaclav Kotesovec, May 15 2021

A067963 Number of binary arrangements without adjacent 1's on n X n array connected e-w ne-sw nw-se.

Original entry on oeis.org

2, 7, 77, 1152, 56549, 3837761, 806190208, 251170142257, 223733272186825, 319544298135448960, 1210302996752248488817, 7876274672755293629849313, 127662922218147601317696761088, 3758866349549535184419575245899295

Offset: 1

R. H. Hardin, Feb 02 2002

			Neighbors for n=4 (dots represent spaces):
. o--o--o--o
...\/ \/ \/
.../\ /\ /\
. o--o--o--o
...\/ \/ \/
.../\ /\ /\
. o--o--o--o
...\/ \/ \/
.../\ /\ /\
. o--o--o--o

R. H. Hardin and Vaclav Kotesovec, Table of n, a(n) for n = 1..30
V. Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 69-71.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, n-s nw-se A067964, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.

Diagonal of A228683

Terms a(15)-a(19) from Vaclav Kotesovec, May 01 2012

A067964 Number of binary arrangements without adjacent 1's on n X n array connected n-s nw-se.

Original entry on oeis.org

2, 8, 90, 1876, 103484, 11462588, 3118943536, 1808994829500, 2465526600093372, 7394315828592829424, 50975951518289853305508, 784977037926751747674903856, 27509351187362150581313065415008, 2167705218542258344490649896364635660, 387057670485382113845659790427906287869964

Offset: 1

R. H. Hardin, Feb 02 2002

			Neighbors for n=4 (dots represent spaces):
. o..o..o..o
. |\ |\ |\ |
. | \| \| \|
. o..o..o..o
. |\ |\ |\ |
. | \| \| \|
. o..o..o..o
. |\ |\ |\ |
. | \| \| \|
. o..o..o..o

Vaclav Kotesovec, Table of n, a(n) for n = 1..21
V. Kotesovec, Non-attacking chess pieces, 6ed, 2013, p. 69-71.

Cf. circle A000204, line A000045, arrays: ne-sw nw-se A067965, e-w ne-sw nw-se A067963, e-w n-s nw-se A066864, e-w ne-sw n-s nw-se A063443, n-s A067966, e-w n-s A006506, nw-se A067962, toruses: bare A002416, ne-sw nw-se A067960, ne-sw n-s nw-se A067959, e-w ne-sw n-s nw-se A067958, n-s A067961, e-w n-s A027683, e-w ne-sw n-s A066866.

Limit n->infinity (a(n))^(1/n^2) = 1.503048082... (see A085850)

Terms a(14)-a(18) from Vaclav Kotesovec, May 01 2012

cp's OEIS Frontend

A067966 Number of binary arrangements without adjacent 1's on n X n array connected n-s.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

Maxima

PARI

Formula

Extensions

A067961 Number of binary arrangements without adjacent 1's on n X n torus connected n-s.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

Formula

Extensions

A067965 Number of binary arrangements without adjacent 1's on n X n array connected ne-sw and nw-se.

Views

Author

Keywords

Examples

Links

Crossrefs

Extensions

A067960 Number of binary arrangements without adjacent 1's on n X n torus connected ne-sw nw-se.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Extensions

A067962 a(n) = F(n+2)*(Product_{i=1..n+1} F(i))^2 where F(i)=A000045(i) is the i-th Fibonacci number.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

PARI

Formula

Extensions

A121337 Number of idempotent relations on n labeled elements.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Extensions

A326204 Number of Hamiltonian labeled n-vertex digraphs (with loops).

Views

Author

Keywords

Comments

Examples

Links