Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/9976| Назва: | Анализ субэкспоненциального алгоритма SAT- задач большой размерности |
| Автори: | Пархоменко, Александр Александрович |
| Дата публікації: | 2014 |
| Видавництво: | Українська державна академія залізничного транспорту |
| Бібліографічний опис: | Пархоменко, А. А. Анализ субэкспоненциального алгоритма SAT- задач большой размерности / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 27-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 24-26 вересня 2014 р.). – 2014. – № 4 (додаток). – С. 23-24. |
| Короткий огляд (реферат): | При испытании субэкспоненциального алгоритма SAT- задач создавались случайные булевы функции, в которых переменные в дизъюнктах генерировались по равномерному закону распределения с заданным числом переменных в каждом дизъюнкте. В процессе работы программы находились наборы выполнимости заданной функции, а также вычислялось математическое ожидание и среднеквадратическое отклонение количества операций и времени выполнения, затраченное алгоритмом на поиск набора выполнимости булевой функции. На каждую точку в графиках генерировалось не менее 50 булевых функций, и результаты получены с доверительной вероятностью 0,95. |
| URI (Уніфікований ідентифікатор ресурсу): | http://lib.kart.edu.ua/handle/123456789/9976 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Розташовується у зібраннях: | № 4 (додаток) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Пархоменко.pdf | 84.25 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.