Please use this identifier to cite or link to this item:
http://lib.kart.edu.ua/handle/123456789/9976| Title: | Анализ субэкспоненциального алгоритма SAT- задач большой размерности |
| Authors: | Пархоменко, Александр Александрович |
| Issue Date: | 2014 |
| Publisher: | Українська державна академія залізничного транспорту |
| Citation: | Пархоменко, А. А. Анализ субэкспоненциального алгоритма SAT- задач большой размерности / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 27-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 24-26 вересня 2014 р.). – 2014. – № 4 (додаток). – С. 23-24. |
| Abstract: | При испытании субэкспоненциального алгоритма SAT- задач создавались случайные булевы функции, в которых переменные в дизъюнктах генерировались по равномерному закону распределения с заданным числом переменных в каждом дизъюнкте. В процессе работы программы находились наборы выполнимости заданной функции, а также вычислялось математическое ожидание и среднеквадратическое отклонение количества операций и времени выполнения, затраченное алгоритмом на поиск набора выполнимости булевой функции. На каждую точку в графиках генерировалось не менее 50 булевых функций, и результаты получены с доверительной вероятностью 0,95. |
| URI: | http://lib.kart.edu.ua/handle/123456789/9976 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Appears in Collections: | № 4 (додаток) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Пархоменко.pdf | 84.25 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.