We would like to use ASP to find an n {\displaystyle n} -coloring of a given graph (or determine that it does not exist).
Мы хотели бы использовать ASP чтобы найти n {\displaystyle n} -покраску данного графа (или определить, что её не существует).