EllipsoidMethod

ClassS04CS141 | recent changes | Preferences

Showing revision 3

The ellipsoid method is used to find feasible (or optimal) solutions to convex optimization problems.

A separation oracle for a convex space S is a polynomial-time algorithm A that, given a vector x, returns "yes, x is in S" if x∈ S or, otherwise, returns "no, x is no in S" along with a separating hyperplane.

A separating hyperplane is a hyperplane, defined by some vector v, such that v.x < v.y for all y ∈ S.

Generally, given a separation oracle, the ellipsoid method returns, in polynomial time, either a proof that the corresponding space is empty, or a point that lies within the space. By adding additional constraints, this suffices to optimize a linear function over the space.

More precisely, one must provide the ellipsoid method with an initial bounding region B such that B contains S. The ellipsoid method returns either a point in S, or a proof that volume(S) ≤ volume(B) / exp(nO(1)). Typically the latter is enough to conclude that S is empty.

In fact, an exact separation oracle is not required, it suffices to have a so-called weak separation oracle, one that separates the query vector x approximately from S.


References:

ClassS04CS141 | recent changes | Preferences
This page is read-only | View other revisions | View current revision
Edited January 24, 2004 1:06 pm by NealYoung (diff)
Search: