Метод решения k-SAT-задачи сведением ее к задаче о покрытии
Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SATзадачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач. Запропоновано алгоритм розв’язку k-SAT-задачі в середньому за поліноміальний час і 3-SAT-задачі за поліноміальн...
Gespeichert in:
| 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| _version_ | 1862718382491566080 |
|---|---|
| author | Листровой, С.В. Сидоренко, А.В. |
| author_facet | Листровой, С.В. Сидоренко, А.В. |
| citation_txt | Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С.В. Листровой, А.В. Сидоренко // Электронное моделирование. — 2015. — Т. 37, № 5. — С. 17-34. — Бібліогр.: 4 назв. — рос. |
| collection | DSpace DC |
| container_title | Электронное моделирование |
| 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.
|
| first_indexed | 2025-12-07T18:14:53Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-101162 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0204-3572 |
| language | Russian |
| last_indexed | 2025-12-07T18:14:53Z |
| publishDate | 2015 |
| publisher | Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України |
| 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 |
| spellingShingle | Метод решения k-SAT-задачи сведением ее к задаче о покрытии Листровой, С.В. Сидоренко, А.В. Математическое моделирование и вычислительные методы |
| title | Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_alt | Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering |
| title_full | Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_fullStr | Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_full_unstemmed | Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_short | Метод решения k-SAT-задачи сведением ее к задаче о покрытии |
| title_sort | метод решения k-sat-задачи сведением ее к задаче о покрытии |
| topic | Математическое моделирование и вычислительные методы |
| topic_facet | Математическое моделирование и вычислительные методы |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/101162 |
| work_keys_str_mv | AT listrovoisv metodrešeniâksatzadačisvedeniemeekzadačeopokrytii AT sidorenkoav metodrešeniâksatzadačisvedeniemeekzadačeopokrytii AT listrovoisv methodsofsolutiontotheksatproblemisbasedonitsreductiontotheproblemofcovering AT sidorenkoav methodsofsolutiontotheksatproblemisbasedonitsreductiontotheproblemofcovering |