_id,doi,title 7412,10.1137/16m109332x,A local lemma for focused stochastical algorithms