formulate edge length problem as convex optimization problem

2010-10-20T00:01:38Z

I want to us convex optimization to describe a problem in computational geometry.

Let $E = (E_1, E_2,\ldots , E_m) $ be a sequence of line segments in the plane, where $E_1$ and $E_m$ may be points and the rest are non-degenerate segments. A critical path on $E$ is a selection of points $(p_1,p_2,\cdots ,p_m)$ with $p_i\in E_i$ with edges $e_i=(p_i,p_{i+1})$ such that (1) all $e_i$ has the same length $l$ and (2) no other selection of points results in a path with edges that are not longer than $l$ and some that are shorter.

Find the critical path using convex optimization (if it exists). Can you use the convex optimization problem to show that the solution is unique (in certain cases)? Can you find exact locations for the points $p_i$ in polynomial time?

I have the impression that this is an elementary convex optimization problem, where points are restricted to segments, edge lengths must be minimized, and then check that the lengths are all the same (for existence).

I have a formulation of the above as what appears to be a second-order cone problem (as far as I understand).

The segment $E_i$ can be described as $E_i = {(x,a_ix+b_i): x_{l,i} \le x \le x_{r,i}}$ and the length of the edge $e_i$ is the distance between points $p_i$ and $p_{i+1}$. Here $p_i = (x_i, a_ix_i+b_i)$ for some choice of $x_i$ such that $x_{l,i} \le x_i \le x_{r,i}$, so $|e_i|_2^2 = (x_i-x_{i+1})^2 + (a_ix_i+b_i - a_{i+1}x_{i+1}-b_{i+1})^2 $

We can use the following second-order cone problem (or is that what it is?) to minimize the maximum length edge among all paths with points on the sequence $E$,

$\min z$

such that

$|e_i|_2 \le z, 1\le i \le m-1$

$x_{l,i} \le x \le x_{r,k}, 1 \le i \le m $

If there is a critical path on $E$, this problem has a unique solution. Otherwise it does not have a unique solution. But how do we prove this?

What we would like is a problem which has a provably unique solution if and only if there is a critical path and a method of finding the exact solution.

Please understand that this problem was misinterpreted in the comments below, that it is a research problem, and any useful answers posted here will be properly cited.

Answer by Christophe Weibel for formulate edge length problem as convex optimization problem

2010-10-20T23:58:27Z

Hi, I'm a coauthor of the paper. This problem is just a bit out of our usual research topic. This indeed does not seem too hard, but we do not quite have the confidence to state outright that "this is trivial", and move along. If it is, then researchers more expert than we are in such questions might be able to tell us. If it is not, then this is the right place to ask...

Answer by Ben for formulate edge length problem as convex optimization problem

2010-10-21T09:35:02Z

After solving your first SOCP, you can solve another program which minimizes the sum of length of the edges. The second time the edge lengths are not constrained to be equal, but instead constrained to be less than of equal to the optimal $z$ of the first program.

formulate edge length problem as convex optimization problem - MathOverflow

formulate edge length problem as convex optimization problem

Answer by Christophe Weibel for formulate edge length problem as convex optimization problem

Answer by Ben for formulate edge length problem as convex optimization problem