上述几个函数是实现堆优化Dijkstra的关键，你要给出代码，并给出注释

好的，以下是相关函数的代码以及注释：

// 将顶点V和对应的距离dist插入堆中
void Insert(MinHeap H, Vertex V, int dist[])
{
int i;
if (IsFull(H))
return;
i = ++H->Size;
for (; dist[V] < H->Elements[i / 2]; i /= 2)
H->Elements[i] = H->Elements[i / 2];
H->Elements[i] = V;
}

// 删除堆中最小距离顶点，并返回该顶点的值
Vertex DeleteMin(MinHeap H, int dist[])
{
int parent, child;
Vertex MinItem, X;

if (IsEmpty(H))
return -1;
MinItem = H->Elements[1];
X = H->Elements[H->Size--];
for (parent = 1; parent * 2 <= H->Size; parent = child)
{
child = parent * 2;
if (child != H->Size && dist[H->Elements[child]] > dist[H->Elements[child + 1]])
child++;
if (dist[X] <= dist[H->Elements[child]])
break;
else
H->Elements[parent] = H->Elements[child];
}
H->Elements[parent] = X;
return MinItem;
}

// 更新堆中某个顶点的距离值
void DecreaseKey(MinHeap H, Vertex V, int dist[])
{
int i;
for (i = 1; i <= H->Size; i++)
{
if (H->Elements[i] == V)
break;
}
for (; dist[V] < dist[H->Elements[i / 2]]; i /= 2)
H->Elements[i] = H->Elements[i / 2];
H->Elements[i] = V;
}

其中，IsFull函数用于判断堆是否已满，IsEmpty函数用于判断堆是否为空。这些函数的实现可以根据堆的定义和初始化代码进行编写，这里不再重复给出。