Структура G на множестве M - это пара (R,M) где R это отношение порядка на множестве M.Под эффективностью мы понимаем сложность алгоритмов над СДХ.Основные понятия и определения.Отношение порядка на множестве M это подмножество множества M*M обладающее следующими свойствами.