next up previous contents index
Next: Example Up: Alternative: Reducing IP to Previous: Sequential Graph Partitioning

Subsections

Reducing IP to SGP

    

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.



Definition:


The reduction of an instance of IP to one of SGP.

 


next up previous contents index
Next: Example Up: Alternative: Reducing IP to Previous: Sequential Graph Partitioning

Thomas Zurek