Шаблон:Current Seminars — различия между версиями
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 3: | Строка 3: | ||
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | |colspan="3"|'''[[Дискретная математика и математическая кибернетика]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 6 марта 2020 г. |
| − | |''' | + | |'''Некоторые вопросы синтеза параллельных схем'''. |
| − | Аннотация доклада. | + | Аннотация доклада. В докладе представлены результаты автора в областях минимизации глубины схем и формул, оптимального синтеза при ограничении на глубину, разработки быстрых параллельных алгоритмов. В частности, рассказывается о методах синтеза формул для симметрических булевых функций, асимптотически оптимальном синтезе линейных схем ограниченной |
| − | + | глубины, экстремальных отношениях линейных мер сложности булевых матриц, синтезе минимальных параллельных префиксных схем, асимптотически оптимальном синтезе схем и формул ограниченной глубины из многовходовых элементов, алгоритмах быстрого преобразования Фурье над некоторыми | |
| − | | | + | кольцами и их приложениях. |
| + | | Сергеев И.С. (ФГУП "Квант"; МГУ имени М.В. Ломоносова)}} | ||
|- | |- | ||
Версия 20:20, 3 марта 2020
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 6 марта 2020 г. | Некоторые вопросы синтеза параллельных схем.
Аннотация доклада. В докладе представлены результаты автора в областях минимизации глубины схем и формул, оптимального синтеза при ограничении на глубину, разработки быстрых параллельных алгоритмов. В частности, рассказывается о методах синтеза формул для симметрических булевых функций, асимптотически оптимальном синтезе линейных схем ограниченной глубины, экстремальных отношениях линейных мер сложности булевых матриц, синтезе минимальных параллельных префиксных схем, асимптотически оптимальном синтезе схем и формул ограниченной глубины из многовходовых элементов, алгоритмах быстрого преобразования Фурье над некоторыми кольцами и их приложениях. |
Сергеев И.С. (ФГУП "Квант"; МГУ имени М.В. Ломоносова) |
| Теоретические проблемы программирования | ||
| 27 сентября 2019 г. | A survey on temporal logics for specifying and verifying real-time systems (S. Konur).
Обзорная статья, посвящённая сравнению выразительных возможностей и задачам разрешимости для различных темпоральных логик. Существуют две основные семантики для моделирования времени: точечная и интервальная семантика. На семинаре будут рассмотрены выразительные возможности, разрешимость и вычислительная сложность двух задач, связанные с применением темпоральных логик в информатике - проверка выполнимости формул и задача Model Checking, - для нескольких темпоральных логик, основанных на точечной семантике. |
Винарский Е.М. (МГУ имени М.В. Ломоносова, ф-т ВМК) |
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 22 ноября 2019 г. | Доклад по статье Jia Hui Liang, Vijay Ganesh, Pascal Poupart, and Krzysztof Czarnecki «Learning Rate Based Branching Heuristic for SAT Solvers» (SAT 2016) | Купраш Екатерина (418 гр.)
|
| Сложность решения дискретных задач | ||
| 18 октября 2019 г. | Простой алгоритм для мальцевских ограничений. В докладе рассматривается полиномиальный алгоритм проверки выполнимости системы ограничений, удовлетворяющих некоторой мальцевской операции. Доклад по статье: Bulatov A., Dalmau V. A simple algorithm for Mal'tsev constraints // SIAM J. Computing. 2006. | Мартынов Петр (318 гр.)
|
| Теоретические проблемы программирования | ||
|
| ||
