Русская Википедия:Гипотеза Сеймура о второй окрестности
Гипотеза Сеймура о второй окрестности — это нерешенная математическая проблема об ориентированных графах, сформулированная Полом Сеймуром. Интуитивно понятно, что в социальной сети, описываемой таким графом, у кого-то будет хотя бы столько же друзей друзей, сколько и друзей. Эта проблема также известна как гипотеза Сеймура о расстоянии два.
Постановка задачи
В контексте гипотезы Сеймура под ориентированным графом понимается конечный ориентированный граф, полученный из простого неориентированного графа путем присвоения ориентации каждому ребру. Эквивалентно, это конечный ориентированный граф, который не имеет петель, кратных ребер и циклов длины два. Первая окрестность вершины <math>v</math> (также называемая его открытой окрестностью) состоит из всех вершин на расстоянии один от <math>v</math>, и вторая окрестность <math>v</math> состоит из всех вершин на расстоянии два от <math>v</math>. Иными словами, первая окрестность <math>v</math> состоит из вершин, длина минимального не нарушающего ориентацию пути до которых из <math>v</math> равна 1, и вторая окрестность <math>v</math> состоит из вершин, длина минимального не нарушающего ориентацию пути до которых из <math>v</math> равна 2. Эти две окрестности образуют непересекающиеся множества, ни одно из которых не содержит саму вершину <math>v</math>.
В 1990 году Пол Сеймур предположил, что в каждом ориентированном графе всегда существует хотя бы одна вершина <math>v</math>, размер второй окрестности которой по крайней мере равен размеру ее первой окрестности. Эквивалентно, в квадрате графа степень <math>v</math> как минимум удваивается. Впервые эта проблема была опубликована Натаниэлем Дином и Брендой Дж. Латкой в 1995 году в работе, посвященной частному случаю для особого класса ориентированных графов — турниров (полных графов с введенной ориентацией). Ранее Дин предполагал, что каждый турнир удовлетворяет гипотезе о второй окрестности, и этот особый случай стал известен как гипотеза Дина.[1]
Вершина в ориентированном графе, чья вторая окрестность не меньше его первой окрестности, называется точкой Сеймура или вершиной Сеймура.[2] В гипотезе о второй окрестности является необходимым условие, что у графа нет циклов длины два, поскольку в графах с такими циклами (например, в полном орграфе) все вторые окрестности могут быть пустыми или маленькими.
Частичные результаты
Фишер (1996) доказал гипотезу Дина, частный случай гипотезы Сеймура для турниров.[3]
Для некоторых графов вершина минимальной исходящей степени будет вершиной Сеймура. Например, если у ориентированного графа есть сток, вершина с исходящей степенью ноль, то сток автоматически является вершиной Сеймура, поскольку его первая и вторая окрестности имеют нулевой размер. В графе без стоков вершина с исходящей степенью, равной единице, всегда является вершиной Сеймура. В ориентациях графов без треугольников любая вершина <math>v</math> с минимальной исходящей степенью является вершиной Сеймура, поскольку для любого ребра из <math>v</math> в другую вершину <math>w</math>, открытая окрестность <math>w</math> вся принадлежат второй окрестности <math>v</math>.[4] Для произвольных графов с большими степенями вершин, вершины минимальной степени могут не быть точками Сеймура, но существование вершины маленькой степени все еще может привести к существованию близлежащей точки Сеймура. С помощью такого рода рассуждений было доказано, что гипотеза о второй окрестности верна для любого ориентированного графа, который содержит хотя бы одну вершину исходящей степени ≤ 6.[5]
Случайные турниры и случайно ориентированные графы с высокой вероятностью имеют много точек Сеймура.[2] Чень, Шень и Юстер показали, что каждый ориентированный граф содержит вершину, вторая окрестность которой как минимум <math>\gamma</math> на ее первую окрестность, где
- <math>\gamma=\frac{1}{6}\left(-1+\sqrt[3]{53-6\sqrt{78}}+\sqrt[3]{53+6\sqrt{78}}\right) \approx 0.657</math>
является единственным вещественным корнем полинома <math>2x^3+x^2-1</math>.[6]
См. также
Ссылки
Внешние ссылки
- Seymour's 2nd Neighborhood Conjecture Шаблон:Wayback, Open Problems in Graph Theory and Combinatorics, Douglas B. West.
- Seymour's Second Neighbourhood Conjecture Шаблон:Wayback, Open Problem Garden.
