В статье приводятся некоторые классические задачи комбинаторики, которые в том числе можно решать с помощью компьютера. Среди этих задач проблема Борсука о разбиении множеств на части меньшего диаметра и задачи теории Рамсея. С. 25-31.
In the paper we present some classical problems of combinatorics, which admit computer-aided solutions. Among these problems, we have Borsuk's problem on partitioning sets into parts of smaller diameter and problems of Ramsey theory.
Ключевые слова: дистанционный граф, граф диаметров, число Рамсея, хроматическое число, проблема Борсука.
Keywords: distance graph, graph of diameters, Ramsey number, chromatic number, Borsuk's problem.