Interval Selection in Sliding Windows

Abstract

We initiate the study of the Interval Selection problem in the (streaming) sliding window model of computation. In this problem, an algorithm receives a potentially infinite stream of intervals on the line, and the objective is to maintain at every moment an approximation to a largest possible subset of disjoint intervals among the $L$ most recent intervals, for some integer $L$.

We give the following results:

1. In the unit-length intervals case, we give a $2$-approximation sliding window algorithm with space $\tilde{\mathrm{O}}(|OPT|)$, and we show that any sliding window algorithm that computes a $(2-\varepsilon)$-approximation requires space $\Omega(L)$, for any $\varepsilon>0$.

2. In the arbitrary-length case, we give a $(\frac{11}{3}+\varepsilon)$-approximation sliding window algorithm with space $\tilde{\mathrm{O}}(|OPT|)$, for any constant $\varepsilon>0$, which constitutes our main result. We also show that space $\Omega(L)$ is needed for algorithms that compute a $(2.5-\varepsilon)$-approximation, for any $\varepsilon>0$.

Our main technical contribution is an improvement over the smooth histogram technique, which consists of running independent copies of a traditional streaming algorithm with different start times. By employing the one-pass $2$-approximation streaming algorithm by Cabello and Pérez-Lantero [Theor. Comput. Sci. ’17] for Interval Selection on arbitrary-length intervals as the underlying algorithm, the smooth histogram technique immediately yields a $(4+\varepsilon)$-approximation in this setting. Our improvement is obtained by forwarding the structure of the intervals identified in a run to the subsequent run, which constrains the shape of an optimal solution and allows us to target optimal intervals differently.

1 Introduction

Sliding Window Model

The sliding window model of computation introduced by Datar et al. [9] captures many of the challenges that arise when processing infinite data streams. In this model, an algorithm receives an infinite stream of data items and is required to maintain, at every moment, a solution to a given problem on the current sliding window, i.e., on the $L$ most recent data items, for an integer $L$. The objective is to design algorithms that use much less space than the size of the sliding window $L$.

Many modern data sources are best modelled as infinite data streams rather than as data sets of large but finite sizes. For example, the sequence of Tweets on X (formerly Twitter), the sequence of IP packages passing through a network router, and continuous sensor measurements for monitoring the physical world are a priori unending. Such data sets typically constitute time-series data, where the resulting data stream is ordered with respect to the data items’ creation times. When processing such streams, it is reasonable to focus on the most recent data items (as it is modelled in the sliding window model by the sliding window size $L$) since the near past usually affects the present more strongly than older data.

The sliding window model should be contrasted with the more traditional one-pass data streaming model. In the data streaming model, an algorithm processes a finite stream of $n$ data items and is tasked with producing a single output once all items have been processed. Similar to the sliding window model, the objective is to design algorithms that use as little space as possible, in particular, sublinear in the length of the stream. Since sliding window algorithms with $L=n$ can immediately be used in the data streaming model, problems are generally harder to solve in the sliding window model.

Interval Selection Problem

In this work, we initiate the study of the Interval Selection problem in the sliding window model. Given a set $\mathcal{S}$ of $n$ intervals on the real line, the objective is to find a subset $\mathcal{I}\subseteq\mathcal{S}$ of pairwise non-overlap** intervals of maximum cardinality. The problem can also be regarded as the Maximum Independent Set problem in the interval graph associated with the intervals $\mathcal{S}$. We consider both the unit-length case, where all intervals are of length $1$, and the arbitrary-length case, where no restriction on the lengths of the intervals is imposed.

Interval Selection is fully understood in the one-pass streaming model. Emek et al. [10] gave a $\frac{3}{2}$-approximation streaming algorithm for unit-length intervals and a $2$-approximation streaming algorithm for arbitrary-length intervals. Both algorithms use space $O(|OPT|)$, where $OPT$ denotes an optimal solution, assuming that the space required for storing an interval is $O(1)$. Emek et al. also gave matching lower bounds, showing that, for both the unit-length and the arbitrary-length case, slightly better approximations require space $\Omega(n)$. Subsequently, Cabello and Pérez-Lantero [5] also gave algorithms for the unit-length and the arbitrary-length cases that match the guarantees of those by Emek et al. but are significantly simpler. We will reuse one of the algorithms by Cabello and Pérez-Lantero in this paper. Last, weighted intervals as well as the insertion-deletion setting, where previously inserted intervals can be deleted again, have also been considered [8, 2], where [2] addresses the challenge of outputting the size or weight of a largest/heaviest independent set rather than outputting the intervals themselves.

The Smooth Histogram Technique

Braverman and Ostrovsky [4] introduced the smooth histogram technique, which allows deriving sliding window algorithms from traditional streaming algorithms at the expense of slightly increased space requirements and approximation guarantees. The method works as follows. Given a streaming algorithm $\mathcal{A}$ for a specific problem P that fulfills certain smoothness properties (see [4] for details), multiple copies of $\mathcal{A}$ are run with different starting positions in the stream. The runs are such that consecutive runs differ only slightly in solution quality, and, thus, when a run expires due to the fact that its starting position fell out of the current sliding window, the subsequent run can be used to still yield an acceptable solution. The smooth histogram technique can be applied to the Interval Selection algorithms by Emek et al. [10] and by Cabello and Pérez-Lantero [5], and we immediately obtain sliding window algorithms for both the unit-length and the arbitrary-length cases using space $\tilde{O}(|OPT|)$. For unit-length intervals, the resulting approximation factor is $3+\varepsilon$, for any $\varepsilon>0$, and for arbitrary-length intervals, the approximation factor is $4+\varepsilon$, for any $\varepsilon>0$. We will provide the analysis of the $(4+\varepsilon)$-approximation for arbitrary-length intervals in this paper (Theorem 5) since it forms the basis of the analysis of one of our algorithms.

Our Results

In this work, we show that it is possible to improve upon the guarantees obtained from the smooth histogram technique. We give deterministic sliding window algorithms and lower bounds that also apply to randomized algorithms for Interval Selection for both the unit-length and arbitrary-length cases. Our algorithms use space $\tilde{O}(|OPT|)$ at any moment during the processing of the stream, where $OPT$ denotes an optimal solution in the current sliding window. Observe that $OPT$ may vary throughout the processing of the stream, and, thus, the space used by our algorithms may therefore also change accordingly.

Regarding unit-length intervals, we give a $2$-approximation sliding window algorithm using $O(|OPT|)$ space, and we prove that any sliding window algorithm with an approximation guarantee of $2-\varepsilon$, for any $\varepsilon>0$, requires space $\Omega(L)$. Recall that, in the streaming model, a $\frac{3}{2}$-approximation can be achieved with space $O(|OPT|)$. Our lower bound thus establishes a separation between the sliding window and the streaming models for unit-length intervals.

In the arbitrary-length case, we give a $(\frac{11}{3}+\varepsilon)$-approximation sliding window algorithm with space $\tilde{\mathrm{O}}(|OPT|)$, improving over the smooth histogram technique, which constitutes our main and most technical result. We also prove that any $(\frac{5}{2}-\varepsilon)$-approximation algorithm, for any $\varepsilon>0$, requires space $\Omega(L)$. Since, in the streaming model, a $2$-approximation can be achieved with space $O(|OPT|)$, our lower bound also establishes a separation between the sliding window and the streaming models in the arbitrary-length case.

We summarize and contrast our results with results from the streaming model in Figure 1.

	Streaming model [10, 5]		Sliding window model (this paper)
	Algorithm	LB	Algorithm	LB
Unit-length Intervals	$\frac{3}{2}$	$\frac{3}{2}-\varepsilon$	$2$ (Thm 3)	$2-\varepsilon$ (Thm 4)
Arbitrary-length Intervals	$2$	$2-\varepsilon$	$\frac{11}{3}$ (Thm 6)	$\frac{5}{2}-\varepsilon$ (Thm 7)

Figure 1: Approximation factors achievable in the streaming and sliding window models. All algorithms use space $\tilde{\mathrm{O}}(|OPT|)$, while all lower bound results are to be interpreted in that achieving the stated approximation guarantee requires space $\Omega(n)$ (streaming) or $\Omega(L)$ (sliding window model). The lower bound results hold for any $\varepsilon>0$.

A Lack of Lower Bounds in the Sliding Window Model

Interestingly, to the best of our knowledge, for graph problems (recall that the interval selection problem is an independent set problem on interval graphs) no separation result between the one-pass streaming and the sliding window models are known. In particular, we are not aware of any space lower bounds for graph problems specifically designed for the sliding window setting, and the only lower bounds that apply are those that carry over from the one-pass streaming setting. Our work is thus the first to establish such a separation. While our results for arbitrary-length intervals are not tight, we stress that for most problems considered, including Maximum Matching and Minimum Vertex Cover, no tight bounds are known. It is unclear whether this is due to a lack of techniques for improved algorithms or for stronger lower bounds.

Techniques

We will first discuss the key ideas behind our results for unit-length intervals, and then discuss our results for arbitrary-length intervals.

Unit-length Intervals. Our algorithm for unit-length intervals is surprisingly simple yet optimal, as established by our lower bound result. For each integer $r$, maintain the latest interval within the current sliding window whose left endpoint lies in the interval $[r,r+1)$ if there is one. We argue that, if at any moment, the algorithm stores $D$ intervals, then we can extract an independent set of size at least $D/2$ by considering either only the intervals $[r,r+1)$ where $r$ is odd or where $r$ is even, while $OPT$ is bounded by $D/2\leq OPT\leq D$, which establishes both the approximation factor of $2$ and the space requirements. We note that the idea of considering either only the odd or even intervals for obtaining a $2$-approximation was previously used by [2].

Our lower bound for unit-length intervals is obtained by a reduction to the $\textsf{Index}_{n}$ problem in the one-way two-party communication setting. In this setting, there are two parties, denoted Alice and Bob. Each party holds a portion of the input data. Alice sends a single message to Bob, who then outputs the result of the computation. The objective is to solve a problem using a message of smallest possible size. In $\textsf{Index}_{n}$, Alice holds a bit-string $X\in\{0,1\}^{n}$, and Bob holds an index $J\in[n]$, where $[n]=\{1,2,3,...,n\}$, and the objective for Bob is to report the bit $X[J]$. It is well-known that a message of size $\Omega(n)$ is needed to solve the problem.

We argue that a sliding window algorithm $\mathcal{A}$ for Interval Selection on unit-length intervals with approximation guarantee slightly below $2$ can be used to solve $\textsf{Index}_{\Theta(L)}$. To this end, Alice translates the bit-string $X$ into a clique gadget, i.e., a stack of overlap** $\Theta(L)$ interval slots that are slightly shifted from left-to-right, where interval $i$ is present in the stack if and only if $X[i]=1$. Clique gadgets have been used in all previous space lower bound constructions for intervals [10, 2, 8]. Alice then runs $\mathcal{A}$ on these intervals and sends the memory state of $\mathcal{A}$ to Bob. Bob subsequently feeds an interval located slightly to the right of the slot of interval $J$ into the execution of $\mathcal{A}$ such that Bob’s interval overlaps with all interval slots at positions $\geq J+1$ and does not overlap with all interval slots at positions $\leq J$. The key idea of this reduction is that, since $\mathcal{A}$ is a sliding window algorithm, it must be able to report a valid solution even if any prefix of intervals of the stack are deleted/have expired. Consider thus the situation when the intervals that are located in the first $J-1$ slots have expired. Then, the resulting instance has an independent set of size $2$ if and only if $X[J]=1$, otherwise a largest independent set is of size $1$. Since the approximation factor of $\mathcal{A}$ is below $2$, $\mathcal{A}$ can thus distinguish between the two cases and solve $\textsf{Index}_{\Theta(L)}$. Since Alice only sent the memory state of $\mathcal{A}$ to Bob, we also obtain a space lower bound for $\mathcal{A}$. While this description covers the key idea of our lower bound, we note that our actual construction is slightly more involved due to an additional technical challenge. See proof of Theorem 4 for details.

Our lower bound construction shares similarities with the lower bounds by [2] and [10], as both of these lower bounds also work with clique gadgets and special intervals that render a specific interval in the clique gadget important. In [2], a reduction to the Augmented-Index problem is given in order to obtain a space lower bound for the dynamic streaming setting, where previously inserted intervals can be deleted again at any moment. In Augmented-Index, besides the index $J$, Bob also holds the prefix $X[1,\dots,J-1]$. While in our setting, intervals are deleted due to the shifting sliding window, in their lower bound, intervals are explicitly deleted by Bob.

Arbitrary-length Intervals. Our algorithm and our lower bound for arbitrary-length intervals are substantially more involved, and our $(\frac{11}{3}+\varepsilon)$-approximation algorithm constitutes the main technical result of this paper.

Our algorithm constitutes an improvement over the smooth histogram method. Using the one-pass $2$-approximation streaming algorithm for arbitrary-length intervals by Cabello and Pérez-Lantero [5], which we abbreviate by $\mathcal{CP}$, as the base algorithm of the smooth histogram method, we immediately obtain a $(4+\varepsilon)$-approximation sliding window algorithm using $\tilde{\mathrm{O}}(|OPT|)$ space. The key idea of the method is to maintain various runs of $\mathcal{CP}$ with different starting times that are sufficiently spaced out so that only a logarithmic number of runs are needed, yet adjacent runs still have similar output sizes. Then, when a run expires, the subsequent run can still be used to report a good enough solution.

We observe that the executions of $\mathcal{CP}$ in the smooth histogram method are independent. Our key contribution that gives rise to our improvement is to forward the structure identified in a run of $\mathcal{CP}$ to the subsequent run. The $\mathcal{CP}$ algorithm, which we will discuss in detail in Section 4.1.1, maintains a partition of the real line that restrains the possible locations of optimal intervals that are yet to arrive in the stream. We target these locations individually in the subsequent run by initiating additional runs of $\mathcal{CP}$ on restricted domains where we expect to find many of these optimal intervals.

Our approach relies on a property of the $\mathcal{CP}$ algorithm that, at first glance, seems relatively insignificant. As proved by Cabello and Pérez-Lantero, the $\mathcal{CP}$ algorithm produces a solution of size at least $(|OPT|+1)/2$, and thus only has an approximation factor of $2$ in an asymptotic sense. Consequently, if $OPT$ is a small constant then the algorithm achieves an approximation factor strictly below $2$. We exploit this property in that we execute the additional runs of $\mathcal{CP}$ on small domains where we expect to find only a small constant number of optimal intervals, see Section 4.1.3 for further details.

Our $(2.5-\varepsilon)$-approximation lower bound for arbitrary-length intervals is also achieved via a reduction to a hard problem in one-way communication complexity. However, instead of exploiting the hardness of the two-party problem Index as in the unit-lengths case, we use the three-party problem $\textsf{Chain}_{3}$ introduced by Cormode et al. [6] instead. In $\textsf{Chain}_{3}$, the first two parties and the last two parties hold separate Index instances $(X_{1},J_{1}),(X_{2},J_{2})\in\{0,1\}^{n}\times[n]$ that are correlated in that they have the same answer bit, i.e., $X_{1}[J_{1}]=X_{2}[J_{2}]=:x$, and the objective for the third party is to determine the bit $x$. $\textsf{Chain}_{3}$ also requires a message of size $\Omega(n)$ to be solved. Similar to the unit-length case, the first two parties introduce clique gadgets based on the bit-strings $X_{1}$ and $X_{2}$, and the third party introduces additional crucial intervals. The strength of using $\textsf{Chain}_{3}$ is that, if the answer bit is zero, then the crucial intervals corresponding to $X_{1}[J_{1}]$ and $X_{2}[J_{2}]$ of all clique gadgets are missing, while if the answer bit is one then all of these intervals are present. The method thus allows us to work with multiple clique gadgets instead of only a single one, which we exploit to obtain a stronger lower bound. See Section 4.2 for details.

Further Related Work

Crouch et al. [7] initiated the study of graph problems in the sliding window model (recall that Interval Selection is an independent set problem on interval graphs). They showed that, similar to the streaming model, there exist sliding window algorithms that use space $\tilde{\mathrm{O}}(n)$ for deciding Connectivity and Bipartiteness, where $n$ is the number of vertices in the input graph. They also gave positive results for the computation of cut-sparsifiers, spanners and minimum spanning trees, and they initiated the study of the Maximum Matching problem in the sliding window model (see below).

The smooth histogram technique has been successfully applied for designing sliding window algorithms for graph problems, and the state-of-the-art sliding window algorithms for Maximum Matching and Minimum Vertex Cover rely on the smooth histogram technique.

For Maximum Matching, a $2$-approximation with space $\tilde{\mathrm{O}}(n)$ can easily be achieved in the streaming model by running the Greedy matching algorithm, and the smooth histogram method immediately yields a $(4+\varepsilon)$-approximation sliding window algorithm when built on Greedy. Crouch et al. [7] observed that the resulting algorithm can be analyzed more precisely and showed that it actually yields a $(3+\varepsilon)$-approximation sliding window algorithm. Regarding the weighted version of the Maximum Matching problem, the smooth histogram technique immediately yields a $(4+\varepsilon)$-approximation using the $(2+\varepsilon)$-approximation streaming algorithm by [15], and, again, as proved by Biabani et al. [3], the analysis can be tailored to the Maximum Matching problem to establish an approximation factor of $3.5+\varepsilon$ without changing the algorithm. Alexandru et al. [1] then improved the approximation factor to $3+\varepsilon$ by running the smooth histogram algorithm with a slightly different objective function.

Regarding the Minimum Vertex Cover problem, a smooth histogram-based algorithm is known to yield an approximation factor of $(3+\varepsilon)$ [16], improving over previous work [13].

Outline

In Section 2, we give notation, provide some clarification on the sliding window model, and introduce hard communication problems that we rely on for proving our lower bound results. Then, in Section 3, we give our algorithm and lower bound for the case of unit-length intervals, and in Section 4, we give our algorithm and lower bound for arbitrary-length intervals. Finally, we conclude in Section 5 with open problems.

2 Preliminaries

For a set of intervals $\mathcal{I}$, we denote by $OPT(\mathcal{I})$ an independent subset of $\mathcal{I}$ of maximum size. We also apply $OPT(.)$ to substreams of intervals and to data structures that store intervals.

Sliding Window Algorithms

Throughout the document, we denote by $L$ the size of the sliding window, and we assume that $L$ is large enough, i.e., larger than a suitably large constant. For two streams of intervals $A,B$ we denote the stream that is obtained by concatenating $A$ and $B$ simply by $AB$, i.e., we omit a concatenation symbol. Furthermore, for simplicity, we assume that the space required to store an interval is $O(1)$. However, if instead $k$ bits are accounted for storing an interval then the space complexities of our algorithms need to be multiplied by $k$.

Communication Complexity

As it is standard in the data streaming literature, our space lower bounds are proved via reductions to problems in the one-way communication setting. In this setting, multiple parties $P_{1},P_{2},\dots,P_{k}$ each hold a portion of the input data and communicate in order to solve a problem. Communication is one-way, i.e., party $P_{1}$ sends a message to $P_{2}$, who in turn sends a message to $P_{3}$. This continues until party $P_{k}$ has received a message from party $P_{k-1}$ and then outputs the result of the computation. The parties can make use of public and private randomness and need to report a correct solution with probability $2/3$. We refer the reader to [14] for an introduction to communication complexity.

We will exploit the hardness of the two-party communication problem $\textsf{Index}_{n}$, where we denote the first party by Alice and the second party by Bob, and the $k$-party communication problem $\textsf{Chain}_{k}$, which was recently introduced by Cormode et al. [6].

$\textsf{Index}_{n}$: • Input: Alice holds a bit-string $X\in\{0,1\}^{n}$, and Bob holds an index $J\in[n]$. • Output: Bob outputs $X[J]$.

It is well-known that solving $\textsf{Index}_{n}$ requires Alice to send a message of size $\Omega(n)$.

Theorem 1 (e.g. [12]).

Every randomized constant-error one-way communication protocol for $\textsf{Index}_{n}$ requires a message of size $\Omega(n)$.

The problem $\textsf{Chain}_{k}(n)$ can be regarded as chaining together $k-1$ instances of $\textsf{Index}_{n}$, where the instances are correlated in that they are guaranteed to have the same output.

Chain${}_{k}(n)$: • Input: For $1\leq i\leq k-1$, player $P_{i}$ receives a bitvector $X_{i}\in\{0,1\}^{n}$. Additionally, for any $2\leq i\leq k$ player $P_{i}$ receives an index $J_{i-1}\in[n]$. The inputs are correlated such that $$X_{1}[J_{1}]=X_{2}[J_{2}]=\dots=X_{k-1}[J_{k-1}]=x\in\{0,1\}\ .$$ • Output: Player $P_{k}$ outputs $x$.

Sundaresan [17] recently settled the communication complexity of $\textsf{Chain}_{k}(n)$, improving over the previous lower bounds by Cormode et al. [6] and Feldman et al. [11]:

Theorem 2 ([17]).

Every constant-error one-way communication protocol that solves $\textsf{Chain}_{k}(n)$ requires at least one message of size $\Omega(n/k)$.

3 Unit-length Intervals

In this section, we give our sliding window algorithm (Subsection 3.1) and our lower bound (Subsection 3.2) for unit-length intervals.

3.1 Sliding Window Algorithm for Unit-length Intervals

We now describe our algorithm for unit-length intervals.

Algorithm 1 Sliding window algorithm for Interval Selection on unit-length intervals

Input: Stream $S$ of unit-length intervals, window length $L$   Initialization:

1:$\texttt{latest}\leftarrow\emptyset$ the indexed set of stored intervals

  Streaming:

1:while an interval $I=[r,r+1]$ is revealed, for some real number $r$ do

2:     $\texttt{latest}(\lfloor r\rfloor)\leftarrow I$

3:     if $\exists\ J^{\prime}=[r^{\prime},r^{\prime}+1]\in\texttt{latest}$ that has expired then

4:         $\texttt{latest}(\lfloor r^{\prime}\rfloor)\leftarrow\emptyset$      

  Post-processing:

1:Return $OPT(\texttt{latest})$

Our algorithm is simple: For each integer $r$, the algorithm maintains in $\texttt{latest}(r)$ the latest interval of the current sliding window with its left boundary in $[r,r+1)$. The key observation, which was also used in [2], is that the intervals $\{\texttt{latest}(r)\ :\ r\text{ even}\}$ and $\{\texttt{latest}(r)\ :\ r\text{ odd}\}$ form independent sets, and one of these sets constitutes a $2$-approximation.

Theorem 3.

Algorithm 1 is a deterministic $2$-approximation sliding window algorithm for Interval Selection on unit-length intervals that, at any moment, uses $\mathrm{O}(|OPT|)$ space, where $OPT$ is a maximum independent set of intervals in the current sliding window.

Proof.

We will first prove that Algorithm 1 indeed computes a $2$-approximation, and then argue that the algorithm satisfies the memory requirements.

We call a unit-length interval $I$ active if it is included in the current sliding window (one of the $L$ most recent intervals of the stream). Otherwise, we say that $I$ is expired.

Let $OPT$ be a maximum independent set in the current sliding window and let $ALG$ be the independent set reported by Algorithm 1. Define the indexed set latest as in the algorithm.

Approximation

We will show that

$$|OPT|\leq|\texttt{latest}|\leq 2\cdot|ALG|$$ (1)

holds, which then establishes the approximation factor of the sliding window algorithm.

First, we will prove $|OPT|\leq|\texttt{latest}|$ holds. To this end, we will show that the function $f:OPT\to\texttt{latest}$ defined as $f([x,x+1])=latest(\lfloor x\rfloor)$ is injective.

We will first argue that $f$ is well-defined in that $\texttt{latest}(\lfloor x\rfloor)$ exists, for every $[x,x+1]\in OPT$. Indeed, by inspecting the algorithm, when $I:=[x,x+1]\in OPT$ arrives in the stream, $\texttt{latest}(\lfloor x\rfloor)$ is set to $I$, and, in particular, while $I$ is active, $\texttt{latest}(\lfloor x\rfloor)$ is never set to $\emptyset$. It may, however, happen that it is replaced with an interval which appeared after $I$. In both cases, $f$ is well-defined.

To see that $f$ is injective, observe that for any two intervals in $OPT$, since these intervals are independent and of unit-length, the integer parts of their left endpoints are distinct. Hence, $f(I_{1})\neq f(I_{2})$, for any two distinct intervals $I_{1},I_{2}\in OPT$.

Since $f$ is well-defined and injective, we obtain that $|OPT|\leq|\texttt{latest}|$, which thus proves the first inequality of Inequality 1. It remains to prove the second, i.e., that $|\texttt{latest}|\leq 2\cdot|ALG|$ also holds.

To see this, observe that, for two integers $x\neq y$ of the same parity, $\texttt{latest}(x)$ and $\texttt{latest}(y)$ (if they exist) are independent. This is because $|y-x|\geq 2$ and the intervals have unit-length. By the pigeonhole principle, there are at least $\frac{|\texttt{latest}|}{2}$ intervals where their indices inside latest have the same parity, which implies that $|ALG|\geq\frac{|\texttt{latest}|}{2}$.

Space

The algorithm stores $|\texttt{latest}|$ intervals in the current sliding window. Then, as proved above, we have $|\texttt{latest}|\leq 2|ALG|\leq 2|OPT|$, which implies that the space used by the algorithm is $\mathrm{O}(|OPT|)$.

∎

3.2 Space Lower Bound

We now show that sliding window algorithms that use space $o(L)$ cannot compute a $(2-\varepsilon)$-approximation to Interval Selection on unit-length intervals, for any $\varepsilon>0$. Recall that, in the streaming model, a $\frac{3}{2}$-approximation can be computed with space $O(|OPT|)$.

Theorem 4.

Let $\varepsilon>0$ be any small constant. Then, any algorithm in the sliding window model that computes a $(2-\varepsilon)$-approximate solution to Interval Selection on unit-length intervals with probability at least $2/3$ requires a memory of size $\Omega(L)$.

Proof.

Let $\mathcal{A}$ be a sliding window algorithm for Interval Selection on unit-length intervals with approximation factor $2-\varepsilon$, for some $\varepsilon>0$.

We will show how $\mathcal{A}$ can be used in order to obtain a communication protocol for $\textsf{Index}_{L-2}$.

To this end, let $(X,J)\in\{0,1\}^{L-2}\times[L-2]$ be Alice and Bob’s input to $\textsf{Index}_{L-2}$. The two players proceed as follows:

• Alice: Alice feeds the intervals $I_{1},I_{2},\dots,I_{L-2}$ into $\mathcal{A}$ (in the given order), where

  $$I_{i}=\begin{cases}[\frac{i}{2L-1},1+\frac{i}{2L-1}],&\text{if }X[i]=1\ ,\\ [1-\frac{i}{L^{2}},2-\frac{i}{L^{2}}],&\text{if }X[i]=0\ .\end{cases}$$

  Alice then sends the memory state of $\mathcal{A}$ to Bob.

• Bob: Using Alice’s message, Bob continues the execution of $\mathcal{A}$ and feeds the interval

  $$I_{L-1}=\left[1+\frac{J}{2L-1}+\frac{1}{(2L-1)^{2}},2+\frac{J}{2L-1}+\frac{1}{(2L-1)^{2}}\right]$$

  into $\mathcal{A}$. Bob also adds the intervals $I_{i}=[\frac{i}{2L-1},1+\frac{i}{2L-1}]$ to $\mathcal{A}$, for $L\leq i\leq L+J-1$ in order to make the sliding window of the algorithm $\mathcal{A}$ advance. Bob computes $\mathcal{A}$’s output in the latest sliding window consisting of the intervals defined as $\mathcal{S}=\{I_{i}|J\leq i\leq L+J-1\}$.

This construction is illustrated in Figure 2.

Figure 2: This figure illustrates the instances created by Alice and Bob in the proof of Theorem 4 for an instance of $\textsf{Index}_{L-2}$ with $X[J]=1$. The dashed intervals on the upper part correspond to the zero elements of the bitvector $X$. The red intervals $I_{1}$, $I_{2}$ correspond to expired intervals. $I_{J}$ is the only non-expired interval disjoint with the special interval $I_{L-1}$. Since $X[J]=1$, the optimal solution is of size $2$. If $X[J]$ was equal to $0$ then the interval $I_{J}$ would not be disjoint with $I_{L-1}$, and, thus, an optimal solution would be of size $1$.

We observe that if $X[J]=1$ then $|OPT(\mathcal{S})|=|\{I_{J},I_{L-1}\}|=2$, while if $X[J]=0$ then $|OPT(\mathcal{S})|=1$. Since $\mathcal{A}$ has an approximation factor of $2-\varepsilon$, $\mathcal{A}$ needs to report the unique solution of size $2$ if $X[J]=1$, and a solution of size $1$ when $X[J]=0$. Bob can thus distinguish between the two cases and solve $\textsf{Index}_{L-2}$.

Since the protocol solves $\textsf{Index}_{L-2}$, by Theorem 1, the protocol must use a message of size $\Omega(L)$. The protocol’s message is $\mathcal{A}$’s memory state, and, hence, $\mathcal{A}$ must use space $\Omega(L)$.

∎

4 Arbitrary-length Intervals

In this section, we give our $(\frac{11}{3}+\varepsilon)$-approximation sliding window algorithm and our $(\frac{5}{2}-\varepsilon)$-approximation lower bound for Interval Selection on arbitrary-length intervals.

4.1 $(\frac{11}{3}+\varepsilon)$-approximation Sliding Window Algorithm

Our algorithm is obtained by running multiple instances of the Cabello and Pérez-Lantero streaming algorithm for Interval Selection on arbitrary-length intervals [5]. In the following, we abbreviate the algorithm by $\mathcal{CP}$. Since we employ various properties of the $\mathcal{CP}$ algorithm, we discuss the $\mathcal{CP}$ algorithm in Subsection 4.1.1. We use the $\mathcal{CP}$ algorithm in the context of the smooth histogram technique, which we discuss in Subsection 4.1.2. Finally, we give our sliding window algorithm and its analysis in Subsection 4.1.3.

4.1.1 Cabello and Pérez-Lantero Algorithm

For an interval $I=[a,b]$, we define $\text{left}(I)=a$ and $\text{right}(I)=b$.

The Cabello and Pérez-Lantero algorithm is depicted in Algorithm 2.

The listing of the algorithm uses the auxiliary functions $\text{left}(.)$ and $\text{right}(.)$, which return the left and right delimiters of an interval, respectively.

Algorithm 2 Cabello and Pérez-Lantero Algorithm ($\mathcal{CP}$)

Input: A stream $S$ of intervals   Initialization:

1:$\mathcal{R}\leftarrow\{\mathbb{R}\}$ a region partition

2:$\text{leftmost}(\mathbb{R})=\text{rightmost}(\mathbb{R})=\mathbb{R}$

  Streaming:

1:while an interval $I$ is revealed do

2:     if there exists $R=[a,b)\in\mathcal{R}$ such that $I\subseteq R$ then

3:         if $I\cap\text{leftmost}(R)\cap\text{rightmost}(R)\neq\emptyset$ then

4:              if $\text{right}(I)\leq\text{right}(\text{leftmost}(R))$ then leftmost$(R)\leftarrow I$

5:              if $\text{left}(I)\geq\text{left}(\text{rightmost}(R))$ then rightmost$(R)\leftarrow I$

6:         else

7:              if $\text{right}(I)\leq\text{left}(\text{rightmost}(R))$ then

8:                  Let $R_{1}\leftarrow(a,\text{right}(I)]$

9:                  Let $R_{2}\leftarrow(\text{right}(I)),b]$

10:                  leftmost$(R_{1})\leftarrow I$, rightmost$(R_{1})\leftarrow I$

11:                  leftmost$(R_{2})\leftarrow\text{rightmost}(R)$, rightmost$(R_{2})\leftarrow\text{rightmost}(R)$

12:              else

13:                  Let $R_{1}\leftarrow[a,\text{left}(I))$

14:                  Let $R_{2}\leftarrow[\text{left}(I)),b)$

15:                  leftmost$(R_{2})\leftarrow I$, rightmost$(R_{2})\leftarrow I$

16:                  leftmost$(R_{1})\leftarrow\text{leftmost}(R)$,rightmost$(R_{1})\leftarrow\text{leftmost}(R)$               

17:              Insert $R_{1},R_{2}$ into $\mathcal{R}$

18:              Remove $R$ from $\mathcal{R}$               

  Post-processing:

1:Return $\{\text{leftmost}(R)|R\in\mathcal{R}\}$

The key idea behind the algorithm is to maintain a partition $\mathcal{R}$ of the real line $\mathbb{R}$ that we refer to as a region partition. Initially, the algorithm starts with the single region $\mathcal{R}=\{\mathbb{R}\}$, and as the algorithm proceeds, the real line is partitioned into half-open intervals. This is achieved as follows. Arriving intervals that cross a region boundary are ignored. Consider thus an arriving interval $I$ that lies entirely within a region. In each region, the algorithm stores the left-most (the interval with the left-most right delimiter) and right-most (the interval with the right-most left delimiter) intervals within the region that it has observed thus far. If the interval $I$ together with either the left-most or the right-most interval of the region forms an independent set of size two then the region is split into two regions and the left-most and right-most intervals are updated accordingly. Otherwise, if $I$ intersects with both the left-most and right-most intervals of the region then $I$ is only used to potentially replace the left-most and/or right-most intervals of the region.

Some key properties of the algorithm that we will reuse in this work are summarized in Figure 3 (see [5] for proofs).

C1 For each reigon $R\in\mathcal{R}$, the $\mathcal{CP}$ algorithm stores at least one (and at most two) intervals and the input instance is such that there are no two disjoint intervals that lie within region $R$. C2 The $\mathcal{CP}$ algorithm outputs a solution of size $|\mathcal{R}|$, i.e., one interval per region. Furthermore, we have that $|\mathcal{R}|\geq\frac{|OPT|+1}{2}$, i.e., the algorithm has an approximation factor slightly better than $2$. C3 The algorithm uses space $O(|OPT|)$.

Figure 3: Key Properties of the $\mathcal{CP}$ Algorithm.

Besides these properties, we require another property that allows us to employ the algorithm in the context of the smooth histogram technique:

Lemma 1.

The $\mathcal{CP}$ algorithm is monotonic, i.e., for any two streams of intervals $A,B$ we have that

$$|\mathcal{CP}(A)|\leq|\mathcal{CP}(AB)|\ .$$

Proof.

The output produced by the $\mathcal{CP}$ algorithm consists of one interval per region. The lemma then follows since, by construction, the number of regions cannot decrease. ∎

4.1.2 The Smooth Histogram Technique

The $\mathcal{CP}$ algorithm can be employed in the context of the smooth histogram method to yield a $(4+\varepsilon)$-approximation sliding window algorithm for Interval Selection for arbitrary-length intervals that uses space $\tilde{\mathrm{O}}(|OPT|)$. This is achieved as follows (see Algorithm 3):

1:while an Interval $I$ is revealed do

2:     Create new instance of the $\mathcal{CP}$ algorithm

3:     Feed $I$ into all $\mathcal{CP}$ instances that are currently running

4:     Clean-up:

5:       Remove oldest run of $\mathcal{CP}$ if it has expired

6:       Denote by $\mathcal{CP}_{1},\mathcal{CP}_{2},\dots$ the runs sorted in increasing order with respect to their

7:          starting positions. Then, repeatedly remove a run $\mathcal{CP}_{i}$ if maintained solutions of

8:          the adjacent runs $\mathcal{CP}_{i-1}$ and $\mathcal{CP}_{i+1}$ are within a factor of $1+\varepsilon$ in size

9:     output solution of oldest run

Algorithm 3 Smooth Histogram Technique applied to the $\mathcal{CP}$ algorithm

Upon the arrival of a new interval, Algorithm 3 first creates a new run of the $\mathcal{CP}$ algorithm and feeds the new interval into all currently running copies of $\mathcal{CP}$. The method relies on a clever way of deleting unnecessary runs: A run is deleted if it is expired (i.e it contains an interval which appeared before the start of the current region) and if the closest run with earlier start time and the closest run with later start time are such that their solutions differ in size by less than a $1+\varepsilon$ factor. Consider the moment after a clean-up took place, and let us denote the stored runs by $\mathcal{CP}_{1},\dots,\mathcal{CP}_{\ell}$. The clean-up rule implies that the stored runs have the properties depicted in Figure 4.

S1 For every $i\leq\ell-2$: $|\mathcal{CP}_{i}|\geq(1+\varepsilon)|\mathcal{CP}_{i+2}|$, and S2 Either $|\mathcal{CP}_{i}|\leq(1+\varepsilon)|\mathcal{CP}_{i+1}|$ holds, or, if $|\mathcal{CP}_{i}|\geq(1+\varepsilon)|\mathcal{CP}_{i+1}|$ then the starting positions of run $i$ and $i+1$ differ by only a single interval.

Figure 4: Key Properties of the Smooth Histogram Technique.

Property S1 implies that there are at most $O(\log_{1+\varepsilon}(L))$ active runs of $\mathcal{CP}$ and thus the space of Algorithm 3 is at most a factor $O(\log_{1+\varepsilon}(L))$ larger than the space used by $\mathcal{CP}$.

Property S2 implies that either consecutive runs differ by at most a $1+\varepsilon$ factor in solution size or are such that their starting times differ by only a single interval.

We now provide a proof that allows us to see that Algorithm 3 is a $(4+2\cdot\varepsilon)$-approximation algorithm for Interval Selection for arbitrary-length intervals. This proof will establish insight into how the analysis of our more involved $(\frac{11}{3}+\varepsilon)$-approximation algorithm is conducted and thus serves as a warm-up.

Theorem 5.

Algorithm 3 is a $(4+2\cdot\varepsilon)$-approximation sliding window algorithm for Interval Selection on arbitrary-length intervals that uses space $\tilde{\mathrm{O}}(|OPT|)$, where $OPT$ denotes an optimal solution in the current sliding window.

Proof.

Recall that the output of Algorithm 3 is the output of the oldest run of an instance of $\mathcal{CP}$, and let us denote this run by $\mathcal{CP}_{1}$. First, if the start position of $\mathcal{CP}_{1}$ coincides with the oldest interval of the current sliding window then $\mathcal{CP}_{1}$ was run on the entire region and we immediately obtain an approximation factor of $2$ (Property C2 of the $\mathcal{CP}$ algorithm). Hence, suppose that this is not the case, and denote the run that has expired most recently by $\mathcal{CP}_{0}$. Observe that, prior to $\mathcal{CP}_{0}$ expiring, the runs $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ were adjacent. Furthermore, the two runs differ by more than one interval since otherwise the starting position of $\mathcal{CP}_{1}$ would coincide with the oldest interval of the current sliding window. We now consider the suffix $S$ of intervals in the stream starting at the start position of run $\mathcal{CP}_{0}$. This suffix $S$ is partitioned into three parts $S=ABC$, where $A$ are the intervals that arrived prior to the starting position of $\mathcal{CP}_{1}$, $C$ are the intervals that arrived from the moment onward when the runs $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ became adjacent (either after a clean-up or they may have been adjacent from the moment onward when $\mathcal{CP}_{1}$ was created), and $B$ are the intervals between $A$ and $C$ (if there are any).

We will prove that $|\mathcal{CP}_{1}|=|\mathcal{CP}(BC)|\geq|OPT(ABC)|/(4+2\cdot\varepsilon)$, which proves the result since the current sliding window is a suffix of $ABC$. Indeed, we have the following:

$$|OPT(ABC)| =|OPT(ABC)\cap A|$$

$$\quad+|OPT(ABC)\cap(B\cup C)|$$

$$\leq|OPT(A)|+|OPT(BC)|$$

$$\leq 2\cdot|\mathcal{CP}(A)|+2\cdot|\mathcal{CP}(BC)| \mathcal{CP}$$ Approx. factor of (Property  C2)

$$\leq 2\cdot|\mathcal{CP}(AB)|+2\cdot|\mathcal{CP}(BC)|$$ Monotonicity, Lemma 1

$$\leq 2\cdot(1+\varepsilon)\cdot|\mathcal{CP}(B)|+2\cdot|\mathcal{CP}(BC)|$$ Property S2

$$\leq 2\cdot(1+\varepsilon)\cdot|\mathcal{CP}(BC)|+2\cdot|\mathcal{CP}(BC)|$$ Monotonicity, Lemma 1

$$\leq(4+2\varepsilon)\cdot|\mathcal{CP}(BC)|=(4+2\varepsilon)\cdot|\mathcal{CP}_{1}|\ .$$

∎

4.1.3 Sliding Window Algorithm

We will expand upon the smooth histogram method as described in Algorithm 4. The key idea is to exploit the structure of the regions created by the runs of $\mathcal{CP}$ in the smooth histogram algorithm. Based on these regions, we instantiate additional runs that target areas in which we expect to find many optimal intervals.

Whenever two runs $\mathcal{CP}_{i}$ and $\mathcal{CP}_{i+1}$ in Algorithm 3 become adjacent (either because of the clean-up operation or because a new run was created), proceed as follows:

Denote by $R_{1},\dots,R_{\ell}$ the regions created by $\mathcal{CP}_{i}$ thus far.

1. For each region $R_{i}$, we initiate a new run of $\mathcal{CP}$, i.e., this run only considers subsequent arriving intervals that lie within $R_{i}$.

2. For each pair of consecutive regions $R_{i},R_{i+1}$, we initiate a new run of $\mathcal{CP}$ that considers all subsequent intervals that lie within the merged region $R_{i}R_{i+1}$ (the region consisting of the left boundary of $R_{i}$ and the right boundary of $R_{i+1}$).

3. Clean-up: The additional runs established in Steps 1 and 2 are associated with the run $\mathcal{CP}_{i+1}$, and whenever $\mathcal{CP}_{i+1}$ is deleted then all associated runs are also deleted.

4. Output: The output is generated from the oldest active run of $\mathcal{CP}$ together with its associated runs as in steps $1$ and $2$ (see the proofs of Lemmas 3 and 4).

Algorithm 4 $(\frac{11}{3}+\varepsilon)$-approximation Algorithm for Interval Selection on arbitrary-length intervals

We will now proceed and analyse Algorithm 4. To this end, we consider any fixed current sliding window.

First, similar to the analysis of Algorithm 3, we note that if the starting position of the oldest run of $\mathcal{CP}$, denoted $\mathcal{CP}_{1}$, coincides with the left delimiter of the sliding window then we immediately obtain a $2$-approximation (by Property C2). Suppose thus that this is not the case. Again, we consider the run $\mathcal{CP}_{0}$, which is the latest run that has expired and was previously adjacent to $\mathcal{CP}_{1}$. We also consider the suffix of intervals $S=ABC$, where $A$ are the intervals starting at the starting position of $\mathcal{CP}_{0}$ and ending before the starting position of $\mathcal{CP}_{1}$, $C$ are the intervals that occurred after $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ became adjacent, and $B$ are the remaining intervals. Let $OPT=OPT(ABC)$, let $OPT_{A}=OPT\cap A$, and define $OPT_{B}$ and $OPT_{C}$ similarly. Since the current sliding window is a subset of $ABC$, we have that an optimal solution in the current sliding window is of size at most $OPT$.

In Algorithm 4, we run the smooth histogram algorithm, Algorithm 3, with respect to a parameter $\beta>0$ (i.e., replace parameter $\varepsilon$ in the listing with $\beta$). Then, as proved in Theorem 5, we always have at least a $(4+2\beta)$-approximation at our disposal, i.e.,

$$|\mathcal{CP}_{1}|=|\mathcal{CP}(BC)|\leq\frac{|OPT|}{4+2\beta}\ .$$

We define $\varepsilon^{\prime}\geq 0$ such that

$$|\mathcal{CP}(BC)|=\frac{|OPT|}{4+2\beta-\varepsilon^{\prime}}\ .$$ (2)

In the following, we will argue that if $\varepsilon^{\prime}$ is close to $0$ then we can find a better solution using the runs associated with $\mathcal{CP}_{1}$.

Let $\mathcal{R}$ be the regions created by $\mathcal{CP}_{0}$ at the moment when $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ became adjacent, i.e., the regions created by the run $\mathcal{CP}(AB)$. By Property C2, we have $\ell:=|\mathcal{R}|=|\mathcal{CP}(AB)|$. For each region $R_{i}\in\mathcal{R}$, let $x_{i}=|OPT_{C}\cap R_{i}|$, i.e., the number of optimal intervals in $C$ that lie within the region $R_{i}$. Furthermore, we define $X:=\sum_{i=1}^{\ell}x_{i}$.

In the next lemma, we prove that, provided $\varepsilon^{\prime}$ is small, the quantity $X$ is necessarily large, i.e., there are many optimal intervals in $C$ that lie within the regions $R_{i}$. We will later argue that the associated runs with $\mathcal{CP}_{1}$ can then be used to find many of these.

Lemma 2.

$$X\geq\frac{2-\varepsilon^{\prime}}{1+\beta}\cdot\ell\ .$$

Proof.

Observe that $|OPT|\leq X+2\ell$, since at most $\ell$ intervals of $OPT$ can intersect the region boundaries $\mathcal{R}$, another $\ell$ intervals of $OPT_{A}\cup OPT_{B}$ can lie within the $\ell$ regions, and the remaining ones are the $X$ intervals of $OPT_{C}$.

Then, using Property S2, Lemma 1, and Inequality 2, we obtain:

$$\ell=|\mathcal{CP}(AB)|\leq(1+\beta)|\mathcal{CP}(B)|\leq(1+\beta)|\mathcal{CP}(BC)|=\frac{(1+\beta)|OPT|}{4+2\beta-\varepsilon^{\prime}}\leq\frac{(1+\beta)(X+2\ell)}{4+2\beta-\varepsilon^{\prime}}\ ,$$

which implies the result. ∎

Consider now the run $\mathcal{CP}(B)$, which coincides with the run $\mathcal{CP}_{1}$ until $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ became adjacent. Let $B_{1}$ be the intervals computed by this run that do not intersect the boundaries of $\mathcal{R}$ and let $B_{2}$ be the intervals computed by this run that intersect the boundaries of $\mathcal{R}$. Then, since $|B_{1}|+|B_{2}|=|\mathcal{CP}(B)|$, we have that either $|B_{1}|\geq\frac{1}{3}|\mathcal{CP}(B)|$ or $|B_{2}|\geq\frac{2}{3}|\mathcal{CP}(B)|$. We treat both cases separately in Lemmas 3 and 4:

Lemma 3.

Suppose that $|B_{1}|\geq\frac{1}{3}|\mathcal{CP}(B)|$. Then, using the associated runs of $\mathcal{CP}_{1}$, we can output a solution of size at least $\frac{7-3\varepsilon^{\prime}}{6(1+\beta)}\ell\ .$

Proof.

We call a region $R_{i}$ good if it contains an interval from $B_{1}$. We output the solution obtained from the runs of $\mathcal{CP}$ on $R_{i}$, for all $i$, and if such a run on a good region leads to no intervals (i.e. $x_{i}=0$), then we output the interval from $B_{1}$ instead. Recall that $\mathcal{CP}$ outputs a solution of size $\frac{x_{i}+1}{2}$ if $x_{i}\neq 0$ (Property C2), and we stress here that the additive $+1$ is key for our analysis. We thus obtain a solution of size at least:

$$S=\sum_{R_{i}\mbox{ good}}\max\left\{\frac{x_{i}+1}{2},1\right\}+\sum_{R_{i}\mbox{ bad},x_{i}\neq 0}\frac{x_{i}+1}{2}\ .$$

Recall that $\sum^{\ell}_{i=1}x_{i}=X\geq\frac{2-\varepsilon^{\prime}}{1+\beta}\cdot\ell$. Hence,

$$S \geq\sum_{R_{i}\mbox{ good}}\frac{x_{i}+1}{2}+\sum_{R_{i}\mbox{ bad},x_{i}\neq 0}\frac{x_{i}+1}{2}$$

$$\geq\frac{X+|B_{1}|}{2} |B_{1}|\text{ is the number of good regions}$$

$$\geq\frac{2-\varepsilon^{\prime}}{2(1+\beta)}\ell+\frac{1}{6}|\mathcal{CP}(B)|$$ By Lemma 2

$$\geq\frac{2-\varepsilon^{\prime}}{2(1+\beta)}\ell+\frac{\ell}{6(1+\beta)} |\mathcal{CP}(B)|\geq\frac{|\mathcal{CP}(AB)|}{1+\beta}=\frac{\ell}{1+\beta}\text{ by Prop. {S2}}$$

$$\geq\frac{7-3\varepsilon^{\prime}}{6(1+\beta)}\ell\ .$$

∎

Lemma 4.

Suppose that $|B_{2}|\geq\frac{2}{3}|\mathcal{CP}(B)|$. Then, using the associated runs of $\mathcal{CP}_{1}$, we can output a solution of size at least $\frac{7-3\varepsilon^{\prime}}{6(1+\beta)}\ell\ .$

Proof.

Let $B_{2}^{1}\subseteq$ be the intervals of $B_{2}$ that lie on the boundary of two regions $R_{i}R_{i+1}$ where $i$ is even, and let $B_{2}^{2}=B_{2}\setminus B_{2}^{1}$. Then, either $|B_{2}^{1}|\geq\frac{1}{2}|B_{2}|$ or $|B_{2}^{2}|\geq\frac{1}{2}|B_{2}|$.

Suppose that $|B_{2}^{1}|\geq\frac{1}{2}|B_{2}|$. We only analyse this case since the other case is similar.

We call an even index $i$ good if there is an interval in $B_{2}^{1}$ that lies on $R_{i}R_{i+1}$. We consider the runs of $\mathcal{A}$ on pairs of regions $R_{i}R_{i+1}$ where $i$ is even. Then, we find a solution of size:

$$S =\sum_{2k\mbox{ good}}\max\left\{\frac{x_{2k}+x_{2k+1}+1}{2},1\right\}+\sum_{\begin{subarray}{c}2k\mbox{ bad}\\ x_{2k}+x_{2k+1}\neq 0\end{subarray}}\frac{x_{2k}+x_{2k+1}+1}{2}$$

$$\geq\sum_{2k\mbox{ good}}\frac{x_{2k}+x_{2k+1}+1}{2}+\sum_{\begin{subarray}{c}2k\mbox{ bad}\\ x_{2k}+x_{2k+1}\neq 0\end{subarray}}\frac{x_{2k}+x_{2k+1}+1}{2}\ .$$

Using the identity $X=\sum_{i=1}^{\ell}x_{i}$ and that $|B^{1}_{2}|$ is the number of good regions and proceeding as in the proof of Lemma 3, we obtain:

$$S \geq\frac{X+|B^{1}_{2}|}{2}\geq\frac{2-\varepsilon^{\prime}}{2(1+\beta)}\ell+\frac{1}{6}|\mathcal{CP}(B)|\geq\dots\geq\frac{7-3\varepsilon^{\prime}}{6(1+\beta)}\ell\ .$$

∎

Theorem 6.

For any constant $\delta>0$, Algorithm 4 is a $(11/3+\delta)$-approximation sliding window algorithm for Interval Selection on arbitrary-length intervals that uses space $\tilde{\mathrm{O}}(|OPT|)$.

Proof.

The naive smooth histogram method gives us a solution of size

$$|\mathcal{CP}(BC)|\geq|\mathcal{CP}(B)|\geq\frac{|\mathcal{CP}(AB)|}{1+\beta}\geq\frac{\ell}{1+\beta}\ ,$$

where we used the monotonicity of $\mathcal{CP}$ (Lemma 1) and Property S2. Using the associated runs, by Lemmas 3 and 4, we get a solution of size at least

$$\frac{7-3\varepsilon^{\prime}}{6(1+\beta)}\ell\ .$$

Since we can output the larger of the two solutions, in the worst case both solutions have the same value, i.e., when:

$$\frac{\ell}{1+\beta}=\frac{7-3\varepsilon^{\prime}}{6(1+\beta)}\ell\ ,$$

which implies $\varepsilon^{\prime}=\frac{1}{3}$. The approximation factor thus is for any $\delta>0$:

$$4+2\cdot\beta-\varepsilon^{\prime}+\delta=11/3+2\cdot\beta+\delta\ .$$

Choosing $\beta=\frac{1}{2}\delta$, and rescaling $\delta$ to $\frac{1}{2}\delta$ gives the result.

As a consequence of Property S1, as previously established, the smooth histogram algorithm uses $\tilde{\mathrm{O}}(|OPT|)$ space. It remains to argue that the runs created in Steps 1 and 2 of Algorithm 4 only increase the space requirements by a constant times $|OPT|$.

Indeed, for a fixed instance $\mathcal{CP}_{i}$, all the runs created by Step 1 are pairwise disjoint (they do not store common intervals) so their cumulative space is $O(|OPT|)$ as we assumed the memory required to store an interval is $O(1)$. Similarly, for the runs created by Step 2, an interval appears in at most two such runs. So, the cumulative space is again $O(|OPT|)$. Therefore, the total number of intervals stored in the associated runs is at most $O(|OPT|)$, completing the proof. ∎

The proof of the approximation factor of the algorithm is shown to be tight in Appendix A, meaning that the algorithm does not beat the approximation factor of $\frac{11}{3}$.

4.2 Space Lower Bound

We now give our space lower bound for sliding window algorithms for Interval Selection on arbitrary-length intervals. Our result is established by a reduction to the three-party communication problem $\textsf{Chain}_{3}$.

Theorem 7.

Let $\varepsilon>0$ be any small constant. Then, any algorithm in the sliding window model that computes a $(2.5-\varepsilon)$-approximate solution to Interval Selection on arbitrary-length intervals requires a memory of size $\Omega(L)$.

Proof.

Let $\mathcal{A}$ be a sliding window algorithm with approximation factor $2.5-\varepsilon$, for some $\varepsilon>0$, as in the statement of the theorem, and let $n=\frac{L-2}{3}$, where $L$ is the window length. We will argue how $\textsf{Chain}_{3}(n)$ can be solved with the help of $\mathcal{A}$.

To this end, denote the three parties in the communication problem $\textsf{Chain}_{3}(n)$ by Alice, Bob, and Charlie. Let $X_{1}\in\{0,1\}^{n}$ be Alice’s input, let $X_{2}\in\{0,1\}^{n}$ and $J_{1}\in[n]$ be Bob’s input, and let $J_{2}\in[n]$ be Charlie’s input. The players proceed as follows:

• Alice: For every $i\in[n]$, Alice feeds the following intervals into $\mathcal{A}$:

  $$I_{1}(i)=\begin{cases}\left[\frac{i}{3n},1+\frac{i}{3n}\right],&\text{if }X_{1}[i]=1\ ,\\ [-10-i,10+i],&\text{if }X_{1}[i]=0\ .\end{cases}$$

  $$I_{2}(i)=\begin{cases}\left[2-\frac{i}{3n},3-\frac{i}{3n}\right],&\text{if }X_{2}[i]=1\ ,\\ [-11-i,11+i],&\text{if }X_{2}[i]=0\ .\end{cases}$$

  The order given is $I_{1}(1),I_{2}(1),I_{1}(2),I_{2}(2),\dots,I_{1}(n),I_{2}(n)$. We observe that, for every $i\in[n]$, when $X_{1}[i]=1$, the intervals $I_{1}(i)$ and $I_{2}(i)$ are disjoint. Alice sends the memory state of $\mathcal{A}$ to Bob.

• Bob: For every $i\in[n+2(J_{1}-1)]$, Bob feeds the following interval into $\mathcal{A}$:

  $$I_{3}(i)=\begin{cases}\left[1+\frac{J_{1}}{3n}+\frac{1}{6n}+\frac{i-1}{6n^{2}},2-\frac{J_{1}}{3n}-\frac{1}{6n}+\frac{i-1}{6n^{2}}\right],&\text{if }i\leq n\text{ and }X[i]=1\ ,\\ [-10-i,11+i],&\text{otherwise}\ .\end{cases}$$

  Let $k\in[n]$. Notice that, for every $j\in[n+2(J_{1}-1)]$, when $X_{1}[k]=X_{2}[j]=1$, we have that $I_{3}(j)$ is disjoint with both $I_{1}(k)$ and $I_{2}(k)$ if and only if $j\leq J_{1}$. Otherwise, $I_{3}(j)$ intersects with both $I_{1}(k)$ and $I_{2}(k)$.

  Bob sends the memory state of $\mathcal{A}$ and $J_{2}$ to Charlie.

• Charlie: We denote the interval boundaries of $I_{3}(i)$ by $a_{I_{3}(i)}$ and $b_{I_{3}(i)}$, i.e., $I_{3}(i)=[a_{I_{3}(i)},b_{I_{3}(i)}]$. Charlie feeds the following two intervals into $\mathcal{A}$:

  $$I_{J_{2}} =\left[\frac{2a_{I_{3}(J_{2}-1)}+a_{I_{3}(J_{2})}}{3},\frac{a_{I_{3}(J_{2}-1)}+2a_{I_{3}(J_{2})}}{3}\right]\ ,\mbox{ and}$$

  $$I^{\prime}_{J_{2}} =\left[\frac{2b_{I_{3}(J_{2}-1)}+b_{I_{3}(J_{2})}}{3},\frac{b_{I_{3}(J_{2}-1)}+2b_{I_{3}(J_{2})}}{3}\right]\ .$$

  Notice that $I_{J_{2}}$ intersects all intervals of $I_{3}(i)$, for all $i<J_{2}$, while $I^{\prime}_{J_{2}}$ intersects all intervals of $I_{3}(i)$, for all $i>J_{2}$.

  Using $\mathcal{A}$, Charlie computes the largest independent set $OPT$ of

  $$\mathcal{I}=\{I_{1}(k)|J_{1}\leq k\leq n\}\cup\{I_{2}(k)|J_{1}\leq k\leq n\}\cup\{I_{3}(k)|1\leq k\leq n+2(J_{1}-1)\}\cup\{I_{J_{2}},I^{\prime}_{J_{2}}\}\ ,$$

  which is possible since $\mathcal{A}$ is a sliding window algorithm and thus able to solve the situation when the intervals $\cup_{1\leq k<J_{1}}\left(I_{1}(k)\cup I_{2}(k)\right)$ have expired.

Figure 5 provides an illustration of the proof of Theorem 7.

Figure 5: This figure illustrates the intervals created by Alice, Bob and Charlie in the proof of Theorem 7 for an instance of $\textsf{Chain}_{3}(n)$ where $n=\frac{L-2}{3}$ with $X_{1}[J_{1}]=X_{2}[J_{2}]=1$. The red intervals in the figure ($I_{1}(1),I_{1}(J_{1}-1)$,$I_{2}(1)$,$I_{2}(J_{1}-1)$) correspond to expired intervals. The optimal solution is $\{I_{1}(J_{1}),I_{2}(J_{1}),I_{J_{2}},I^{\prime}_{J_{2}},I_{3}(J_{2})\}$ of size 5 . Otherwise, if $X_{1}[J_{1}]=X_{2}[J_{2}]=0$, then the optimal solution would have been of size 2. All intervals $I_{3}(i)$ are disjoint from $I_{1}(J_{1})$ and $I_{2}(J_{2})$. However, they intersect with $I_{1}(J_{1}+1)$ and $I_{2}(J_{2}+1)$ as emphasized by the vertical dashed lines. Intervals $I_{3}(i)$ for $n+2(J_{1}-1)\geq i>n$ have been omitted as they do not impact the optimal solution and their only role is to advance the sliding window.

.

The total number of intervals added by the three players is $3n+2+2(J_{1}-1)=L+2(J_{1}-1)$. So, after Charlie’s execution $\mathcal{A}$, the incumbent region indeed consists of $\mathcal{I}$.

We will argue now that if $X_{1}[J_{1}]=X_{2}[J_{2}]=1$ then the optimal solution size is $5$, while if $X_{1}[J_{1}]=X_{2}[J_{2}]=0$ then the optimal solution size is $2$.

Suppose thus that $X_{1}[J_{1}]=X_{2}[J_{2}]=1$. Then it is not hard to see that the unique optimal solution is $\{I_{1}(J_{1}),I_{2}(J_{1}),I_{3}(J_{2}),I_{J_{2}},I^{\prime}_{J_{2}}\}$ of size $5$.

Next, suppose that $X_{1}[J_{1}]=X_{2}[J_{2}]=0$. Notice first that, in this case, $I_{1}(J_{1}),I_{2}(J_{1}),I_{3}(J_{2})$ intersect with every other interval in the input, so they can only belong to independent sets of size at most $1$.

Also, we have that any interval $I_{1}(i)$ with $i>J_{1}$ would block all the intervals $I_{3}(j)$ for $1\leq j\leq n+2(J_{1}-1)$ and $I_{J_{2}}$. So, an interval from $I_{1}(i)$ with $i>J_{1}$ can be included in an optimal set of size at most $2$ (either $\{I_{1}(i),I^{\prime}_{J_{2}}\}$ or $\{I_{1}(i),I_{2}(j)\}$ for some $j>J_{1}$). Similarly, $I_{2}(i)$ with $i>J_{2}$ can be included in an optimal set of size at most $2$. Furthermore, we can construct from Bob and Charlie’s input a solution of size at most $2$ (similar to the $\frac{3}{2}-\varepsilon$ lower bound construction of [10]). The size of an optimal solution is thus in this case $2$.

Recall that $\mathcal{A}$ has an approximation factor of $2.5-\varepsilon$. Hence, if $X_{1}[J_{1}]=X_{2}[J_{2}]=1$ then $\mathcal{A}$ reports a solution of size at least $3$, thereby distinguishing it from the case when $X_{1}[J_{1}]=X_{2}[J_{2}]=0$, which yields an optimal size of $2$.

Since, by Theorem 2, $\textsf{Chain}_{3}(n)$ requires a message of size $\Omega(n)$, and since the protocol solely consists of forwarding the memory state of $\mathcal{A}$, we conclude that $\mathcal{A}$ requires a memory of size $\Omega(n)=\Omega(L)$, which completes the proof. ∎

5 Conclusion

In this paper, we initiated the study of the Interval Selection problem in the sliding window model of computation. We gave algorithms and lower bounds for both unit-length and arbitrary-length intervals. In the unit-length case, we gave a $2$-approximation algorithm that uses space $O(|OPT|)$, and we showed that this is best possible in that any $(2-\varepsilon)$-approximation algorithm requires space $\Omega(L)$. In the arbitrary-length case, we gave a $(\frac{11}{3}+\varepsilon)$-approximation algorithm that uses space $\tilde{\mathrm{O}}(|OPT|)$, and we showed that any $(\frac{5}{2}-\varepsilon)$-approximation algorithm requires space $\Omega(L)$. Contrasted with results known from the one-pass streaming setting, our result implies that Interval Selection in both the unit-length and the arbitrary-length cases is harder to solve in the sliding window setting than in the one-pass streaming setting.

We conclude with two open questions.

First, the approximation guarantees of our algorithm for arbitrary-length intervals and our respective lower bound do not match. Can we close this gap?

Second, the sliding window model has received significantly less attention for the study of graph problems than the traditional one-pass streaming setting. While from a theoretical perspective, the sliding window model is less clean than the one-pass streaming model, as discussed in the introduction, it is, however, the more suitable model for many applications. We are particularly interested in understanding the differences between the two models. For example, which graph problems can be solved equally well in the sliding window model as in the one-pass streaming setting, and which problems are significantly harder to solve?

Appendix A Hard Instance for the Analysis of Algorithm 4

A.1 Description of the Instance

We will present a hard instance demonstrating that the analysis of Algorithm 4 is tight. We assume that the smooth histogram parameter $\beta$ is set to $\beta=0$. This is a reasonable assumption since the approximation factor of the algorithm approaches the optimal value of $\frac{11}{3}$ when $\beta\rightarrow 0$.

As before, let $\mathcal{CP}_{1}$ be the oldest still active instance created by the smooth histogram algorithm, and let $\mathcal{CP}_{0}$ be the expired instance which came before $\mathcal{CP}_{1}$. Given $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$, we can divide the active stream into successive parts $A,B,C$. $A$ represents the intervals that arrived before the starting position of $\mathcal{CP}_{1}$. $C$ represents the intervals that arrived right after the runs $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ became adjacent (i.e after all the instances between $\mathcal{CP}_{0}$ and $\mathcal{CP}_{1}$ are deleted). The intervals arriving after $A$ but before $C$ are denoted as $B$.

The smooth histogram condition then translates to $\mathcal{CP}(AB)=\mathcal{CP}(A)$.

Let $\ell$ be a positive integer divisible by 3. We will first give the full stream in Algorithm 5 and then explain the purpose of each portion of the stream.

Algorithm 5 Hard instance stream $S=ABC$ for Algorithm 4

Stream A

Stream $A_{1}$

1:for $x$ from $1$ to $\ell$ do

2:     Insert $[x+0.1,x+1]$

Stream $A_{2}$

1:for $x$ from $1$ to $\ell$ do

2:     Insert $[x+0.5,x+0.54]$

Stream $A_{3}$

1:for $x$ from $1$ to $\ell$ do

2:     Insert $[x+0.95,x+1.05]$

 

Stream B

1:for $x$ from $1$ to $\ell$ do

2:     if $x=3k+2$ for integer $k$ then

3:         Insert $[x-0.1,x+0.26]$

4:         Insert $[x+0.53,x+0.71]$

5:         Insert $[x+0.9,x+1.1]$      

  Stream C

Stream $C_{1}$:

1:for $x$ from $1$ to $\ell$ do

2:     if $x=3k+2$ for integer $k$ then

3:         Insert $[x+0.06,x+0.3]$

4:         Insert $[x+0.35,x+0.75]$      

Stream $C_{2}$:

1:for $x$ from $1$ to $\ell$ do

2:     if $x=3k+2$ for integer $k$ then

3:         Insert $[x+0.06,x+0.15]$

4:         Insert $[x+0.25,x+0.35]$

5:         Insert $[x+0.55,x+0.6]$

6:         Insert $[x+0.7,x+0.8]$

7:         Insert $[x+0.9,x+0.94]$      

We call the created regions $[x,x+1)$ with $x=3k+2$, for some integer $k$, good. Notice that the number of regions created by $\mathcal{CP}(A)$ is $\ell$ while the number of good regions is exactly $\ell/3$ because $\ell$ is divisible by 3.

We will now discuss the instance created in Algorithm 5, which is also sketched in Figure 6.

Figure 6: Illustration of a good region, where the vertical black lines depict its boundaries. Black intervals represent streams $A_{2},A_{3}$. Blue intervals represent the stream $B$. The upper green intervals belong to $C_{1}$. The bottom green intervals belong to $C_{2}$. Stream $A_{1}$ is omitted to keep the illustration simple – these intervals are responsible for creating the regions of $\mathcal{CP}(A)$).

• Stream $A$

  Stream $A$ has three parts in this order: $A_{1},A_{2},A_{3}$.

  • Stream $A_{1}$

    This stream is responsible for creating the regions $[x,x+1)$ for any integer $x\in[\ell]\setminus\{1,\ell\}$ and regions $(-\infty,2),[\ell,\infty)$.

  • Stream $A_{2}$

    This stream inserts intervals inside the regions $[x,x+1)$. Notice that the interval $[x+0.5,x+0.54]\in A_{2}$ is completely inside the region $[x,x+1)$ and replaces the interval $[x+0.1,x+1]\in A_{1}$ as both the leftmost and the rightmost intervals of the region.

  • Stream $A_{3}$

    This stream inserts intervals that intersect the boundaries of regions created by $A_{1}$. The stream contributes to the size of the optimal solution of the overall stream $ABC$.

• Stream $B$

  If we execute stream $B$ immediately after stream $A$, the regions created in $A$ will remain unchanged. In $B$, we only add items inside or intersecting the good regions. Consider therefore a good region $R=[x,x+1)$.

  The intervals $[x-0.1,x+0.26],[x+0.9,x+1.1]$ are intervals crossing the boundary of $R$. They completely include the boundary intervals of $A_{3}$ (i.e $[x-0.05,x+0.05]$ from the previous region and $[x+0.95,x+1.05]$). The interval $[x+0.53,x+0.71]\in B$ is an interval inside $R$ that intersects the interval $[x+0.5,x+0.54]\in A_{2}$.

• Stream $C$

  The stream $C$ is divided into $C_{1},C_{2}$ and only adds intervals completely included within good regions. Consider therefore a good region $R=[x,x+1)$.

  • Stream $C_{1}$

    The purpose of the stream $C_{1}$ is to create new regions from the regions of the run $\mathcal{CP}(AB)$. The new regions created inside $R$ are $[x,x+0.3),[x+0.3,x+0.75)$ and $[x+0.75,x+1)$.

  • Stream $C_{2}$

    The stream $C_{2}$ contributes to $|OPT\cap C|$ of our instance, where $OPT$ is an independent set of optimal size inside the stream $ABC$. The interval $[x+0.06,x+0.15]\in C_{2}$ intersects the interval $[x-0.1,x+0.26]\in B$, but it does not intersect the interval $[x-0.05,x+0.05]\in A_{3}$. The interval $[x+0.9,x+0.94]\in C_{2}$ has similar properties. The intervals $[x+0.25,x+0.35]\in C_{2}$ and $[x+0.7,x+0.8]\in C_{2}$ intersect with the boundaries of the regions of $\mathcal{CP}(C_{1})$, so they will not be saved by the algorithm. Lastly, the interval $[x+0.55,x+0.6]\in C_{2}$ does not intersect with $[x+0.5,x+0.54]\in A_{2}$, but it intersects with $[x+0.53,x+0.71]\in B$.

A.2 Analysis of the Instance

Here we will prove that the output is indeed a $\frac{11}{3}$ approximation of the optimal solution, therefore proving that our analysis of Algorithm 4 is best possible.

Lemma 5.

The streams $A,B$ yield $\mathcal{CP}(AB)=\mathcal{CP}(B)=\ell$, hence the smooth histogram condition is obeyed.

Proof.

Notice that after the run of stream $A$, we have created the regions $[x,x+1)$ for $x\in[\ell]$ and regions $(-\infty,2),[\ell,\infty)$.

Now, we consider a good region $R=[x,x+1)$. The saved interval of $A$ inside $R$ is $[x+0.5,x+0.54]$.

When the stream $B$ arrives, the intervals $[x-0.1,x+0.26]$ and $[x+0.9,x+1.1]$ cross the boundaries of $R$. The interval $[x+0.53,x+0.71]\in B$ intersects with the interval $[x+0.5,x+0.54]\in A$, so only the rightmost of the region is changed after the stream $B$ is processed.

Since no new regions are created by $B$, we can argue that $\mathcal{CP}(AB)=\ell$ (the number of regions created by $\mathcal{CP}(A)$). Furthermore, all the intervals of $B$ are pairwise independent so that $\mathcal{CP}(B)=|B|=\ell$, hence proving the required lemma.

∎

Lemma 6.

Let $OPT$ be an optimal independent set of stream $ABC$. Then, $|OPT|\geq\frac{11\ell}{3}$.

Proof.

Inspecting the intervals given by the streams $A_{2},A_{3},C_{2}$, we see that they form an independent set. We have

• $|A_{2}|=\ell$,

• $|A_{3}|=\ell$, and

• $|C_{2}|=5\cdot\frac{\ell}{3}$.

Hence, we obtain that $|A_{2}\cup A_{3}\cup C_{2}|=\frac{11\ell}{3}$, which implies $|OPT|\geq|A_{2}\cup A_{3}\cup C_{2}|=\frac{11\ell}{3}$ as required. ∎

Lemma 7.

The naive smooth histogram approach outputs a solution of size $\mathcal{CP}(BC)=\ell$.

Proof.

Recall that all intervals in $B$ and $C$ are inserted only into good regions or at the boundary of good regions. Let $[x,x+1)$ be a good region (i.e $x=3k+2$ for integer $k$). We will show that $|\mathcal{CP}(BC)\cap[x-1,x+2]|=3$ (the good region and its neighbouring regions).

After processing the $B$ stream, we have region boundaries at $x+0.26$, $x+0.71$ and $x+1.1$. Observe that all of the intervals of $C_{1}$ cross the region boundaries at $x+0.26$, and $x+0.71$, so they do not get saved by the run of $\mathcal{CP}$. Furthermore, we have that the interval $[x+0.25,x+0.35]\in C_{2}$ crosses the region boundary at $x+0.26$ while the interval $[x+0.7,x+0.8]\in C_{2}$ crosses the boundary at $x+0.71$, so these intervals also do not get saved.

When processing $C$, however, the intervals $[x+0.06,x+0.15],[x+0.55,x+0.6],[x+0.9,x+0.94]\in C_{2}$ get inserted into the solution. Additionally, they do not change the structure of the regions created by the run $\mathcal{CP}(B)$ (i.e they only modify the leftmost or the rightmost interval of each region created by $B$).

So, $|\mathcal{CP}(BC)\cap[x-1,x+2]|=3$. Because there are $\ell/3$ good regions and the intervals $[x-1,x+2]$ where $x=3k+2$ do not pairwise intersect, we have $|\mathcal{CP}(BC)|=\ell$ as required.

∎

Lemma 8.

Steps $1$ and $2$ of Algorithm 4 output a solution of size $\ell$.

Proof.

First, observe that steps 1 and 2 of Algorithm 4 are run on substream $C$. Furthermore, since only good regions contain intervals in substream $C$, it suffices to explore how steps 1 and 2 act on good regions.

In each good region, the stream $C_{1}$ is responsible for creating the regions of the runs of Algorithm 4. Observe that the intervals $[x+0.25,x+0.35]\in C_{2}$ and $[x+0.7,x+0.8]\in C_{2}$ cross the boundaries of these regions and are thus not stored by the algorithm. In each good region, only the intervals $[x+0.06,x+0.15],[x+0.55,x+0.6],[x+0.9,x+0.94]$ of $C_{2}$ get memorized. Therefore, we obtain a solution of size $3$ for each good region. Overall, the obtained solution by the runs of steps 1 and 2 of Algorithm 4 is of size $3\cdot\frac{\ell}{3}=\ell$.

∎

Using the last two lemmas, we obtain the following conclusion:

Theorem 8.

Let $S$ be the size of the solution output by Algorithm 4 on the described input. Then,$\frac{OPT(ABC)}{S}\geq\frac{11}{3}$.

Proof.

By the previous two lemmas, both $\mathcal{CP}(BC)$ and steps 1 and 2 of Algorithm 4 output a solution of size $\ell$. Notice that the set of saved intervals of steps 1 and 2 of Algorithm 4 is a subset of the saved intervals of $\mathcal{CP}(BC)$, therefore we cannot improve the overall solution by combining both solutions. So, $S=\ell$.

By Lemma 6, $OPT(ABC)\geq\frac{11\ell}{3}$. So, we get the required conclusion. ∎