Заседания семинаров
Жуков Г.
DC оптимизация и метод ветвей и отсечений для задачи взвешенной 3-раскраски.
Zoom
Медных Илья Александрович (ИМ СО РАН)
Характеристические полиномы для дискретных моделей листа Мебиуса и бутылки Клейна.
Аннотация
В докладе рассматривается подход, позволяющий найти аналитические выражения для характеристического полинома Лапласа дискретных моделей листа Мебиуса и бутылки Клейна. Дискретные версии указанных поверхностей представляются в виде прямоугольных решеток, с подходящим отождествлением сторон. Это конечные графы, у которых большинство вершин имеет валентность 4. Результаты будут представлены в виде явных формул, выраженных в терминах полиномов Чебышева.С. В. Августинович
О двух задачах о совершенной раскраске циркулянтов.
А. Р. Углев
Базис тождеств для некоторого семейства решеток.
О. В. Капцов (ФИЦ ИВТ, Новосибирск)
Решения трехмерных стационарных уравнений газовой динамики.
Аннотация
В докладе будут рассмотрены трехмерные стационарные уравнения политропного газа. Для построения точных аналитических решений применяются методы симметрии. В случае газа Чаплыгина групповой анализ позволяет получить семейство решений, зависящее от трех произвольных функций, в то время как для произвольного показателя адиабаты удается найти явные решения, параметризованные несколькими произвольными постоянными.В. А. Топчий
Большие уклонения для схемы Бернулли.
Аннотация
Описаны асимптотики вероятностей больших уклонений для биномиально распределённых случайных величин $ S_{n,p} $ - $$ \mathbf{P}(S_{n,p}> np-a_{s} )\ \mbox{ и }\ \mathbf{P}(S_{n,p}\leq np+a_{s} ),$$ где $a_{s}:=np-s<0$, $p=p(n)$, $np\to\infty$, $p\in(0,p_{0})$, $p_{0}<1$, $a_{s}/\sqrt{npq}\to-\infty$, $a_{s}=O((npq)^{\gamma})$, $\gamma\in(0.5,1)$.
Основой для их описания служит работа:
Зубков А. М., Серов А. А. Полное доказательство универсальных неравенств для функции распределения биномиального закона. Теория вероятн. и ее примен., 2012, том 57, выпуск 3, 597-602.
М. М. Аликбаров
$H(n)$-гордиевы графы нотоидов и их факторизации.
Николай Вячеславович Шилов (Лицей 22 «Надежда Сибири» и ИСИ СО РАН)
«The Verifying Compiler: a Grand Challenge for Computing Research» ХХ лет спустя.
Аннотация
5 марта 2026 г. скончался сэр Чарльз Энтони Ричард Хоар (Tony Hoare), один из пионеров информатики, лауреат премии Тьюринга (1980), «автор» одной из первых прикладных «нестандартных логик» - логики Хоара. В 2003 г. на международной конференции PSI он выступил с приглашенным докладом The Verifying Compiler: a Grand Challenge for Computing Research (есть более поздняя запись доклада). В предлагаемом выступлении будет дан первый (беглый) обзор развития за 20 лет (2003–2026 гг.) исследований по теме доклада Энтони Хоара.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
