Professional Documents
Culture Documents
CO 250 Spring 2024: Tutorial 2 Problems: 1 K 1 K 1 2 2 3 K 1 K e
CO 250 Spring 2024: Tutorial 2 Problems: 1 K 1 K 1 2 2 3 K 1 K e
CO 250 Spring 2024: Tutorial 2 Problems: 1 K 1 K 1 2 2 3 K 1 K e
d 17 c
5 2
s 3 4 t
1 8
a 12 b
(a) Give an example directed graph where no arc enters s and no arc leaves t and moreover
the above integer program specialized to your example graph G has a feasible solution
that does not correspond exclusively to an s − t path (where we associate a subgraph
of G to a feasible solution x by considering the set of arcs e such that xe = 1).
(b) Assume there is at least one s − t path in G and that G has no self-loops (i.e. arcs of the
form vv). Assume further that s has no entering arcs and t has no leaving arcs. Prove
that the above integer program captures the problem of finding the shortest directed
s − t path in G.
(c) If we replace the constraints 0 ≤ xe ≤ 1 by the constraint xe ≥ 0 for every e ∈ E, does
the integer program still capture the shortest directed s − t path problem? Explain why
or why not.
8jJUrTR5xXP3Vw