The Complexity of Positive Semidefinite Matrix Factorization

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

On efficient algorithms for bottleneck path problems with many sources

Kirill V. Kaymakov, Dmitry S. Malyshev, Optimization Letters 2024 Vol. 18 P. 1273–1283

Добавлено: 18 апреля 2024 г.

A complete complexity dichotomy of the edge-coloring problem for all sets of 8-edge forbidden subgraphs

Малышев Д. С., Duginov O. I., Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2023 Vol. 17 No. 4 P. 791–801

Добавлено: 16 февраля 2024 г.

Comparative Analysis of Logic Reasoning and Graph Neural Networks for Ontology-Mediated Query Answering with a Covering Axiom

Герасимова О. А., Макаров И. А., Severin N., IEEE Access 2023 Vol. 11 P. 88074–88086

The problem of query answering over incomplete attributed graph data is a challenging field of database management systems and artificial intelligence. When there are rules on data structure expressed in the form of the ontology, the theoretical complexity of finding exact solution satisfying ontology constraints increases. Logic-based methods use theoretical constructions to obtain efficient rewritings ...

Добавлено: 5 января 2024 г.

The discrete Fourier transform over the binary finite field

Sergei Valentinovich Fedorenko, IEEE Access 2023 Vol. 11 P. 62771–62779

Добавлено: 19 июля 2023 г.

Модификация и оптимизация ρ–метода факторизации Джона Полларда с помощью рекурсивного метода подсчёта факторизации чисел

Смирнов И. А., Разумов П. В., Сафарьян О. А. и др., Изд-во ВлГУ, 2019.

В данной статье представлен проект модификации и оптимизации ρ – метода факторизации Полларда с помощью рекурсивного метода подсчета факторизации чисел, работающий быстрее стандартного алгоритма на 27%, что сможет значительно облегчить работу по расшифрованию и криптографическому анализу различных шифров типа RSA. Были рассмотрены и использованы алгоритм факторизации, алгоритм Эвклида для нахождения НОД, подсчитана алгоритмическая сложность, матрица ...

Добавлено: 11 мая 2023 г.

Реализация ρ–метода факторизации Джона Полларда на языке C++

Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111–121

Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...

Добавлено: 9 мая 2023 г.

Complexity function and complexity of validity of modal and superintuitionistic propositional logics

Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2023 Vol. 33 No. 7 P. 1566–1595

Добавлено: 6 января 2023 г.

Some cases of polynomial solvability of the edge coloring problem that are generated by forbidden 8-edge subcubic forests

Добавлено: 31 декабря 2022 г.

On a Countable Family of Boundary Graph Classes for the Dominating Set Problem

G. S. Dakhno, D. S. Malyshev, Journal of Applied and Industrial Mathematics (перевод журналов "Сибирский журнал индустриальной математики" и "Дискретный анализ и исследование операций") 2023 Vol. 17 No. 1 P. 25–31

Наследственный класс — множество обыкновенных графов, замкнутое относительно удаления вершин, каждый такой класс задается множеством своих минимальных запрещенных порожденных подграфов. Если это множество конечно, то он называется конечно определенным. Понятие граничного класса является полезным инструментом анализа вычислительной сложности задач на графах в семействе конечно определенных классов. Задача о доминирующем множестве для заданного графа состоит в ...

Добавлено: 6 декабря 2022 г.

Comparing the Computational Complexity of Monomials and Elements of Finite Abelian Groups

Кочергин В. В., Moscow University Mathematics Bulletin 2022 Vol. 77 No. 3 P. 113–119

Добавлено: 29 октября 2022 г.

Complexity of finite-variable fragments of propositional temporal and modal logics of computation

Рыбаков М. Н., Shkatov D., Theoretical Computer Science 2022 Vol. 925 P. 45–60

Добавлено: 12 мая 2022 г.

The complexity of election problems with group-separable preferences

Faliszewski P., Карпов А. В., Obraztsova S., Autonomous Agents and Multi-Agent Systems 2022 Vol. 36 Article 18

Добавлено: 14 марта 2022 г.