n
m
v
G
n-1
c
(a, b)
d[a]
d[b] + c
d
from
to
cost
INF
N
M
1000 ms 32 Mb Rules for program design and list of errors in automatic problem checking