Перегляд за автором "Листровой, С.В."

Результати 1-10 з 10

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

Листровой, С.В.; Моцный, С.В. (Электронное моделирование, 2015)

Предложен алгоритм решения задачи о наименьшем покрытии произвольного графа с помощью систем квадратичных уравнений, которые позволяют достигать высокой степени распараллеливания операций. Для решения этой задачи на практике ...
Метод и модель планирования распределения пакетов заданий в кластере Grid системы

Листровой, С.В.; Листровая, Е.С.; Курцев, М.С. (Электронное моделирование, 2016)

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

Листровой, С.В.; Сидоренко, А.В.; Листровая, Е.С. (Электронное моделирование, 2017)

На основе рангового подхода предложен метод перечисления максимальных независимых множеств неориентированного связного графа с временной сложностью, в среднем не превышающей O (n⁶), где n — число вершин в графе, для графов, ...
Метод перечисления максимальных независимых множеств в произвольных неориентированных графах

Листровой, С.В. (Электронное моделирование, 2014)

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

Листровой, С.В.; Сидоренко, А.В.; Листровая, Е.С. (Электронное моделирование, 2017)

Предложен метод поиска наибольших максимальных независимых множеств неориентированного связного графа, позволяющий при числе вершин в графе, не превышающем 120, и плотностях ребер в диапазоне от 0,067 до 0,9, решать задачу ...
Метод решения k-SAT-задачи сведением ее к задаче о покрытии

Листровой, С.В.; Сидоренко, А.В. (Электронное моделирование, 2015)

Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SATзадачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач.
Метод решения задач о минимальном вершинном покрытии в произвольном графе и задачи о наименьшем покрытии

Листровой, С.В.; Минухин, С.В. (Электронное моделирование, 2012)

Предложены приближенные алгоритмы решения задачи о наименьшем вершинном покрытии (ЗНВП) в произвольных графах и задачи о наименьшем покрытии (ЗНП) на основе сведения их соответственно к задачам квадратичного и нелинейного ...
Обоснование гипотезы о четырех красках

Листровой, С.В.; Листровая, Е.С. (Електронне моделювання, 2018)

Дано обоснование машинного доказательства гипотезы о четырех красках, выполненного группой математиков, возглавляемой К. Аппелем и В. Хейкеном.
О классе NP и NР-полных задачах

Листровой, С.В. (Электронное моделирование, 2011)

Показано, что SAT-задачу (satisfiability problem) нельзя считать универсальной NP-полной задачей, а следовательно, вопрос о существовании хотя бы одной NP-полной задачи остается открытым, чем объясняется безуспешность ...
Ранговый подход к решению задач линейного и нелинейного булевого программирования для планирования и управления в распределенных вычислительных системах

Листровой, С.В.; Листровая, Е.С.; Курцев, М.С. (Электронное моделирование, 2017)

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

Результати 1-10 з 10

Пошук

Розширений пошук

Перегляд

Вся бібліотека

Перегляд за автором "Листровой, С.В."

Репозиторій DSpace/Manakin

Перегляд за автором "Листровой, С.В."

Пошук

Перегляд

Вся бібліотека

Мій обліковий запис