The initial algorithm .
Work has been done to push algorithmic versions of the Local Lemma closer to this tight value .
Since the initial algorithm , work has been done to push algorithmic versions of the Local Lemma closer to this tight value .