User
Думаю, что алгоритмы нахождения базисов Грёбнера имеют сложность похуже экспоненциальной. Но возможно именно для идеалов, которые соответствуют графам, сложность будет получше.
Указанная разность всегда равна нулю, но для смежных вершин, поэтому
Постарался переписать абзац, чтобы он был более логичным. Спасибо!
Дело в том, что мы красим с помощью кубических корней из единиц, поэтомуи, а разность этих величин тогда равна нулю.
Думаю, что алгоритмы нахождения базисов Грёбнера имеют сложность похуже экспоненциальной. Но возможно именно для идеалов, которые соответствуют графам, сложность будет получше.
Указанная разность всегда равна нулю, но для смежных вершин
, поэтому
Постарался переписать абзац, чтобы он был более логичным. Спасибо!
Дело в том, что мы красим с помощью кубических корней из единиц, поэтому
и
, а разность этих величин тогда равна нулю.