Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах

• Veröffentlicht in: Кибернетика и системный анализ
• Datum: 2017
• Hauptverfasser: Редько, В.Н., Буй, Д.Б., Канарская, И.С., Сенченко, А.С.
• Format: Artikel
• Sprache: Russian
• Veröffentlicht: Інститут кібернетики ім. В.М. Глушкова НАН України 2017
• Schlagworte: Кібернетика
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/144680
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах / В.Н. Редько, Д.Б. Буй, И.С. Канарская, А.С. Сенченко // Кибернетика и системный анализ. — 2017. — Т. 53, № 1. — С. 3-15. — Бібліогр.: 12 назв. — рос.

Исследованы алгоритмы, реализующие пересечение, объединение и разность в табличных алгебрах. Предложены модификации наиболее распространенных алгоритмов, позволяющие сократить количество вычислений. На основе оценки сложности в худшем случае и в среднем для модифицированных алгоритмов найден наиболее быстрый алгоритм для каждой операции. Разработана программная система, экспериментально подтверждающая теоретические оценки. Досліджено алгоритми, що реалізують операції перетину, об’єднання і різниці в табличних алгебрах. Запропоновано модифікації найбільш поширених алгоритмів, які дозволяють скоротити кількість обчислень. На основі оцінки складності в гіршому випадку і в середньому для модифікованих алгоритмів знайдено найбільш швидкий алгоритм для кожної операції. Розроблено програмну систему, що експериментально підтверджує теоретичні оцінки. The algorithms implementing intersection, union, and difference in table algebras are investigated. Modifications of the most common algorithms reducing the amount of computation are proposed. Based on the evaluated complexities in the worst case and in the average for the modified algorithms, the fastest algorithm for each operation is found. The program experimentally confirming the theoretical estimates is developed.