https://discopal.ispras.ru/%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%9F%D0%BE%D0%BB%D0%B8%D0%BD%D0%BE%D0%BC%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B2_%D1%81%D1%80%D0%B5%D0%B4%D0%BD%D0%B5%D0%BC_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%B4%D0%BB%D1%8F_SAT/c000096DISCOPAL - Комментарии — Полиномиальный в среднем алгоритм для SAT [ru]Читать последние комментарии на этом канале.https://discopal.ispras.ru/favicon.ico2016-11-24T18:45:01ZMediaWikihttps://discopal.ispras.ru/%D0%9E%D0%B1%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B5:%D0%9F%D0%BE%D0%BB%D0%B8%D0%BD%D0%BE%D0%BC%D0%B8%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9_%D0%B2_%D1%81%D1%80%D0%B5%D0%B4%D0%BD%D0%B5%D0%BC_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC_%D0%B4%D0%BB%D1%8F_SAT/c000096Комментарии от Fadeev Vladimir (#96)Fadeev Vladimirhttps://discopal.ispras.ru/Permission_denied2016-11-24T18:45:01Z2016-11-24T18:45:01Z<p>На 12 слайде, в комментарии что такое "size" написано, что это "счетчик выполняющих...". Однако на видео 2011 года, на 55 минуте, говорится, что это "счётчик обнуляющих КНФ наборов"
</p>