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

Метод решения k-SAT-задачи сведением ее к задаче о покрытии

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Электронное моделирование
Дата:	2015
Автори:	Листровой, С.В., Сидоренко, А.В.
Формат:	Стаття
Мова:	Російська
Опубліковано:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2015
Теми:	Математическое моделирование и вычислительные методы
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/101162
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С.В. Листровой, А.В. Сидоренко // Электронное моделирование. — 2015. — Т. 37, № 5. — С. 17-34. — Бібліогр.: 4 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

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

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

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

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

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

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация
за авторством: Фейзиев, Ф.Г.
Опубліковано: (2015)

Численное решение задачи ненасыщенной фильтрации с подвижной границей
за авторством: Гамзаев, Х.М.
Опубліковано: (2015)

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

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

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

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

Способ обнаружения сигналов в шумах на основе метода S-препарирования для автоматических измерителей координат корреляционного типа
за авторством: Тимченко, Л.И., та інші
Опубліковано: (2015)

Мера отличия классификаций
за авторством: Кравцов, Г.А.
Опубліковано: (2016)

Моделирование объектов с распределенными параметрами четвертого порядка
за авторством: Клевцов, Ю.А.
Опубліковано: (2017)

Свойства обобщенных кватернионов и их связь с процедурой удвоения Грассмана—Клиффорда
за авторством: Калиновский, Я.А., та інші
Опубліковано: (2015)

Stochastic Model Predictive Control for Hybrid Energy Systems
за авторством: Gienger, A, та інші
Опубліковано: (2017)

Моделирование объектов с распределенными параметрами четвертого порядка
за авторством: Клевцов, Ю.А.
Опубліковано: (2017)

Предварительная обработка зависимостей методом проекции на множество корректных измерений
за авторством: Чумаков, А.Г.
Опубліковано: (2017)

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

Об одном методе моделирования газоводонапорного режима пластов
за авторством: Гусейнзаде, С.О.
Опубліковано: (2017)

Визначення потокорозподілу в мережах з переважаючою деревоподібною структурою графа на основі потенціалу в середній точці гілок-хорд
за авторством: Винничук, С.Д.
Опубліковано: (2018)

Новая классификация алгоритмов
за авторством: Кравцов, Г.А., та інші
Опубліковано: (2016)

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

Анализ коэффициента эксцесса засоренных гауссовых распределений
за авторством: Красильников, А.И.
Опубліковано: (2017)

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

Представление тригонометрических функций в числовой системе обобщенных кватернионов
за авторством: Калиновский, Я.А., та інші
Опубліковано: (2016)

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

Квазислучайные графы и структурная устойчивость сложных дискретных систем
за авторством: Глухов, А.Д.
Опубліковано: (2016)

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

Кумулянтные модели и полиномиальные методы обнаружения сигналов при аддитивном взаимодействии с коррелированными негауссовыми помехами
за авторством: Палагин, В.В.
Опубліковано: (2015)

Регулирование энергосистем при импульсных возмущениях
за авторством: Иванов, И.Л.
Опубліковано: (2014)

Про таксономію автономних агентів
за авторством: Яловець, А.Л.
Опубліковано: (2018)

Устойчивость дифференциального спектра системы линейных обыкновенных дифференциальных уравнений
за авторством: Кравченко, Ю.В., та інші
Опубліковано: (2015)

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

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду (двоичный случай)
за авторством: Фейзиев, Ф.Г., та інші
Опубліковано: (2016)

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

Best Least Square Solution of Boundary Value Problems Associated with a System of First Order Matrix DifferentialEquation
за авторством: Swapna, N., та інші
Опубліковано: (2015)

Управление с запаздыванием энергосистемой при импульсных возмущениях
за авторством: Иванов, И.Л., та інші
Опубліковано: (2016)

Вычисления на классификациях. Оценка классификаторов
за авторством: Кравцов, Г.А.
Опубліковано: (2016)

Modeling and Simulation of Particulate Processes
за авторством: Kienle, A., та інші
Опубліковано: (2016)

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