RS: definition diverges. need some discussion.

main.tex

@@ -52,17 +52,31 @@ Let $C$ and $P$ be two given set of points such that $k=|C|$ and $n=|P|$. Define
 \begin{problem}[$d$-dimensional rectangle stabbing \cite{gaur_constant_2002}]
 Given a set $R$ of $n$ axis-parallel rectangles and a set $L$ of axis-parallel real lines, find the minimum subset of $L$ such that every rectangle is stabbed by at least one line in the subset.
 \end{problem}
-This problem is NP-hard even for the 2D case. There is a LP rounding method which gives a $d$-approximation. Let $K_i$ be the subset of $d$th-axis parallel lines in $L$. For a rectangle $r$, denote by $K_i[r]$ the set of lines in $K_i$ that stab $r$. Consider the following LP.
+This problem is NP-hard even for the 2D case. There is a LP rounding method which gives a $d$-approximation. Let $K_i$ be the subset of $d$th-axis parallel lines in $L$. For a rectangle $r\in R$, denote by $K_i^r$ the set of lines in $K_i$ that stab $r$. Consider the following LP.
 
 \begin{equation*}
 \begin{aligned}
-\min& &  \sum_{i\in [d]} \sum_{\ell \in K_i} x_\ell&  &  &   \\
-s.t.& &  \sum_{i\in [d]} \sum_{\ell \in K_i[r]} x_\ell&\geq 1 &    &\forall r\in R\\
+\min& &  \sum_{\ell\in L} x_\ell&  &  &   \\
+s.t.& &  \sum_{i\in [d]} \sum_{\ell \in K_i^r} x_\ell&\geq 1 &    &\forall r\in R\\
     &   &   x_\ell&\geq 0    &  &\forall \ell\in L
 \end{aligned}
 \end{equation*}
 
-Let $\set{x^*_\ell: \ell\in L}$ be the optimal solution to the above LP. For each $r$, there must be some $i\in [d]$ such that $\sum_{\ell \in K_i[r]}x^*_\ell \geq 1/d$.
+Let $\set{x^*_\ell: \ell\in L}$ be the optimal solution to the above LP.
+For each $r$, there must be some $i\in [d]$ such that $\sum_{\ell \in K_i^r}x^*_\ell \geq 1/d$. Denote such a set for rectangle $r$ by $K_*^r$.
+Suppose that we find a subset $L^{int}\subset L$ and define a integral solution $\set{y_\ell=1}_{\ell\in L^{int}}\cup \set{y_\ell=0}_{\ell\notin L^{int}}$ such that $\sum_{\ell\in K_*^r}\geq 1$ for each rectangle $r$. In other words, we restrict the solution to be a subset of lines that stabs every rectangle $r$ with lines in $K_*^r$.
+
+One nice property of this restriction is that now the problem becomes independent for each dimension. We assign to each rectangle $r$ a dimension $i$ such that  $\sum_{\ell \in K_i^r}x^*_\ell \geq 1/d$. Let $R_i\subset R$ be the set of rectangles assigned dimension $i$. We want to solve the following IP for dimension $i\in[d]$.
+
+\begin{equation*}
+\begin{aligned}
+\min& &  \sum_{\ell\in K_i} x_\ell&  &  &   \\
+s.t.& &  \sum_{\ell \in K_i^r} x_\ell&\geq 1 &    &\forall r\in R_i\\
+    &   &   x_\ell&\in \set{0,1}    &  &\forall \ell\in K_i
+\end{aligned}
+\end{equation*}
+
+Another nice property is that the constraint matrix is TUM and therefore the its LP relaxation is integral. wait... the definition for d-dimensional rectangle stabbing is different. they do not use lines, they use hyperplanes... I cannot show that the constraint matrix is TUM under my settings.
 
 \bibliographystyle{alpha}
 \bibliography{ref}