MathDB
each of the numbers 1, 2, ... , 10 is colored red or blue.

Source: 2000 Swedish Mathematical Competition p1

March 21, 2021
combinatoricsColoring

Problem Statement

Each of the numbers 1,2,...,101, 2, ... , 10 is colored red or blue. 55 is red and at least one number is blue. If m,nm, n are different colors and m+n10m+n \le 10, then m+nm+n is blue. If m,nm, n are different colors and mn10mn \le 10, then mnmn is red. Find all the colors.