A000619 NP-equivalence classes of threshold functions of exactly n variables. (Formerly M0121 N0048)

2, 1, 2, 5, 17, 92, 994, 28262, 2700791, 990331318

Offset

0,1

References

S. Muroga, Threshold Logic and Its Applications. Wiley, NY, 1971, p. 38, Table 2.3.2. - Row 15.

S. Muroga, T. Tsuboi and C. R. Baugh, Enumeration of threshold functions of eight variables, IEEE Trans. Computers, 19 (1970), 818-825.

N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Links

Table of n, a(n) for n=0..9.

Eiichi Goto and Hidetosi Takahasi, Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions, in Proceedings International Federation for Information Processing (IFIP) Congress, 1962, pp. 747-752. [Annotated scans of certain pages]

Vadim M. Kartak, Artem V. Ripatti, Guntram Scheithauer, and Sascha Kurz, Minimal proper non-IRUP instances of the one-dimensional cutting stock problem, Discrete Applied Mathematics 2015, 187, 120-129. (has the last known term as of 2021, a(9)=990331318)

S. Muroga, Threshold Logic and Its Applications, Wiley, NY, 1971 [Annotated scans of a few pages]

Saburo Muroga, Iwao Toda, and Satoru Takasu, Theory of majority decision elements, Journal of the Franklin Institute 271.5 (1961): 376-418. [Annotated scans of pages 413 and 414 only]

S. Muroga, T. Tsuboi and C. R. Baugh, Enumeration of threshold functions of eight variables, IEEE Trans. Computers, 19 (1970), 818-825. [Annotated scanned copy]

Formula

a(n) = A000617(n) - A000617(n-1). - Alastair D. King, Oct 26, 2023.

Crossrefs

Cf. A000617.

Sequence in context: A115141 A031148 A032238 * A006602 A144824 A364513

Adjacent sequences: A000616 A000617 A000618 * A000620 A000621 A000622

Keyword

nonn,more

Author

N. J. A. Sloane

Extensions

a(9) added by Xavier Molinero, Oct 06 2021

Status

approved