RUS  ENG
Полная версия
ЖУРНАЛЫ // Записки научных семинаров ПОМИ // Архив
2002, том 293
| Общая информация | Содержание |


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


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

© МИАН, 2025