Полиномиальный в среднем алгоритм для SAT

Материал из DISCOPAL
Версия от 05:50, 26 октября 2012; StasFomin (обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск
Короткая ссылка: Sat-average

Слайды «Полиномиальный в среднем алгоритм для SAT»

Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf Sat-average.beam.pdf

Видео

2011

2008

[ Хронологический вид ]Комментарии

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

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

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

Источник — «https://discopal.ispras.ru/index.php?title=Полиномиальный_в_среднем_алгоритм_для_SAT&oldid=1249»