Our complete alg:main is essentially what we described in sec:overview:sec:main with the additional pruning rule of applying alg:pruning-rule. We start with the correctness of alg:main. We need the following lemma, which has previously been referred to as a Precision Sampling Lemma [1]}, [2]}, [3]}, [4]}. The lemma was introduced by Andoni, Krauthgamer and Onak [1]}, and was refined in [2]}, [3]}.

Наш полный алгоритм: main по существу то, что было описано в разделе: обзор: main с дополнительным правилом обрезания, применяемым в algorithms: обрезание. Начинаем с доказательства корректности algorithms: main. Нам потребуется следующая лемма, которая ранее упоминалась как лемма о точности выборки [1], [2], [3], [4]. Лемма была предложена Андони, Краутгамер и Онак [1] и была усовершенствована в [2], [3].