?
Об одном методе решения систем квадратичных булевых уравнений, использующем локальные аффинности
Информатика и ее применения. 2019. Т. 13. № 2. С. 37–46.
Федоров С. Н., Логачёв О. А., Сукаев А. А.
Как известно, вычислительная задача решения систем нелинейных уравнений над полем из двух элементов является NP-трудной. Этим обстоятельством обуславливается стремление исследователей разрабатывать алгоритмы ее решения, минимизирующие необходимые вычислительные ресурсы для тех или иных классов систем уравнений.
В статье предлагается метод решения систем квадратичных булевых уравнений, использующий представление функций их аффинными нормальными формами, то есть, в некотором смысле, аппроксимацию квадратичных функций кусочно-аффинными. Для каждого уравнения на основе такого представления строится набор систем небольшого числа линейных уравнений, а затем ищется совместная комбинация этих линейных систем для различных исходных уравнений. Исходная нелинейная задача, таким образом, сводится, по большому счету, к проверке совместности серии линейных систем от того же числа переменных. Метод может быть эффективно распараллелен и, несмотря на большую трудоемкость в худшем случае, допускает ряд эвристик, уменьшающих время его выполнения.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Медведев В. О., / Series arXiv "math". 2026.
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 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.
Рассматривается алгебраическое q-разностное уравнение. Предлагается достаточное условие существования формального степенно- логарифмического разложения решения такого уравнения в окрест- ности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения неко- торого q-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа q, приводящие к качественно разным формальным асимптотическим разложениям ...
Добавлено: 25 декабря 2025 г.
Учебное пособие адресовано изучающим курс дискретной математики, прежде всего, студентам младших курсов, обучающимся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные и информационные науки", 09.03.00 "Информатика и вычислительная техника".
Настоящий сборник задач является пособием для практических занятий по некоторым разделам дискретной математики и может быть использован преподавателями и студентами для подготовки к семинарским занятиям и ...
Добавлено: 12 ноября 2023 г.
Учебник содержит лекционный материал по дисциплине "Дискретная математика", а также примеры задач с решениями и задачи для самостоятельной работы. Основные разделы учебника: множества, математическая индукция, комбинаторика, булевы функции, логика высказываний и предикатов, графы, автоматы и формальные языки, алгоритмы.
Учебник адресован, прежде всего, студентам младших курсов, обучающихся по направлениям укрупненных групп 01.03.00 "Математика и механика", 02.03.00 "Компьютерные ...
Добавлено: 12 ноября 2023 г.
Коврижных М. А., Фомин Д. Б., Прикладная дискретная математика. Приложение 2021 № 14 С. 181–184
Предложен эвристический алгоритм построения биективных булевых функций с заданными криптографическими свойствами — нелинейностью и дифференциальной δ-равномерностью — на основе обобщённой конструкции. Производится поиск вспомогательных подстановок меньшей размерности в обобщённой конструкции с использованием идей спектрально-линейного и спектрально-разностного методов. Исследована возможность оптимизации вычисления криптографических характеристик на каждой итерации алгоритма. Экспериментально получены 8-битовые 6-равномерные подстановки с нелинейностью 108. ...
Добавлено: 22 сентября 2021 г.
Федоров С. Н., Логачёв О. А., Ященко В. В., Дискретная математика 2021 Т. 33 № 2 С. 66–85
Рассматривается действие на множестве булевых функций расширения G полной аффинной группы преобразований с помощью группы аффинных функций: действие заключается в преобразовании булевых функций невырожденными аффинными заменами переменных и сложением с аффинными булевыми функциями. Введены и исследованы параметры булевых функций, инвариантные относительно действия группы G: амплитуда (тесно связанная с нелинейностью), размерность функции и некоторые другие. Эти ...
Добавлено: 16 июня 2021 г.
Сысоева Л. Н., Moscow University Mathematics Bulletin 2019 Vol. 74 No. 6 P. 241–245
Добавлено: 22 ноября 2020 г.
Яшунский А. Д., Вестник Московского университета. Серия 1: Математика. Механика 2019 № 4 С. 3–9
Рассматриваются индуцированные системой булевых функций алгебры бернуллиевских распределений, у которых основное множество имеет единственную предельную точку. Доказан критерий того, что алгебра, порождаемая заданным множеством распределений, имеет единственную предельную точку. ...
Добавлено: 9 сентября 2020 г.
Ложкин С. А., Данилов Б. Р., Прикладная математика и информатика 2011 № 39 С. 107–129
В работе изучается модель задержки схем из функциональных элементов в произвольном конечном полном базисе Б, в которой задержки базисных элементов по различным входам могут различаться. В рассматриваемой модели получены асимптотические оценки вида τБn±O(1), где τБ ― константа, зависящая только от базиса Б, для задержки мультиплексорной функции порядка n, то есть функции с n адресными и 2n информационными переменными ...
Добавлено: 2 декабря 2019 г.
Lozhkin S. A., Danilov B.R., Computational Mathematics and Modeling 2012 Vol. 23 No. 4 P. 487–506
В работе изучается модель задержки схем из функциональных элементов в произвольном конечном полном базисе Б, в которой задержки базисных элементов по различным входам могут различаться. В рассматриваемой модели получены асимптотические оценки вида τБn±O(1), где τБ ― константа, зависящая только от базиса Б, для задержки мультиплексорной функции порядка n, то есть функции с n адресными и 2n информационными переменными ...
Добавлено: 2 декабря 2019 г.
Данилов Б. Р., Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика 2013 Т. 4 С. 25–33
В~работе изучается модель задержки схем из функциональных элементов в произвольном конечном полном базисе~$\lBase$, в которой задержки базисных элементов задаются произвольными положительными действительными числами для каждого входа и каждого входного набора переменных, поступающих на остальные входы. В~рассматриваемой модели для задержки мультиплексорной функции порядка~$n$ получены асимптотические оценки вида~$\tau_{\lBase} n \pm O(\log n)$, где~$\tau_{\lBase}$ "--- константа, зависящая только ...
Добавлено: 2 декабря 2019 г.
Ложкин С. А., Шуплецов М. С., Коноводов В. А. и др., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. 1 С. 40–47
В работе рассматривается задача построения каталогов схем, реализующих функции алгебры логики малого количества переменных. Эта задача рассматривается на примере синтеза контактных схем. Для решения задачи были разработаны алгоритмы синтеза схем и на их основе реализованы программные инструменты, с помощью которых для целого ряда функций алгебры логики пяти переменных получены новые более оптимальные схемы, а также ...
Добавлено: 2 декабря 2019 г.
Danilov B.R., Lozhkin S. A., Computational Mathematics and Modeling 2019 Vol. 30 No. 1 P. 129–136
В работе предлагается метод синтеза усилительных схем из функциональных элементов (УСФЭ), позволяющий установить асимптотику функции Шеннона для обобщённой глубины УСФЭ – то есть глубины самой «плохой» функции алгебры логики, зависящей от заданных переменных – в специальном базисе (модели глубины), где глубина элемента определяется как его типом, так и степенью ветвления выхода в схеме. Асимптотическое поведение ...
Добавлено: 1 декабря 2019 г.
Сысоева Л. Н., В кн.: Материалы XIII Международного семинара "Дискретная математика и ее приложения" имени академика О.Б. Лупанова (Москва, МГУ, 17-22 июня 2019).: М.: Изд-во механико-математического факультета МГУ, 2019. Гл. 3 С. 184–187.
Рассматривается задача о реализации булевых функций инициальными булевыми автоматами с константными состояниями и n входами, т.е. автоматами, такими, что в любом из состояний функция выхода совпадает с одной из булевых констант 0 или 1, зависящих от n переменных, n > 0. Построен пример инициального булева автомата с минимальным количеством константных состояний и n входами, реализующего максимальное возможное число булевых ...
Добавлено: 31 октября 2019 г.