cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A160559 Minimal covering numbers.

Original entry on oeis.org

12, 80, 90, 210, 280, 378, 448, 1386, 1650, 2200, 2464, 5346, 9750, 11264, 11466, 13000, 14994, 18954, 20384, 23166, 26656, 27846, 30294, 31122, 33150, 33858, 36608, 37050, 37674, 44200, 44850, 49400, 49504, 53248, 53900, 55328, 59800, 63750, 66976, 71250, 72930, 85000, 95000, 95744, 97240, 100100, 107008, 107406, 112112, 117306, 120042, 131274, 142002, 145314, 192500, 208544, 223074, 242250, 252448, 272272, 293250, 311168, 318500, 323000, 369750, 385434, 391000, 395250, 423500, 431250, 450846, 452608, 485982, 493000, 505856, 519498, 527000, 568458, 575000, 612352, 617526, 654500, 660114, 685216, 731500, 735150, 747954
Offset: 1

Views

Author

Matthijs Coster, May 19 2009

Keywords

Comments

A collection of congruences with distinct moduli, each greater than 1, such that each integer satisfies at least one of the congruences, is said to be a covering system. Let N be the LCM of these moduli. We consider minimal N's, i.e., N is the LCM of some moduli, but none of the divisors has this property.
Hough and Nielsen (2019) proved that each term must be divisible by 2 or 3. - Max Alekseyev, Nov 19 2022

Examples

			80 is in the set since 1 mod 2; 2 mod 4; 4 mod 8; 8 mod 16; 4 mod 5; 8 mod 10; 16 mod 20, 32 mod 40; 0 mod 80 is a covering system with LCM 80. None of the divisors has that property.
36 is not minimal since 12 is a divisor and 12 is the LCM of a covering system.
		

Crossrefs

Cf. A160560.

Extensions

Corrected by Eric Rowland, Oct 24 2018
a(17)-a(23) from Max Alekseyev, Nov 19 2022
a(24)-a(41) from Max Alekseyev, Mar 21 2023
Missing terms a(8) and a(15) inserted and their multiples removed by Jai Setty, May 29 2024