https://www.wikicshse.ru/index.php?action=history&feed=atom&title=%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%BD%D1%8B%D1%85_%D0%BD%D0%B5%D1%80%D0%B0%D0%B2%D0%B5%D0%BD%D1%81%D1%82%D0%B2_%28%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82%29 2026-06-06T16:23:06Z История изменений этой страницы в вики MediaWiki 1.45.3 https://www.wikicshse.ru/index.php?title=%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%B2%D1%8B%D0%B2%D0%BE%D0%B4_%D0%B8%D0%BD%D1%84%D0%BE%D1%80%D0%BC%D0%B0%D1%86%D0%B8%D0%BE%D0%BD%D0%BD%D1%8B%D1%85_%D0%BD%D0%B5%D1%80%D0%B0%D0%B2%D0%B5%D0%BD%D1%81%D1%82%D0%B2_(%D0%BF%D1%80%D0%BE%D0%B5%D0%BA%D1%82)&diff=851&oldid=prev 2017-10-18T16:12:09Z

<p>Migrated current public revision from wiki.cs.hse.ru</p> <p><b>Новая страница</b></p><div>{{Карточка_проекта<br /> |name=Автоматический вывод информационных неравенств<br /> |mentor=Ромащенко Андрей<br /> |mentor_login={{URLENCODE:Romashchenko|WIKI}}<br /> |semester=Осень 2016<br /> |course=2<br /> |summer=on<br /> |number_of_students=1<br /> |categorize=yes<br /> |is_archived=yes<br /> }}<br /> <br /> === Что это за проект? ===<br /> Предполагается написать программу, которая сможет выводить новые (и полезные для каких-то приложений) неравенства для шенноновской энтропии. <br /> <br /> Программа минимум: воспроизвести/проверить машинные доказательства некоторых теорем из теории информации, для которых не известно &quot;человеческих&quot; (без машинных вычислений) доказательств.<br /> <br /> Программа максимум: улучшить известные оценки эффективности для некоторых схем разделения секрета и других задач теории информации.<br /> <br /> === Чему вы научитесь? ===<br /> - Выводить (руками и с помощью компьютера) новые теоретико-информационные неравенства.<br /> <br /> - Сводить задачу об эффективности разделения секрета к задаче линейного программирования.<br /> <br /> - Применять linear programming солверы к задачам большой размерности.<br /> <br /> === Какие начальные требования? ===<br /> Необходимо: базовые представления об энтропии Шеннона и классической теории информации.<br /> <br /> Желательно: базовые представления о линейном программировании.<br /> <br /> === Какие будут использоваться технологии? ===<br /> Различные библиотеки для решения задач линейного программирования и некоторые методы параллелизации вычислений.<br /> <br /> === Темы вводных занятий ===<br /> <br /> <br /> === Направления развития ===<br /> Можно разработать пакет алгоритмов, позволяющих применять метод энтропийных неравенств для решения разных задач теории информации (нижние оценки для разделение секрета, hat guessing games, и т.д.); в идеале алгоритмы должны быть оптимизированных для каждого класса задач и адаптированных к разным типам компьютерной архитектуры.<br /> <br /> === Критерии оценки ===<br /> 4-5: Написать действующую программу, генерирующую новые информационные неравенства одним из известных теоретических методов; применить один из существующих LP солверов для получения оценок эффективности для схем разделения секрета на матроиде Вамоса.<br /> <br /> 6-7: Использовать параллельных вычислений для вывода информационных неравенств большой размерности. Подготовить пакет алгоритмов, которым смогли бы пользоваться в своей работе (без долгого и подробного инструктажа) специалисты по теории информации.<br /> <br /> 8-10: Сравнить между собой разные методы вывода информационных неравенств; улучшить известные оценки в задачах разделения секрета и hat guessing games.<br /> <br /> === Ориентировочное расписание занятий ===<br /> Доступен для разговоров по Skype. Время для бесед лучше уточнять по ходу дела (разница в часовых поясах, летнее/зимнее время).</div>

imported>GalinaKaleeva