Оракул расстояния - Википедия - Distance oracle

В вычисление, а расстояние оракул (DO) это структура данных для вычисления расстояний между вершинами в график.

Вступление

Позволять грамм(V,E) - неориентированный взвешенный граф с п = |V| узлы и м = |E| края. Хотим ответить на вопросы вида «какое расстояние между узлами s ит?".

Один из способов сделать это - просто запустить Алгоритм Дейкстры. Это требует времени ${ Displaystyle О (т + п журнал п)}$ , и не требует дополнительного места (кроме самого графика).

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

Простая структура данных, позволяющая достичь этой цели, - это матрица который определяет для каждой пары узлов расстояние между ними. Эта структура позволяет нам отвечать на запросы в постоянное время. ${ displaystyle O (1)}$ , но требует ${ Displaystyle О (п ^ {2})}$ дополнительное пространство. Его можно инициализировать вовремя ${ Displaystyle О (п ^ {3})}$ используя алгоритм кратчайших путей для всех пар, такой как Алгоритм Флойда-Уоршолла.

ДО находится между этими двумя крайностями. Он использует менее ${ Displaystyle О (п ^ {2})}$ пространство, чтобы ответить на запросы менее чем за ${ Displaystyle О (т + п журнал п)}$ время. Большинству DO приходится идти на компромисс с точностью, то есть они возвращают не точное расстояние, а его приближение с постоянным коэффициентом.

Приблизительный DO

Торуп и Цвик^[1] описать более 10 различных ДО. Затем они предлагают новый ДЕЛАТЬ, который для каждого k, требует места ${ displaystyle O (kn ^ {1 + 1 / k})}$ , так что на любой последующий запрос расстояния можно приблизительно ответить вовремя ${ Displaystyle О (к)}$ . Приблизительное возвращаемое расстояние является не более чем растяжением. ${ displaystyle 2k-1}$ , то есть частное, полученное путем деления оценочного расстояния на фактическое, находится между 1 и ${ displaystyle 2k-1}$ . Время инициализации ${ displaystyle O (kmn ^ {1 / k})}$ .

Некоторые особые случаи включают:

За ${ displaystyle k = 1}$ получаем простую матрицу расстояний.
За ${ displaystyle k = 2}$ мы получаем структуру, используя ${ Displaystyle О (п ^ {1.5})}$ пространство, которое отвечает на каждый запрос за постоянное время и коэффициент приближения не более 3.
За ${ Displaystyle к = lfloor журнал п rfloor}$ , мы получаем структуру, используя ${ Displaystyle О (п журнал п)}$ пространство, время запроса ${ Displaystyle О ( журнал п)}$ , и растянуть ${ Displaystyle О ( журнал п)}$ .

Более высокие значения k не улучшают пространство или время предварительной обработки.

DO для общих метрических пространств

Оракул построен из убывающей коллекции k+1 набор вершин:

${ displaystyle A_ {0} = V}$
Для каждого ${ Displaystyle я = 1, ldots, к-1}$ : ${ displaystyle A_ {i}}$ содержит каждый элемент ${ displaystyle A_ {i-1}}$ , независимо, с вероятностью ${ displaystyle n ^ {- 1 / k}}$ . Обратите внимание, что ожидаемый размер ${ displaystyle A_ {i}}$ является ${ Displaystyle п ^ {1-я / к}}$ . Элементы ${ displaystyle A_ {i}}$ называются i-центры.
${ displaystyle A_ {k} = emptyset}$

Для каждого узла vрассчитайте расстояние до каждого из этих наборов:

Для каждого ${ Displaystyle я = 0, ldots, k-1}$ : ${ displaystyle d (A_ {i}, v) = min {(d (w, v) | w in A_ {i}}}$ и ${ displaystyle p_ {i} (v) = arg min {(d (w, v) | w in A_ {i}}}$ . Т.е., ${ displaystyle p_ {i} (v)}$ i-центр ближайший к v, и ${ displaystyle d (A_ {i}, v)}$ расстояние между ними. Обратите внимание, что для фиксированного v, это расстояние слабо увеличивается с увеличением я. Также обратите внимание, что для каждого v, ${ displaystyle d (A_ {0}, v) = 0}$ и ${ displaystyle p_ {0} (v) = v}$ .
${ displaystyle d (A_ {k}, v) = infty}$ .

Для каждого узла v, рассчитать:

Для каждого ${ Displaystyle я = 0, ldots, k-1}$ : ${ Displaystyle B_ {я} (v) = {w in A_ {i} setminus A_ {i + 1} | d (w, v)$ . ${ displaystyle B_ {i} (v)}$ содержит все вершины в ${ displaystyle A_ {i}}$ которые строго ближе к v чем все вершины в ${ displaystyle A_ {я + 1}}$ . Частичные союзы ${ displaystyle B_ {i}}$ s - шары увеличивающегося диаметра, содержащие вершины с расстояниями до первой вершины следующего уровня.

Для каждого vвычислить его связка:

${ Displaystyle B (v) = bigcup _ {i = 0} ^ {k-1} B_ {i} (v).}$

Можно показать, что ожидаемый размер ${ Displaystyle B (v)}$ самое большее ${ displaystyle kn ^ {1 / k}}$ .

Для каждой связки ${ Displaystyle B (v)}$ , построить хеш-таблица это верно для каждого ${ Displaystyle ш в В (В)}$ , Расстояние ${ Displaystyle д (ш, в)}$ .

Общий размер структуры данных составляет ${ Displaystyle O (kn + Sigma | B (v) |) = O (kn + nkn ^ {1 / k}) = O (kn ^ {1 + 1 / k})}$

После инициализации этой структуры следующий алгоритм находит расстояние между двумя узлами: ты и v:

${ displaystyle w: = u, i: = 0}$
пока ${ Displaystyle ш notin B (v)}$ $w notin B (v)$ :
- ${ displaystyle i: = я + 1}$
- ${ Displaystyle (и, v): = (v, u)}$ (поменять местами два входных узла; это не меняет расстояние между ними, так как граф неориентированный).
- ${ displaystyle w: = p_ {i} (u)}$
возвращаться ${ Displaystyle d (вес, и) + d (вес, v)}$

Можно показать, что на каждой итерации расстояние ${ Displaystyle д (ш, и)}$ растет максимум ${ displaystyle d (v, u)}$ . С ${ Displaystyle A_ {к-1} substeq B (v)}$ , есть не более k-1 итераций, так что наконец ${ Displaystyle д (вес, и) leq (к-1) d (v, и)}$ . Теперь по неравенство треугольника, ${ Displaystyle d (вес, v) leq d (w, u) + d (u, v) leq kd (v, u)}$ , поэтому возвращаемое расстояние не превышает ${ displaystyle (2k-1) d (u, v)}$ .

Улучшения

Вышеупомянутый результат был позже улучшен Патраску и Родитти.^[2] кто предлагает DO размера ${ Displaystyle О (п ^ {4/3} м ^ {1/3})}$ который возвращает приближение с коэффициентом 2.

Редукция из множества оракулов пересечения

Если существует ДО с коэффициентом аппроксимации не более 2, то можно построить установить оракул пересечения (SIO) со временем запроса ${ displaystyle O (1)}$ и требования к пространству ${ Displaystyle О (N + N)}$ , куда п количество комплектов и N сумма их размеров; видеть установить оракул пересечения # Приведение к приблизительному расстоянию оракул.

Считается, что проблема SIO не имеет нетривиального решения. То есть требуется ${ Displaystyle Omega (п ^ {2})}$ пространство для ответов на запросы во времени ${ displaystyle O (1)}$ , например используя п-к-п таблица с пересечением между каждыми двумя наборами. Если эта гипотеза верна, это означает, что не существует DO с коэффициентом приближения менее 2 и постоянным временем запроса.^[2]