Метод решения k-SAT-задачи сведением ее к задаче о покрытии
Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SATзадачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач. Запропоновано алгоритм розв’язку k-SAT-задачі в середньому за поліноміальний час і 3-SAT-задачі за поліноміальн...
Збережено в:
| Опубліковано в: : | Электронное моделирование |
|---|---|
| Дата: | 2015 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України
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| id |
nasplib_isofts_kiev_ua-123456789-101162 |
|---|---|
| record_format |
dspace |
| spelling |
Листровой, С.В. Сидоренко, А.В. 2016-05-31T17:54:50Z 2016-05-31T17:54:50Z 2015 Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С.В. Листровой, А.В. Сидоренко // Электронное моделирование. — 2015. — Т. 37, № 5. — С. 17-34. — Бібліогр.: 4 назв. — рос. 0204-3572 https://nasplib.isofts.kiev.ua/handle/123456789/101162 519.682.1 Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SATзадачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач. Запропоновано алгоритм розв’язку k-SAT-задачі в середньому за поліноміальний час і 3-SAT-задачі за поліноміальний час. Запропонований метод дозволяє істотно скоротити час розв’язку SAT-задач . An algorithm for solving the k-SAT-problem for the average polynomial time and 3-SAT-problem for the polynomial time. The proposed method can significantly reduce the time to solve SAT-problems. ru Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України Электронное моделирование Математическое моделирование и вычислительные методы Метод решения k-SAT-задачи сведением ее к задаче о покрытии Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| spellingShingle |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии Листровой, С.В. Сидоренко, А.В. Математическое моделирование и вычислительные методы |
| title_short |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_full |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_fullStr |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_full_unstemmed |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_sort |
метод решения k-sat-задачи сведением ее к задаче о покрытии |
| author |
Листровой, С.В. Сидоренко, А.В. |
| author_facet |
Листровой, С.В. Сидоренко, А.В. |
| topic |
Математическое моделирование и вычислительные методы |
| topic_facet |
Математическое моделирование и вычислительные методы |
| publishDate |
2015 |
| language |
Russian |
| container_title |
Электронное моделирование |
| publisher |
Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| format |
Article |
| title_alt |
Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering |
| description |
Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SATзадачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач.
Запропоновано алгоритм розв’язку k-SAT-задачі в середньому за поліноміальний час і 3-SAT-задачі за поліноміальний час. Запропонований метод дозволяє істотно скоротити час розв’язку SAT-задач .
An algorithm for solving the k-SAT-problem for the average polynomial time and 3-SAT-problem for the polynomial time. The proposed method can significantly reduce the time to solve SAT-problems.
|
| issn |
0204-3572 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/101162 |
| citation_txt |
Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С.В. Листровой, А.В. Сидоренко // Электронное моделирование. — 2015. — Т. 37, № 5. — С. 17-34. — Бібліогр.: 4 назв. — рос. |
| work_keys_str_mv |
AT listrovoisv metodrešeniâksatzadačisvedeniemeekzadačeopokrytii AT sidorenkoav metodrešeniâksatzadačisvedeniemeekzadačeopokrytii AT listrovoisv methodsofsolutiontotheksatproblemisbasedonitsreductiontotheproblemofcovering AT sidorenkoav methodsofsolutiontotheksatproblemisbasedonitsreductiontotheproblemofcovering |
| first_indexed |
2025-12-07T18:14:53Z |
| last_indexed |
2025-12-07T18:14:53Z |
| _version_ |
1850874311301136384 |