Шестая молодежная научная школа по дискретной математике
и ее приложениям
(2007 г.)
Шестая молодежная научная школа по дискретной математике и ее приложениям проводилась механико-математическим факультетом Московского государственного университета имени М.В. Ломоносова и Институтом прикладной математики имени М.В. Келдыша Российской академии наук с 16 по 20 апреля 2007 г.
Материалы школы: Лекции. Ч.1, Лекции. Ч.2, Доклады. Ч.1, Доклады. Ч.2, Доклады. Ч.3.
Были прочитаны следующие лекции:
-
Сапоженко А. А. Метод контейнеров
- Кочергин В. В. О сложности вычисления систем одночленов и систем целочисленных линейных форм
- Шевченко В. Н. Триангуляции политопов, f-векторы и булевы функции
- Косовский Н. К. Итеративно укорачивающие алгоритмы, обеспечивающие верхние оценки сложности вычислений
- Шоломов Л. А. Информационные свойства частично определенных и нечетких данных
- Голубев Ю. Ф. Нейронные сети в мехатронике
- Вороненко А. А. Метод жирных точек
- Романов А. М. Методы построения нелинейных совершенных двоичных кодов
- Зыков К. А. О сложности схем из функциональных элементов в базисах, содержащих линейную функцию.
Были заслушаны доклады:
-
Баев В. В. Эффективная проверка нижней границы алгебраической иммунности многочлена Жегалкина и ДНФ
- Рудской В. И. Оценка трудоемкости алгоритма Копперсмита-Томе построения линейных генераторов последовательностей матриц над конечными полями для случая поля GF(2)
- Еникеев М. Н. О специальном представлении графов в трехмерном евклидовом пространстве
- Готманов А. Н. Алгоритм линейной сложности для распознавания контактной бесповторности булевых функций по вектору значений.
- Степанов П. С. Средняя мощность схем из функциональных элементов
- Вегнер Я. В. Глубина приближенного вычисления гладких функций
- Дайняк А. Б. Некоторые вопросы, связанные с гипотезой Алона о числе независимых множеств
- Воробьев Ф. Ю. Улучшение нижних оценок порога k-выполнимости для небольших k.
- Михайлец Е.В. О ранге неявных представлений над классами монотонных функций k-значной логики
- Ковалев Ф. М. О подмножествах вершин булева куба, универсальных относительно проекций
- Сидоров С. В. Разбиение классов подобия матриц над полем рациональных чисел на классы подобия над кольцом целых чисел
- Малышев Д. С. Граничные классы для задачи о независимом множестве в классе планарных графов
- Токарева Н. Н. О верхней оценке числа равномерно упакованных двоичных кодов
- Пузынина С. А. Периодичность совершенных раскрасок радиуса r бесконечной прямоугольной решетки
- Федорова В. С. Сложность проблемы выполнимости для одного языка с функциональными булевыми переменными
- Хадиев К. Р. Приставимость языков двусторонними конечными автоматами
- Большакова Е. А. О символах зоноэдральных параллелоэдров первого типа
- Ильин И. А. О единичных диагностических тестах для блочных контактных схем некоторого класса
- Токарева Н. Н. Иерархия классов бент-функций кратной нелинейности
- Шипунов С. Г. Об эффективной реализации функций, построенных по рекурсивной конструкции специального вида
- Денисенко М. П. О весовой функции бент-кодов
- Ярыкина М. С. Несуществование двоичных кодов, равномерно распределенных по шарам, почти всех мощностей
- Алексеев Е. К. О некоторых криптографических свойствах множества четных функций.
- Мелузов А. С. Оценка сложности применения символьных методов в криптоанализе алгоритма ГОСТ 28147-89
- Лобанов М. С. Нижняя оценка на нелинейность высокого порядка функции через значение ее алгебраической иммунности
- Свинцицкий А. И. Построение скрытого канала с помощью протокола маршрутизации RIP
- Черухина С. Е. О сложности функций с "малым числом единиц" в классе КНФ
- Черухин Д. Ю. О многоярусных формулах
- Сергеев И. С. О глубине схем для многократного сложения и умножения чисел
- Хелемендик Р. В. О расширении типов игрового взаимодействия в языке игровых программ
- Бурцев А. А. О булевых схемах умножения многочленов в конечных полях нечетной характеристики
- Ларионов В. Б. О некоторых свойствах алгебр, содержащих подалгебру, изоморфную алгебре матриц
- Кочкаров А. А. Структурная динамика. Фрактальные графы и их свойства
- Щербина В. Л. Общий подход к проблеме эквивалентности программ на шкалах, связанных с обработкой прерываний
-
Бородина Ю. В. О синтезе легкотестируемых схем в случае однотипных константных неисправностей на выходах элементов