<p>I don't know about whether this specific problem has been studied before but I can point you to a general class of problems that include it and that have been studied: This looks like an <a href="http://en.wikipedia.org/wiki/LP-type_problem" rel="nofollow">LP-type problem</a> (or perhaps even a low-dimensional linear program although I am not quite seeing how to coordinatize it so that works). If so it can be solved by a linear-time combinatorial algorithm.</p>

<p>To set this up as an LP-type problem, we need an objective function mapping sets of line segments to some totally ordered set of solution values. The obvious objective function to use here is the numerical value $l$ that you're trying to optimize (the length of the longest split segment), but I think that's not quite good enough. Instead you should use a lexicographic combination of $l$ with the coordinate vector of a line achieving value $l$. With this lexicographic combination, the problem automatically satisfies the monotonicity and locality properties of LP-type problems: adding another segment to an instance only makes its solution worse, and if a given line is the solution to two sets $A\subset B$ of segments, and adding a new segment $x$ to $A$ doesn't change the solution (because the line cuts $x$ in pieces shorter than $l$) then adding $x$ to $B$ also doesn't change the solution (because the same line cuts $x$ in the same way).</p>

<p>So the main remaining question is whether this problem has bounded dimension, where the dimension of an LP-type problem is defined as the largest size of a minimal instance with a given solution value. So, in any problem of this type, is there a subset of a constant number of the line segments that has the same solution as the whole problem? I think the answer must be yes, because the optimal line must cross some three segments at points that are at distance $l$ from the ends of their segments (else it could be moved continuously to a better solution) and those three segments should determine the solution value. </p>

CC BY-SA 3.0
2013-02-01T20:07:24.557Z
This is very helpful to me since I didn't know about LP-type problems before. Thank you very much.
101011
CC BY-SA 3.0
2013-02-01T07:08:52.580Z
2013-02-01T07:08:52.580Z
David Eppstein
<p>Given is a finite set $S$ of line segments in the plane.<br>
I am interested in finding a line $l$ which splits some segments in $S$ into two, thus yielding a new set of line segments $S'$. 
 <br>Here splitting means that if $l$ intersects a line segment $xy$ in a point $z$ then $xy$ gets replaced by two new line segments $xz$ and $zy$.</p>

<p><br>The goal is to chose $l$ such that it minimizes the length of the longest line segment in $S'$.</p>

<p>I would be interested to know if this problem has been studied before. 
What confuses me is that the problem does seem to be continuous and not discrete.</p>

CC BY-SA 3.0
2013-02-01T08:02:58.477Z
Suppose you knew the optimal length $\ell$. Then on any line of length $L \ge 2\ell$, there's an interval (centered at the midpoint) that the optimal line must pass through. Now you have the problem of determining whether a single line can simultaneously pass through a collection of line segments, which can be solved using the dual space (is there a point in the intersection of a collection of double wedges).
Suresh Venkat
<reference-request><cg.comp-geom><optimization>
Splitting line segments with a line
101011
# Splitting line segments with a line

(Asked by: username_0 on 2013-02-01)

Given is a finite set $S$ of line segments in the plane.  
I am interested in finding a line $l$ which splits some segments in $S$ into two, thus yielding a new set of line segments $S'$.
  
Here splitting means that if $l$ intersects a line segment $xy$ in a point $z$ then $xy$ gets replaced by two new line segments $xz$ and $zy$.

The goal is to chose $l$ such that it minimizes the length of the longest line segment in $S'$.

I would be interested to know if this problem has been studied before.
What confuses me is that the problem does seem to be continuous and not discrete.

**Tags:** reference-request, cg.comp-geom, optimization
> **Comments:**
> **username_1**: Suppose you knew the optimal length $\ell$. Then on any line of length $L \ge 2\ell$, there's an interval (centered at the midpoint) that the optimal line must pass through. Now you have the problem of determining whether a single line can simultaneously pass through a collection of line segments, which can be solved using the dual space (is there a point in the intersection of a collection of double wedges).  

---

## 1 answers

### Answer by username_2 on 2013-02-01. Score: 4 | Accepted answer

I don't know about whether this specific problem has been studied before but I can point you to a general class of problems that include it and that have been studied: This looks like an [LP-type problem](http://en.wikipedia.org/wiki/LP-type_problem) (or perhaps even a low-dimensional linear program although I am not quite seeing how to coordinatize it so that works). If so it can be solved by a linear-time combinatorial algorithm.

To set this up as an LP-type problem, we need an objective function mapping sets of line segments to some totally ordered set of solution values. The obvious objective function to use here is the numerical value $l$ that you're trying to optimize (the length of the longest split segment), but I think that's not quite good enough. Instead you should use a lexicographic combination of $l$ with the coordinate vector of a line achieving value $l$. With this lexicographic combination, the problem automatically satisfies the monotonicity and locality properties of LP-type problems: adding another segment to an instance only makes its solution worse, and if a given line is the solution to two sets $A\subset B$ of segments, and adding a new segment $x$ to $A$ doesn't change the solution (because the line cuts $x$ in pieces shorter than $l$) then adding $x$ to $B$ also doesn't change the solution (because the same line cuts $x$ in the same way).

So the main remaining question is whether this problem has bounded dimension, where the dimension of an LP-type problem is defined as the largest size of a minimal instance with a given solution value. So, in any problem of this type, is there a subset of a constant number of the line segments that has the same solution as the whole problem? I think the answer must be yes, because the optimal line must cross some three segments at points that are at distance $l$ from the ends of their segments (else it could be moved continuously to a better solution) and those three segments should determine the solution value.

> **Comments:**
> **username_0**: This is very helpful to me since I didn't know about LP-type problems before. Thank you very much.  

---

