3
$\begingroup$

Point-Cover-Interval Problem: Given a set $\mathcal{I}$ of $n$ intervals $[s_1, f_1], \ldots, [s_n, f_n]$ along a real line, find a minimum number of points $P$ such that each interval contains some point, that is $\forall I \in \mathcal{I}: \exists p \in P, p \in I$.

Interval Scheduling Problem: Given a set $\mathcal{I}$ of $n$ intervals $[s_1, f_1], \ldots, [s_n, f_n]$ along a real line, find a maximum number of intervals such that no two of them overlap.

Interestingly, the two problems above have exactly the same greedy algorithm, illustrated by the following figure (from [1]; for the interval scheduling problem; see the "Greedy Algorithm" part below).

Since they share the same algorithm, I expect that they are the same (or, at least closely related) problem, say, in the view of reduction. However, I failed to reduce them to each other.

Question: Are these two problems the same? Or what is the relation between them? Can we reduce them to each other?

Note that the first problem asks for a minimum solution while the second one for a maximum solution.


Greedy Algorithm: The greedy algorithm for the "Interval Scheduling" problem is as follows:

  • sort the intervals in increasing order of their finishing times, still denoted as $\mathcal{I}$.
  • while ($\mathcal{I} \neq \emptyset$) choose the first $I \in \mathcal{I}$, do:
    • add $I$ into the result-set; (darker lines in the figure)
    • delete all intervals from $\mathcal{I}$ that conflicts with $I$ (dashed lines in the figure).

For the "Point-Cover-Interval" problem, we simply collect the finishing time point of each interval $I$ chosen in each iteration in the algorithm above.

interval-scheduling-example

[1]: Algorithm Design. By Jon Kleinberg and Éva Tardos. (Section 4.1)

$\endgroup$
4
  • $\begingroup$ They may be dual. $\endgroup$
    – Raphael
    Jun 3, 2015 at 12:07
  • $\begingroup$ @Raphael Do you agree with @Aryabhata? (I think the answer is right.) Or do you want to share your ideas? $\endgroup$
    – hengxin
    Jun 3, 2015 at 12:44
  • $\begingroup$ Sorry, I did not think about it closely. Duality is just one setting where the same algorithm solves two problems that may not admit a "nice" reduction. $\endgroup$
    – Raphael
    Jun 3, 2015 at 12:50
  • $\begingroup$ @Raphael I will be satisfied with a duality relation. A "nice reduction" is not required. Maybe I should change the title as "relationship between" them. Thanks. $\endgroup$
    – hengxin
    Jun 3, 2015 at 12:54

1 Answer 1

2
$\begingroup$

Here is a proof that the two numbers are equal:

For every interval $I$ consider the largest set of disjoint intervals with $I$ as the rightmost interval. This has a size, say $D_I$.

Now if $D_I = D_J$, then $I$ and $J$ have to intersect, so the set of intervals with equal $D_I$ values all pairwise intersect each other, and so have a common point (by the 1D version of Helly's theorem, or by just considering the intervals arranged in order of their left endpoints).

Now if $d = \max D_I$ (the size of the largest set of non-intersecting intervals), then we have $D_I$ taking all the values $\{1, 2, \dots, d\}$, and thus $d$ points are enough to cover all the intervals, and we need at least $d$ to cover the largest set of disjoint intervals.

For some related reading, look at Mirsky's theorem, which is a dual of Dilworth's theorem.

Dilworth's theorem says that in a set of elements with a partial order defined on them, the size of the largest antichain (antichain is a set of elements not comparable to each other) is same as the size of the smallest partition into chains (each set of the partition is a total ordered set).

Mirsky's theorem says that the size of the largest chain is the same as the smallest number of antichains into which the set might be partitioned.

In this case defines your order relation as follows:

$$I = (i,j) \lt I' = (i', j') \iff j \lt i'$$

Basically, two disjoint intervals are comparable, with the left one being smaller.

Because of Helly's theorem, the two numbers you are computing are exactly the numbers in Mirsky's theorem, which is defined as the height of the the partial order (Dilworth's theorem defines the width).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.