комбинаторика,
алгоритмы для NP-трудных задач,
схемная сложность.
Коды УДК:
510.52, 519.16, 510.633, 519.178, 519.7
Основные темы научной работы
Комбинаторика, алгоритмы для NP-трудных задач, схемная сложность.
Научная биография:
Куликов, Александр Сергеевич.
Построение алгоритмов для задач булевой логики при помощи автоматизации, комбинированных мер сложности и запоминания дизъюнктов : дис. ... канд. физ.-матем. наук : 05.13.17; [Место защиты: С.-Петерб. гос. ун-т]. - Санкт-Петербург, 2009. - 94 с.
Куликов, Александр Сергеевич.
Схемная сложность явно заданных булевых функций : дис. ... докт. физ.-матем. наук : 01.01.06; [Место защиты: Мат. ин-т им. В.А. Стеклова. С.-Петерб. отд-ние РАН]. - Санкт-Петербург, 2016. - 143 с. : ил.
Основные публикации:
Alexander Golovnev, Alexander S. Kulikov, Ivan Mihajlin, “Families with Infants: Speeding Up Algorithms for NP-Hard Problems Using FFT”, ACM Transactions on Algorithms, 12:3 (2016)
A. S. Kulikov, K. Kutzkov, “New Bounds for MAX-SAT by Clause Learning”, Proceedings of the 2nd International Computer Science Symposium in Russia (CSR 2007), LNCS 4649, 2007, 194–204
A. Kojevnikov, A. S. Kulikov, “A New Approach to Proving Upper Bounds for MAX-2-SAT”, Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2006), 2006, 11–17
S. S. Fedin, A. S. Kulikov, “Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms”, Proceedings of the International Workshop on Parameterized and Exact Computation (IWPEC 2004), LNCS 3162, 2004, 248–259
A. S. Kulikov, I. Mikhailin, A. Mokhov, V. V. Podolskii, “Complexity of Linear Operators”, Leibniz Internat. Proc. in Inform., 149 (2019), 17–12
2.
Alexander S. Kulikov, Vladimir V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, Theory Comput. Syst., 63:5 (2019), 956–986
2017
3.
A. S. Kulikov, V. V. Podolskii, “Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates”, Leibniz Internat. Proc. in Inform., 66:49 (2017), 1–14
2009
4.
А. С. Куликов, К. Куцков, “Новые верхние оценки для задачи максимальной выполнимости”, Дискрет. матем., 21:1 (2009), 139–157; A. S. Kulikov, K. Kutskov, “New upper bounds for the problem of maximal satisfiability”, Discrete Math. Appl., 19:2 (2009), 155–172
А. С. Куликов, С. С. Федин, “Автоматические доказательства верхних оценок на время работы алгоритмов расщепления”, Зап. научн. сем. ПОМИ, 316 (2004), 111–128; A. S. Kulikov, S. S. Fedin, “Automated proofs of upper bounds on the running time of splitting algorithms”, J. Math. Sci. (N. Y.), 134:5 (2006), 2383–2391
А. С. Куликов, С. С. Федин, “Решение задачи о максимальном сечении за время $2^{|E|/4}$”, Зап. научн. сем. ПОМИ, 293 (2002), 129–138; A. S. Kulikov, S. S. Fedin, “A $2^{|E|/4}$-time Algorithm for MAX-CUT”, J. Math. Sci. (N. Y.), 126:3 (2005), 1200–1204
А. С. Куликов, “Верхняя оценка $O(2^{0.16254n})$ для X3SAT: более простое доказательство”, Зап. научн. сем. ПОМИ, 293 (2002), 118–128; A. S. Kulikov, “An upper bound $O(2^{0.16254n})$ for Exact 3-Satisfiability: a simpler proof”, J. Math. Sci. (N. Y.), 126:3 (2005), 1195–1199
Обратная связь: