G = [V ; E]
有一个边长为w(u, v)
的有向图(u, v) ∈ E
。
假设{d[v], π[v]}; v ∈ V
和声明
这些是最短路径的长度和
中的前趋节点它为v ∈ V
,我怎么能验证这个语句是真还是假,不能从头开始解决整个最短路径问题?这是我遇到的一个问题,我头脑中的想法不多。
答案 0 :(得分:0)
问题有点不清楚,但澄清一下:
图表中有一个节点v
,每个顶点v != s
都有一个节点:
pi[v]
,v
旨在成为与v
相邻的节点,该节点位于从s
到d[v]
的最短路径上。 v
旨在存储从s
到pi
的最短距离。问题是在给定d
,For each vertex v
Either:
v = s and d[v] = 0
Or:
d[pi[v]] = d[v] - 1
d[u] >= d[v] - 1 for each u adjacent to v
pi[v] is adjacent to v
的情况下验证它们是否合法地包含后边距和最小距离。
一个容易实现的条件验证了这一点如下:
- name: Copying AMI
ec2_ami_copy:
source_region: "{{ ec2_instance.instances[0].region }}"
region: "{{ item }}"
source_image_id: "{{ ec2_instance.instances[0].image_id }}"
wait: yes
with_items:
- us-west-1
- eu-west-1
此检查在O(V + E)时间内运行。