Buchumschlag

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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Электронное моделирование
Datum:	2015
Hauptverfasser:	Листровой, С.В., Сидоренко, А.В.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України 2015
Schlagworte:	Математическое моделирование и вычислительные методы
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/101162
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С.В. Листровой, А.В. Сидоренко // Электронное моделирование. — 2015. — Т. 37, № 5. — С. 17-34. — Бібліогр.: 4 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

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

Метод перечисления максимальных независимых множеств в неориентированных графах
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Метод поиска наибольших максимальных независимых множеств вершин неориентированного графа
von: Листровой, С.В., et al.
Veröffentlicht: (2017)

Метод смещения малых элементов в обобщенных якобианах Кларка для обеспечения численной устойчивости квазиньютоновских методов решения вариационных неравенств
von: Саух, С.Е.
Veröffentlicht: (2015)

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

Об одной обратной задаче Стефана для фазового превращения в твердых телах
von: Гамзаев, Х.М.
Veröffentlicht: (2017)

Модификация алгоритма Питерсона—Горенстейна—Цирлера и ее эффективная реализация
von: Фейзиев, Ф.Г.
Veröffentlicht: (2015)

Численное решение задачи ненасыщенной фильтрации с подвижной границей
von: Гамзаев, Х.М.
Veröffentlicht: (2015)

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

Метод идентификации динамического объекта посредством интегральной модели
von: Сытник, А.А., et al.
Veröffentlicht: (2016)

Применение неполной столбцово-строчной факторизации матриц в квазиньютоновских методах решения вариационных неравенств большой размерности
von: Саух, С.Е.
Veröffentlicht: (2015)

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

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

Метод моделирования параллельно-иерархической сети для обработки данных на основе построения функциональных рядов
von: Тимченко, Л.И., et al.
Veröffentlicht: (2015)

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

Метод решения задач о минимальном вершинном покрытии в произвольном графе и задачи о наименьшем покрытии
von: Листровой, С.В., et al.
Veröffentlicht: (2012)

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

Моделирование объектов с распределенными параметрами четвертого порядка
von: Клевцов, Ю.А.
Veröffentlicht: (2017)

Двухзначный аналог полинома Вольтерры для описания полной реакции двоичных многомерных нелинейных модулярных динамических систем
von: Фейзиев, Ф.Г., et al.
Veröffentlicht: (2017)

Модель системы обслуживания со скачкообразными приоритетами
von: Меликов, А.З., et al.
Veröffentlicht: (2015)

Stochastic Model Predictive Control for Hybrid Energy Systems
von: Gienger, A, et al.
Veröffentlicht: (2017)

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

Моделирование перфорированных случайных величин на основе смесей сдвинутых распределений
von: Красильников, А.И.
Veröffentlicht: (2018)

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду
von: Фейзиев, Ф.Г., et al.
Veröffentlicht: (2018)

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

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

Мера отличия классификаций
von: Кравцов, Г.А.
Veröffentlicht: (2016)

Управление с запаздыванием энергосистемой при импульсных возмущениях
von: Иванов, И.Л., et al.
Veröffentlicht: (2016)

Интегральные модели в задачах анализа электрических цепей
von: Верлань, А.Ф., et al.
Veröffentlicht: (2016)

Представление тригонометрических функций в числовой системе обобщенных кватернионов
von: Калиновский, Я.А., et al.
Veröffentlicht: (2016)

Про таксономію автономних агентів
von: Яловець, А.Л.
Veröffentlicht: (2018)

Устойчивость дифференциального спектра системы линейных обыкновенных дифференциальных уравнений
von: Кравченко, Ю.В., et al.
Veröffentlicht: (2015)

Модификация метода Питерсона—Горенстейна—Цирлера приведением матрицы к треугольному виду (двоичный случай)
von: Фейзиев, Ф.Г., et al.
Veröffentlicht: (2016)

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

Моделирование объектов с распределенными параметрами четвертого порядка
von: Клевцов, Ю.А.
Veröffentlicht: (2017)

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

Компьютерное моделирование оптимального управления положением ванны при сварке МИГ/МАГ корневых швов
von: Долиненко, В.В., et al.
Veröffentlicht: (2016)

Вычисления на классификациях. Оценка классификаторов
von: Кравцов, Г.А.
Veröffentlicht: (2016)

Modeling and Simulation of Particulate Processes
von: Kienle, A., et al.
Veröffentlicht: (2016)

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