?
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Journal of the ACM. 2018. Vol. 65. No. 5. P. 28:1–28:51.
Bienvenu M., Kikot S., Kontchakov R., Подольский В. В., Захарьящев М. В.
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Петрованов И. С., Сергеев А. В., / Series Computer Science "arxiv.org". 2025. No. 2512.18332.
Добавлено: 24 декабря 2025 г.
Hessian-based lightweight neural network for brain vessel segmentation on a minimal training dataset
Меньшиков И. А., Бернадотт А. К., Елфимов Н. С., / Series arXie "Statistical mechanics". 2025.
Добавлено: 1 декабря 2025 г.
Рубчинский А. А., Чубарова Д. А., / Series WP7 "Математические методы анализа решений в экономике, бизнесе и политике". 2025. No. WP7/2025/01.
Добавлено: 9 ноября 2025 г.
Подольская О. В., В кн.: Материалы X молодежной научной школы по дискретной математике и ее приложениям.: М.: Издательство ИПМ РАН, 2015. С. 56–58.
Доказано, что сложность реализации произвольной симметрической булевой функции f от n переменных для f не равной тождественно единице при реализации схемами в базисе антицепных функций, т.е. функций, принимающих значение 1 лишь на попарно несравнимых наборах, равна min(k(f),n-k(f)+2), где k(f) - количество слоев, на которых функция f равна 1. ...
Добавлено: 11 января 2016 г.
Максимов Ю. В., / Series arXiv "math". 2015.
Добавлено: 30 октября 2015 г.
Granin S., Максимов Ю. В., / Series arXiv "math". 2015.
Добавлено: 30 октября 2015 г.
Максимов Ю. В., / Series arXiv "math". 2015.
Добавлено: 30 октября 2015 г.
Максимов Ю. В., Computational Mathematics and Mathematical Physics 2015 Vol. 49 No. 7 P. 1327
Добавлено: 30 октября 2015 г.
Максимов Ю. В., Doklady Mathematics 2012 Vol. 86 No. 3 P. 854–856
Добавлено: 30 октября 2015 г.
Максимов Ю. В., Doklady Mathematics 2012 Vol. 86 No. 1 P. 480–482
Добавлено: 30 октября 2015 г.
Максимов Ю. В., Computational Mathematics and Mathematical Physics 2013 Vol. 53 No. 9 P. 1569–1588
Добавлено: 30 октября 2015 г.
Максимов Ю. В., Computational Mathematics and Mathematical Physics 2015 Vol. 55 No. 7 P. 1242–1255
Добавлено: 30 октября 2015 г.
Подольская О. В., В кн.: Материалы IX молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 сентября 2013 г.).: М.: Издательство ИПМ РАН, 2013. С. 97–100.
В работе рассматривается задача о сложности реализации булевых функций схемами из функциональных элементов в бесконечном полном базисе, который состоит из всевозможных булевых функций, принимающих единичное значение лишь на попарно несравнимых наборах. Известны нижние оценки порядка $\sqrt n$ для сложности реализации линейной функции, функции голосования и почти всех булевых функций от $n$ переменных. Установлена верхняя оценка ...
Добавлено: 31 мая 2015 г.
Kikot S., Kontchakov R., Podolskii V. и др., , in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM / IEEE Symposium on Logic in Computer Science (LICS).: NY: ACM, 2014. Ch. 57 P. 57.1–57.10.
Добавлено: 24 марта 2015 г.