Задача четырёх красок: математические модели и решения