Зображення обкладинки

Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел

Запропоновано поліноміальний алгоритм побудови мінімальної породжуючої множини (пред-базиса) і базиса множини всіх розв’язків системи лінійних діофантових рівнянь в кільці цілих чисел. Цей алгоритм грунтується на модифікованому TSS-методі. A polynomial algorithm is proposed to construct the minimal...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Кибернетика и системный анализ
Дата:	2009
Автор:	Крывый, С.Л.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут кібернетики ім. В.М. Глушкова НАН України 2009
Теми:	Кибернетика
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/44480
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Алгоритм построения базиса множества решений систем линейных диофантовых уравнений в кольце целых чисел / С.Л. Крывый // Кибернетика и системный анализ. — 2009. — № 6. — С. 36-41. — Бібліогр.: 12 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Сумма делителей в кольце целых гауссовых чисел
за авторством: Синявский, О.В.
Опубліковано: (2001)

Эвристический алгоритм для поиска наибольшего независимого множества
за авторством: Плотников, А.Д.
Опубліковано: (2012)

Комбинаторный метод решения систем линейных ограничений
за авторством: Крывый, С.Л.
Опубліковано: (2014)

Булева оптимизация алгоритмов решения систем линейных диофантовых уравнений
за авторством: Лопатина, М.В.
Опубліковано: (2004)

Исследование одного класса диофантовых уравнений
за авторством: Бондаренко, А.В.
Опубліковано: (2000)

Алгоритм решения систем линейных уравнений в поле Fpk
за авторством: Крывый, С.Л., та інші
Опубліковано: (2019)

Представление чисел в двухбазисных системах счисления
за авторством: Анисимов, А.В.
Опубліковано: (2013)

Представление чисел в смешанном базисе (2, 3)
за авторством: Анисимов, А.В.
Опубліковано: (2009)

Метод построения базиса краевых задач дифференциальных уравнений для применения вариационных методов
за авторством: Баранов, И.А.
Опубліковано: (2011)

Дискретные совершенные множества и их применение в кластерном анализе
за авторством: Агаян, С.М., та інші
Опубліковано: (2014)

Сферическая производная и пикаровские множества целых функций
за авторством: Заболоцкий, Н.В.
Опубліковано: (1989)

Конечные автоматы в информационных технологиях
за авторством: Крывый, С.Л.
Опубліковано: (2011)

Теоретические основы аналитического вычисления коэффициентов базисных чисел преобразования Крестенсона
за авторством: Николайчук, Я.Н., та інші
Опубліковано: (2014)

Алгоритм проверки противоречивости множества дизъюнктов в исчислении высказываний
за авторством: Крывый, С.Л., та інші
Опубліковано: (2008)

Помехоустойчивое префиксное кодирование с помощью нижнего (2,3)-представления чисел
за авторством: Анисимов, А.В., та інші
Опубліковано: (2014)

Теория обобщенных линейных автоматов
за авторством: Рысцов, И.К.
Опубліковано: (2009)

О пороге отношения аппроксимации для реоптимизации задачи о максимальном количестве выполненных уравнений в линейных системах над конечным полем
за авторством: Михайлюк, В.А.
Опубліковано: (2012)

Диалог как основа построения речевых систем
за авторством: Мещеряков, Р.В., та інші
Опубліковано: (2008)

Алгоритм Очевидности Глушкова
за авторством: Летичевский, А.А., та інші
Опубліковано: (2013)

Верификация программ: состояние, проблемы, результаты. I
за авторством: Крывый, С.Л., та інші
Опубліковано: (2013)

Верификация программ: состояние, проблемы, результаты. II
за авторством: Крывый, С.Л., та інші
Опубліковано: (2014)

Формальные методы анализа дискретных систем с использованием языка спецификаций
за авторством: Крывый, С.Л., та інші
Опубліковано: (2009)

О глобальном существовании решений множества дифференциальных уравнений
за авторством: Мартынюк-Черниенко, Ю.А.
Опубліковано: (2011)

Автоматический метод динамического построения абстракций состояний формальной модели
за авторством: Колчин, А.В.
Опубліковано: (2010)

Алгоритмы решения систем линейных уравнений в кольцах вычетов
за авторством: Крывый, С.Л.
Опубліковано: (2016)

О несовместности одного вида нелинейных уравнений в множестве натуральных чисел
за авторством: Крывый, С.Л., та інші
Опубліковано: (2003)

Модулярная схема разделения секрета над кольцом гауссовых целых чисел
за авторством: Алексейчук, А.Н., та інші
Опубліковано: (2007)

Анализ структуры класса линейных автоматов над кольцом Zpk
за авторством: Скобелев, В.В.
Опубліковано: (2008)

Алгоритм, устанавливающий эквивалентность детерминированных многоленточных автоматов
за авторством: Борисенко, В.И.
Опубліковано: (2015)

Алгоритм формальной верификации шаблонов бизнес-процессов
за авторством: Варосян, А.С.
Опубліковано: (2011)

Структура множества дефектных векторов целых и аналитических кривых конечного порядка
за авторством: Савчук, Я.И.
Опубліковано: (1985)

Метод итеративного построения терминологии в коллекциях научных текстов на украинском языке
за авторством: Глибовец, А.Н., та інші
Опубліковано: (2014)

Теория непрерывных задач оптимального разбиения множеств как универсальный математический аппарат построения диаграммы Вороного и ее обобщений. II. Алгоритмы построения диаграмм Вороного на основе теории оптимального разбиения множеств
за авторством: Киселева, Е.М., та інші
Опубліковано: (2015)

Вычислительные алгоритмы для линейных балансовых моделей межотраслевого эколого-экономического взаимодействия
за авторством: Недашковский, Н.А., та інші
Опубліковано: (2010)

Метод автоматического построения онтологических баз знаний. I. Разработка семантико-синтаксической модели естественного языка
за авторством: Марченко, А.А.
Опубліковано: (2016)

Метод автоматического построения онтологических баз знаний. III. Автоматическая генерация таксономии как основы онтологии
за авторством: Марченко, А.А.
Опубліковано: (2016)

О решении линейных матричных уравнений
за авторством: Ларин, В.Б.
Опубліковано: (2015)

Метод автоматического построения онтологических баз знаний. II. Автоматическое определение семантических отношений в онтологической сети
за авторством: Марченко, А.А.
Опубліковано: (2016)

Существование, единственность и оценки решений множества уравнений возмущенного движения
за авторством: Мартынюк, А.А., та інші
Опубліковано: (2013)

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул
за авторством: Львов, М.С., та інші
Опубліковано: (2018)