The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)
Transcript of The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)
![Page 1: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/1.jpg)
The Salesman’s Improved Paths
A 32+ 1
34approximation
Anke van Zuylen
based on joint work with Andras Sebo
Workshop on Flexible Network Design, Amsterdam
![Page 2: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/2.jpg)
(Metric) s − t Path TSP
Given:
• vertex set V
• special vertices s, t ∈ V
• distance metric c :(V2
)→ Q≥0
Find:
Minimum length path from s to t that visits every vertex in V .
Equivalent to solving s − t path TSP:
Find a minimum cost “s − t tour”: a connected multigraph G in which
s, t have odd degree and every other vertex has even degree.
1
![Page 3: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/3.jpg)
(Metric) s − t Path TSP
Given:
• vertex set V
• special vertices s, t ∈ V
• distance metric c :(V2
)→ Q≥0
Find:
Minimum length path from s to t that visits every vertex in V .
Equivalent to solving s − t path TSP:
Find a minimum cost “s − t tour”: a connected multigraph G in which
s, t have odd degree and every other vertex has even degree.
1
![Page 4: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/4.jpg)
s − t Path TSP: Progress for General Metrics
Why does Christofides’s algorithm not immediately give a
3/2-approximation?
2
![Page 5: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/5.jpg)
Christofides for s − t path TSP
Algorithm Analysis
• Connectivity: find a Minimum Spanning Tree S .
c(S) ≤ OPT
• Degree parities: add a Min Cost TS -join JS :
s, t ∈ TS if they have even degree in S ,
c(JS) 6≤ 12OPT !!
v ∈ TS , if v ∈ V \ {s, t} has odd degree in S .
Total ???
3
![Page 6: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/6.jpg)
Christofides for s − t path TSP
Algorithm Analysis
• Connectivity: find a Minimum Spanning Tree S . c(S) ≤ OPT
• Degree parities: add a Min Cost TS -join JS :
s, t ∈ TS if they have even degree in S ,
c(JS) 6≤ 12OPT !!
v ∈ TS , if v ∈ V \ {s, t} has odd degree in S .
Total ???
3
![Page 7: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/7.jpg)
Christofides for s − t path TSP
Algorithm Analysis
• Connectivity: find a Minimum Spanning Tree S . c(S) ≤ OPT
• Degree parities: add a Min Cost TS -join JS :
s, t ∈ TS if they have even degree in S , c(JS) 6≤ 12OPT !!
v ∈ TS , if v ∈ V \ {s, t} has odd degree in S .
Total ???
3
![Page 8: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/8.jpg)
LP Based Analysis: Subtour Elimination LP for s − t Path TSP
• x(e) is a decision variable indicating if edge e is used in the s − t
path TSP
• Objective: minimize cost c(x) =∑
e c(e)x(e)
• Subject to: subtour elimination constraints
• At least one edge in an s − t cut
• At least two edges in a non s − t cut
4
![Page 9: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/9.jpg)
LP Based Analysis: Subtour Elimination LP for s − t Path TSP
• x(e) is a decision variable indicating if edge e is used in the s − t
path TSP
• Objective: minimize cost c(x) =∑
e c(e)x(e)
• Subject to: subtour elimination constraints
• At least one edge in an s − t cut
• At least two edges in a non s − t cut
4
![Page 10: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/10.jpg)
LP Based Analysis: Subtour Elimination LP for s − t Path TSP
• x(e) is a decision variable indicating if edge e is used in the s − t
path TSP
• Objective: minimize cost c(x) =∑
e c(e)x(e)
• Subject to: subtour elimination constraints
• At least one edge in an s − t cut
• At least two edges in a non s − t cut
4
![Page 11: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/11.jpg)
LP Based Analysis: Subtour Elimination LP for s − t Path TSP
• x(e) is a decision variable indicating if edge e is used in the s − t
path TSP
• Objective: minimize cost c(x) =∑
e c(e)x(e)
• Subject to: subtour elimination constraints
• At least one edge in an s − t cut
• At least two edges in a non s − t cut
4
![Page 12: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/12.jpg)
LP Based Analysis: Subtour Elimination LP for s − t Path TSP
• x(e) is a decision variable indicating if edge e is used in the s − t
path TSP
• Objective: minimize cost c(x) =∑
e c(e)x(e)
• Subject to: subtour elimination constraints
• At least one edge in an s − t cut
• At least two edges in a non s − t cut
4
![Page 13: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/13.jpg)
LP Based Analysis I: Connectivity
Subtour LP
min c(x)
s.t. x(Q) ≥ 2, for all non s − t cuts Q,
x(Q) ≥ 1, for all s − t cuts Q,
x(δ(v)) =
{2, if v 6∈ {s, t},1, if v ∈ {s, t},
x(e) ≥ 0, for all e.
Note: Feasible region is a subset of the spanning tree polytope ⇒c(S) ≤ c(x∗).
5
![Page 14: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/14.jpg)
LP Based Analysis: TS-Join Polyhedron
• y(e) is a decision variable indicating whether e is used in the
TS -join, y(e) ≥ 0
• Objective: minimize cost c(y) =∑
e c(e)y(e)
• Subject to:
s 1 2 4 5 6 t
3
at least one edge in δ(U)
if U ⊂ V has an odd
number of vertices in TS
6
![Page 15: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/15.jpg)
LP Based Analysis: TS-Join Polyhedron
• y(e) is a decision variable indicating whether e is used in the
TS -join, y(e) ≥ 0
• Objective: minimize cost c(y) =∑
e c(e)y(e)
• Subject to:
s 1 2 4 5 6 t
3
at least one edge in δ(U)
if U ⊂ V has an odd
number of vertices in TS
6
![Page 16: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/16.jpg)
LP Based Analysis: TS-Join Polyhedron
• y(e) is a decision variable indicating whether e is used in the
TS -join, y(e) ≥ 0
• Objective: minimize cost c(y) =∑
e c(e)y(e)
• Subject to:
s 1 2 4 5 6 t
3
at least one edge in δ(U)
if U ⊂ V has an odd
number of vertices in TS
6
![Page 17: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/17.jpg)
LP Based Analysis: TS-Join Polyhedron
• y(e) is a decision variable indicating whether e is used in the
TS -join, y(e) ≥ 0
• Objective: minimize cost c(y) =∑
e c(e)y(e)
• Subject to:
s 1 2 4 5 6 t
3
at least one edge in cut
Q when the tree S does
not have the parity in Q
that an s − t path TSP
solution should have.
6
![Page 18: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/18.jpg)
LP Based Analysis: TS-Join Polyhedron
• y(e) is a decision variable indicating whether e is used in the
TS -join, y(e) ≥ 0
• Objective: minimize cost c(y) =∑
e c(e)y(e)
• Subject to:
s 1 2 4 5 6 t
3
at least one edge in cut
Q when the tree S does
not have the parity in Q
that an s − t path TSP
solution should have.
6
![Page 19: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/19.jpg)
LP Based Analysis II: Parity
TS -join polyhedron
min c(y)
s.t. y(Q) ≥ 1, if |S ∩ Q| is odd, and Q is a non s − t cut,
y(Q) ≥ 1, if |S ∩ Q| is even, and Q is an s − t cut,
y(e) ≥ 0, for all e.
Note: TS -join polyhedron has integer extreme points ⇒ Can upper
bound cost of minimum TS -join by cost of any feasible y -vector.
7
![Page 20: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/20.jpg)
LP Based Analysis II: Parity
TS -join polyhedron
min c(y)
s.t. y(Q) ≥ 1, if |S ∩ Q| is odd, and Q is a non s − t cut,
y(Q) ≥ 1, if |S ∩ Q| is even, and Q is an s − t cut,
y(e) ≥ 0, for all e.
Note: TS -join polyhedron has integer extreme points ⇒ Can upper
bound cost of minimum TS -join by cost of any feasible y -vector.
7
![Page 21: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/21.jpg)
LP Based Analysis: Summary
Subtour LP
min c(x)
s.t. x(Q) ≥ 2, for all non s − t cuts Q,
x(Q) ≥ 1, for all s − t cuts Q,
x(δ(v)) =
{2, if v 6∈ {s, t},1, if v ∈ {s, t},
x(e) ≥ 0, for all e.
TS -join polyhedron
min c(y)
s.t. y(Q) ≥ 1, if |S ∩ Q| is odd,
and Q is a non s − t cut,
y(Q) ≥ 1, if |S ∩ Q| is even,
and Q is an s − t cut,
y(e) ≥ 0, for all e.
Connectivity: Cost
of Minimum
Spanning Tree S is
upper bounded by
c(x∗).
Parity: Cost of
minimum TS -join
JS is equal to
c(y∗).
Wishful thinking: if
y = x∗/2 is feasible
for the TS -join
polyhedron, then
c(y∗) ≤ 12c(x∗).
8
![Page 22: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/22.jpg)
LP Based Analysis: Summary
Subtour LP
min c(x)
s.t. x(Q) ≥ 2, for all non s − t cuts Q,
x(Q) ≥ 1, for all s − t cuts Q,
x(δ(v)) =
{2, if v 6∈ {s, t},1, if v ∈ {s, t},
x(e) ≥ 0, for all e.
TS -join polyhedron
min c(y)
s.t. y(Q) ≥ 1, if |S ∩ Q| is odd,
and Q is a non s − t cut,
y(Q) ≥ 1, if |S ∩ Q| is even,
and Q is an s − t cut,
y(e) ≥ 0, for all e.
Connectivity: Cost
of Minimum
Spanning Tree S is
upper bounded by
c(x∗).
Parity: Cost of
minimum TS -join
JS is equal to
c(y∗).
Wishful thinking: if
y = x∗/2 is feasible
for the TS -join
polyhedron, then
c(y∗) ≤ 12c(x∗).
8
![Page 23: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/23.jpg)
LP Based Analysis: Summary
Subtour LP
min c(x)
s.t. x(Q) ≥ 2, for all non s − t cuts Q,
x(Q) ≥ 1, for all s − t cuts Q,
x(δ(v)) =
{2, if v 6∈ {s, t},1, if v ∈ {s, t},
x(e) ≥ 0, for all e.
TS -join polyhedron
min c(y)
s.t. y(Q) ≥ 1, if |S ∩ Q| is odd,
and Q is a non s − t cut,
y(Q) ≥ 1, if |S ∩ Q| is even,
and Q is an s − t cut,
y(e) ≥ 0, for all e.
Connectivity: Cost
of Minimum
Spanning Tree S is
upper bounded by
c(x∗).
Parity: Cost of
minimum TS -join
JS is equal to
c(y∗).
Wishful thinking: if
y = x∗/2 is feasible
for the TS -join
polyhedron, then
c(y∗) ≤ 12c(x∗).
8
![Page 24: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/24.jpg)
LP Based Analysis: Summary
Subtour LP
min c(x)
s.t. x(Q) ≥ 2, for all non s − t cuts Q,
x(Q) ≥ 1, for all s − t cuts Q,
x(δ(v)) =
{2, if v 6∈ {s, t},1, if v ∈ {s, t},
x(e) ≥ 0, for all e.
TS -join polyhedron
min c(y)
s.t. y(Q) ≥ 1, if |S ∩ Q| is odd,
and Q is a non s − t cut,
y(Q) ≥ 1, if |S ∩ Q| is even,
and Q is an s − t cut,
y(e) ≥ 0, for all e.
Connectivity: Cost
of Minimum
Spanning Tree S is
upper bounded by
c(x∗).
Parity: Cost of
minimum TS -join
JS is equal to
c(y∗).
Wishful thinking: if
y = x∗/2 is feasible
for the TS -join
polyhedron, then
c(y∗) ≤ 12c(x∗).
8
![Page 25: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/25.jpg)
Conclusion: no 3/2 yet because...
x∗/2 will violate the join constraints for s − t cuts Q such that
• Parity of tree S in Q is “wrong”: S has an even number of edges in
Q, and
• Q is “narrow”: x∗(Q) < 2.
An, Kleinberg and Shmoys noted that narrow cuts form a “chain”.
Gottschalk and Vygen showed that x∗ can be decomposed into spanning
trees S such that for each narrow cut Q, the “first” 2− x∗(Q) fraction of
the trees has a single edge in S ∩ Q.
Let the deficit for a narrow cut Q be(
2−x∗(Q)2
)“parts-of-an-edge” if
|S ∩ Q| is even, e.g. an s − t cut Q with x∗(Q) = 32
has deficit 14
if S is even
across Q.
9
![Page 26: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/26.jpg)
Conclusion: no 3/2 yet because...
x∗/2 will violate the join constraints for s − t cuts Q such that
• Parity of tree S in Q is “wrong”: S has an even number of edges in
Q, and
• Q is “narrow”: x∗(Q) < 2.
An, Kleinberg and Shmoys noted that narrow cuts form a “chain”.
Gottschalk and Vygen showed that x∗ can be decomposed into spanning
trees S such that for each narrow cut Q, the “first” 2− x∗(Q) fraction of
the trees has a single edge in S ∩ Q.
Let the deficit for a narrow cut Q be(
2−x∗(Q)2
)“parts-of-an-edge” if
|S ∩ Q| is even, e.g. an s − t cut Q with x∗(Q) = 32
has deficit 14
if S is even
across Q.
9
![Page 27: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/27.jpg)
Conclusion: no 3/2 yet because...
x∗/2 will violate the join constraints for s − t cuts Q such that
• Parity of tree S in Q is “wrong”: S has an even number of edges in
Q, and
• Q is “narrow”: x∗(Q) < 2.
An, Kleinberg and Shmoys noted that narrow cuts form a “chain”.
Gottschalk and Vygen showed that x∗ can be decomposed into spanning
trees S such that for each narrow cut Q, the “first” 2− x∗(Q) fraction of
the trees has a single edge in S ∩ Q.
Let the deficit for a narrow cut Q be(
2−x∗(Q)2
)“parts-of-an-edge” if
|S ∩ Q| is even, e.g. an s − t cut Q with x∗(Q) = 32
has deficit 14
if S is even
across Q.
9
![Page 28: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/28.jpg)
Conclusion: no 3/2 yet because...
x∗/2 will violate the join constraints for s − t cuts Q such that
• Parity of tree S in Q is “wrong”: S has an even number of edges in
Q, and
• Q is “narrow”: x∗(Q) < 2.
An, Kleinberg and Shmoys noted that narrow cuts form a “chain”.
Gottschalk and Vygen showed that x∗ can be decomposed into spanning
trees S such that for each narrow cut Q, the “first” 2− x∗(Q) fraction of
the trees has a single edge in S ∩ Q.
Let the deficit for a narrow cut Q be(
2−x∗(Q)2
)“parts-of-an-edge” if
|S ∩ Q| is even,
e.g. an s − t cut Q with x∗(Q) = 32
has deficit 14
if S is even
across Q.
9
![Page 29: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/29.jpg)
Conclusion: no 3/2 yet because...
x∗/2 will violate the join constraints for s − t cuts Q such that
• Parity of tree S in Q is “wrong”: S has an even number of edges in
Q, and
• Q is “narrow”: x∗(Q) < 2.
An, Kleinberg and Shmoys noted that narrow cuts form a “chain”.
Gottschalk and Vygen showed that x∗ can be decomposed into spanning
trees S such that for each narrow cut Q, the “first” 2− x∗(Q) fraction of
the trees has a single edge in S ∩ Q.
Let the deficit for a narrow cut Q be(
2−x∗(Q)2
)“parts-of-an-edge” if
|S ∩ Q| is even, e.g. an s − t cut Q with x∗(Q) = 32
has deficit 14
if S is even
across Q.
9
![Page 30: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/30.jpg)
How to deal with even narrow cuts?
[AKS’12, S’12, V’14, GV’15]: Best-of-Many Christofides
3 Connectivity: Decompose x∗ into a collection of spanning trees S(with multipliers λS > 0,
∑S∈S λS = 1).
7 Parity: For each S ∈ S: add a min cost TS -join
[Gao’13]: Gao tree (for graph s − t path TSP)
7 Connectivity: Compute a minimum cost tree SGao that has
|SGao ∩ Q| = 1 for each narrow cut Q.
3 Parity: Add a TSGao-join of cost at most c(x∗)/2.
[This work]: Best-of-Many with Deletion
Main idea: For each cut Q, we
• “save” (compared to c(S) + c(x∗)/2) on trees S when |S ∩ Q| = 1
• use the “savings” to make up for Q’s deficit in trees S ′ when
|S ′ ∩ Q| is even.
10
![Page 31: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/31.jpg)
How to deal with even narrow cuts?
[AKS’12, S’12, V’14, GV’15]: Best-of-Many Christofides
3 Connectivity: Decompose x∗ into a collection of spanning trees S(with multipliers λS > 0,
∑S∈S λS = 1).
7 Parity: For each S ∈ S: add a min cost TS -join
[Gao’13]: Gao tree (for graph s − t path TSP)
7 Connectivity: Compute a minimum cost tree SGao that has
|SGao ∩ Q| = 1 for each narrow cut Q.
3 Parity: Add a TSGao-join of cost at most c(x∗)/2.
[This work]: Best-of-Many with Deletion
Main idea: For each cut Q, we
• “save” (compared to c(S) + c(x∗)/2) on trees S when |S ∩ Q| = 1
• use the “savings” to make up for Q’s deficit in trees S ′ when
|S ′ ∩ Q| is even.10
![Page 32: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/32.jpg)
Best-of-Many with Deletion
• Decompose x∗ into a collection of spanning trees S (with multipliers
λS > 0,∑
S∈S λS = 1) using the Gottschalk-Vygen decomposition.
• Gottschalk-Vygen guarantees: for narrow cut Q, |S ∩ Q| = 1 in the
“first” 2− x∗(Q) fraction of the trees in the decomposition.
• In those trees, we will call the edge in S ∩ Q “lonely”
• For each S ∈ S:
• Delete the “lonely edges”
• Correct parity (with a join chosen from a specific distribution)
• Correct connectivity: add back doubled lonely edges if needed.
• Output the solution with minimum cost.
11
![Page 33: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/33.jpg)
Illustration: LP Solution
s 1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— x∗(e) = 1
- - x∗(e) = 2/3
· · · x∗(e) = 1/3
Example from Gao’15:
• Narrow cuts are indicated by gray lines and labeled Q1, . . . ,Q6.
• x∗(Q1) = x∗(Q6) = 1, x∗(Qi ) = 53 for i = 2, 3, 4, 5.
12
![Page 34: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/34.jpg)
Illustration: Gottschalk-Vygen Decomposition into Trees
S1s 1 2 4 5 6 t
3
S2
s 1 2 4 5 6 t
3
S3
s 1 2 4 5 6 t
3
13
![Page 35: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/35.jpg)
Illustration: Algorithm Executed on Gao-Tree S1
s 1 2 4 5 6 t
3
• Black edges form the forest after deletion (dotted edges are deleted
lonely edges).
• Red edges correct parity.
• Blue edges correct connectivity.
14
![Page 36: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/36.jpg)
Illustration: Algorithm Executed on Gao-Tree S1
s 1 2 4 5 6 t
3
• Black edges form the forest after deletion (dotted edges are deleted
lonely edges).
• Red edges correct parity.
• Blue edges correct connectivity.
14
![Page 37: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/37.jpg)
Illustration: Algorithm Executed on Gao-Tree S1
s 1 2 4 5 6 t
3
• Black edges form the forest after deletion (dotted edges are deleted
lonely edges).
• Red edges correct parity.
• Blue edges correct connectivity.
14
![Page 38: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/38.jpg)
Illustration: Algorithm Executed on Gao-Tree S1
s 1 2 4 5 6 t
3
• Black edges form the forest after deletion (dotted edges are deleted
lonely edges).
• Red edges correct parity.
• Blue edges correct connectivity.
14
![Page 39: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/39.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1
Parity Correction
(average) x∗
2+
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 40: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/40.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction
(average) x∗
2+
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 41: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/41.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+
12(L1 ∩ Q1)+ 1
6(L1 ∩ Q2) + . . .
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 42: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/42.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+ 1
2(L1 ∩ Q1)+
16(L1 ∩ Q2) + . . .
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 43: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/43.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+ 1
2(L1 ∩ Q1)+ 1
6(L1 ∩ Q2) + . . .
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 44: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/44.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+ 1
2(L1 ∩ Q1)+ 1
6(L1 ∩ Q2) + . . .
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 45: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/45.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+
∑6i=1
2−x∗(Qi )2
(L1 ∩ Qi )
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 46: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/46.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+
∑6i=1
2−x∗(Qi )2
(L1 ∩ Qi )
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 47: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/47.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+
∑6i=1
2−x∗(Qi )2
(L1 ∩ Qi )
Connectivity Correction
∑6i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 48: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/48.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −L1
Parity Correction (average) x∗
2+
∑6i=1
2−x∗(Qi )2
(L1 ∩ Qi )
Connectivity Correction∑6
i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 49: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/49.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −∑6
i=1(L1 ∩ Qi )
Parity Correction (average) x∗
2+
∑6i=1
2−x∗(Qi )2
(L1 ∩ Qi )
Connectivity Correction∑6
i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total
S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 50: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/50.jpg)
Analysis of Solution Based on S1
s
s-t tour
1 2 4 5 6 t
3
s
Average TF -join
1 2 4 5 6 t
Q1 Q2 Q3 Q4 Q5 Q6
3
— 1/2
- - 1/3
· · · 1/6
Forest S1 −∑6
i=1(L1 ∩ Qi )
Parity Correction (average) x∗
2+
∑6i=1
2−x∗(Qi )2
(L1 ∩ Qi )
Connectivity Correction∑6
i=1 (x∗(Qi )− 1) (L1 ∩ Qi )
Total S1 + x∗
2−∑6
i=12−x∗(Qi )
2(L1 ∩ Qi )
15
![Page 51: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/51.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2 .
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
• Hence, if the (weighted) fraction of trees in which Q has a lonely
edge is at most the (weighted) fraction of trees in which Q has an
even number of edges the “saved edge-parts” can pay for the
“deficits”.
Theorem (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, such that no cut Q has
x∗(Q) ∈ ( 32 , 2). Then there exists an s − t tour of cost at most 3
2c(x∗).
16
![Page 52: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/52.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2 .
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
• Hence, if the (weighted) fraction of trees in which Q has a lonely
edge is at most the (weighted) fraction of trees in which Q has an
even number of edges the “saved edge-parts” can pay for the
“deficits”.
Theorem (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, such that no cut Q has
x∗(Q) ∈ ( 32 , 2). Then there exists an s − t tour of cost at most 3
2c(x∗).
16
![Page 53: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/53.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2 .
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
• Hence, if the (weighted) fraction of trees in which Q has a lonely
edge is at most the (weighted) fraction of trees in which Q has an
even number of edges, the “saved edge-parts” can pay for the
“deficits”.
Theorem (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, such that no cut Q has
x∗(Q) ∈ ( 32 , 2). Then there exists an s − t tour of cost at most 3
2c(x∗).
16
![Page 54: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/54.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2 .
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
• Hence, if the (weighted) fraction of trees in which Q has a lonely
edge is at most the (weighted) fraction of trees in which Q has an
even number of edges (guaranteed if x∗(Q) ≤ 32 ), the “saved
edge-parts” can pay for the “deficits”.
Theorem (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, such that no cut Q has
x∗(Q) ∈ ( 32 , 2). Then there exists an s − t tour of cost at most 3
2c(x∗).
16
![Page 55: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/55.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2 .
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
• Hence, if the (weighted) fraction of trees in which Q has a lonely
edge is at most the (weighted) fraction of trees in which Q has an
even number of edges (guaranteed if x∗(Q) ≤ 32 ), the “saved
edge-parts” can pay for the “deficits”.
Theorem (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, such that no cut Q has
x∗(Q) ∈ ( 32 , 2). Then there exists an s − t tour of cost at most 3
2c(x∗).
16
![Page 56: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/56.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2
+ γS(s, t)
.
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
Problem: Q may save less often than it has a deficit...
Solution: Increase savings and decrease deficits by increasing our base
line:
S + x∗
2 → S + x∗
2 + γ times the incidence vector of the s − t path in S .
Can show: If γ = 116 , then savings can always pay for the deficits.
17
![Page 57: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/57.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2
+ γS(s, t)
.
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
Problem: Q may save less often than it has a deficit...
Solution: Increase savings and decrease deficits by increasing our base
line:
S + x∗
2 → S + x∗
2 + γ times the incidence vector of the s − t path in S .
Can show: If γ = 116 , then savings can always pay for the deficits.
17
![Page 58: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/58.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2
)-parts-of-an-edge from the total S + x∗
2 + γS(s, t).
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
Problem: Q may save less often than it has a deficit...
Solution: Increase savings and decrease deficits by increasing our base
line:
S + x∗
2 → S + x∗
2 + γ times the incidence vector of the s − t path in S .
Can show: If γ = 116 , then savings can always pay for the deficits.
17
![Page 59: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/59.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2 + γ)
-parts-of-an-edge from the total S + x∗
2 + γS(s, t).
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2
)-parts-of-an-edge for parity correction.
Problem: Q may save less often than it has a deficit...
Solution: Increase savings and decrease deficits by increasing our base
line:
S + x∗
2 → S + x∗
2 + γ times the incidence vector of the s − t path in S .
Can show: If γ = 116 , then savings can always pay for the deficits.
17
![Page 60: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/60.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2 + γ)
-parts-of-an-edge from the total S + x∗
2 + γS(s, t).
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2 − γ)
-parts-of-an-edge for parity correction.
Problem: Q may save less often than it has a deficit...
Solution: Increase savings and decrease deficits by increasing our base
line:
S + x∗
2 → S + x∗
2 + γ times the incidence vector of the s − t path in S .
Can show: If γ = 116 , then savings can always pay for the deficits.
17
![Page 61: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/61.jpg)
How deletion helps
Consider a given narrow cut Q:
• Can show in general:
If S has a lonely edge in Q, deletion allows us to “save”(2−x∗(Q)
2 + γ)
-parts-of-an-edge from the total S + x∗
2 + γS(s, t).
• Recall:
If S has an even number of edges, x∗/2 has “deficit”(2−x∗(Q)
2 − γ)
-parts-of-an-edge for parity correction.
Problem: Q may save less often than it has a deficit...
Solution: Increase savings and decrease deficits by increasing our base
line:
S + x∗
2 → S + x∗
2 + γ times the incidence vector of the s − t path in S .
Can show: If γ = 116 , then savings can always pay for the deficits.
17
![Page 62: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/62.jpg)
Improved Result for General Case
Lemma (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, and given a
decomposition of x∗ into spanning trees S, let p∗ be the average of the
incidence vectors of the s − t path in S. There exists an s − t tour of
cost at most 32c(x∗) + 1
16c(p∗).
Observation (Hoogeveen’91, Sebo’12)
Let x∗ be an optimal solution to the subtour LP, and given a
decomposition of x∗ into spanning trees S, let p∗ be the average of the
incidence vectors of the s − t path in S. There exists an s − t tour of
cost at most 2c(x∗)− c(p∗).
The minimum of the above two tours has cost at most(
32 + 1
34
)c(x∗).
18
![Page 63: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/63.jpg)
Improved Result for General Case
Lemma (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, and given a
decomposition of x∗ into spanning trees S, let p∗ be the average of the
incidence vectors of the s − t path in S. There exists an s − t tour of
cost at most 32c(x∗) + 1
16c(p∗).
Observation (Hoogeveen’91, Sebo’12)
Let x∗ be an optimal solution to the subtour LP, and given a
decomposition of x∗ into spanning trees S, let p∗ be the average of the
incidence vectors of the s − t path in S. There exists an s − t tour of
cost at most 2c(x∗)− c(p∗).
The minimum of the above two tours has cost at most(
32 + 1
34
)c(x∗).
18
![Page 64: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/64.jpg)
Improved Result for General Case
Lemma (SvZ’16)
Let x∗ be an optimal solution to the subtour LP, and given a
decomposition of x∗ into spanning trees S, let p∗ be the average of the
incidence vectors of the s − t path in S. There exists an s − t tour of
cost at most 32c(x∗) + 1
16c(p∗).
Observation (Hoogeveen’91, Sebo’12)
Let x∗ be an optimal solution to the subtour LP, and given a
decomposition of x∗ into spanning trees S, let p∗ be the average of the
incidence vectors of the s − t path in S. There exists an s − t tour of
cost at most 2c(x∗)− c(p∗).
The minimum of the above two tours has cost at most(
32 + 1
34
)c(x∗).
18
![Page 65: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/65.jpg)
What I did not show you (but did use):
how to prove that Connectivity Correction can be done using at most∑Q lonely in S
(x∗(Q)− 1)(L ∩ Q)
![Page 66: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/66.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 67: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/67.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 68: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/68.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 69: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/69.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 70: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/70.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 71: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/71.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 72: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/72.jpg)
A few details on the proof: need for Gottschalk-Vygen
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad
(leads to reconnection)
GV guarantees that Q’s saved edge-parts are not bad:
• Q’s saved edge-parts come from trees were Q was lonely.
• In those trees Q ′,Q ′′ where also lonely.
• But then Q’s saved edge-parts cannot cross Q ′ and Q ′′.
⇒ Q’s saved edge-parts are not bad.
20
![Page 73: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/73.jpg)
A few details on the proof: LP for reconnection
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad;
may still appear
because of x∗/2 part
of parity correction
For each bad edge (that crosses more than one cut with a lonely edge),
we double all but one of the lonely edges to reconnect.
The solution to a linear program is used to decide which lonely edges are
used for reconnection
(only needed to “spread things out” for the
analysis: the algorithm may use the cheapest lonely edges)
.
21
![Page 74: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/74.jpg)
A few details on the proof: LP for reconnection
Q′ Q Q′′
lonely lonelyhas deficit
red edge is bad;
may still appear
because of x∗/2 part
of parity correction
For each bad edge (that crosses more than one cut with a lonely edge),
we double all but one of the lonely edges to reconnect.
The solution to a linear program is used to decide which lonely edges are
used for reconnection (only needed to “spread things out” for the
analysis: the algorithm may use the cheapest lonely edges).21
![Page 75: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/75.jpg)
Conclusion
s 1 2 4 5 6 t
3
• Approximation guarantee and integrality gap bound of 32 + 1
34
• Mixing Parity and Connectivity stages in new ways leads to benefits!
• Open question: Shave off the remaining + 134 from the ratio.
22
![Page 76: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/76.jpg)
Conclusion
s 1 2 4 5 6 t
3
• Approximation guarantee and integrality gap bound of 32 + 1
34
• Mixing Parity and Connectivity stages in new ways leads to benefits!
• Open question: Shave off the remaining + 134 from the ratio.
22
![Page 77: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/77.jpg)
Conclusion
s 1 2 4 5 6 t
3
• Approximation guarantee and integrality gap bound of 32 + 1
34
• Mixing Parity and Connectivity stages in new ways leads to benefits!
• Open question: Shave off the remaining + 134 from the ratio.
22
![Page 78: The Salesman’s Improved Pathsarvanzuijlen.people.wm.edu/stpath.pdf · Q is \narrow": x (Q)](https://reader036.fdocuments.in/reader036/viewer/2022071112/5fe80e83c05eaf20d122e990/html5/thumbnails/78.jpg)
Questions??