Четвертая молодежная научная школа по дискретной математике
и ее приложениям
(2000 г.)
Четвертая молодежная научная школа по дискретной математике и ее приложениям проводилась Московским государственным университетом им. М.В. Ломоносова, Институтом математики им. С. Л. Соболева СО РАН и НИИ ПМК при Нижегородском государственном университете им. Н. И. Лобачевского в Москве на механико-математическом факультете МГУ с 18 по 23 сентрября 2000 г. Материалы школы.
Были прочитаны следующие лекции:
-
Рышков С.С., проф. О параллелоэдрах.
-
Ковалев М.Д., доц. Изостатические шарнирные схемы и шарнирники.
-
Чашкин А.В., д.ф.-м.н. Средняя сложность булевых функций.
-
Жильцова Л.П., доц. Экономное кодирование стохастических контекстно-свободных языков.
-
Августинович С.В. Совершенные коды и дистрибутивные раскраски графов
-
Малюгин С.А. Несистематические совершенные двоичные коды.
-
Ложкин С.А., проф. Асимптотические оценки высокой степени точности для сложности управляющих систем из некоторых классов.
-
Мошков М.Ю., д.ф.-м.н. О некоторых задачах машинного обучения.
-
Евдокимов А.А., доц. О проблеме "Змея в ящике" и вокруг нее.
-
Таранников Ю.В., доц. Числовые характеристики булевых функций.
Были заслушаны доклады:
-
Черухин Д.Ю. (Москва) О формульной сложности симметрических булевых функций.
-
Золотых Н.Ю. (Н.Новгород) Расшифровка пороговых функций двух переменных.
-
Сорочан С.В. (Н.Новгород) Область значений энтропии секционных классов цветных графов.
-
Глебов А.Н., Бородин О.В. (Новосибирск) Об одном структурном свойстве плоских графов.
-
Мошкова А.М. (Н.Новгород) Расширение класса константных неисправностей с сохранением эффективности диагностики.
-
Груздев Д.В. (Н.Новгород) Описание множества f-векторов триангуляций 4-мерного куба.
-
Елисейкин М.А. (Москва) Об алгоритмической сложности одной задачи, связанной с проблемой фолов в рэндзю.
-
Гуровиц В.М. (Москва) О классификации 1-однородных симметрических функций трехзначной логики.
-
Гимон И.В. (Москва) Об одном классе k-значных функций с подфункциями специального вида.
-
Королев П.С.(Москва) О поиске корреляционно-иммунных функций.
-
Романов Д.С. (Москва) О построении тестов для некоторых типов блочных контактных схем.
-
Алехина М.А. (Пенза) Верхние оценки ненадежности схем при константных неисправностях.
-
Глебов А.Н., Бородин О.В., Аксенов В.А. (Новосибирск) О 3-раскраске плоского графа с отождествленной парой вершин.
-
Смирнова Е.С. (С.Петербург) Алгоритм проверки (не)разрешимости простейших систем линейных неравенств.
-
Кротов Д.С. (Новосибирск) О Z4-линейных кодах Адамара.
-
Жуков Д.А. (Москва) О времени параллельного сложения нескольких чисел.
-
Сафин Р.Ф. (Москва) О глубине и сложности формул в некоторых классах k-значной логики.
-
Алексеев М.А. (Н.Новгород) О матрицах с попарно различными строками и столбцами
-
Вороненко А.А. (Москва) Многомерные отображения, удовлетворяющие части аксиом замыкания.
-
Селезнева С.Н. (Москва) Полиномиальный алгоритм для распознования принадлежности функции k-значной логики, представленной полиномом, предполным классам линейных функций.
-
Прокофьева Е.Ю. (С.Петербург) Разрешимость систем линейных уравнений и неравенств с параметрами.
-
Черных И.Д. (Новосибирск) 4-параметрический анализ сложности задач open shop.
-
Бейненсон Л.Б. (Н.Новгород) Определение всех безгранично делимых мер на решетках.