Я читаю об алгоритме Дейкстры в CLRS, третье издание (стр. 662). Вот отрывок из непонятной мне книги:
Если граф достаточно разрежен - в частности,
E = o(V^2/lg V)- мы можем улучшить алгоритм, реализовав очередь с минимальным приоритетом с двоичной минимальной кучей.
Почему граф должен быть разреженным?
Вот еще одна часть:
Каждая операция DECREASE-KEY занимает время
O(log V), и таких операций по-прежнему не больше E.
Предположим, мой график выглядит так:
Я хотел бы вычислить кратчайший путь от 1 до 6 и использовать подход min-heap. Итак, во-первых, я добавляю все свои узлы в очередь с минимальным приоритетом. После создания минимальной кучи минимальный узел становится исходным узлом (поскольку его расстояние до самого себя равно 0). Я извлекаю его и обновляю расстояния всех его соседей.
Затем мне нужно вызвать decreaseKey на узле с наименьшим расстоянием, чтобы создать новый минимум кучи. Но как узнать его индекс в постоянное время?
Узел
private static class Node implements Comparable<Node> {
final int key;
int distance = Integer.MAX_VALUE;
Node prev = null;
public Node(int key) {
this.key = key;
}
@Override
public int compareTo(Node o) {
if (distance < o.distance) {
return -1;
} else if (distance > o.distance) {
return 1;
} else {
return 0;
}
}
@Override
public String toString() {
return "key=" + key + " distance=" + distance;
}
@Override
public int hashCode() {
return key;
}
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!(obj instanceof Node)) {
return false;
}
Node other = (Node) obj;
return key == other.key;
}
}
MinPriorityQueue
public static class MinPriorityQueue {
private Node[] array;
private int heapSize;
public MinPriorityQueue(Node[] array) {
this.array = array;
this.heapSize = this.array.length;
}
public Node extractMin() {
Node temp = array[0];
swap(0, heapSize - 1, array);
heapSize--;
sink(0);
return temp;
}
public boolean isEmpty() {
return heapSize == 0;
}
public void buildMinHeap() {
for (int i = heapSize / 2 - 1; i >= 0; i--) {
sink(i);
}
}
public void decreaseKey(int index, Node key) {
if (key.compareTo(array[index]) >= 0) {
throw new IllegalArgumentException("the new key must be greater than the current key");
}
array[index] = key;
while (index > 0 && array[index].compareTo(array[parentIndex(index)]) < 0) {
swap(index, parentIndex(index), array);
index = parentIndex(index);
}
}
private int parentIndex(int index) {
return (index - 1) / 2;
}
private int left(int index) {
return 2 * index + 1;
}
private int right(int index) {
return 2 * index + 2;
}
private void sink(int index) {
int smallestIndex = index;
int left = left(index);
int right = right(index);
if (left < heapSize && array[left].compareTo(array[smallestIndex]) < 0) {
smallestIndex = left;
}
if (right < heapSize && array[right].compareTo(array[smallestIndex]) < 0) {
smallestIndex = right;
}
if (index != smallestIndex) {
swap(smallestIndex, index, array);
sink(smallestIndex);
}
}
public Node min() {
return array[0];
}
private void swap(int i, int j, Node[] array) {
Node temp = array[i];
array[i] = array[j];
array[j] = temp;
}
}
