Linear Time Local Approximation Algorithm for Maximum Stable Marriage · Study