В теории химических графов индекс Винера (также число Винера ), введенный Гарри Винером , является топологическим индексом молекулы , определяемым как сумма длин кратчайших путей между всеми парами вершин в химическом графе, представляющими неводородные атомы в молекуле. [1 ]
Индекс Винера может быть использован для представления компьютерных сетей и повышения безопасности решетчатого оборудования .
Индекс Винера назван в честь Гарри Винера , который ввел его в 1947 году; в то время Винер называл его «номером пути». [2] Это старейший топологический индекс, связанный с молекулярным ветвлением. [3] Основываясь на его успехе, впоследствии, после работы Винера, были разработаны многие другие топологические индексы химических графов, основанные на информации в матрице расстояний графа. [4]
Та же величина также изучалась в чистой математике под разными названиями, включая валовой статус, [5] расстояние графа, [6] и передачу. [7] Индекс Винера также тесно связан с центральностью близости вершины в графе, величиной, обратно пропорциональной сумме всех расстояний между данной вершиной и всеми другими вершинами, которая часто использовалась в социометрии и теории социальных сетей . [6]
Бутан (C 4 H 10 ) имеет два различных структурных изомера : н -бутан с линейной структурой из четырех атомов углерода и изобутан с разветвленной структурой. Химический граф для н- бутана представляет собой четырехвершинный путевой граф , а химический граф для изобутана представляет собой дерево с одной центральной вершиной, соединенной с тремя листьями.
Молекула н -бутана имеет три пары вершин на расстоянии один друг от друга, две пары на расстоянии два и одну пару на расстоянии три, поэтому ее индекс Винера равен
Молекула изобутана имеет три пары вершин на расстоянии одна от другой (три пары лист-центр) и три пары на расстоянии два (пары лист-лист). Поэтому ее индекс Винера равен
Эти числа являются примерами формул для частных случаев индекса Винера: он верен для любого графа путей с α-вершинами, такого как граф н -бутана, [8] и для любой звезды с α-вершинами, такой как граф изобутана. [9]
Таким образом, хотя эти две молекулы имеют одинаковую химическую формулу и одинаковое количество связей углерод-углерод и углерод-водород, их различные структуры приводят к различным индексам Винера.
Винер показал, что индекс Винера тесно связан с точками кипения молекул алканов . [ 2] Более поздние работы по количественной зависимости структуры от активности показали, что он также связан с другими величинами, включая параметры его критической точки , [10] плотность , поверхностное натяжение и вязкость его жидкой фазы, [11] и площадь поверхности Ван-дер-Ваальса молекулы. [12]
Индекс Винера может быть вычислен напрямую с помощью алгоритма для вычисления всех парных расстояний в графе. Когда граф не взвешен (то есть длина пути — это просто число его ребер), эти расстояния могут быть вычислены путем повторения алгоритма поиска в ширину , один раз для каждой начальной вершины. [13] Общее время для этого подхода составляет O( nm ), где n — число вершин в графе, а m — число его ребер.
Для взвешенных графов вместо этого можно использовать алгоритм Флойда–Уоршелла [13] [14] [15] или алгоритм Джонсона [ 16] со временем выполнения O( n 3 ) или O( nm + n 2 log n ) соответственно. Альтернативные, но менее эффективные алгоритмы, основанные на повторном умножении матриц, также были разработаны в литературе по химической информатике. [17] [18]
Когда базовый граф является деревом (как это верно, например, для алканов, первоначально изученных Винером), индекс Винера может быть вычислен более эффективно. Если граф разделен на два поддерева путем удаления одного ребра e , то его индекс Винера является суммой индексов Винера двух поддеревьев вместе с третьим членом, представляющим пути, которые проходят через e . Этот третий член может быть вычислен за линейное время путем вычисления суммы расстояний всех вершин от e в каждом поддереве и умножения двух сумм. [19] Этот алгоритм «разделяй и властвуй» может быть обобщен с деревьев на графы ограниченной ширины дерева и приводит к алгоритмам с почти линейным временем для таких графов. [20]
Альтернативный метод вычисления индекса Винера дерева, предложенный Бояном Мохаром и Томажем Писански , работает путем обобщения проблемы на графы с взвешенными вершинами, где вес пути является произведением его длины на вес двух его конечных точек. Если v является листовой вершиной дерева, то индекс Винера дерева может быть вычислен путем слияния v с его родителем (складывая их веса), вычисления индекса полученного меньшего дерева и добавления простого поправочного члена для путей, которые проходят через ребро от v к его родителю. Повторно удаляя листья таким образом, индекс Винера может быть вычислен за линейное время. [13]
Для графов, которые построены как произведения более простых графов, индекс Винера графа произведения часто можно вычислить с помощью простой формулы, которая объединяет индексы его факторов. [21] Бензеноиды (графы, образованные склеиванием правильных шестиугольников ребром к ребру) можно изометрически встроить в декартово произведение трех деревьев, что позволяет вычислять их индексы Винера за линейное время, используя формулу произведения вместе с алгоритмом дерева линейного времени. [22]
Гутман и Йе (1995) рассмотрели проблему определения того, какие числа могут быть представлены как индекс Винера графа. [23] Они показали, что все, кроме двух положительных целых чисел, имеют такое представление; двумя исключениями являются числа 2 и 5, которые не являются индексом Винера ни одного графа. Для графов, которые должны быть двудольными, они обнаружили, что снова почти все целые числа могут быть представлены, с большим набором исключений: ни одно из чисел в наборе
можно представить как индекс Винера двудольного графа.
Гутман и Йе предположили, но не смогли доказать, похожее описание чисел, которые можно представить в виде индексов Винера деревьев, с набором из 49 исключительных значений:
Гипотеза была позже доказана Вагнером, Ваном и Ю. [24] [25]