1.12.Множество как обобщенное понятие структур данных
 

С точки зрения структур данных множество можно рассматривать как совокупность данных, над которыми выполняется некоторое число операций, образующих функциональную спецификацию структуры этого множества. Пусть определен некоторый тип данных Т. Определим другой тип. элементами которого является множество объектов типа Т. Над данными этого множественного типа допустимы следующие основные операции :

• создать множество – создаётся пустое множество, возвращается его адрес;
• включить элемент - формируемся новое множество добавлением одного элемента к существующему множеству;
• найти элемент - проверить, есть ли элемент в множестве, если есть, определить его адрес;
• удалить элемент — формируется новое множество с удалением одного элемента, если он есть. В противном случае множество остается без изменения;
• пусто — проверить, есть ли элементы во множестве;
• выборка — выдается элемент для обработки, если он есть. В простейшем случае определяется только его адрес, по которому осуществляется обработка;
• выборка с удалением — элемент выбирается для обработки, затем удаляется из множества;
• объединение множеств — над множествами выполняются операции как над математическими множествами, возможны некоторые модификации таких операций.

Многоэлементные структуры, которые мы будем рассматривать, такие, как стеки, очереди, деревья, таблицы, представляют собой частные случаи понятия «множество», а перечисленные выше операции над различными структурами могут иметь другие названия и различные алгоритмы их реализации. Они, эти алгоритмы, в существенной мере зависят от физической структуры представления данных, составляющих множества.