A396054 - OEIS

%I #11 May 20 2026 17:57:48

%S 0,0,0,15,8940,1656750,370464390

%N Number of relations R on an n-element set such that the transitive closure of R has exactly five elements more than R.

%C Equivalently, a(n) is the number of binary relations R on an n-set for which exactly five ordered pairs must be adjoined to obtain a transitive relation; i.e., |closure(R) \ R| = 5.

%e For n = 0, 1 every relation is transitive, so a(0) = a(1) = 0.

%e For n = 3, one of the a(3) = 15 relations is R = {(1, 1), (1, 2), (2, 3), (3, 1)}, whose transitive closure R = [3] X [3] adds exactly the five pairs (1, 3), (2, 1), (2, 2), (3, 2), (3, 3).

%Y Cf. A006905, A395083, A395919, A395920.

%K nonn,hard,more

%O 0,4

%A _Firdous Ahmad Mala_, May 14 2026

%E a(6) from _Christian Sievers_, May 20 2026