Обсуждение:Полиномиальный в среднем алгоритм для SAT/c000096

На 12 слайде, в комментарии что такое "size" написано, что это "счетчик выполняющих...". Однако на видео 2011 года, на 55 минуте, говорится, что это "счётчик обнуляющих КНФ наборов"

— Фадеев Владимир Сергеевич, 173 группа • 24 ноября 2016 в 18:45

[ Хронологический вид ]Ответы

(нет элементов)

Войдите, чтобы комментировать.