login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A246417 Homomorphic inverse images of elementary h-ary relations. 1

%I #22 Sep 30 2023 13:07:58

%S 0,0,1,7,36,171,813,4012,25931,342263,6498746,116477549,1839530421,

%T 26071946330,339710531761,4165394873379,50578180795388,

%U 717354862704287,15348610400624113,466529833772501084,15332096138370552335

%N Homomorphic inverse images of elementary h-ary relations.

%C Corresponds to r_6(k) in the Rosenberg paper.

%D E. Ju. Zaharova, V. B. Kudrjavcev, and S. V. Jablonskii, Precomplete classes in k-valued logics. (Russian) Dokl. Akad. Nauk SSSR 186 (1969), 509-512. English translation in Soviet Math. Doklady 10 (No. 3, 1969), 618-622.

%H Ivo Rosenberg, <a href="http://dx.doi.org/10.1016/0097-3165(73)90058-7">The number of maximal closed classes in the set of functions over a finite domain</a>, J. Combinatorial Theory Ser. A 14 (1973), 1-7.

%H Ivo Rosenberg and N. J. A. Sloane, <a href="/A002824/a002824_1.pdf">Correspondence, 1971</a>

%H E. Ju. Zaharova, V. B. Kudrjavcev, and S. V. Jablonskii, <a href="/A002824/a002824.pdf">Precomplete classes in k-valued logics. (Russian)</a>, Dokl. Akad. Nauk SSSR 186 (1969), 509-512. English translation in Soviet Math. Doklady 10 (No. 3, 1969), 618-622. [Annotated scanned copy]

%F a(n) = Sum_{h^m <= k, h >= 3, m >= 1} (((-1)^h / (m! * (h!)^m)) * Sum_{L=1..h^m} (-1)^L * binomial(h^m, L) * L^n). - _Sean A. Irvine_, Aug 25 2014

%Y Cf. A002826.

%K nonn

%O 1,4

%A _Sean A. Irvine_, Aug 25 2014

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 19 10:56 EDT 2024. Contains 371791 sequences. (Running on oeis4.)