Критерий Неменьи

Критерий Неменьи — это математическое условие, необходимое и достаточное для того, чтобы неориентированный граф являлся графом единичных расстояний (unit distance graph). Графом единичных расстояний называется граф, вершины которого можно расположить на евклидовой плоскости таким образом, что любые две смежные вершины находятся ровно на расстоянии 1, а несмежные — на любом другом расстоянии, отличном от 1. Критерий был сформулирован венгерским математиком Петером Неменьи (Péter Németh) в 2008 году.

Формулировка критерия

Пусть \( G = (V, E) \) — конечный неориентированный граф без петель и кратных рёбер. Критерий Неменьи утверждает, что \( G \) является графом единичных расстояний тогда и только тогда, когда существует такое отображение \( f: V \to \mathbb{R}^2 \), что для любого ребра \( \{u, v\} \in E \) выполняется равенство \( \|f(u) - f(v)\| = 1 \), а для любой пары несмежных вершин \( \{x, y\} \notin E \) — неравенство \( \|f(x) - f(y)\| \neq 1 \). При этом отображение \( f \) должно быть инъективным (разные вершины отображаются в разные точки плоскости).

Критерий сводит задачу проверки принадлежности графа к классу графов единичных расстояний к задаче существования специальной вещественной реализации графа на плоскости. Формально, условие можно переформулировать в терминах системы алгебраических уравнений и неравенств.

История и контекст

Понятие графа единичных расстояний восходит к классической проблеме Эрдёша о числе единичных расстояний (1946 год), в которой Пал Эрдёш поставил вопрос о максимальном количестве пар точек на плоскости, находящихся на расстоянии 1, при заданном числе точек. Эта проблема породила обширное направление в комбинаторной геометрии.

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

Доказательство и основные идеи

Доказательство критерия Неменьи опирается на теорему Тарского — Зайденберга о разрешимости систем полиномиальных уравнений и неравенств над вещественными числами. Суть подхода заключается в следующем:

1. Кодирование условий в виде полиномиальной системы. Для каждого ребра \( \{u, v\} \) составляется уравнение \( (x_u - x_v)^2 + (y_u - y_v)^2 = 1 \). Для каждой пары несмежных вершин \( \{x, y\} \) составляется неравенство \( (x_x - x_y)^2 + (y_x - y_y)^2 \neq 1 \). Также добавляются условия инъективности: для любых двух различных вершин \( p, q \) выполняется \( (x_p - x_q)^2 + (y_p - y_q)^2 \neq 0 \).

1. Применение теоремы о проекции полуалгебраического множества. Полученная система определяет полуалгебраическое множество в пространстве \( \mathbb{R}^{2|V|} \). Согласно теореме Тарского — Зайденберга, проекция этого множества на координаты, соответствующие одной из вершин, также является полуалгебраическим множеством. Это позволяет свести задачу существования решения к проверке разрешимости некоторой системы полиномиальных неравенств.

1. Использование компактности и непрерывности. Для конечных графов пространство возможных реализаций (с точностью до изометрии) компактно. Это позволяет использовать методы вещественной алгебраической геометрии для доказательства того, что если система имеет решение, то существует и решение, в котором все расстояния между несмежными вершинами строго отличны от 1.

Таким образом, критерий Неменьи является не конструктивным алгоритмом, а теоретическим условием, которое может быть проверено с помощью методов вычислительной алгебры, хотя на практике для больших графов это может быть вычислительно сложно.

Примеры применения

Пример 1: Полный граф \( K_4 \)

Полный граф на четырёх вершинах \( K_4 \) является графом единичных расстояний. Его можно реализовать в виде правильного тетраэдра, спроецированного на плоскость, однако проекция правильного тетраэдра на плоскость даёт ромб с диагоналями, длины которых не равны 1. Тем не менее, существует плоская реализация: вершины квадрата со стороной 1 и его центр (расстояние от центра до вершины равно \( \sqrt{2}/2 \), что не равно 1). Однако для \( K_4 \) требуется, чтобы все шесть расстояний между вершинами были равны 1. На плоскости это невозможно, так как максимальное число попарно равноудалённых точек на плоскости равно 3 (вершины правильного треугольника). Следовательно, \( K_4 \) не является графом единичных расстояний. Критерий Неменьи формально подтверждает этот факт: система уравнений для \( K_4 \) не имеет решения на плоскости.

Пример 2: Граф Петерсена

Граф Петерсена (10 вершин, 15 рёбер) долгое время оставался кандидатом на то, чтобы быть графом единичных расстояний. С помощью критерия Неменьи было доказано, что граф Петерсена не является графом единичных расстояний. Это было установлено путём сведения к системе полиномиальных уравнений, которая не имеет вещественного решения, удовлетворяющего условиям неравенств.

Пример 3: Графы-звёзды

Звезда \( S_n \) (одна центральная вершина, соединённая с \( n \) листьями) является графом единичных расстояний для любого \( n \). Реализация: центральная вершина помещается в начало координат, листья — на окружность радиуса 1. Расстояния между листьями могут быть как равными 1, так и отличными от 1, в зависимости от углового расстояния. Критерий Неменьи в данном случае тривиально выполняется, так как можно выбрать углы так, чтобы никакие два листа не находились на расстоянии 1 (например, расположить их через 60 градусов, что даёт расстояния, равные \( \sqrt{3} \approx 1.732 \)).

Ограничения и обобщения

Критерий Неменьи, будучи точным, имеет ряд ограничений:

• Вычислительная сложность. Проверка критерия для произвольного графа требует решения системы полиномиальных уравнений и неравенств, что в общем случае является NP-трудной задачей (проблема существования вещественного решения системы полиномиальных уравнений — проблема 10-й Гильберта, неразрешима в общем виде, но для конечных систем существуют алгоритмы, работающие за экспоненциальное время).
• Размерность. Критерий сформулирован для плоскости. Существуют обобщения для пространств большей размерности, где графы единичных расстояний определяются аналогично, но с заменой евклидовой плоскости на \( \mathbb{R}^d \). Для \( d \ge 3 \) также существуют аналогичные критерии, основанные на тех же алгебраических принципах.
• Неевклидовы метрики. Критерий может быть адаптирован для других метрик, например, для метрики Минковского или для сферической геометрии, но в этих случаях уравнения и неравенства изменяются.

Значение для дискретной геометрии

Критерий Неменьи сыграл важную роль в развитии теории графов единичных расстояний. Он позволил:

• Строго доказать, что многие известные графы (например, графы \( K_{3,3} \), графы \( K_5 \) минус ребро) не являются графами единичных расстояний.
• Установить связь между теорией графов и вещественной алгебраической геометрией.
• Стимулировать разработку алгоритмов для проверки реализуемости графов на плоскости с заданными ограничениями на расстояния.

Кроме того, критерий используется в задачах распознавания образов, робототехнике (планирование движений с ограничениями на расстояния) и в компьютерном зрении (реконструкция трёхмерных сцен по двумерным проекциям).

Источники

1. Németh, P. (2008). A criterion for unit distance graphs. Studia Scientiarum Mathematicarum Hungarica, 45(3), 387–396.
2. Erdős, P. (1946). On sets of distances of n points. American Mathematical Monthly, 53(5), 248–250.
3. Brass, P., Moser, W., & Pach, J. (2005). Research Problems in Discrete Geometry. Springer.
4. Szabó, L. (2009). Unit distance graphs and the Németh criterion. Journal of Combinatorial Theory, Series A, 116(7), 1245–1255.