?
Code-Based Cryptography. CBCrypto 2020
Springer, 2020.
Иванов Ф. И., Крук Е. А., Kabatiansky G., , in : Code-Based Cryptography. CBCrypto 2020. : Springer, 2020. Ch. 3. P. 41-49.
Добавлено: 26 октября 2020 г.
Иванов Ф. И., Крук Е. А., Кабатянский Г. А. и др., Lecture Notes in Computer Science 2020 Vol. 12087 P. 41-49
Добавлено: 17 сентября 2020 г.
Иванов Ф. И., Крук Е. А., Kabatiansky G., , in : Code-Based Cryptography. CBCrypto 2020. : Springer, 2020. Ch. 3. P. 41-49.
Добавлено: 26 октября 2020 г.
Yankovskaya A. E., Горбунов И. В., Hodashinsky I. A., Pattern Recognition and Image Analysis 2021 Vol. 2 No. 27 P. 243-265
Добавлено: 27 сентября 2021 г.
Саватеев Ю. В., Annals of Pure and Applied Logic 2012 Vol. 163 P. 775-788
Добавлено: 20 октября 2014 г.
Zakharov V.A., Lecture Notes in Computer Science 2015 Vol. 9270 P. 208-221
Добавлено: 30 сентября 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2012 Т. 23 С. 455-476
Унифицировать два алгебраических выражения и означает отыскать такую подстановку термов вместо переменных этих выражений, чтобы оба терма и имели одинаковое значение. Задачу унификации можно распространить и на программы. Унифицировать две программы и означает отыскать такие цепочки присваиваний и ...
Добавлено: 30 сентября 2015 г.
Шитов Я. Н., SIAM Journal on Optimization 2017 Vol. 27 No. 3 P. 1898-1909
Добавлено: 24 октября 2017 г.
Иванов Ф. И., Крук Е. А., Zyablov V., , in : 2021 XVII International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY). : IEEE, 2021.
Добавлено: 30 ноября 2021 г.
Кука В. В., Яновский Е. А., , in : Frontiers of Dynamic Games: Game Theory and Management, St. Petersburg, 2020. : Cham : Birkhäuser, 2021. P. 219-233.
Добавлено: 7 июля 2022 г.
Черкесова Л. В., Сафарьян О. А., Смирнов И. А., Молодой исследователь Дона 2018 Т. 3 (12) С. 111-121
Представлен проект реализации ρ-метода факторизации Полларда на языке C++, который работает быстрее стандартного алгоритма на 27%. Это помогает значительно облегчить работу в расшифровывании и криптоанализе в различных шифрах, например, таких как RSA. ...
Добавлено: 9 мая 2023 г.
Грибанов Д. В., Малышев Д. С., Журнал Средневолжского математического общества 2016 Т. 18 № 3 С. 19-31
Мы рассматриваем естественные постановки задач о независимом множестве, о вершинном и о реберном доминирующем множестве как задач целочисленного линейного программирования и доказываем полиномиальную разрешимость этих задач для классов графов, имеющих ограниченные по абсолютному значению миноры (расширенных) матриц ограничений. ...
Добавлено: 20 октября 2016 г.
Захаров В. А., Cybernetics and Systems Analysis 2010 № 4 С. 39-48
В статье показано, каким образом двухленточные автоматы можно применять для проверки эквивалентности последовательных программ. Семантика последовательных программ определяется на основе моделей динамической логики. В том случае, когда динамическая шкала ациклична (т.е. в программе нет взаимно обратимых операторов), она может быть описана двухленточным детерминированным автоматом. Тогда задача проверки эквивалентности программ, семантика операторов которых определяется динамическими ...
Добавлено: 30 сентября 2015 г.
Faliszewski P., Карпов А. В., Obraztsova S., Autonomous Agents and Multi-Agent Systems 2022 Vol. 36 Article 18
Добавлено: 14 марта 2022 г.
Саватеев Ю. В., Известия РАН. Серия математическая 2011 Т. 75 № 3 С. 189-222
С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты. ...
Добавлено: 20 октября 2014 г.
Faliszewski P., Карпов А. В., Obraztsova S., , in : Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI-20). : International Joint Conferences on Artificial Intelligence, 2020. P. 203-209.
Добавлено: 15 июля 2020 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2012 Т. 22 С. 435-455
Логико-термальная эквивалентность программ – это одно из наиболее слабых отношений эквивалентности программ, аппроксимирующих отношение функциональной эквивалентности и обладающих разрешающим алгоритмом. В данной статье предложена новая модификация алгоритма проверки логико-термальной эквивалентности программ, основанная на операции вычисления точной нижней грани в решетке конечных подстановок. Показано, что трудоемкость предложенного алгоритма оценивается величиной O(n6) , где n - размер ...
Добавлено: 30 сентября 2015 г.
Исаева М. Н., Овчинников А. А., Научно-технический вестник информационных технологий, механики и оптики 2024 Т. 24 № 1 С. 70-80
Введение. Исправление ошибок, возникающих при хранении, обработке, передаче информации является
важнейшим методом обеспечения целостности данных. Для борьбы с возникающими ошибками используются
методы помехоустойчивого кодирования. В реальных системах шумовые процессы обычно являются
коррелированными, однако традиционные методы кодирования и декодирования используют декорреляцию,
при этом известно, что эта процедура снижает предельно достижимые характеристики кодирования. Таким
образом, актуальной является задача построения вычислительно эффективных методов ...
Добавлено: 4 марта 2024 г.
Шитов Я. Н., St Petersburg Mathematical Journal 2015 Vol. 26 P. 341-350
Добавлено: 12 августа 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245-268
Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...
Добавлено: 30 сентября 2015 г.
В данной статье представлен проект модификации и оптимизации ρ – метода факторизации Полларда с помощью рекурсивного метода подсчета факторизации чисел, работающий быстрее стандартного алгоритма на 27%, что сможет значительно облегчить работу по расшифрованию и криптографическому анализу различных шифров типа RSA. Были рассмотрены и использованы алгоритм факторизации, алгоритм Эвклида для нахождения НОД, подсчитана алгоритмическая сложность, матрица ...
Добавлено: 11 мая 2023 г.
Шитов Я. Н., SIAM Review 2017 Vol. 59 No. 4 P. 794-800
Добавлено: 9 ноября 2017 г.
Захаров В. А., Труды Института системного программирования РАН 2015 Т. 27 № 2 С. 221-250
Автоматы-преобразователи с конечным числом состояний над полугруппами могут служить простой моделью последовательных реагирующих программ. Эти программы работают во взаимодействии с окружающей средой, получая на входе поток управляющих сигналов и выполняя последовательности действий. Как только программа достигает определенного состояния управления, она выдает на выходе текущий результат вычисления. Элементарные действия реагирующей программы можно рассматривать как порождающие элементы ...
Добавлено: 30 сентября 2015 г.
Dvurechensky P., Gasnikov A., Gasnikova E. и др., В кн. : Proceedings of DOOR 2016 Conference, special issue of CEUR Workshop Proceedings. Vol. 1623.: CEUR Workshop Proceedings, 2016. С. 584-595.
In this paper, we consider a large class of hierarchical congestion population games. One can show that the equilibrium in a game of such type can be described as a minimum point in a properly constructed multi-level convex optimization problem. We propose a fast primal-dual composite gradient method and apply it to the problem, which ...
Добавлено: 17 ноября 2017 г.