OFFSET
1,13
COMMENTS
A disjoint covering system (DCS) is a system of congruences of the form x == a_i (mod m_i) such that every integer lies in exactly one of the congruences. Here the "moduli" are the m_i.
LINKS
I. P. Goulden, L. B. Richmond, and J. Shallit, Natural exact covering systems and the reversion of the Möbius series, arXiv:1711.04109 [math.NT], 2017.
EXAMPLE
An example of one of the 30 DCS with GCD 1 counted by a(13) is as follows:
x == 0,2 (mod 6)
x == 1,3,5,7 (mod 10)
x == 4 (mod 15)
x == 9,10,16,22,28,29 (mod 30)
Note that gcd(6,10,15,30) = 1.
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Jeffrey Shallit, Dec 14 2017
STATUS
approved