Аннотации:
На данный момент проблема четырех красок не имеет классического доказательства, а использование доказательных вычислений не принимается многими учеными современности. В данной статье описан эвристический алгоритм 4-раскраски графа, а также дана его оценка, описан способ проверки его работоспособности и дальнейшие возможности для модернизации.