Анализ субэкспоненциального алгоритма SAT- задач большой размерности

Пархоменко, Александр Александрович

Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/9976

Full metadata record

DC Field	Value	Language
dc.contributor.author	Пархоменко, Александр Александрович	-
dc.date.accessioned	2022-07-05T11:20:02Z	-
dc.date.available	2022-07-05T11:20:02Z	-
dc.date.issued	2014	-
dc.identifier.citation	Пархоменко, А. А. Анализ субэкспоненциального алгоритма SAT- задач большой размерности / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 27-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 24-26 вересня 2014 р.). – 2014. – № 4 (додаток). – С. 23-24.	uk_UA
dc.identifier.issn	1681-4886 (рrint); 2413-3833 (online)	-
dc.identifier.uri	http://lib.kart.edu.ua/handle/123456789/9976	-
dc.description.abstract	При испытании субэкспоненциального алгоритма SAT- задач создавались случайные булевы функции, в которых переменные в дизъюнктах генерировались по равномерному закону распределения с заданным числом переменных в каждом дизъюнкте. В процессе работы программы находились наборы выполнимости заданной функции, а также вычислялось математическое ожидание и среднеквадратическое отклонение количества операций и времени выполнения, затраченное алгоритмом на поиск набора выполнимости булевой функции. На каждую точку в графиках генерировалось не менее 50 булевых функций, и результаты получены с доверительной вероятностью 0,95.	-
dc.publisher	Українська державна академія залізничного транспорту	uk_UA
dc.title	Анализ субэкспоненциального алгоритма SAT- задач большой размерности	uk_UA
dc.type	Thesis	uk_UA
Appears in Collections:	№ 4 (додаток)

Files in This Item:

File	Description	Size	Format
Пархоменко.pdf		84.25 kB	Adobe PDF	View/Open

Show simple item record