Structured SVM - Separation

Separation

The above quadratic program involves a very large, possibly infinite number of linear inequality constraints. In general, the number of inequalities is too large to be optimized over explicitly. Instead the problem is solved by using delayed constraint generation where only a finite and small subset of the constraints is used. Optimizing over a subset of the constraints enlarges the feasible set and will yield a solution which provides a lower bound on the objective. To test whether the solution violates constraints of the complete set inequalities, a separation problem needs to be solved. As the inequalities decompose over the samples, for each sample the following problem needs to be solved.

y_n^* = \underset{y \in \mathcal{Y}}{\textrm{argmax}} \left( \Delta(y_n,y) + \boldsymbol{w}'\Psi(\boldsymbol{x}_n,y) - \boldsymbol{w}'\Psi(\boldsymbol{x}_n,y_n) - \xi_n\right)

The right hand side objective to be maximized is composed of the constant and a term dependent on the variables optimized over, namely . If the achieved right hand side objective is smaller or equal to zero, no violated constraint for this sample exist. If it is strictly larger than zero, the most violated constraint with respect to this sample has been identified. The problem is enlarged by this constraint and resolved. The process continues until no violated inequalities can be identified.

If the constants are dropped from the above problem, we obtain the following problem to be solved.

This problem looks very similar to the inference problem. The only difference is the addition of the term . Most often, it is chosen such that it has a natural decomposition in label space. In that case, the influence of can be encoded into the inference problem and solving for the most violating constraint is equivalent to solving the inference problem.

Read more about this topic:  Structured SVM

Famous quotes containing the word separation:

    “In a separation it is the one who is not really in love who says the more tender things.”
    —Marcel Proust (1871–1922)

    “A separation situation is different for adults than it is for children. When we were very young children, a physical separation was interpreted as a violation of our inalienable rights....As we grew older, the withdrawal of love, whether that meant being misunderstood, mislabeled or slighted, became the separation situation we responded to.”
    —Roger Gould (20th century)

    “There is nothing that I shudder at more than the idea of a separation of the Union. Should such an event ever happen, which I fervently pray God to avert, from that date I view our liberty gone.”
    —Andrew Jackson (1767–1845)