https://wiki.cs.hse.ru/api.php?action=feedcontributions&feedformat=atom&user=Romashchenko 2026-09-22T10:11:18Z Вклад MediaWiki 1.43.9 https://wiki.cs.hse.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=20985 2016-10-05T17:13:30Z

<p>Romashchenko: Новая страница, с помощью формы Новый_проект</p> <hr /> <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 /> }}<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>

Romashchenko https://wiki.cs.hse.ru/index.php?title=%D0%A3%D1%87%D0%B0%D1%81%D1%82%D0%BD%D0%B8%D0%BA:Romashchenko&diff=20984 2016-10-05T16:28:05Z

<p>Romashchenko: новая страница</p> <hr /> <div>'''''Андрей Ромащенко'''''<br /> <br /> '''Место работы:''' chargé de recherche (du CNRS) du [http://www.lirmm.fr/ Laboratoire d'Informatique, de Robotique de de Microélectronique de Montpellier] и ст. научный сотрудник [http://www.iitp.ru ИППИ РАН]<br /> <br /> '''Научные интересы:''' Колмогоровская сложность и алгоритмическая теория информации; энтропия Шеннона; самокорректирующиеся вычисления; алгоритмические свойства эффективно замкнутых замощений.<br /> <br /> '''Homepage:''' http://www.mccme.ru/~anromash/<br /> <br /> '''E-mail:''' [[andrei.romashchenko@lirmm.fr|andrei.romashchenko AT lirmm.fr]]</div>

Romashchenko