?
Модификация и оптимизация ρ–метода факторизации Джона Полларда с помощью рекурсивного метода подсчёта факторизации чисел
Т. 1: Перспективные технологии в средствах передачи информации.
Изд-во ВлГУ, 2019.
В данной статье представлен проект модификации и оптимизации ρ – метода факторизации Полларда с помощью рекурсивного метода подсчета факторизации чисел, работающий быстрее стандартного алгоритма на 27%, что сможет значительно облегчить работу по расшифрованию и криптографическому анализу различных шифров типа RSA. Были рассмотрены и использованы алгоритм факторизации, алгоритм Эвклида для нахождения НОД, подсчитана алгоритмическая сложность, матрица смежности, матрица достижимости, метрика Маккейба
Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111–121
Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...
Добавлено: 9 мая 2023 г.
Faliszewski P., Карпов А. В., Obraztsova S., Autonomous Agents and Multi-Agent Systems 2022 Vol. 36 Article 18
Добавлено: 14 марта 2022 г.
Добавлено: 17 сентября 2020 г.
Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794–800
Добавлено: 9 ноября 2017 г.
Матвеенко В. Д., , in: Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017Vol. 1975.: Aachen: CEUR-WS.org, 2017. Ch. 31 P. 293–300.
Добавлено: 7 ноября 2017 г.
Шитов Я. Н., SIAM Journal on Optimization 2017 Vol. 27 No. 3 P. 1898–1909
Добавлено: 24 октября 2017 г.
Грибанов Д. В., Малышев Д. С., Журнал Средневолжского математического общества 2016 Т. 18 № 3 С. 19–31
Мы рассматриваем естественные постановки задач о независимом множестве, о вершинном и о реберном доминирующем множестве как задач целочисленного линейного программирования и доказываем полиномиальную разрешимость этих задач для классов графов, имеющих ограниченные по абсолютному значению миноры (расширенных) матриц ограничений. ...
Добавлено: 20 октября 2016 г.
Захаров В. А., Cybernetics and Systems Analysis 2010 № 4 С. 39–48
В статье показано, каким образом двухленточные автоматы можно применять для проверки эквивалентности последовательных программ. Семантика последовательных программ определяется на основе моделей динамической логики. В том случае, когда динамическая шкала ациклична (т.е. в программе нет взаимно обратимых операторов), она может быть описана двухленточным детерминированным автоматом. Тогда задача проверки эквивалентности программ, семантика операторов которых определяется динамическими ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2012 Т. 23 С. 455–476
Унифицировать два алгебраических выражения и означает отыскать такую подстановку термов вместо переменных этих выражений, чтобы оба терма и имели одинаковое значение. Задачу унификации можно распространить и на программы. Унифицировать две программы и означает отыскать такие цепочки присваиваний и ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2012 Т. 22 С. 435–455
Логико-термальная эквивалентность программ – это одно из наиболее слабых отношений эквивалентности программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом. В данной статье предложена новая модификация алгоритма проверки логико-термальной эквивалентности программ, основанная на операции вычисления точной нижней грани в решетке конечных подстановок. Показано, что трудоемкость предложенного алгоритма оценивается величиной O(n6) , где n - размер ...
Добавлено: 30 сентября 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245–268
Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...
Добавлено: 30 сентября 2015 г.
Zakharov V.A., Lecture Notes in Computer Science 2015 Vol. 9270 P. 208–221
Добавлено: 30 сентября 2015 г.
Захаров В. А., Труды Института системного программирования РАН 2015 Т. 27 № 2 С. 221–250
Автоматы-преобразователи с конечным числом состояний над полугруппами могут служить простой моделью последовательных реагирующих программ. Эти программы работают во взаимодействии с окружающей средой, получая на входе поток управляющих сигналов и выполняя последовательности действий. Как только программа достигает определенного состояния управления, она выдает на выходе текущий результат вычисления. Элементарные действия реагирующей программы можно рассматривать как порождающие элементы ...
Добавлено: 30 сентября 2015 г.
Шитов Я. Н., St Petersburg Mathematical Journal 2015 Vol. 26 P. 341–350
Добавлено: 12 августа 2015 г.
Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775–788
Добавлено: 20 октября 2014 г.
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189–222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.