On one hand, researchers have been developing modified learning algorithms that allow inexact search (Collins and Roark, 2004;Huang et al., 2012).
consider the Lagrangian: 2 Actually this relaxation is not necessary for the convergence proof.