Next: Example
Up: Alternative: Reducing IP to
Previous: Sequential Graph Partitioning
Subsections
Reducing instances of IP to instances of SGP is based on the
following observations:
- 1.
- Theorem 1 showed that an optimal partition
for an instance of IP can be found within the set E(R) of interval
endpoints. Therefore we can certainly find an optimal partition to be
found within the set of interval start- and
endpoints
.
- 2.
- IP wants to minimise the total number of intervals crossing the
partition breakpoints pk ().
- 3.
- Lemma 1 says that the number
of intervals in a fragment Rk is the number of intervals
that have their startpoint in the partition range (pk-1,pk]
plus the number of intervals that overlap the left border pk-1.
From the first observation we can conclude that we need only the
start- and endpoints from a collection R of intervals. We choose the
(ordered) set of start- and endpoints as the (ordered) vertex set
V of a graph G=(V,A) . There are edges
only between adjacent vertices. The length of an edge is the number
of intervals that include the corresponding points. The optimal
solution for SGP will try to minimise the sum of edge lengths that are
cut by partition boundaries. This translates into minimising the
number of intervals that overlap partition boundaries. This is exactly
what is intended by IP (see second observation).
Finally, we assign each vertex v the number of intervals that start
at the point that corresponds to v as its weight. The sum of vertex
weights in a fragment Vk for SGP is then equivalent to
the number of intervals starting at the points that correspond to the
vertices in Vk. According to the third observation we need to add
the number of intervals that overlap the left border. This number is
matched by the lengths of the edge that enters Vk from Vk-1.
Figure 5.8 summarises a reduction M of an
instance of IP to an instance of SGP.
- X remains unchanged for .
- The graph G=(V,A) is derived in the following way:
with vi < vi+1 for and
- Define the the vertex weights:
- Define the the edge weights:
for j=i+1; for convenience we define l(vi,vj) = 0 for
.
The reduction of an instance of IP to one of SGP.
Next: Example
Up: Alternative: Reducing IP to
Previous: Sequential Graph Partitioning
Thomas Zurek