Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

2002, том 293  
| Общая информация | Содержание |


Теория сложности вычислений. VII


Системы пар $q$-удаленных представителей и раскраски графов
П. А. Головач 		5–25
Криптография с открытым ключом и теория инвариантов
Д. Ю. Григорьев 		26–38
О неабелевых гомоморфных криптосистемах с открытым ключом
Д. Ю. Григорьев, И. Н. Пономаренко 		39–58
Блоки в $k$-связных графах
Д. В. Карпов 		59–93
Метод подъема решений для работы с метапеременными в системе TH$\exists$OREM$\forall$
Б. Ю. Конев, Т. Жебелеан 		94–117
Верхняя оценка $O(2^{0.16254n})$ для X3SAT: более простое доказательство
А. С. Куликов 		118–128
Решение задачи о максимальном сечении за время $2^{|E|/4}$
А. С. Куликов, С. С. Федин 		129–138
Трудные выполнимые формулы для DPLL-подобных алгоритмов
С. И. Николенко 		139–148
Intertible infinitary calculus without loop rules for a restricted FTL
R. Pliuškevičius 		149–180
Записки научных семинаров ПОМИ
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2026