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

Домашня сторінка
→
Фізико-технічні та математичні науки
→
Відділення фізико-технічних проблем енергетики
→
Электронное моделирование
→
Электронное моделирование, 2015, том 37
→
Электронное моделирование, 2015, № 5
→
Переглянути статтю

dc.contributor.author	Листровой, С.В.
dc.contributor.author	Сидоренко, А.В.
dc.date.accessioned	2016-05-31T17:54:50Z
dc.date.available	2016-05-31T17:54:50Z
dc.date.issued	2015
dc.identifier.citation	Метод решения k-SAT-задачи сведением ее к задаче о покрытии / С.В. Листровой, А.В. Сидоренко // Электронное моделирование. — 2015. — Т. 37, № 5. — С. 17-34. — Бібліогр.: 4 назв. — рос.	uk_UA
dc.identifier.issn	0204-3572
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/101162
dc.description.abstract	Предложен алгоритм решения k-SAT-задачи в среднем за полиномиальное время и 3-SATзадачи за полиномиальное время. Предлагаемый метод позволяет существенно сократить время решения SAT-задач.	uk_UA
dc.description.abstract	Запропоновано алгоритм розв’язку k-SAT-задачі в середньому за поліноміальний час і 3-SAT-задачі за поліноміальний час. Запропонований метод дозволяє істотно скоротити час розв’язку SAT-задач .	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	ru	uk_UA
dc.publisher	Інститут проблем моделювання в енергетиці ім. Г.Є. Пухова НАН України	uk_UA
dc.relation.ispartof	Электронное моделирование
dc.subject	Математическое моделирование и вычислительные методы	uk_UA
dc.title	Метод решения k-SAT-задачи сведением ее к задаче о покрытии	uk_UA
dc.title.alternative	Methods of solution to the k-SAT-problem is based on its reduction to the problem of covering	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	519.682.1