Критерий нетеровости по уравнениям и сложность проблемы разрешимости для систем уравнений над частично упорядоченными множествами

Критерий нетеровости по уравнениям и сложность проблемы разрешимости для систем уравнений над частично упорядоченными множествами

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

Полное описание

Библиографическая информация
Опубликовано в: :	Прикладная дискретная математика № 64. С. 7-19
Главный автор:	Никитин, Алексей Юрьевич
Другие авторы:	Кудык, Иван Дмитриевич
Формат:	Статья в журнале
Язык:	Russian
Предметы:	системы уравнений вычислительная сложность частично упорядоченные множества нетеровость по уравнениям статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001144438

Похожие документы

Direct powers of algebraic structures and equations
по: Shevlyakov, A. N.

О сложности проблемы разрешимости систем уравнений над конечными частичными порядками
по: Никитин, Алексей Юрьевич

Частично-упорядоченные алгебраические системы
по: Фукс, Ласло
Публикация: (1965)

Теория частично упорядоченных систем: /
по: Горбатов, В. А. Вячеслав Афанасьевич
Публикация: (1976)

Электронная структура частично упорядоченных систем в линейных методах расчета Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 01.04.07
по: Володин, Сергей Анатольевич
Публикация: (1993)

Разрешимость ограниченных теорий класса частичных порядков
по: Никитин, Алексей Юрьевич

Сложность вычислений: Пер. с англ./
по: Сэвидж Джон Э.
Публикация: (1998)

Электронная структура частично упорядоченных систем в линейных методах расчета Диссертация на соискание ученой степени кандидата физико-математических наук
по: Володин, Сергей Анатольевич
Публикация: (1992)

О генерической сложности проблемы разрешимости систем диофантовых уравнений в форме Сколема
по: Рыбалов, Александр Николаевич

Алгебра-8
по: Габриэль, П.
Публикация: (2003)

Синтез частично программируемых схем, ориентированный на маскирование трудно обнаружимых неисправностей
по: Провкин, Виктор Алексеевич

Колмогоровская сложность и алгоритмическая случайность
по: Верещагин, Николай Константинович 1958-
Публикация: (2013)

Булевы алгебры, упорядоченные множества, решетки определения, свойства, примеры
по: Гуров, Сергей Исаевич
Публикация: (2012)

Сложность языков сибирского ареала в диахронно-типологической перспективе
Публикация: (2018)

Синтез частично программируемых схем, маскирующих логические неисправности элементов
по: Матросова, Анжела Юрьевна

Элементы теории структур
по: Скорняков, Лев Анатольевич
Публикация: (1970)

Колмогоровская сложность и ее приложения [учебник для студентов и аспирантов математических и прикладных математических специальностей]
по: Вьюгин, Владимир Вячеславович
Публикация: (2022)

Исследование электронной структуры частично упорядоченных сплавов диссертация на соискание ученой степени кандидата физико-математических наук : 01.04.07
по: Кульментьев, Александр Иванович
Публикация: (1984)

Моделирование режимов естественной конвекции в замкнутой частично пористой полости, заполненной жидкостью с переменной вязкостью
по: Астанина, Марина Сергеевна

Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
по: Матросова, Анжела Юрьевна

Критерий бесконечно узкого поля
по: Фомина, Елена Анатольевна

Функциональная полнота и выразимость в классе квазимонотонных функций на конечной полурешетке Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01
по: Парватов, Николай Георгиевич
Публикация: (2002)

От существующего к возникающему: Время и сложность в физических науках: Монография : Пер. с англ./
по: Пригожин, И. Илья
Публикация: (1985)

Частично заполненные прямоугольные волноводы
по: Егоров, Юрий Васильевич
Публикация: (1967)

Теоретически эффективное асимптотически оптимальное универсальное кодирование частично определенных источников
по: Шоломов, Лев Абрамович

Алгоритмы решения систем уравнений над различными классами конечных графов
по: Ильев, Артем Викторович

О некоторых классах булевых функций, сохраняющих линейную сложность линейных рекуррентных последовательностей
по: Колегов, Денис Николаевич

Элементы математической логики и теории множеств [учебное пособие для математических специальностей вузов]
по: Вольвачев, Раймонд Трофимович
Публикация: (1986)

О генерической сложности решения уравнений над натуральными числами со сложением
по: Рыбалов, Александр Николаевич

Сложность. Разум. Постнеклассика периодический научно-теоретический журнал
Публикация: (2013)

Основы теории алгоритмов учебное пособие : [для студентов высших учебных заведений, обучающихся по специальности 010501 "Прикладная математика и информатика", направлению 010500.62 "Прикладная математика и информатика", направлению 010400.62 "Информационные технологии"]
по: Рублев, Вадим Сергеевич
Публикация: (2008)

Лекции по общей алгебре учебник : [для студентов математических специальностей и научных работников]
по: Курош, Александр Геннадиевич 1908-1971
Публикация: (2016)

Лекции по общей алгебре учебник
по: Курош, Александр Геннадиевич 1908-1971
Публикация: (2007)

Упорядочение атомов и его влияние на свойства сплавов тезисы докладов VII всесоюзного совещания, 24-26 мая 1983 г. : [сборник]
Публикация: (1983)

K-плоскости в n-мерно упорядоченных группах
по: Пестов, Герман Гаврилович 1932-2015

Анализ медико-биологических систем Метод частично обратных функций
по: Барт, Александр Георгиевич
Публикация: (2003)

О генерической сложности проблемы дискретного логарифма в группах точек эллиптических кривых над конечными полями
по: Рыбалов, Александр Николаевич

О сложности реализации системы мономов от двух переменных схемами композиции
по: Корнеев, Сергей Александрович

On identification of continuous time hidden Markov processes: a survey
по: Kutoyants, Yury A.

Двумерно упорядоченные группы
по: Забарина, Анна Ивановна